Lógica

La lógica ^[1] es un campo interdisciplinario que estudia la verdad y el razonamiento . La lógica informal busca caracterizar los argumentos válidos de manera informal, por ejemplo, enumerando variedades de falacias . La lógica formal representa enunciados y patrones de argumentos simbólicamente, utilizando sistemas formales como la lógica de primer orden . Dentro de la lógica formal, la lógica matemática estudia las características matemáticas de los sistemas lógicos formales, mientras que la lógica filosófica las aplica a problemas filosóficos como la naturaleza del significado , el conocimiento yexistencia . Los sistemas de lógica formal también se aplican en otros campos, como la lingüística , la ciencia cognitiva y la informática .

La lógica se ha estudiado desde la Antigüedad , los primeros enfoques incluyen la lógica aristotélica , la lógica estoica , Anviksiki y los mohistas . La lógica formal moderna tiene sus raíces en el trabajo de matemáticos de finales del siglo XIX como Gottlob Frege .

La lógica se puede estudiar de manera formal o informal. Un enfoque formal es aquel que se abstrae del contenido, buscando patrones que surjan solo de la forma. Por ejemplo, la regla formal de introducción de conjunción establece que dos enunciados cualesquiera y juntos implican su conjunción . Esta regla es formal desde los símbolos y puede sustituir a dos declaraciones, independientemente de su contenido.${\ Displaystyle P}$${\ displaystyle Q}$ ${\ Displaystyle P \ & Q}$${\ Displaystyle P}$${\ displaystyle Q}$

En un enfoque informal, las inferencias de este tipo deberían caracterizarse utilizando enunciados particulares. La lógica informal es a menudo parte de los cursos de pensamiento crítico , mientras que los enfoques informales como la lógica dialéctica y la teoría de la argumentación continúan como áreas de investigación. ^{[2] [3] [4]}

La lógica filosófica es el estudio de la lógica dentro de la filosofía. Incluye aplicaciones a problemas de epistemología , ética , filosofía de las matemáticas y semántica del lenguaje natural .

La lógica matemática es el estudio de la lógica dentro de las matemáticas. Las principales subáreas incluyen la teoría de modelos , la teoría de la prueba , la teoría de conjuntos y la teoría de la computabilidad . ^{[5] [6]}

Un circuito de alternancia simple se expresa mediante una puerta lógica y un registro síncrono.

Terminología de argumentos utilizada en lógica

La Begriffschrift de Gottlob Frege introdujo la noción de cuantificador en una notación gráfica, que aquí representa el juicio que es verdadero.${\ Displaystyle \ forall xF (x)}$

Aristóteles , 384–322 a. C.

Una representación del siglo XV del cuadrado de oposición , que expresa las dualidades fundamentales de la silogística.