Силлогизм — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
Строка 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.

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

Первая фигура

СИЛ01.JPG - схема посылок похожа на зеркальное отражение буквы Z.

Вторая фигура

СИЛ02.JPG - схема посылок похожа на зеркальное отражение буквы C.

Третья фигура

СИЛ03.JPG - схема посылок похожа на букву C.

Четвёртая фигура

СИЛ04.JPG - схема посылок похожа на букву 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

Структурные схемы

Первая фигура

СИЛ11.JPG

Вторая фигура

СИЛ12.JPG

Третья фигура

СИЛ13.JPG

Четвёртая фигура

СИЛ14.JPG

  • Знак "+" означает, что термин распределён.
  • Знак "-" означает, что термин не распределён.

Другие понятия:

Ссылки