Существуют следующие операции с классами: объединение, пересечение, вычитание, дополнение.

* Объединение («сложение») классов. Объединение (или сумма) двух классов — это класс тех элемен­тов, которые принадлежат хотя бы к одному из этих двух клас­сов. При выражении операции объединения классов пользуются обычно союзом «или» в не исключающем смысле. Например, говоря, что некто — член волейбольной или гимнастической сек­ции, мы не исключаем того, что этот человек может быть одно­временно членом обеих секций.

* Пересечение («умножение») классов. Общей частью, или пересечением, двух классов называется класс тех элементов, которые содержатся в обоих данных множе­ствах, т. е. это множество (класс) элементов, общих обоим мно­жествам.

* Вычитание классов. Рассмотрим два множества (класса) А и В, из которых В может и не быть частью А. Разностью множеств (классов) А и В на­зывается множество тех элементов класса А, которые не являют­ся элементами класса В.

* Дополнение к классу А. Операцию дополнения к классу А можно рассматривать как частный случай операции «вычитания» (из универсального клас­са). Если от класса целых чисел отнять класс четных чисел, то мы получим класс нечетных чисел. Особым видом деления является классификация, представляющая собой распределение предметов по группам (классам), при котором каждый класс имеет свое постоянное, определенное место.

 

 

29. Закон исключенного третьего.

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

 

 

30. Чисто условное и условно – категорическое суждение.

 

31. Логический квадрат.

“Логический квадрат” представляет собой наглядную схему взаимного отношения суждений четырех типов А, Е, I, О. Строится логический квадрат так: левый верхний угол обозначается буквой А (общеутвердительное суждение) или SaP; правый верхний угол обозначается буквой Е (общеотрицательное суждение) или SeP; нижний левый угол обозначается буквой I (частноутвердительное суждение) или SiP; нижний правый угол обозначается буквой О (частноотрицательное суждение) или SoP.

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

32.

 

 

32.Фигуры и модусы категорического силлогизма.

 

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

Неправильные модусы — это формы силлогизма, не обеспечивающие логического следования заключения из посылок. В этом случае говорят, что заключение не достоверно, а только вероятно.

Умозаключения, в которых вывод получается из нескольких посылок, называются опосредствованными. Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, вывод в котором получается из двух категорических суждений. Итак, простой категорический силлогизм - ϶ᴛᴏ умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.

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

В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылке.

Во второй фигуре – место предиката и в большей, и в меньшей посылках.

В третьей фигуре – место субъекта в обеих посылках.

В четвертой фигуре – место предиката в большей и место субъекта в меньшей посылке.

Фигуры силлогизма - ϶ᴛᴏ его разновидности, различающиеся положением среднего термина в посылках.

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