8 relaciones: Dominio de discurso, Gottlob Frege, Jaakko Hintikka, Lógica clásica, Lógica de primer orden, Predicado (lógica), Sistema axiomático, Sistema formal.
Dominio de discurso
En lógica, el dominio de discurso, también llamado universo de discurso, o simplemente dominio, es el conjunto de cosas acerca de las cuales se habla en un determinado contexto.
¡Nuevo!!: Lógica libre y Dominio de discurso · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Lógica libre y Gottlob Frege · Ver más »
Jaakko Hintikka
Jaakko Hintikka (Vantaa, 12 de enero de 1929-Porvoo, 12 de agosto de 2015) fue un filósofo y lógico finés.
¡Nuevo!!: Lógica libre y Jaakko Hintikka · Ver más »
Lógica clásica
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.
¡Nuevo!!: Lógica libre y Lógica clásica · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Lógica libre y Lógica de primer orden · Ver más »
Predicado (lógica)
En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición.
¡Nuevo!!: Lógica libre y Predicado (lógica) · Ver más »
Sistema axiomático
En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
¡Nuevo!!: Lógica libre y Sistema axiomático · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica libre y Sistema formal · Ver más »