Силлогизм — различия между версиями
| Строка 1: | Строка 1: | ||
| − | |||
'''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения. | '''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения. | ||
Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''. | Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''. | ||
| − | |||
== Простой категорический силлогизм == | == Простой категорический силлогизм == | ||
'''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру. | '''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру. | ||
| − | |||
== Состав силлогизма == | == Состав силлогизма == | ||
=== Состав из терминов === | === Состав из терминов === | ||
| Строка 13: | Строка 10: | ||
* '''P — больший термин''': предикат заключения (входит также в большую посылку); | * '''P — больший термин''': предикат заключения (входит также в большую посылку); | ||
* '''M — средний термин''': входит в обе посылки, но не входит в заключение. | * '''M — средний термин''': входит в обе посылки, но не входит в заключение. | ||
| − | |||
=== Состав из суждений === | === Состав из суждений === | ||
В силлогизм входит три суждения: | В силлогизм входит три суждения: | ||
| Строка 20: | Строка 16: | ||
* '''заключение''', включает '''S''' и '''P'''. | * '''заключение''', включает '''S''' и '''P'''. | ||
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках. | Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках. | ||
| − | |||
=== Первая фигура === | === Первая фигура === | ||
[[файл:СИЛ01.JPG]] - схема посылок похожа на зеркальное отражение буквы '''Z'''. | [[файл:СИЛ01.JPG]] - схема посылок похожа на зеркальное отражение буквы '''Z'''. | ||
| − | |||
=== Вторая фигура === | === Вторая фигура === | ||
[[файл:СИЛ02.JPG]] - схема посылок похожа на зеркальное отражение буквы '''C'''. | [[файл:СИЛ02.JPG]] - схема посылок похожа на зеркальное отражение буквы '''C'''. | ||
| − | |||
=== Третья фигура === | === Третья фигура === | ||
[[файл:СИЛ03.JPG]] - схема посылок похожа на букву '''C'''. | [[файл:СИЛ03.JPG]] - схема посылок похожа на букву '''C'''. | ||
| − | |||
=== Четвёртая фигура === | === Четвёртая фигура === | ||
[[файл:СИЛ04.JPG]] - схема посылок похожа на букву '''Z'''. | [[файл:СИЛ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-ая фигура | ||
| Строка 86: | Строка 71: | ||
** сильные: '''AAI, AEE, EAO, EIO, IAI''' | ** сильные: '''AAI, AEE, EAO, EIO, IAI''' | ||
** слабый '''AEO''' | ** слабый '''AEO''' | ||
| − | |||
== Структурные схемы == | == Структурные схемы == | ||
=== Первая фигура === | === Первая фигура === | ||
[[файл:СИЛ11.JPG]] | [[файл:СИЛ11.JPG]] | ||
| − | |||
=== Вторая фигура === | === Вторая фигура === | ||
[[файл:СИЛ12.JPG]] | [[файл:СИЛ12.JPG]] | ||
| − | |||
=== Третья фигура === | === Третья фигура === | ||
[[файл:СИЛ13.JPG]] | [[файл:СИЛ13.JPG]] | ||
| − | |||
=== Четвёртая фигура === | === Четвёртая фигура === | ||
[[файл:СИЛ14.JPG]] | [[файл:СИЛ14.JPG]] | ||
| − | |||
* Знак '''"+"''' означает, что термин распределён. | * Знак '''"+"''' означает, что термин распределён. | ||
* Знак '''"-"''' означает, что термин не распределён. | * Знак '''"-"''' означает, что термин не распределён. | ||
| − | |||
== Другие понятия: == | == Другие понятия: == | ||
| + | * [[Секвенции]]; | ||
* [[Суждение]]; | * [[Суждение]]; | ||
* [[Умозаключение]]. | * [[Умозаключение]]. | ||
| − | |||
== Ссылки == | == Ссылки == | ||
* Википедия | * Википедия | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] | ||
Версия 16:23, 15 января 2016
Силлогизм — это дедуктивное умозаключение, состоящее из посылок и заключения.
Далее под термином силлогизм будем подразумевать простой категорический силлогизм.
Содержание
Простой категорический силлогизм
Простой категорический силлогизм - это умозаключение, в котором заключение и посылки являются простыми категорическими суждениями. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру.
Состав силлогизма
Состав из терминов
В силлогизм входит три термина:
- 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