Модусы простого категорического силлогизма. Сложный категорический силлогизм

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

Приведем пример силлогизма выступающего в форме модуса АЕЕ (А - большая посылка, Е -меньшая, Е - заключение).

Пример: «Преступники действуют из злого намерения.

Парамонов не действовал из злого намерения.

Парамонов не преступник».

В одной фигуре может быть 16 модусов (4х4). Шестнадцать модусов умножить на четыре фигуры, всего будет 64 модуса, но только 19 из них правильные. Используя правила силлогизма, а также знание о положении среднего термина в различных фигурах, можно вывести модусы силлогизма.

Выведем модусы первой фигуры.

В первой фигуре возможны следующие модусы:

АА ЕА IA ОА

АЕЕЕ IE ОЕ

AI EI II ОI

АОЕО IО ОО

Вычеркнем все те, которые не соответствуют правилам первой фигуры: большая посылка – общая (А или Е), а меньшая – утвердительная (А или I). Останутся: АА, ЕА, AI, EI, а в соответствии с общими правилами силлогизма получим вместе с заключением следующие модусы: ААА, ЕАЕ, АII, ЕIО.

(Общие правила: из 2-ух посылок – одна утвердительная; если

одна - отрицательна, то и вывод отрицательный; хотя бы одна посылка должна быть общей; если одна - частная, то и вывод частный.)

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

Модусы II фигуры: ЕАЕ, АЕЕ, ЕIО, АОО.

Модусы III фигуры: AAI, IAI, AII, ЕАО, ОАО, ЕIО.

Модусы IV фигуры: AAI, AEE, IAI, ЕАО, ЕIО.

Если внешне сопоставить фигуры можно обнаружить, что конфигурация I и IV фигур противоположны, потому что в I фигуре средний термин занимает место S в большей и место Р в меньшей посылке, а в IV фигуре все наоборот. Также II и III фигуры, во II - средний термин занимает место Р в обеих посылках, а в III, наоборот, - место S в обеих посылках. Кроме отличий, легко увидеть и сходные черты, например модус ААА - I фигуры и модус ААI - III и IV фигур имеют в качестве посылок одинаковые суждения. Модус АII – является модусом I и III фигур, а модус ЕIО - является модусомI и IV фигур, они сходны не только посылками, но и заключением.

Предпочтение отдается модусам I фигуры. Умозаключения по этой фигуре носят особенно очевидный характер, только она дает в качестве вывода все виды простых категорических суждений, а остальные фигуры дают то ли только отрицательные, то ли только частные выводы. Уже этим она отличается от других фигур, которые находятся в зависимости от нее и подчиняются ей, она главная, определяющая. Более того, только I фигура дает наиболее сильный вывод - общеутвердительное суждение, которое своей общностью равносильно закону. Проверить истинность правильных модусов можно 3-мя способами.

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

Второй способ связан со сведением модусов II, III и IV фигур к модусам I фигуры, только они соответствуют аксиоме силлогизма, которая не требует доказательства, а модусы других фигур – нуждаются в доказательстве. Все способы сведения модусов к модусам I фигуры - зашифрованы в латинских названиях самих модусов этих фигур. Если названия модусов I фигуры исходные, самостоятельные, то названия модусов остальных фигур поставлены в зависимость от I. Они исполняют роль мнемонических слов, легко запоминающихся (в средневековье было придумано четверостишье для названия модусов) и помогают определить способы сведения их к I фигуре.

 

 

24.Разделительное умозаключение и его разновидности

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

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

Разделительное умозаключение существует в двух модусах: modus ponendo tolens — положительно-отрицательный, modus tollendo ponens — отрицательно-положительный.

Положительно-отрицательный представляет собой умозаключение, большая посылка которого является разделительным суждением, меньшая — утвердительным суждением, а вывод — отрицательным суждением.
Каждое А есть либо В, либо С;
А есть В;
Следовательно, А не есть С.
Например:
Все разумные тварные существа суть либо ангелы, либо люди;
Данное существо есть человек;
Следовательно, оно не есть ангел.

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

Вывод сделать нельзя, поскольку и то, и другое, и третье могло оказаться причиной недостаточной подготовки студента N; кроме того, студент мог не сдать экзамен и по иной причине, которая не указана в разделительном суждении.

Отрицательно-положительный представляет собой умозаключение, большая посылка которого является разделительным суждением, меньшая — отрицательным суждением, а вывод — положительным суждением.
Каждое А есть либо В, либо С;
Данное А не есть В;
Следовательно, данное А есть С.
Например:
Все сущее есть или тварное, или нетварное;
Человек не есть нетварное существо;
Следовательно, человек есть тварное существо.

25.Условное умозаключение и его разновидности

Общая характеристика дедуктивных умозаключений и его виды

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

Логической формой получения выводных знаний являются умозаключение.

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

Например: " Следователь не может участвовать в расследовании дела, если он является потерпевшим (1). Следователь П. - потерпевший (2). Значит, он не может участвовать в расследовании дела (3)".
В этом умозаключении 1-е и 2-е суждение являются посылками, 3-е суждение - заключением.

 

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

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

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

Наряду с делением умозаключений по строгости вывода важное значение имеет их классификация по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и значении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного к общему), умозаключения по аналогии (от частного к частному).
Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключениями имеется отношение логического следования.

Например: " Все рыбы дышат жабрами (1). Все окуни - рыбы (2). Значит все окуни дышат жабрами (3)."
Здесь первая посылка " Все рыбы дышат жабрами" является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением " Все окуни дышат жабрами". Мы строим умозаключения от признака, принадлежащего роду (" рыба" ), к его принадлежности к виду - " окунь", т.е. от общего класса к его частному случаю, к подклассу. Частный случай при этом не надо путать с частным суждением вида " Некоторые S есть P" или " Некоторые S не есть P".

26.Индуктивное умозаключение. Виды индукции

Индуктивное умозаключение - такая форма абстрактного мышления, в которой мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер. В форме индуктивного умозаключения протекает эмпирическое обобщение, когда на основе повторяющегося признака у отдельных явлений делается заключение о его принадлежности всем явлениям определенного класса. Здесь нет жесткой необходимости между истинными посылками и истинными заключениями; о том, что данные заключения получаются из данных посылок, можно говорить лишь с большей или меньшей вероятностью. Пример:
Железо - твердое тело.
Виды: Полная-Полными называются умозаключения, в которых вывод делается на основе всестороннего изучения всей совокупности предметов определенного класса.
Неполная-Неполной индукцией называют умозаключение, которое на основе наличия определенных повторяющихся признаков причисляет тот или иной предмет к классу однородных ему предметов, также имеющих такой признак

⇐ Предыдущая234567891011Следующая ⇒

Поделиться: