Синтаксис (логика)
Материал из Википедии — свободной энциклопедии
Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение).
В последней четверти XX века (под влиянием работ Р. Монтегю, Д. Скота и др.) указанное бинарное противопоставление уступило место тернарному. Синтаксис и семантика противопоставляются прагматике — разделу формальной логики, изучающему зависимость логического значения правильных осмысленных выражений от логического значения прагматических переменных, выражаемых «индексальными» элементами (то есть элементами я, ты, здесь, сейчас).
См. также
[править | править код]- Логическая семантика
- Логическая прагматика
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.