Категорический силлогизм
Формальная логика есть не что иное, как учение о свойствах, общих всякой классификации, — разъясняет Анри Пуанкаре. — Она учит нас, что два солдата, являющихся частью одного полка, тем самым принадлежат к одной и той же бригаде, следовательно, к одной и той же дивизии; к этому-то и сводится вся теория силлогизмов.
Простой категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных суждений: двух посылок и одного заключения.
Пример силлогизма:
| Всякий человек смертен. | |
| Сократ — человек. | |
| След.: | Сократ смертен. |
Структура простого категорического силлогизма
Простой категорический силлогизм состоит из трёх простых атрибутивных суждений (посылок и заключения) и включает в себя три понятия — «термины простого категорического силлогизма».
Термины:
- M — средний термин: входит в обе посылки, но не входит в заключение;
- S — меньший термин: субъект заключения;
- P — больший термин: предикат заключения.
Больший и меньший термины также называются крайними.
Посылки:
- Бо́льшая посылка — посылка, содержащая P — предикат заключения. Записывается первой.
- Меньшая посылка — посылка, содержащая S — субъект заключения. Записывается второй.
Общие правила простого категорического силлогизма
Правила терминов
- В каждом силлогизме должно быть ровно три термина.
- Средний термин должен быть распределён хотя бы в одной из посылок.
- Крайний термин, не распределённый в посылке, не должен быть распределён в заключении.
Тут «распределён» значит «используется во всей полноте», то есть суждение касается всех значений термина (например, «все люди», «ни одна рептилия» и так далее).
Правила посылок
- Должна быть хотя бы одна общая посылка (из двух частных вывода нет).
- Если одна из посылок частная, то заключение должно быть тоже частным.
- Должна быть хотя бы одна утвердительная посылка (из двух отрицательных вывода нет).
- Если одна из посылок отрицательная, то заключение должно быть тоже отрицательным.
- Если обе посылки утвердительные, то и заключение должно быть утвердительным.
Фигуры и модусы
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках:
| Фигура 1 | Фигура 2 | Фигура 3 | Фигура 4 | |||||
| Бо́льшая посылка: | M—P | P—M | M—P | P—M | ||||
| Меньшая посылка: | S—M | S—M | M—S | M—S | ||||
| Заключение: | S—P | S—P | S—P | S—P |
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.
Например, в силлогизме:
| Все небесные тела движутся. | |
| Все планеты — это небесные тела. | |
| Все планеты движутся. |
Бо́льшая посылка является простым суждением вида a (общеутвердительным), меньшая посылка — это тоже простое суждение вида a, и вывод в данном случае представляет собой простое суждение вида a. Поэтому рассмотренный силлогизм имеет модус aaa фигуры 1.
Силлогизм:
| Все журналы — периодические издания. | |
| Все книги не являются периодическими изданиями. | |
| Все книги не являются журналами. |
имеет модус aee фигуры 2.
Силлогизм:
| Все углероды — простые тела. | |
| Все углероды электропроводны. | |
| Некоторые электропроводники — простые тела. |
имеет модус aai фигуры 3.
Всего модусов во всех четырёх фигурах, то есть возможных комбинаций простых суждений в силлогизме, — 256. В каждой фигуре 64 модуса. Однако из всех этих 256 модусов только 24 (19 сильных и 5 слабых) дают достоверные выводы: из истинных посылок выводится необходимо истинное заключение. Заключение сделанное по остальным модусам может оказаться как истинным так и ложным; истинность будет зависеть исключительно от конкретного содержания посылок и заключения.
Модусы изучались ещё средневековыми школами, и для правильных модусов каждой фигуры были придуманы мнемонические имена:
| Фигура 1 | Фигура 2 | Фигура 3 | Фигура 4 | |||
| Barbara | Cesare | Darapti | Bramantip | |||
| Celarent | Camestres | Disamis | Camenes | |||
| Darii | Festino | Datisi | Dimaris | |||
| Ferio | Baroco | Felapton | Fesapo | |||
| Barbari | Cesaro | Bocardo | Fresison | |||
| Celaront | Camestros | Ferison | Camenos |
Здесь и выше гласные буквы жирным шрифтом означают тип суждения:
- a — общеутвердительное (все животные смертны),
- е — общеотрицательное (ни одна змея не имеет меха),
- i — частноутвердительное (некоторые домашние животные — котята),
- o — частноотрицательное (некоторые змеи не имеют меха).
a и i — первая и вторая гласные буквы в слове affirmo (утверждаю, лат.), буквы e и o — аналогично в слове nego (отрицаю, лат.).
Курсивом выделены слабые модусы — модусы которые содержат частное заключение при возможности общего.
Слабые модусы, а также модусы Felapton, Darapti, Fesapo и Bramantip, предполагают непустоту классов, с которыми оперируют силлогизмы (пример Б. Рассела: Все золотые горы — золотые. Все золотые горы — горы. По модусу Darapti отсюда должно следовать: Некоторые горы золотые; однако такое умозаключение неверно, если класс золотых гор пуст).
Примеры силлогизмов каждого типа.
Barbara
| Все животные смертны. | |
| Все люди — животные. | |
| Все люди смертны. |
Celarent
| Ни одна рептилия не имеет меха. | |
| Все змеи — рептилии. | |
| Ни одна змея не имеет меха. |
Darii
| Все котята игривы. | |
| Некоторые домашние животные — котята. | |
| Некоторые домашние животные игривы. |
Ferio
| Ни одна домашняя работа не весела. | |
| Некоторое чтение — домашняя работа. | |
| Некоторое чтение не весело. |
Barbari
| Все животные смертны. | |
| Все люди — животные. | |
| Некоторые люди смертны. |
Celaront
| Ни одна рептилия не имеет меха. | |
| Все змеи — рептилии. | |
| Некоторые змеи не имеют меха. |
Cesare
| Ни одна здоровая еда не полнит. | |
| Все торты полнят. | |
| Ни один торт — не здоровая еда. |
Camestres
| Все лошади имеют вздутие живота. | |
| Ни один человек не имеет вздутия живота. | |
| Ни один человек — не лошадь. |
Festino
| Ни один ленивый человек не сдаёт экзамены. | |
| Некоторые студенты сдают экзамены. | |
| Некоторые студенты не ленивы. |
Baroco
| Все информативные вещи полезны. | |
| Некоторые сайты не полезны. | |
| Некоторые сайты не информативны. |
Cesaro
| Ни одна здоровая еда не полнит. | |
| Все торты полнят. | |
| Некоторые торты — не здоровая еда. |
Camestros
| Все лошади имеют вздутие живота. | |
| Ни один человек не имеет вздутия живота. | |
| Некоторые люди — не лошади. |
Darapti
| Все фрукты питательны. | |
| Все фрукты вкусны. | |
| Некоторые вкусные продукты питательны. |
Disamis
| Некоторые кружки красивы. | |
| Все кружки полезны. | |
| Некоторые полезные вещи красивы. |
Datisi
| Все прилежные мальчики в этой школе рыжие. | |
| Некоторые прилежные мальчики в этой школе — пансионеры. | |
| Некоторые пансионеры в этой школе рыжие. |
Felapton
| Ни один кувшин в этом шкафу не нов. | |
| Все кувшины в этом шкафу треснутые. | |
| Некоторые треснутые вещи в этом шкафу не новы. |
Bocardo
| Некоторые кошки не имеют хвоста. | |
| Все кошки — млекопитающие. | |
| Некоторые млекопитающие не имеют хвоста. |
Ferison
| Ни одно дерево не съедобно. | |
| Некоторые деревья зелёные. | |
| Некоторые зелёные вещи не съедобны. |
Bramantip
| Все яблоки в моём саду полезны. | |
| Все полезные фрукты зрелы. | |
| Некоторые зрелые фрукты — яблоки в моём саду. |
Camenes
| Все яркие цветы ароматны. | |
| Ни один ароматный цветок не выращен в помещении. | |
| Ни один выращенный в помещении цветок не ярок. |
Dimaris
| Некоторые небольшие птицы питаются мёдом. | |
| Все питающиеся мёдом птицы цветные. | |
| Некоторые цветные птицы небольшие. |
Fesapo
| Ни один человек не совершенен. | |
| Все совершенные существа мифические. | |
| Некоторые мифические существа — не люди. |
Fresison
| Ни один компетентный человек не ошибается. | |
| Некоторые ошибающиеся люди работают здесь. | |
| Некоторые работающие здесь люди некомпетентны. |
Camenos
| Все яркие цветы ароматны. | |
| Ни один ароматный цветок не выращен в помещении. | |
| Некоторые выращенные в помещении цветы не ярки. |
В соответствии с правилами, формы могут быть преобразованы в другие формы, и все формы могут быть преобразованы в одну из форм первой фигуры.
История
Учение о силлогизме впервые изложено у Аристотеля в его «Первой аналитике». Он говорит лишь о трёх фигурах категорического силлогизма, не упоминая о возможной четвёртой. Особенно подробно он рассматривает роль модальности суждений в процессе умозаключения. Преемник Аристотеля, основатель ботаники Теофраст, по словам Александра Афродизийского (в его комментарии к первой «Аналитике» Аристотеля), прибавил ещё пять модусов (modi) к первой фигуре силлогизма; эти пять модусов впоследствии были выделены Клавдием Галеном (жившим во II-м в. н. э.) в особую четвёртую фигуру. Кроме того, Теофраст и его ученик Евдем занялись анализом условного и разделительного силлогизмов. Они допустили пять видов умозаключений: два из них соответствуют условному силлогизму, а три — разделительному, который они рассматривали как видоизменение условного силлогизма. Этим и заканчивается развитие учения о силлогизме в древности, если не считать того добавления, которое сделали стоики в учении об условном силлогизме. По словам Секста Эмпирика, стоики признавали некоторые виды условного и разделительного силлогизма αναπόδεικτοι, то есть не нуждающимися в доказательствах, и рассматривали их как прототипы силлогизма (как, например, смотрит на силлогизм Зигварт). Стоики признавали пять видов подобных силлогизмов, совпадающих с Теофрастовыми. Секст Эмпирик приводит следующие примеры для этих пяти видов:
- Если наступил день, то имеется свет; но теперь день, следовательно, имеется свет.
- Если наступил день, то имеется свет, но света нет, следовательно, нет и дня.
- Не может быть (одновременно) дня и ночи, но день наступил, следовательно, нет ночи.
- Может быть или день, или ночь, но теперь день, следовательно, нет ночи.
- Может быть или день, или ночь, но ночи нет, следовательно, теперь день.
У Секста Эмпирика и скептиков вообще мы встречаемся и с критикой силлогизма, но цель критики — доказательство невозможности доказательства вообще, в том числе и силлогистического. Схоластическая логика ничего существенного не добавила к учению о силлогизмах; она лишь порвала ту связь с теорией познания, которая существовала у Аристотеля и тем превратила логику в чисто формальное учение. Образцовым руководством логики в средние века было сочинение Марциана Капеллы, образцовым комментарием — сочинения Боэция. Некоторые из комментариев Боэция занимаются специально учением о силлогизмах, например «Introductio ad categoricos syllogismos», «De syllogismo categorico» и «De syllogismo hypothetico». Сочинения Боэция имеют некоторое историческое значение; они способствовали также установлению логической терминологии. Но в то же самое время именно Боэций придал учениям логическим характер чисто формальный.
Из эпохи схоластической философии по отношению к учению о силлогизме внимания заслуживает Фома Аквинский (ум. 1274), в особенности его подробный анализ ложных умозаключений («De fallaciis»). Сочинение по логике, имевшее некоторое историческое значение, принадлежит византийцу Михаилу Пселлу. Он предложил так называемый «логический квадрат», в коем наглядно выражается отношение различных видов суждений. Ему принадлежат названия различных modi (греч. τρόποι) фигур. Эти названия, латинизированные, перешли в западную логическую литературу.
Михаил Пселл, следуя Теофрасту, пять modi четвёртой фигуры относил к первой. Название видов имело у него в виду мнемонические цели. Ему же принадлежит и общеупотребительное обозначение буквами количества и качества суждений (а, е, i, о). Учения логические у Пселла носят формальный характер. Сочинение Пселла было переведено Уильямом из Шервуда и получило распространение благодаря переделке Петра Испанского (папы Иоанна XXI). У Петра Испанского в его учебнике заметно то же стремление к мнемотехническим правилам. Латинские названия видов фигур, приводимые в формальных логиках, взяты у Петра Испанского. Пётр Испанский и Михаил Пселл представляют собой расцвет формальной логики в средневековой философии. С эпохи Возрождения начинается критика формальной логики и силлогистического формализма.
Первым серьёзным критиком Аристотелевской логики был Пьер Рамэ, погибший во время Варфоломеевой ночи. Во второй части его «Диалектики» говорится о силлогизме; учение его о силлогизме, однако, существенных отступлений от Аристотеля не представляет. Начиная с Бэкона и Декарта философия идёт по новым путям и отстаивает методы исследования: непригодность силлогистического метода в смысле метода получения нового знания становится всё более и более очевидной.
Тем не менее, решение силлогизмов составляет важнейшую часть любого учебника по традиционной логике. Несмотря на то, что использование силлогизмов само по себе не даёт новое знание, использование правил построения силлогизмов позволяет избежать логических ошибок, софизмов, в рамках имеющегося знания (см. Демагогия).
Силлогизм в современной логике
Силлогизм преобладал в логике до XIX века и имел ограниченное приложение в частности из-за привязки к категорическому силлогизму. Заменой аристотелевской силлогистике служит более простая логика первого порядка.
См. также
- Дедуктивное умозаключение
- Силлогистические теории
- Софизм
- Сорит
- Энтимема
- Силлогистика
Примечания
- Салин Ю. С. Эволюционный тупик. Архивная копия от 11 февраля 2015 на Wayback Machine
- Светлов В.А. Практическая логика. — Изд. 3-е, испр. и доп.. — СПб.: "Росток", 2003. — С. 191. — 688 с.
Литература
- Радлов Э. Л. Силлогизм // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
Ссылки
- Логический квадрат М. Пселл
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Категорический силлогизм, Что такое Категорический силлогизм? Что означает Категорический силлогизм?
Formalnaya logika est ne chto inoe kak uchenie o svojstvah obshih vsyakoj klassifikacii razyasnyaet Anri Puankare Ona uchit nas chto dva soldata yavlyayushihsya chastyu odnogo polka tem samym prinadlezhat k odnoj i toj zhe brigade sledovatelno k odnoj i toj zhe divizii k etomu to i svoditsya vsya teoriya sillogizmov Prostoj kategoricheskij sillogi zm dr grech syl logismos podytozhivanie podschyot umozaklyuchenie ot syl syn vmeste logismos schyot podschyot rassuzhdenie razmyshlenie deduktivnoe umozaklyuchenie sostoyashee iz tryoh prostyh atributivnyh suzhdenij dvuh posylok i odnogo zaklyucheniya Primer sillogizma Vsyakij chelovek smerten Sokrat chelovek Sled Sokrat smerten Struktura prostogo kategoricheskogo sillogizmaProstoj kategoricheskij sillogizm sostoit iz tryoh prostyh atributivnyh suzhdenij posylok i zaklyucheniya i vklyuchaet v sebya tri ponyatiya terminy prostogo kategoricheskogo sillogizma Terminy M srednij termin vhodit v obe posylki no ne vhodit v zaklyuchenie S menshij termin subekt zaklyucheniya P bolshij termin predikat zaklyucheniya Bolshij i menshij terminy takzhe nazyvayutsya krajnimi Posylki Bo lshaya posylka posylka soderzhashaya P predikat zaklyucheniya Zapisyvaetsya pervoj Menshaya posylka posylka soderzhashaya S subekt zaklyucheniya Zapisyvaetsya vtoroj Obshie pravila prostogo kategoricheskogo sillogizmaPravila terminov V kazhdom sillogizme dolzhno byt rovno tri termina Srednij termin dolzhen byt raspredelyon hotya by v odnoj iz posylok Krajnij termin ne raspredelyonnyj v posylke ne dolzhen byt raspredelyon v zaklyuchenii Tut raspredelyon znachit ispolzuetsya vo vsej polnote to est suzhdenie kasaetsya vseh znachenij termina naprimer vse lyudi ni odna reptiliya i tak dalee Pravila posylok Dolzhna byt hotya by odna obshaya posylka iz dvuh chastnyh vyvoda net Esli odna iz posylok chastnaya to zaklyuchenie dolzhno byt tozhe chastnym Dolzhna byt hotya by odna utverditelnaya posylka iz dvuh otricatelnyh vyvoda net Esli odna iz posylok otricatelnaya to zaklyuchenie dolzhno byt tozhe otricatelnym Esli obe posylki utverditelnye to i zaklyuchenie dolzhno byt utverditelnym Figury i modusyFigurami sillogizma nazyvayutsya formy sillogizma otlichayushiesya raspolozheniem srednego termina v posylkah Figura 1 Figura 2 Figura 3 Figura 4Bo lshaya posylka M P P M M P P MMenshaya posylka S M S M M S M SZaklyuchenie S P S P S P S P Kazhdoj figure otvechayut modusy formy sillogizma razlichayushiesya kolichestvom i kachestvom posylok i zaklyucheniya Naprimer v sillogizme Vse nebesnye tela dvizhutsya Vse planety eto nebesnye tela Vse planety dvizhutsya Bo lshaya posylka yavlyaetsya prostym suzhdeniem vida a obsheutverditelnym menshaya posylka eto tozhe prostoe suzhdenie vida a i vyvod v dannom sluchae predstavlyaet soboj prostoe suzhdenie vida a Poetomu rassmotrennyj sillogizm imeet modus aaa figury 1 Sillogizm Vse zhurnaly periodicheskie izdaniya Vse knigi ne yavlyayutsya periodicheskimi izdaniyami Vse knigi ne yavlyayutsya zhurnalami imeet modus aee figury 2 Sillogizm Vse uglerody prostye tela Vse uglerody elektroprovodny Nekotorye elektroprovodniki prostye tela imeet modus aai figury 3 Vsego modusov vo vseh chetyryoh figurah to est vozmozhnyh kombinacij prostyh suzhdenij v sillogizme 256 V kazhdoj figure 64 modusa Odnako iz vseh etih 256 modusov tolko 24 19 silnyh i 5 slabyh dayut dostovernye vyvody iz istinnyh posylok vyvoditsya neobhodimo istinnoe zaklyuchenie Zaklyuchenie sdelannoe po ostalnym modusam mozhet okazatsya kak istinnym tak i lozhnym istinnost budet zaviset isklyuchitelno ot konkretnogo soderzhaniya posylok i zaklyucheniya Modusy izuchalis eshyo srednevekovymi shkolami i dlya pravilnyh modusov kazhdoj figury byli pridumany mnemonicheskie imena Figura 1 Figura 2 Figura 3 Figura 4Barbara Cesare Darapti BramantipCelarent Camestres Disamis CamenesDarii Festino Datisi DimarisFerio Baroco Felapton FesapoBarbari Cesaro Bocardo FresisonCelaront Camestros Ferison Camenos Zdes i vyshe glasnye bukvy zhirnym shriftom oznachayut tip suzhdeniya a obsheutverditelnoe vse zhivotnye smertny e obsheotricatelnoe ni odna zmeya ne imeet meha i chastnoutverditelnoe nekotorye domashnie zhivotnye kotyata o chastnootricatelnoe nekotorye zmei ne imeyut meha a i i pervaya i vtoraya glasnye bukvy v slove affirmo utverzhdayu lat bukvy e i o analogichno v slove nego otricayu lat Kursivom vydeleny slabye modusy modusy kotorye soderzhat chastnoe zaklyuchenie pri vozmozhnosti obshego Slabye modusy a takzhe modusy Felapton Darapti Fesapo i Bramantip predpolagayut nepustotu klassov s kotorymi operiruyut sillogizmy primer B Rassela Vse zolotye gory zolotye Vse zolotye gory gory Po modusu Darapti otsyuda dolzhno sledovat Nekotorye gory zolotye odnako takoe umozaklyuchenie neverno esli klass zolotyh gor pust Primery sillogizmov kazhdogo tipa Barbara Vse zhivotnye smertny Vse lyudi zhivotnye Vse lyudi smertny Celarent Ni odna reptiliya ne imeet meha Vse zmei reptilii Ni odna zmeya ne imeet meha Darii Vse kotyata igrivy Nekotorye domashnie zhivotnye kotyata Nekotorye domashnie zhivotnye igrivy Ferio Ni odna domashnyaya rabota ne vesela Nekotoroe chtenie domashnyaya rabota Nekotoroe chtenie ne veselo Barbari Vse zhivotnye smertny Vse lyudi zhivotnye Nekotorye lyudi smertny Celaront Ni odna reptiliya ne imeet meha Vse zmei reptilii Nekotorye zmei ne imeyut meha Cesare Ni odna zdorovaya eda ne polnit Vse torty polnyat Ni odin tort ne zdorovaya eda Camestres Vse loshadi imeyut vzdutie zhivota Ni odin chelovek ne imeet vzdutiya zhivota Ni odin chelovek ne loshad Festino Ni odin lenivyj chelovek ne sdayot ekzameny Nekotorye studenty sdayut ekzameny Nekotorye studenty ne lenivy Baroco Vse informativnye veshi polezny Nekotorye sajty ne polezny Nekotorye sajty ne informativny Cesaro Ni odna zdorovaya eda ne polnit Vse torty polnyat Nekotorye torty ne zdorovaya eda Camestros Vse loshadi imeyut vzdutie zhivota Ni odin chelovek ne imeet vzdutiya zhivota Nekotorye lyudi ne loshadi Darapti Vse frukty pitatelny Vse frukty vkusny Nekotorye vkusnye produkty pitatelny Disamis Nekotorye kruzhki krasivy Vse kruzhki polezny Nekotorye poleznye veshi krasivy Datisi Vse prilezhnye malchiki v etoj shkole ryzhie Nekotorye prilezhnye malchiki v etoj shkole pansionery Nekotorye pansionery v etoj shkole ryzhie Felapton Ni odin kuvshin v etom shkafu ne nov Vse kuvshiny v etom shkafu tresnutye Nekotorye tresnutye veshi v etom shkafu ne novy Bocardo Nekotorye koshki ne imeyut hvosta Vse koshki mlekopitayushie Nekotorye mlekopitayushie ne imeyut hvosta Ferison Ni odno derevo ne sedobno Nekotorye derevya zelyonye Nekotorye zelyonye veshi ne sedobny Bramantip Vse yabloki v moyom sadu polezny Vse poleznye frukty zrely Nekotorye zrelye frukty yabloki v moyom sadu Camenes Vse yarkie cvety aromatny Ni odin aromatnyj cvetok ne vyrashen v pomeshenii Ni odin vyrashennyj v pomeshenii cvetok ne yarok Dimaris Nekotorye nebolshie pticy pitayutsya myodom Vse pitayushiesya myodom pticy cvetnye Nekotorye cvetnye pticy nebolshie Fesapo Ni odin chelovek ne sovershenen Vse sovershennye sushestva mificheskie Nekotorye mificheskie sushestva ne lyudi Fresison Ni odin kompetentnyj chelovek ne oshibaetsya Nekotorye oshibayushiesya lyudi rabotayut zdes Nekotorye rabotayushie zdes lyudi nekompetentny Camenos Vse yarkie cvety aromatny Ni odin aromatnyj cvetok ne vyrashen v pomeshenii Nekotorye vyrashennye v pomeshenii cvety ne yarki V sootvetstvii s pravilami formy mogut byt preobrazovany v drugie formy i vse formy mogut byt preobrazovany v odnu iz form pervoj figury IstoriyaUchenie o sillogizme vpervye izlozheno u Aristotelya v ego Pervoj analitike On govorit lish o tryoh figurah kategoricheskogo sillogizma ne upominaya o vozmozhnoj chetvyortoj Osobenno podrobno on rassmatrivaet rol modalnosti suzhdenij v processe umozaklyucheniya Preemnik Aristotelya osnovatel botaniki Teofrast po slovam Aleksandra Afrodizijskogo v ego kommentarii k pervoj Analitike Aristotelya pribavil eshyo pyat modusov modi k pervoj figure sillogizma eti pyat modusov vposledstvii byli vydeleny Klavdiem Galenom zhivshim vo II m v n e v osobuyu chetvyortuyu figuru Krome togo Teofrast i ego uchenik Evdem zanyalis analizom uslovnogo i razdelitelnogo sillogizmov Oni dopustili pyat vidov umozaklyuchenij dva iz nih sootvetstvuyut uslovnomu sillogizmu a tri razdelitelnomu kotoryj oni rassmatrivali kak vidoizmenenie uslovnogo sillogizma Etim i zakanchivaetsya razvitie ucheniya o sillogizme v drevnosti esli ne schitat togo dobavleniya kotoroe sdelali stoiki v uchenii ob uslovnom sillogizme Po slovam Seksta Empirika stoiki priznavali nekotorye vidy uslovnogo i razdelitelnogo sillogizma anapodeiktoi to est ne nuzhdayushimisya v dokazatelstvah i rassmatrivali ih kak prototipy sillogizma kak naprimer smotrit na sillogizm Zigvart Stoiki priznavali pyat vidov podobnyh sillogizmov sovpadayushih s Teofrastovymi Sekst Empirik privodit sleduyushie primery dlya etih pyati vidov Esli nastupil den to imeetsya svet no teper den sledovatelno imeetsya svet Esli nastupil den to imeetsya svet no sveta net sledovatelno net i dnya Ne mozhet byt odnovremenno dnya i nochi no den nastupil sledovatelno net nochi Mozhet byt ili den ili noch no teper den sledovatelno net nochi Mozhet byt ili den ili noch no nochi net sledovatelno teper den U Seksta Empirika i skeptikov voobshe my vstrechaemsya i s kritikoj sillogizma no cel kritiki dokazatelstvo nevozmozhnosti dokazatelstva voobshe v tom chisle i sillogisticheskogo Sholasticheskaya logika nichego sushestvennogo ne dobavila k ucheniyu o sillogizmah ona lish porvala tu svyaz s teoriej poznaniya kotoraya sushestvovala u Aristotelya i tem prevratila logiku v chisto formalnoe uchenie Obrazcovym rukovodstvom logiki v srednie veka bylo sochinenie Marciana Kapelly obrazcovym kommentariem sochineniya Boeciya Nekotorye iz kommentariev Boeciya zanimayutsya specialno ucheniem o sillogizmah naprimer Introductio ad categoricos syllogismos De syllogismo categorico i De syllogismo hypothetico Sochineniya Boeciya imeyut nekotoroe istoricheskoe znachenie oni sposobstvovali takzhe ustanovleniyu logicheskoj terminologii No v to zhe samoe vremya imenno Boecij pridal ucheniyam logicheskim harakter chisto formalnyj logicheskij kvadrat Iz epohi sholasticheskoj filosofii po otnosheniyu k ucheniyu o sillogizme vnimaniya zasluzhivaet Foma Akvinskij um 1274 v osobennosti ego podrobnyj analiz lozhnyh umozaklyuchenij De fallaciis Sochinenie po logike imevshee nekotoroe istoricheskoe znachenie prinadlezhit vizantijcu Mihailu Psellu On predlozhil tak nazyvaemyj logicheskij kvadrat v koem naglyadno vyrazhaetsya otnoshenie razlichnyh vidov suzhdenij Emu prinadlezhat nazvaniya razlichnyh modi grech tropoi figur Eti nazvaniya latinizirovannye pereshli v zapadnuyu logicheskuyu literaturu Mihail Psell sleduya Teofrastu pyat modi chetvyortoj figury otnosil k pervoj Nazvanie vidov imelo u nego v vidu mnemonicheskie celi Emu zhe prinadlezhit i obsheupotrebitelnoe oboznachenie bukvami kolichestva i kachestva suzhdenij a e i o Ucheniya logicheskie u Psella nosyat formalnyj harakter Sochinenie Psella bylo perevedeno Uilyamom iz Shervuda i poluchilo rasprostranenie blagodarya peredelke Petra Ispanskogo papy Ioanna XXI U Petra Ispanskogo v ego uchebnike zametno to zhe stremlenie k mnemotehnicheskim pravilam Latinskie nazvaniya vidov figur privodimye v formalnyh logikah vzyaty u Petra Ispanskogo Pyotr Ispanskij i Mihail Psell predstavlyayut soboj rascvet formalnoj logiki v srednevekovoj filosofii S epohi Vozrozhdeniya nachinaetsya kritika formalnoj logiki i sillogisticheskogo formalizma Pervym seryoznym kritikom Aristotelevskoj logiki byl Per Rame pogibshij vo vremya Varfolomeevoj nochi Vo vtoroj chasti ego Dialektiki govoritsya o sillogizme uchenie ego o sillogizme odnako sushestvennyh otstuplenij ot Aristotelya ne predstavlyaet Nachinaya s Bekona i Dekarta filosofiya idyot po novym putyam i otstaivaet metody issledovaniya neprigodnost sillogisticheskogo metoda v smysle metoda polucheniya novogo znaniya stanovitsya vsyo bolee i bolee ochevidnoj Tem ne menee reshenie sillogizmov sostavlyaet vazhnejshuyu chast lyubogo uchebnika po tradicionnoj logike Nesmotrya na to chto ispolzovanie sillogizmov samo po sebe ne dayot novoe znanie ispolzovanie pravil postroeniya sillogizmov pozvolyaet izbezhat logicheskih oshibok sofizmov v ramkah imeyushegosya znaniya sm Demagogiya Sillogizm v sovremennoj logikeSillogizm preobladal v logike do XIX veka i imel ogranichennoe prilozhenie v chastnosti iz za privyazki k kategoricheskomu sillogizmu Zamenoj aristotelevskoj sillogistike sluzhit bolee prostaya logika pervogo poryadka Sm takzheDeduktivnoe umozaklyuchenie Sillogisticheskie teorii Sofizm Sorit Entimema SillogistikaPrimechaniyaSalin Yu S Evolyucionnyj tupik Arhivnaya kopiya ot 11 fevralya 2015 na Wayback Machine Svetlov V A Prakticheskaya logika Izd 3 e ispr i dop SPb Rostok 2003 S 191 688 s LiteraturaRadlov E L Sillogizm Enciklopedicheskij slovar Brokgauza i Efrona v 86 t 82 t i 4 dop SPb 1890 1907 SsylkiLogicheskij kvadrat M Psell
