Skip to content
EntityQ2395230· pop 12· linked from 403 articles

синтаксис

Sign in to save

Also known as formal syntax, formal language syntax

раздел формальной логики, изучающий построение выражений

Wikidata facts

Subclass of
formal grammar
Show 3 more facts
topic's main category
Category:Syntax (logic)
Commons category
Syntax (logic)
different from
syntax
Sources (1)

via Wikidata · CC0

Article · Русский

Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно. Обычно противопоставляется семантике (разделу формальной логики, изучающему те условия, при которых правильно построенные выражения имеют некоторое логическое значение). В последней четверти XX века (под влиянием работ Р. Монтегю, Д. Скота и др.) указанное бинарное противопоставление уступило место тернарному. Синтаксис и семантика противопоставляются прагматике — разделу формальной логики, изучающему зависимость логического значения правильных осмысленных выражений от логического значения прагматических переменных, выражаемых «индексальными» элементами (то есть элементами я, ты, здесь, сейчас).

Abstract from DBpedia / Wikipedia · CC BY-SA