- •Понятие
- •Деление понятий
- •Суждение
- •Сложные суждения
- •Умозаключение
- •Простой категорический силлогизм
- •1 Фигура 2 фигура
- •Непосредственные умозаключения -
- •Условные умозаключения
- •Условно-категорический силлогизм
- •Полисиллогизм -
- •Доказательство и опровержение
- •Символическая логика высказываний
- •Основные тождества логики высказываний
- •Совершенная конъюнктивная нормальная форма (сокращенно скнф)
- •Сокращенная конъюнктивная нормальная форма (сокращенно кнф)
- •Заключение
- •Литература
Умозаключение
Умозаключение есть форма мысли, в которой устанавливаются логические связи между несколькими суждениями. Умозаключение является простейшей клеточкой рассуждения. Рассуждение - это процедура обоснования некоторого высказывания путем пошагового выведения его из других высказываний. На основе одного, двух или более связанных логически исходных мыслей-суждений делается вывод в виде нового суждения, который есть новое знание о предмете. Достоинством этого знания является то, что оно получено без непосредственного обращения к самому предмету. При этом важно то, что истинный вывод следует только тогда, когда исходные суждения - истины и связи между ними логичны. Такое мышление называют истинным и логически правильным. При ложности исходных суждений логически правильное рассуждение не дает истинное заключение. Так и при истинных исходных суждениях- посылках, но при нарушении логических форм связи между ними нельзя получить истинный вывод.
Умозаключения делятся в зависимости от направления движения мысли и от количества составляющих его исходных суждений на дедуктивные и индуктивные.
Дедуктивные умозаключения имеют среди посылок хотя бы одно общее суждение. От общего мысль переходит к конкретизации его в тех или иных условиях, т.е. к частному или единичному.
Индуктивные умозаключения позволяют переходить от единичных и частных суждений к общим выводам.
Простой категорический силлогизм
Простой категорический силлогизм есть вид дедуктивного умозаключения, где из двух истинных категорических суждений (посылок) необходимо выводится новое истинное суждение (заключение).
Символом «S» в силлогизме обозначают субъект заключения и соответствующее ему понятие в меньшей посылке, его называют меньшим термином. Символом «Р» обозначают предикат заключения и соответствующее понятие в большей посылке. Это больший термин. А то понятие, которое есть в обеих посылках, но отсутствует в заключении обозначают символом «М» и называют средним термином. Посылками в простом категорическом силлогизме являются суждения четырех основных видов - А, Е, J, О. Их сочетания в структуре силлогизма подчиняются правилам посылок и правилам терминов.
Правила посылок:
-
Из двух отрицательных посылок вывод с необходимостью не следует.
-
Из двух частных посылок вывод с необходимостью не следует.
-
Если одна из посылок - отрицательная, то и вывод будет отрицательным.
-
Если одна из посылок - частная, то и вывод будет частным.
-
Если одна из посылок частная, а другая отрицательная, то вывод будет частноотрицательным.
Правила терминов
-
В простом категорическом силлогизме всегда должно быть три термина: меньший, больший и средний.
-
Средний термин должен быть распределен хотя бы в одной посылке.
-
Термин, не распределенный в посылке, не может быть распределен в заключении.
В зависимости от положения среднего термина в посылках различают 4 фигуры простого категорического силлогизма.
1 фиг. 2 фиг. 3 фиг. 4 фиг.
M _______ P P ________ M M _______ P P _______ M
S _______ M S ________ M M _______ S M _______ S
Каждая фигура, в дополнение к правилам посылок и терминов, имеет еще и свои правила.
Первая фигура требует:
-
Большая посылка должна быть суждением общим.
-
Меньшая посылка должна быть утвердительной.
Вторая фигура требует:
-
Одна из посылок должна быть отрицательной.
-
Большая посылка должна быть общей (как у первой фигуры).
Третья фигура требует:
-
Меньшая посылка должна быть утвердительной.
Четвертая фигура требует:
-
При отрицательности любой из посылок, большая должна быть общей.
-
Если большая посылка утвердительная, то меньшая должна быть общей.
Кроме положения среднего термина в посылках силлогизма, различия силлогизмов в рамках самих фигур определяются сочетаниями посылок, разных по качеству и количеству. Эти различия называют модусами. С учетом применения правил посылок и правил фигур из 16 возможных сочетаний суждений А, Е, J, О в посылках силлогизма, в первой фигуре останутся только 4 правильных модуса: АА, АJ, ЕА, ЕJ. Согласно правилам посылок выводы у этих модусов будут : АА-А, АJ-J, ЕА-Е, ЕJ-О.
Применяя правила 2 фигуры, тоже имеем четыре модуса. Вместе с выводами они будут:
ЕА-Е, ЕJ-О, АЕ-Е, АО-О.
3 фигура имеет шесть правильных модусов: АА-J, AJ-J, EA-O, EJ-O, JA-J, OA-O.
4 фигура имеет пять правильных модусов: АА-J, AE-E, EA-O, EJ-O, JA-J.
Каждый правильный модус имеет латинское название, они искусственны, поэтому произношение их не нормировано. Гласные буквы в названиях соответствуют символическому обозначению видов суждений - посылок и заключения (А, Е, J, О), поэтому в каждом названии всего три гласные.