Юрий Ивлев - Логика для юристов - Учебник.

Упражнение 7

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

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

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

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

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

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

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

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

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

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

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

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

б) ¬, , , ,  — логические термины, соответственно читаются “неверно, что” (“не”), “и”, “или”, “если..., то...”, “если и только если, то...” и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;

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

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

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

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

б) если А и В — ППФ, то ¬ А, (В  С), (В  С), (А  В), (А  B ) — ППФ;

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

Примеры формул: ((р  q) ¬ r ); ¬ r; (¬p  q).

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

Упражнение 8

Какие из следующих выражений являются ППФ, а какие нет?

1. (p  (q  r));

2 . ( s  q)  ( q  r );

3 . р ;

4. q ¬ р.

1. Что такое знак? 2. Каковы основные виды знаков? 3. Основные характеристики знаков. 4. Основные виды имен. 5. Каковы принципы употребления имен? 6. Что такое антиномии отношения именования? 7. Основные типы дескриптивных терминов. 8. Как выявить логическую форму мысли? 9. Как определяется правильно построенная формула языка логики высказываний? 10. Какие выражения естественного языка соответствуют формулам языка логики высказываний?

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

Слово “методология” состоит из слов “метод” и “логия”. Последнее, находясь в конце сложного слова, означает “учение”. То есть буквально методология — это учение о методе. Употребляется это слово в двух смыслах: во-первых, методологией называют систему нематериальных средств познания и преобразования действительности [9] Нематериальное само по себе, конечно, не может воздействовать на действительность, а лишь используется человеком в качестве руководства при его материальной деятельности. Именно в этом смысле здесь употребляется выражение “нематериальные средства преобразования действительности”. ; во-вторых, — учение о нематериальных средствах познания и преобразования действительности. Такая двуплановость научных понятий — явление обычное. Так, логикой называют особые закономерности в связях и развитии мыслей, а также науку об этих закономерностях.