Syntax (i logik) (logisk syntax) är en del av formell logik som studerar den korrekta konstruktionen av uttryck , oavsett om dessa uttryck har logiska värden och i så fall vilka.
Vanligtvis i kontrast till semantik (ett avsnitt av formell logik som studerar villkoren under vilka välformade uttryck har ett visst logiskt värde).
Under den sista fjärdedelen av 1900-talet (under inflytande av verk av R. Montagu , D. Scott och andra) gav den angivna binära oppositionen plats för ternär opposition . Syntax och semantik står i motsats till pragmatik - en del av formell logik som studerar beroendet av den logiska betydelsen av korrekta meningsfulla uttryck av den logiska betydelsen av pragmatiska variabler uttryckta av "index"-element (det vill säga elementen jag , du , här , nu ).
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||