Силлогизм — различия между версиями
м |
|||
(не показано 12 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
− | |||
'''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения. | '''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения. | ||
Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''. | Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''. | ||
− | |||
== Простой категорический силлогизм == | == Простой категорический силлогизм == | ||
'''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру. | '''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру. | ||
− | |||
== Состав силлогизма == | == Состав силлогизма == | ||
=== Состав из терминов === | === Состав из терминов === | ||
В силлогизм входит три термина: | В силлогизм входит три термина: | ||
− | * '''S — меньший термин''': субъект заключения (входит также в меньшую посылку); | + | *'''S — меньший термин''': субъект заключения (входит также в меньшую посылку); |
− | * '''P — больший термин''': предикат заключения (входит также в большую посылку); | + | *'''P — больший термин''': предикат заключения (входит также в большую посылку); |
− | * '''M — средний термин''': входит в обе посылки, но не входит в заключение. | + | *'''M — средний термин''': входит в обе посылки, но не входит в заключение. |
− | + | ||
=== Состав из суждений === | === Состав из суждений === | ||
В силлогизм входит три суждения: | В силлогизм входит три суждения: | ||
− | * '''большая посылка''', включает '''S''' и '''M'''; | + | *'''большая посылка''', включает '''S''' и '''M'''; |
− | * '''меньшая посылка''', включает '''P''' и '''M'''; | + | *'''меньшая посылка''', включает '''P''' и '''M'''; |
− | * '''заключение''', включает '''S''' и '''P'''. | + | *'''заключение''', включает '''S''' и '''P'''. |
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках. | Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках. | ||
− | |||
=== Первая фигура === | === Первая фигура === | ||
− | [[файл:СИЛ01.JPG]] | + | [[файл:СИЛ01.JPG]] — схема посылок похожа на зеркальное отражение буквы '''Z'''. |
− | + | ||
=== Вторая фигура === | === Вторая фигура === | ||
− | [[файл:СИЛ02.JPG]] | + | [[файл:СИЛ02.JPG]] — схема посылок похожа на зеркальное отражение буквы '''C'''. |
− | + | ||
=== Третья фигура === | === Третья фигура === | ||
− | [[файл:СИЛ03.JPG]] | + | [[файл:СИЛ03.JPG]] — схема посылок похожа на букву '''C'''. |
− | + | ||
=== Четвёртая фигура === | === Четвёртая фигура === | ||
− | [[файл:СИЛ04.JPG]] | + | [[файл:СИЛ04.JPG]] — схема посылок похожа на букву '''Z'''. |
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения. | Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения. | ||
− | |||
== Правила силлогизма == | == Правила силлогизма == | ||
=== Правила терминов: === | === Правила терминов: === | ||
Строка 42: | Строка 33: | ||
3) крайний термин не распределённый в посылке, не может быть распределён и в заключении. | 3) крайний термин не распределённый в посылке, не может быть распределён и в заключении. | ||
− | |||
=== Правила посылок: === | === Правила посылок: === | ||
1) хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует. | 1) хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует. | ||
Строка 51: | Строка 41: | ||
4) если одна из посылок – частное суждение, то и заключение должно быть частным. | 4) если одна из посылок – частное суждение, то и заключение должно быть частным. | ||
− | |||
=== Правила 1-ой фигуры: === | === Правила 1-ой фигуры: === | ||
1) большая посылка – общее суждение. | 1) большая посылка – общее суждение. | ||
2) меньшая посылка – утвердительное суждение. | 2) меньшая посылка – утвердительное суждение. | ||
− | |||
=== Правила 2-ой фигуры: === | === Правила 2-ой фигуры: === | ||
1) большая посылка – общее суждение. | 1) большая посылка – общее суждение. | ||
Строка 63: | Строка 51: | ||
3) заключение – отрицательное суждение. | 3) заключение – отрицательное суждение. | ||
− | |||
=== Правила 3-ей фигуры: === | === Правила 3-ей фигуры: === | ||
1) меньшая посылка – утвердительное суждение. | 1) меньшая посылка – утвердительное суждение. | ||
2) заключение – частное суждение. | 2) заключение – частное суждение. | ||
− | |||
=== Правила 4-ой фигуры: === | === Правила 4-ой фигуры: === | ||
1) ни одна из посылок не может быть частноотрицательным суждением. | 1) ни одна из посылок не может быть частноотрицательным суждением. | ||
2) заключение не может быть общеутвердительным суждением. | 2) заключение не может быть общеутвердительным суждением. | ||
− | |||
=== Правильные модусы: === | === Правильные модусы: === | ||
− | * 1-ая фигура | + | *1-ая фигура |
− | ** сильные: '''AAA, AII, EAE, EIO''' | + | **сильные: '''AAA, AII, EAE, EIO''' |
− | ** слабые: '''AAI, EAO''' | + | **слабые: '''AAI, EAO''' |
− | * 2-ая фигура | + | *2-ая фигура |
− | ** сильные: '''AEE, AOO, EAE, EIO''' | + | **сильные: '''AEE, AOO, EAE, EIO''' |
− | ** слабые: '''AEO, EAO''' | + | **слабые: '''AEO, EAO''' |
− | * 3-ья фигура | + | *3-ья фигура |
− | ** сильные: '''AAI, AII, EAO, EIO, IAI, OAO''' | + | **сильные: '''AAI, AII, EAO, EIO, IAI, OAO''' |
− | * 4-ая фигура | + | *4-ая фигура |
− | ** сильные: '''AAI, AEE, EAO, EIO, IAI''' | + | **сильные: '''AAI, AEE, EAO, EIO, IAI''' |
− | ** слабый '''AEO''' | + | **слабый '''AEO''' |
− | + | ||
== Структурные схемы == | == Структурные схемы == | ||
=== Первая фигура === | === Первая фигура === | ||
− | [[файл: | + | [[файл:Сил01.png]] |
− | + | ||
=== Вторая фигура === | === Вторая фигура === | ||
− | [[файл: | + | [[файл:Сил02.png]] |
− | + | ||
=== Третья фигура === | === Третья фигура === | ||
− | [[файл: | + | [[файл:Сил03.png]] |
− | + | ||
=== Четвёртая фигура === | === Четвёртая фигура === | ||
− | [[файл: | + | [[файл:Сил04.png]] |
− | + | *Знак '''"+"''' означает, что термин распределён. | |
− | * Знак '''"+"''' означает, что термин распределён. | + | *Знак '''"-"''' означает, что термин не распределён. |
− | * Знак '''"-"''' означает, что термин не распределён. | + | == [[Умозаключение|Другие умозаключения:]] == |
− | + | {{Список Умо}} | |
− | == | + | |
− | + | ||
− | + | ||
− | + | ||
== Ссылки == | == Ссылки == | ||
− | * Википедия | + | *Википедия |
− | * [[Участник:Logic-samara]] | + | *[[Участник:Logic-samara]] |
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 12:26, 13 января 2024
Силлогизм — это дедуктивное умозаключение, состоящее из посылок и заключения.
Далее под термином силлогизм будем подразумевать простой категорический силлогизм.
Содержание
Простой категорический силлогизм
Простой категорический силлогизм - это умозаключение, в котором заключение и посылки являются простыми категорическими суждениями. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру.
Состав силлогизма
Состав из терминов
В силлогизм входит три термина:
- S — меньший термин: субъект заключения (входит также в меньшую посылку);
- P — больший термин: предикат заключения (входит также в большую посылку);
- M — средний термин: входит в обе посылки, но не входит в заключение.
Состав из суждений
В силлогизм входит три суждения:
- большая посылка, включает S и M;
- меньшая посылка, включает P и M;
- заключение, включает S и P.
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках.
Первая фигура
— схема посылок похожа на зеркальное отражение буквы Z.
Вторая фигура
— схема посылок похожа на зеркальное отражение буквы C.
Третья фигура
— схема посылок похожа на букву C.
Четвёртая фигура
— схема посылок похожа на букву Z.
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.
Правила силлогизма
Правила терминов:
1) в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нём не может быть ни меньше, ни больше трёх терминов. Нарушение этого правила связано с отождествлением разных понятий, которые принимаются за одно и рассматриваются как средний термин.
2) средний термин должен быть распределён хотя бы в одной из посылок. Если средний термин не распределён ни в одной из посылок, то связь между крайними терминами остаётся неопределённой.
3) крайний термин не распределённый в посылке, не может быть распределён и в заключении.
Правила посылок:
1) хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует.
2) если одна из посылок – отрицательное суждение, то и заключение должно быть отрицательным. Поэтому в силлогизме с одной отрицательной посылкой средний термин исключается из объёма крайнего терминам, поэтому объём крайнего термина, который входит в объём среднего, исключается из объёма другого крайнего термина.
3) хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует.
4) если одна из посылок – частное суждение, то и заключение должно быть частным.
Правила 1-ой фигуры:
1) большая посылка – общее суждение.
2) меньшая посылка – утвердительное суждение.
Правила 2-ой фигуры:
1) большая посылка – общее суждение.
2) одна из посылок – отрицательное суждение.
3) заключение – отрицательное суждение.
Правила 3-ей фигуры:
1) меньшая посылка – утвердительное суждение.
2) заключение – частное суждение.
Правила 4-ой фигуры:
1) ни одна из посылок не может быть частноотрицательным суждением.
2) заключение не может быть общеутвердительным суждением.
Правильные модусы:
- 1-ая фигура
- сильные: AAA, AII, EAE, EIO
- слабые: AAI, EAO
- 2-ая фигура
- сильные: AEE, AOO, EAE, EIO
- слабые: AEO, EAO
- 3-ья фигура
- сильные: AAI, AII, EAO, EIO, IAI, OAO
- 4-ая фигура
- сильные: AAI, AEE, EAO, EIO, IAI
- слабый AEO
Структурные схемы
Первая фигура
Вторая фигура
Третья фигура
Четвёртая фигура
- Знак "+" означает, что термин распределён.
- Знак "-" означает, что термин не распределён.
Другие умозаключения:
Ссылки
- Википедия
- Участник:Logic-samara