Основные семантические категории и синтаксис логики высказываний   (c. 42-49)

Семантика - раздел языкознания и логики, исследующий проблемы, связанные со смыслом, значением и интерпретацией лексических единиц.

Семиотика - научная дисциплина, изучающая производство, строение и функционирование различных знаковых систем, хранящих и передающих информацию.

Логика высказываний (пропозициональная логика) – это логическая теория, язык которой содержит один тип нелогических символов – пропозициональные переменные, а также один тип логических символов – пропозициональные связки.

При выявлении логических форм контекстов естественного языка в этой теории происходит абстрагирование от содержаний простых высказываний, от их внутренней структуры, а учитывается лишь то, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.

Данный уровень анализа логических форм предполагает, во-первых, наличие в формализованном языке нелогических символов только одного типа – параметров, которыми могут замещаться простые высказывания естественного языка. Эти параметры называются пропозициональными переменными и употребляются в качестве них символы – p,q,r,s, p₁…

/* видимо это и есть «основные» семантические категории =). В смысле, пропозициональные переменные. */

Во-вторых, все логические символы этого формализованного языка также принадлежат к одной категории, они образуют из одной или нескольких формул новую формулу, а их прототипы в естественном языке, например «и», «или», «если…то», являются терминами, образующими из одних высказываний другие, более сложные. Логические символы указанного типа называются пропозициональными связками.

Неверно, что – отрицание, инверсия. /*обозначения тут написать сложно–( */

И – конъюнкция.

Или – дизъюнкция, строгая дизъюнкция.

Если…то – импликация.

Тождественно, эквивалентно – эквивалентность.

Технические символы: ( , ).

Итого, основные семантические категории это: пропозициональные переменные, пропозициональные связки и технические символы.

Синтаксис логики высказываний определяется следующими четырьмя пунктами:

1.                           Всякая пропозициональная переменная является правильно построенной формулой (ППФ).

2.                           Если А – ППФ, то ⌐А также является ППФ.

3.                           Если А и В являются ППФ, то выражения (А&В), (АvВ), (A→B), (A≡B) также являются ППФ.

4.                           Ничто иное не является ППФ.

Формулы, указные в пункте первом данного определении, называют элементарными, а в пунктах втором и третьем – сложными.

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

__________

Прагматика - (древнегр. pragmatos - действие) - раздел семиотики, изучающий соотношение знаков и их пользователей в конкретной речевой ситуации. Можно сказать, что П. - это семантика языка в действии. Впервые о П. писал Чарлз Сандерс Пирс в ХIХ в., а ее основные параметры применительно к философии прагматизма сформулировал в 1920-е гг. Чарлз Моррис. Однако современная лингвистически ориентированная П. развивается скорее под влиянием идей позднего Витгенштейна. Витгенштейну принадлежит знаменитое определение значения как употребления в языке. Из этого, можно сказать, вышла вся П.