Файл: Тестирующая система.doc

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

2.Деление должно иметь одно основание. Довольно часто встречающаяся ошибка при делении заключается в том, что в процессе деления одно основание подменяется другим. Например:

Здесь одновременно присутствуют три основания деления: число сторон, направление сторон, величина углов. Такое деление называется перекрестным.

Итак, при делении должно быть выдержано единое основание. Но это не значит, что после того, как произведено полное деление по одному основанию, мы не можем приступить к новому делению уже одного из полученных видов на подвиды уже по другому основанию. Например,

Здесь после того, как мы разделили треугольники по величине угла на тупоугольные, прямоугольные и остроугольные, мы делим уже остроугольные треугольники по величине сторон на равносторонние, равнобедренные и разносторонние.

3.Члены деления должны исключать друг друга. Например, «книги бывают французские, немецкие и словари». Это деление неверно, потому что словари бывают и немецкие и французские, а среди немецких и французских книг есть и словари. То есть члены деления не исключают друг друга.

4.Деление должно быть непрерывным. Это требование заключается в том, что при делении какого-нибудь понятия нужно переходить к ближайшему низшему роду, иначе получается так называемый скачок в делении. Если мы понятие «природа» разделим на «животных», «растения» и «минералы», то в этом делении делается скачок от «природы» к «животным» и «минералам». «Природу» следует разделить сначала на «живую» и «неживую», а уже затем «живую» на «растения» и «животные».

Это все о понятии. Теперь мы должны перейти к суждению.

Контрольные вопросы:

1.Когда и кем была основана логика?

2.Что такое понятие как форма мышления?

3.Чем понятие отличается от представления?

4.Что такое абстрагирование?

5.Что такое признаки, какова разница между существенными и отличительными признаками?

6.Что такое термин?

7.Что такое объем понятия?

8.Что такое содержание понятия?

9.Что означает закон обратного соотношения объема и содержания понятия?

10.Что такое род и вид понятия?

11.Что такое «древо Порфирия»?

12.Что такое ближайший род?

13.Что такое ограничение и обобщение понятия?

14.Что такое категория?

15.Какие бывают отношения между понятиями по объему?

16.Что такое определение понятия?

17.Какие требования предъявляются к определению понятия?

18.Какие существуют приемы, заменяющие определенные понятия?

19.Что такое деление понятия?

20.Каковы правила деления?

ЛЕКЦИЯ 2. СУЖДЕНИЕ

Суждение есть мысль, в которой что-то утверждается или отрицается и которой можно приписать значения «истинно» или «ложно». Например, суждениями являются предложения «эта роза красная», «на Марсе нет жизни», «этот поступок не является благородным» и т.д.

Простые суждения

Простым называется суждение, никакая часть которого не является суждением. Например, если суждение «эта роза красная» — простое суждение, то суждение «эта роза красная и пахучая» уже является сложным, потому что оно состоит из двух простых суждений «эта роза красная» и «эта роза пахучая».

Всякое простое суждение состоит из трех частей: субъекта, предиката и глагола-связки «есть» («не есть).

Субъект суждения это то, о чем идет речь. Это логическое подлежащее.

Предикат суждения это то, что утверждается о субъекте. Это логическое сказуемое.

Глагол-связка указывает на принадлежность данного предиката данному субъекту.

Логическая форма простого суждения «S есть P», где S — субъект, P — предикат.

Виды суждений

Суждения делятся на виды по качеству и по количеству. Качество суждения зависит от того, утверждается что-либо в суждении или отрицается. Соответственно, по качеству суждения делятся на утвердительные и отрицательные.

По количеству суждения делятся в зависимости от того, утверждается в суждении что либо обо всех предметах данного рода или только о некоторых. Те суждения, в которых утверждается нечто обо всех предметах данного рода, называется общим. А те суждения, в которых что-то утверждается только о некоторых предметах данного рода, называются частными. Например, все суждения в науке, выражающие закон, являются общими суждениями: «всякое тело падает на Землю с ускорением 9,8 м/сек²», «во всяком треугольнике сумма внутренних углов равна 180 градусам» и т.д. Частные суждения начинаются, как правило, словом «некоторые», или «иногда», «часто» и т.д. В пределе это суждение о конкретном единичном случае. Например, «некоторые люди имеют черный цвет кожи», «в средних широтах часто идут дожди», «планеты солнечной системы иногда движутся по неправильным орбитам» и т.п.

