Установите, к каким семантическим категориям относятся выражения, входящие в следующие словосочетания.
1. Если некоторые сделки являются договорами, а все договоры суть гражданские правоотношения, то некоторые гражданские правоотношения являются сделками. (Союз “а” здесь по значению совпадает с союзом “и”, т.е. является логическим термином.)
2. Мать Сократа.
3. Всякая мать хочет мира.
4. Веллей Патеркул — известный римский историк.
5. “Мертвый человек сгорает на костре, а живой сгорает от забот” (индийская мудрость).
6. Знание о жизни общества, полученное из книг, не является настоящим знанием.
При выявлении логической формы сохраняется информация о том, к какой семантической категории относится дескриптивный термин, заменяемый переменной. Кроме того, при выявлении логической формы различные вхождения одного и того же термина в контекст заменяются одной и той же буквой и различные термины — различными буквами.
ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ
В современной логике разработано несколько специальных искусственных языков, применяемых для описания ее законов. Наиболее широко для этой цели используется язык логики высказываний, выражения которого точно определяются, что позволяет избегать двусмысленностей и сводить процесс проверки правильности рассуждении к “вычислениям”, а также решать ряд других проблем.
|
|
Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.
Алфавит языка логики высказываний составляют следующие символы:
а) р, q, r, s, p1,... — пропозициональные переменные (символы для (повествовательных) предложений, выражающих суждения), при исследовании рассуждении этими символами заменяются целые предложения;
б), É, Ù, Ú, º — логические термины, соответственно читаются “неверно, что” (“не”), “и”, “или”, “если..., то...”, “если и только если, то...” и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;
в) (,) — скобки.
Выражения языка логики высказываний называются формулами. Среди формул выделяют правильно построенные (ППФ).
Определение правильно построенной формулы:
а) пропозициональный символ является ППФ;
б) если А и В — ППФ, то А, (В Ù С), (В Ú С), (А É В), (А º B) — ППФ;
в) ничто иное не является ППФ.
Примеры формул: ((р É q) Ú r); r; (p Ú q).
Формулы (ППФ) языка логики высказываний соответствуют предложениям естественного языка, выражающим суждения.