Syntaks (i logik) (logisk syntaks) er en del af formel logik , der studerer den korrekte konstruktion af udtryk , uanset om disse udtryk har logiske værdier og i givet fald hvilke.
Normalt i modsætning til semantik (et afsnit af formel logik, der studerer de betingelser, hvorunder velformede udtryk har en vis logisk værdi).
I den sidste fjerdedel af det 20. århundrede (under indflydelse af værker af R. Montagu , D. Scott og andre) gav den angivne binære opposition plads til ternær opposition . Syntaks og semantik er i modsætning til pragmatik - et afsnit af formel logik, der studerer afhængigheden af den logiske betydning af korrekte meningsfulde udtryk af den logiske betydning af pragmatiske variabler udtrykt af "indeks"-elementer (det vil sige elementerne I , you , her , nu ).
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||