Sintaxa (în logică) (sintaxa logică) este o secțiune a logicii formale care studiază construcția corectă a expresiilor , indiferent dacă aceste expresii au valori logice și, dacă da, care.
De obicei contrastat cu semantica (o secțiune a logicii formale care studiază condițiile în care expresiile bine formate au o anumită valoare logică).
În ultimul sfert al secolului al XX-lea (sub influența lucrărilor lui R. Montagu , D. Scott și alții), opoziția binară indicată a făcut loc opoziției ternare . Sintaxa și semantica sunt opuse pragmaticii - o secțiune a logicii formale care studiază dependența sensului logic al expresiilor corecte cu sens de sensul logic al variabilelor pragmatice exprimate prin elemente „index” (adică elementele I , you , here , acum ).
| Logici | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Semantică • Sintaxă • Istorie | |||||||||
| Grupuri logice |
| ||||||||
| Componente |
| ||||||||
| Lista simbolurilor booleene | |||||||||