Syntaxe (v logice) (logická syntaxe) je část formální logiky , která studuje správnou konstrukci výrazů , bez ohledu na to, zda tyto výrazy mají logické hodnoty, a pokud ano, které.
Obvykle kontrastuje se sémantikou (část formální logiky, která studuje podmínky, za nichž mají dobře utvořené výrazy nějakou logickou hodnotu).
V poslední čtvrtině 20. století (pod vlivem prací R. Montagu , D. Scotta a dalších) naznačená binární opozice ustoupila ternární opozici . Syntaxe a sémantika stojí proti pragmatice - části formální logiky, která studuje závislost logického významu správných smysluplných výrazů na logickém významu pragmatických proměnných vyjádřených prvky "index" (tedy prvky já , ty , zde , nyní ).
| Logika | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Sémantika • Syntaxe • Historie | |||||||||
| Logické skupiny |
| ||||||||
| Komponenty | |||||||||
| Seznam booleovských symbolů | |||||||||