Логика для юристов: Учебник.
Шрифт:
В современной логике знаки свойств и знаки отношений включаются в одну семантическую категорию — категорию знаков, представляющих характеристики последовательностей предметов. При этом свойства рассматриваются как характеристики последовательностей, состоящих из одного предмета, а отношения — как характеристики последовательностей, состоящих из нескольких предметов (двухместные отношения — характеристики пар предметов, трехместные отношения— характеристики троек предметов и т.д.).
Отношение “больший, чем”, — двухместное, так как для получения истинного или ложного предложения его необходимо отнести в мыслях к паре предметов. Отношение “расположенный
Признак “какого-либо предмета — это наличие или отсутствие у него того или иного свойства или отношения к другим предметам” [8] . Признак n-ки (пары, тройки и т.д. предметов) — это наличие или отсутствие какого-либо отношения между ее элементами. В предложении “Этот стол желтый” утверждается наличие у этого стола желтого цвета. Словосочетание “является желтым” — знак признака, а слово “желтый” — знак свойства. В предложении «Москва больше Архангельска» “больше” — знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: “Москва есть большая, чем Архангельск”. Здесь “есть большая, чем” (“больше”) — знак признака, а “большая, чем” — знак отношения.
8
Войшвилло Е.К. Понятие как форма мышления // Вопросы философии. 1969. № 8. С. 30.
Между общими именами, с одной стороны, и знаками свойств и отношений — с другой, не всегда легко провести различие. Вне контекста, например, слово “красный” можно считать как знаком свойства, так и общим именем. В последнем случае это общее имя красных предметов.
Упражнение 6
О каких отношениях идет речь в следующих предложениях? Какие из этих отношений являются двухместными, а какие трехместными?
1. Наука противоположна религии.
2. Иванов знает английский язык лучше французского языка.
3. Мы привыкли, что люди издеваются над тем, чего они не понимают (Гёте).
Знаки предметных функций, или функциональные знаки, представляют предметные функции.
Функцией вообще называется соответствие, в силу которого объекты (предмет, пара, тройка предметов и т.д.) из некоторого множества, называемого областью определения функции, соотносятся с объектами из другого или того же самого множества, называемыми значениями функции.
Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: sin, log, +, масса. Применив функциональный знак “масса” к единичному имени “Земля”, получим в качестве значения единичное имя “масса Земли”, обозначающее определенную величину, т.е. предмет. Таким образом, данная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы).
Основными логическими терминами русского языка являются следующие слова и словосочетания: “есть” (“суть”), “и”, “или”, “если...,
Рассмотрим предложение: “Если ни один член семьи Ивановых не является честным человеком, и Степан — член семьи Ивановых, то Степан не является честным человеком” и определим, к каким семантическим категориям относятся выражения, являющиеся его частями. В этом предложении “если..., то...” — логический термин, “ни один” (“вес”) — логический термин, “член семьи Ивановых” — общее имя, “не” — логический термин, “является” (“есть”) — логический термин, “честный человек” — общее имя, “и” — логический термин, “Степан” — единичное имя.
Упражнение 7
Установите, к каким семантическим категориям относятся выражения, входящие в следующие словосочетания.
1. Если некоторые сделки являются договорами, а все договоры суть гражданские правоотношения, то некоторые гражданские правоотношения являются сделками. (Союз “а” здесь по значению совпадает с союзом “и”, т.е. является логическим термином.)
2. Мать Сократа.
3. Всякая мать хочет мира.
4. Веллей Патеркул — известный римский историк.
5. “Мертвый человек сгорает на костре, а живой сгорает от забот” (индийская мудрость).
6. Знание о жизни общества, полученное из книг, не является настоящим знанием.
При выявлении логической формы сохраняется информация о том, к какой семантической категории относится дескриптивный термин, заменяемый переменной. Кроме того, при выявлении логической формы различные вхождения одного и того же термина в контекст заменяются одной и той же буквой и различные термины — различными буквами.
§ 4. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ
В современной логике разработано несколько специальных искусственных языков, применяемых для описания ее законов. Наиболее широко для этой цели используется язык логики высказываний, выражения которого точно определяются, что позволяет избегать двусмысленностей и сводить процесс проверки правильности рассуждении к “вычислениям”, а также решать ряд других проблем.
Как и в естественных языках, в этом языке есть алфавит, а также сложные выражения.
Алфавит языка логики высказываний составляют следующие символы:
а) р, q, r, s, p1 , ... — пропозициональные переменные (символы для (повествовательных) предложений, выражающих суждения), при исследовании рассуждении этими символами заменяются целые предложения;
б) ¬, , , , — логические термины, соответственно читаются “неверно, что” (“не”), “и”, “или”, “если..., то...”, “если и только если, то...” и называются знаком отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности;