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

Следует различать два способа употребления имен. Первый — имя просто выделяет предмет (предметы). Второй — предметы, обозначаемые именем, рассматриваются в определенном аспекте. Если имя употребляется во втором смысле, то его можно заменять другим именем с тем же значением, если только во втором имени предметы рассматриваются в том же аспекте. Указанную выше замену можно было бы произвести, если бы Птолемей считал, что значения имен “Солнце” и “центральное тело Солнечной системы” совпадают. Тогда значением предложения “Птолемей считал, что Солнце вращается вокруг Земли” была бы “ложь”. Ложным бы оказалось и предложение, получаемое в результате замены: “Птолемей считал, что центральное тело Солнечной системы вращается вокруг Земли”.

Предметы рассматриваются в определенном аспекте, когда имена употребляются в косвенной речи. Об этом следует помнить, например, при написании протоколов. Так, свидетель утверждает, что видел на месте преступления человека в жёлтой куртке. Следователь знает, что этим человеком является подозреваемый Косоротов. Хотя имена “человек в желтой куртке” и “Косоротов” совпадают по значению, заменить в протоколе одно другим нельзя, если свидетель не сказал, что человек в жёлтой куртке — это Косоротов.

Упражнение 3

Укажите, какие из следующих выражений — причина, “причина”, ““причина”” — можно подставить вместо X в приведенные ниже выражения, чтобы получить истинные предложения.

1. Х— философская категория.

2. Х— слово русского языка.

3. Х— выражение, обозначающее слово.

4. Х озоновой дыры не выявлена.

Упражнение 4

Являются ли следующие рассуждения правильными? Если нет, то почему?

1. Необходимо, что 9 > 7. Число планет равно 9. Следовательно, необходимо, что число планет больше 7.

2. Все зеленое приятно. Эта картина зеленая. Следовательно, эта картина приятная.

Упражнение 5

Нарушен ли принцип предметности в следующих утверждениях?

“Как личные, так и неличные формы глагола имеют два залога: действительный и страдательный.

Глаголы в действительном залоге выражают действие, которое производится подлежащим.

Глаголы в страдательном залоге выражают действие, которое испытывает на себе подлежащее.” (Маркова Л.С. Краткий грамматический справочник. Английский язык. М., 1972. С. 56)

Выражения языка делятся на классы в зависимости от типов выражаемых ими смыслов, а также от типов объектов, которые они обозначают или представляют. Эти классы называются семантическими категориями.

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

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

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

К дескриптивным терминам относятся: 1) единичные имена;

2) общие имена; 3) знаки свойств и отношений; 4) знаки признаков; 5) знаки предметных функций.

Единичные и общие имена охарактеризованы выше.

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

Отношение отличается от свойства тем, что для получения истинного или ложного предложения его (отношение) следует отнести в мыслях к паре или тройке и т.д. предметов. Примеры отношений: “больший, чем”, “расположенный между” и т.п.

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

Отношение “больший, чем”, — двухместное, так как для получения истинного или ложного предложения его необходимо отнести в мыслях к паре предметов. Отношение “расположенный между” — трехместное, его необходимо отнести к тройке предметов, чтобы получить истинное или ложное предложение.

Признак “какого-либо предмета — это наличие или отсутствие у него того или иного свойства или отношения к другим предметам”[8]. Признак n-ки (пары, тройки и т.д. предметов) — это наличие или отсутствие какого-либо отношения между ее элементами. В предложении “Этот стол желтый” утверждается наличие у этого стола желтого цвета. Словосочетание “является желтым” — знак признака, а слово “желтый” — знак свойства. В предложении «Москва больше Архангельска» “больше” — знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: “Москва есть большая, чем Архангельск”. Здесь “есть большая, чем” (“больше”) — знак признака, а “большая, чем” — знак отношения.

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

Упражнение 6

О каких отношениях идет речь в следующих предложениях? Какие из этих отношений являются двухместными, а какие трехместными?

1. Наука противоположна религии.

2. Иванов знает английский язык лучше французского языка.

3. Мы привыкли, что люди издеваются над тем, чего они не понимают (Гёте).

Знаки предметных функций, или функциональные знаки, представляют предметные функции.

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

Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: sin, log, +, масса. Применив функциональный знак “масса” к единичному имени “Земля”, получим в качестве значения единичное имя “масса Земли”, обозначающее определенную величину, т.е. предмет. Таким образом, данная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы).

Основными логическими терминами русского языка являются следующие слова и словосочетания: “есть” (“суть”), “и”, “или”, “если..., то...”, “не”, “неверно, что...”, “всякий” (“каждый”), “все”, “некоторые”, “тот..., который...”. Некоторые из этих терминов выражают отношения действительности. Например, "и" выражает сосуществование двух положений дел или ситуаций, а “если..., то...” — связь двух ситуаций, когда при наличии первой всегда имеет место вторая. Такие отношения называют логическими в отличие от нелогических отношений, т.е. отношений, представляемых дескриптивными терминами.

Рассмотрим предложение: “Если ни один член семьи Ивановых не является честным человеком, и Степан — член семьи Ивановых, то Степан не является честным человеком” и определим, к каким семантическим категориям относятся выражения, являющиеся его частями. В этом предложении “если..., то...” — логический термин, “ни один” (“вес”) — логический термин, “член семьи Ивановых” — общее имя, “не” — логический термин, “является” (“есть”) — логический термин, “честный человек” — общее имя, “и” — логический термин, “Степан” — единичное имя.

Упражнение 7

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

б) если А и В — ППФ, то ¬ А, (В  С), (В  С), (А  В), (А  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. Какие выражения естественного языка соответствуют формулам языка логики высказываний?

ГЛАВА III ЛОГИКА И МЕТОДОЛОГИЯ. ОСНОВНЫЕ МЕТОДОЛОГИЧЕСКИЕ ПРИНЦИПЫ ЛОГИКИ

§ 1. МЕСТО ЛОГИКИ В МЕТОДОЛОГИИ НАУЧНОГО ПОЗНАНИЯ

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

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

Основными нематериальными средствами познания и преобразования действительности (методологическими средствами) являются принципы, методы, приемы и некоторые другие.

Методологические принципы следует отличать от мировоззренческих. Для уяснения этого необходимо иметь в виду, что в науке различают две стороны: дескриптивную (описывающую) и прескриптивную (предписывающую). Мировоззрение является дескриптивной стороной науки, а методология — прескриптивной. Мировоззрение в широком смысле слова — это система взглядов на мир (на природу, общество и познание). Основу мировоззрения образует философское мировоззрение, называемое иногда мировоззрением в узком смысле слова. Мировоззрение составляют: принципы (мировоззренческие), представляющие собой знания о наиболее общих связях и свойствах объективной действительности и познания (наиболее общие в рамках предметной области конкретной науки — тогда это принципы конкретной науки, и наиболее общие безотносительно к конкретной науке — тогда это философские принципы); законы — знания об особых связях в объективной действительности и познании, менее общих, чем первые (в рамках предметной области той или иной науки), и категории.

В отличие от мировоззренческих принципов принципы познания и практической деятельности (методологические принципы} представляют собой наиболее общие предписания, указывающие, как следует осуществлять познание и практическую деятельность. Методологические принципы вырабатываются чаще всего на основе мировоззренческих принципов, а также на основе законов в процессе познания и практики. Например, в философии на основе мировоззренческого принципа первичности материального и вторичности идеального разработан методологический принцип объективности рассмотрения, предписывающий, в частности, в социальном познании идти не от вторичных явлений к причинам, а, наоборот, из причин выводить соответствующие следствия.

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

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