 |
Синтаксис (логика)
| Русская Википедия - свободная энциклопедия | Download this dictionary |
Синтаксис (логика)
Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение).
В последней четверти 20-го в. (под влиянием работ Р. Монтегю, Д. Скотта и др.) указанное бинарное противопоставление уступило место тернарному. Синтаксис и семантика противопоставляются прагматике — разделу формальной логики, изучающему зависимость логического значения правильных осмысленных выражений от логического значения прагматических переменных, выражаемых «индексальными» элементами (то есть элементами я, ты, здесь, сейчас). Категория:Логика Категория:Математическая логика
| Продолжение на Wikipedia.οrg... |
© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU
