Логика для юристов - [10]

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, +, масса. Применив функциональный знак “масса” к единичному имени “Земля”, получим в качестве значения единичное имя “масса Земли”, обозначающее определенную величину, т.е. предмет. Таким образом, данная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы).

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