Syntaksi (logiikassa) (looginen syntaksi) on muodollisen logiikan osa, joka tutkii lausekkeiden oikeaa rakennetta riippumatta siitä, onko näillä lausekkeilla loogisia arvoja ja jos on, mitkä niistä.
Yleensä se erotetaan semantiikan kanssa (muodollisen logiikan osa, joka tutkii olosuhteita, joissa hyvin muodostetuilla lausekkeilla on jokin looginen arvo).
1900-luvun viimeisellä neljänneksellä ( R. Montagun , D. Scottin ja muiden teosten vaikutuksen alaisena ) osoitettu binaarinen oppositio väistyi kolmioppositiolla . Syntaksi ja semantiikka vastustavat pragmatiikkaa - muodollisen logiikan osaa, joka tutkii oikeiden merkityksellisten ilmaisujen loogisen merkityksen riippuvuutta "indeksi"-elementeillä ilmaistujen pragmaattisten muuttujien loogisesta merkityksestä (eli elementeistä minä , sinä , täällä , nyt ).
| Logiikka | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofia • Semantiikka • Syntaksi • Historia | |||||||||
| Logiikkaryhmät |
| ||||||||
| Komponentit |
| ||||||||
| Luettelo loogisista symboleista | |||||||||