Но суждения утвердительные могут быть и общими, и частными, а частные — утвердительными и отрицательными. Таким образом, всего по качеству и количеству будет четыре вида суждений, которые обозначаются большими латинскими буквами A, I, E, O. Буквы взяты из латинских слов affirmo и nego. Первые две гласные из слова affirmo, что значит «утверждаю», A и I означают общеутвердительное и частноутвердительное суждения, а две гласные слова nego, что значит «отрицаю», Е и О обозначают общеотрицательное и частноотрицательное суждения. Сводная таблица получается такая:

(А) Все S есть Р, общеутвердительное суждение;

(I) Некоторые S есть Р, частноутвердительное суждение;

(Е) Ни одно S не есть Р, общеотрицательное суждение;

(О) Некоторые S не есть Р, частноотрицательное суждение.

Распределенность терминов в суждении

Терминами суждения называются понятия, выражающие субъект и предикат суждения. Например, в суждении «эта роза красная» терминами являются «эта роза» и «красная».

Термин называется распределенным, если его объем полностью входит в объем другого термина, или не входит в него никакой частью своего объема. Например, термин А распределен относительно термина В, если имеет место один из двух случаев:

Термин не распределен в суждении, если его объем не полностью входит в объем другого термина, а только частично. Например, термин А не распределен относительно термина В, если имеет место случай

В общеутвердительном суждении (А), «все S есть Р» субъект распределен, предикат не распределен. На кругах Эйлера это выглядит так:

Значок «+» означает «распределен», значок «-» — «не распределен».

В общеотрицательных суждениях (Е) «ни одно S не есть Р» субъект распределен и предикат распределен:

В частноутвердительных суждениях (I) «некоторые S есть Р» субъект не распределен и предикат не распределен:

В частноотрицательных суждениях (О) «некоторые S не есть Р» субъект не распределен, предикат распределен:

Этот случай представляет некоторые трудности для понимания. Следует обратить внимание на то, что в данном случае «некоторые S» говорит о том, что S не всем своим объемом входит в Р, но Р никакой частью своего объема не входит в объем «некоторых S». Например, если говорится «некоторые люди побывали на Луне», то это значит, что термин «не побывавшие на Луне» только частично входит в объем людей, побывавших на Луне. А термин «побывавшие на Луне» никакой частью своего объема не входит в объем термина «не побывавшие на Луне».

Распределенность терминов в суждении можно представить в виде таблицы:

	Виды суждений	S	P
(А)	Все S есть P	+	-
(I)	Некоторые S есть Р	-	-
(Е)	Ни одно S не есть Р	+	+
(О)	Некоторые S не есть Р	-	+

Из таблицы видно, что субъект всегда распределен в общих суждениях и не распределен в частных; предикат распределен в отрицательных и не распределен в утвердительных суждениях.

Отношения между суждениями. Логический квадрат

Под отношениями в данном случае имеются в виду отношения между суждениями разного вида, но имеющими один и тот же субъект и один и тот же предикат. Например, суждения «все люди смертны» и «некоторые люди бессмертны». Каково может быть отношение между двумя такими суждениями? Понятно, что если суждение «все люди смертны» истинно, то отсюда следует, что суждение «некоторые люди бессмертны» — ложно. Именно такого рода отношения и изучает логика: она изучает зависимость истинности или ложности суждения одного вида от истинности или ложности суждения, или суждений, другого вида. Например, из истинности суждения «все люди смертны» следует, очевидно, истинность суждения «некоторые люди смертны». Но если бы суждение «все люди смертны» было ложным, то отсюда следовала бы истинность суждения «некоторые люди бессмертны». Но это не зависит от конкретного содержания суждений. Поэтому эти отношения и можно выразить в общем виде. Если истинно «Все S есть Р», то истинно «Некоторые S есть Р». Или просто, А  I, и т.д.

Для наглядного представления всех возможных отношений между всеми четырьмя видами суждений была в свое время придумана схема под названием «логический квадрат». Его придумал римский христианский философ Боэций (480- 526 гг. н.э.). Этот «квадрат» выглядит следующим образом.

Символы А, Е, I, О, обозначающие четыре вида суждений, располагаются по углам «квадрата». Диагонали и стороны квадрата означают все возможные отношения между всеми видами суждений.

Отношения по вертикальным сторонам квадрата называются отношением подчинения. Суждение вида А подчиняет себе суждение вида I, но не наоборот. То же самое и для суждений вида Е и О.

Отношение между суждениями А и Е называется отношением противоположности. Суждение вида А утверждает нечто обо всех, а суждение вида Е отрицает нечто обо всех. И эти два суждения не могут быть оба истинными