double arrow

Упражнение 7. Установите, к каким семантическим категориям относятся выражения, входящие в следующие словосочетания


Установите, к каким семантическим категориям относятся выражения, входящие в следующие словосочетания.

1. Если некоторые сделки являются договорами, а все договоры суть гражданские правоотношения, то некоторые гражданские правоотношения являются сделками. (Союз “а” здесь по значению совпадает с союзом “и”, т.е. является логическим термином.)

2. Мать Сократа.

3. Всякая мать хочет мира.

4. Веллей Патеркул — известный римский историк.

5. “Мертвый человек сгорает на костре, а живой сгорает от забот” (индийская мудрость).

6. Знание о жизни общества, полученное из книг, не является настоящим знанием.

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

ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ

В современной логике разработано несколько специальных искусственных языков, применяемых для описания ее законов. Наиболее широко для этой цели используется язык логики высказываний, выражения которого точно определяются, что позволяет избегать двусмысленностей и сводить процесс проверки правильности рассуждении к “вычислениям”, а также решать ряд других проблем.




Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.

Алфавит языка логики высказываний составляют следующие символы:

а) р, q, r, s, p1 , ... — пропозициональные переменные (символы для (повествовательных) предложений, выражающих суждения), при исследовании рассуждении этими символами заменяются целые предложения;

б) , É, Ù, Ú, º — логические термины, соответственно читаются “неверно, что” (“не”), “и”, “или”, “если..., то...”, “если и только если, то...” и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

в) (,) — скобки.

Выражения языка логики высказываний называются формулами. Среди формул выделяют правильно построенные (ППФ).

Определение правильно построенной формулы:

а) пропозициональный символ является ППФ;

б) если А и В — ППФ, то А, (В Ù С), (В Ú С), (А É В), (А º B) — ППФ;

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

Примеры формул: ((р É q) Ú r ); r; (p Ú q).

Формулы (ППФ) языка логики высказываний соответствуют предложениям естественного языка, выражающим суждения.







Сейчас читают про: