La sintaxis (en lógica) (sintaxis lógica) es una sección de la lógica formal que estudia la construcción correcta de expresiones , independientemente de si estas expresiones tienen valores lógicos y, en caso afirmativo, cuáles.
Por lo general, se contrasta con la semántica (una sección de lógica formal que estudia las condiciones bajo las cuales las expresiones bien formadas tienen algún valor lógico).
En el último cuarto del siglo XX (bajo la influencia de los trabajos de R. Montagu , D. Scott y otros), la oposición binaria indicada dio paso a la oposición ternaria . La sintaxis y la semántica se oponen a la pragmática, una sección de la lógica formal que estudia la dependencia del significado lógico de las expresiones significativas correctas en el significado lógico de las variables pragmáticas expresadas por elementos "índice" (es decir, los elementos yo , tú , aquí , ahora ).
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||