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

Материал из ALL
Перейти к: навигация, поиск
м
 
(не показано 12 промежуточных версий этого же участника)
Строка 1: Строка 1:
== Определение ==
 
 
'''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения.  
 
'''Силлогизм''' — это дедуктивное [[умозаключение]], состоящее из посылок и заключения.  
  
 
Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''.
 
Далее под термином '''силлогизм''' будем подразумевать '''простой категорический силлогизм'''.
 
 
== Простой категорический силлогизм ==
 
== Простой категорический силлогизм ==
 
'''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру.
 
'''Простой категорический силлогизм''' - это умозаключение, в котором заключение и посылки являются простыми категорическими [[суждение|суждениями]]. Категорические суждения - такие, в которых мысль утверждается или отрицается вполне определённо, без всяких условий, и которые имеют субъектно-предикатную структуру.
 
 
== Состав силлогизма ==
 
== Состав силлогизма ==
 
=== Состав из терминов ===
 
=== Состав из терминов ===
 
В силлогизм входит три термина:
 
В силлогизм входит три термина:
* '''S — меньший термин''': субъект заключения (входит также в меньшую посылку);
+
*'''S — меньший термин''': субъект заключения (входит также в меньшую посылку);
* '''P — больший термин''': предикат заключения (входит также в большую посылку);
+
*'''P — больший термин''': предикат заключения (входит также в большую посылку);
* '''M — средний термин''': входит в обе посылки, но не входит в заключение.
+
*'''M — средний термин''': входит в обе посылки, но не входит в заключение.
 
+
 
=== Состав из суждений ===
 
=== Состав из суждений ===
 
В силлогизм входит три суждения:
 
В силлогизм входит три суждения:
* '''большая посылка''', включает '''S''' и '''M''';
+
*'''большая посылка''', включает '''S''' и '''M''';
* '''меньшая посылка''', включает '''P''' и '''M''';
+
*'''меньшая посылка''', включает '''P''' и '''M''';
* '''заключение''', включает '''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-ая фигура
** сильные: '''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'''
 
+
 
== Структурные схемы ==
 
== Структурные схемы ==
 
=== Первая фигура ===
 
=== Первая фигура ===
[[файл:СИЛ11.JPG]]
+
[[файл:Сил01.png]]
 
+
 
=== Вторая фигура ===
 
=== Вторая фигура ===
[[файл:СИЛ12.JPG]]
+
[[файл:Сил02.png]]
 
+
 
=== Третья фигура ===
 
=== Третья фигура ===
[[файл:СИЛ13.JPG]]
+
[[файл:Сил03.png]]
 
+
 
=== Четвёртая фигура ===
 
=== Четвёртая фигура ===
[[файл:СИЛ15.JPG]]
+
[[файл:Сил04.png]]
 
+
*Знак '''"+"''' означает, что термин распределён.
* Знак '''"+"''' означает, что термин распределён.
+
*Знак '''"-"''' означает, что термин не распределён.
* Знак '''"-"''' означает, что термин не распределён.
+
== [[Умозаключение|Другие умозаключения:]] ==
 
+
{{Список Умо}}
== Другие понятия: ==
+
*[[Суждение]];
+
*[[Умозаключение]].
+
 
+
 
== Ссылки ==
 
== Ссылки ==
* Википедия
+
*Википедия
* [[Участник:Logic-samara]]  
+
*[[Участник:Logic-samara]]  
[[Категория:Дискретная математика]][[Категория:Логика]]
+
[[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]

Текущая версия на 12:26, 13 января 2024

Силлогизм — это дедуктивное умозаключение, состоящее из посылок и заключения.

Далее под термином силлогизм будем подразумевать простой категорический силлогизм.

Простой категорический силлогизм

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

Состав силлогизма

Состав из терминов

В силлогизм входит три термина:

  • 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

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

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

Файл:Сил01.png

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

Файл:Сил02.png

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

Файл:Сил03.png

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

Файл:Сил04.png

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

Другие умозаключения:

Шаблон:Список Умо

Ссылки