Билет 26

Семантические категории языковых выражений. ЯЗЫК логики

Любое предложение делится на части речи:

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

Подразделение речевых оборотов на семантические категории осуществляется в зависимости от значений этих оборотов.

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

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

Слова же «Сократ» и «идет» принадлежат разным семантическим категориям, поскольку из предложения «Сократ идет» при замене слова «идет» словом «Сократ» образуется выражение «Сократ Сократ», не являющееся предложением

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

Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:

а)      а, Ь, с... - постоянные предметные термины;

б)      x,y,z...- переменные предметные термины;

в)      Р, Q, R ... - предикатные термины (имена свойств);

г)       p, q, r ... - пропозициональные термины (имена высказываний);

д)      кванторы:  - все,  - некоторые;

е)       , , , - логические союзы, которые соответственно читаются: «и», «или», «если…,то...», «если, и только если, то...» и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

ж)      технические знаки: , - запятая; () - скобки.

Энтимема. Способы образования и проверки энтимем.

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

Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.

Полный силлогизм строится по 1-й фигуре:

Лицо, совершившее преступление (М), подлежит уголовной ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

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

Рассмотрим наиболее распространенные виды энтимем.

Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть возбуждено, так как событие преступления не имело места».

Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Разделительно-категорический силлогизм с пропущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным».

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

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

Заключение, отрицающее все другие альтернативы, обычно не формулируется.