Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Следовательно, некоторые из крылатых животных не являются млекопитающими. ПКС - э то двухпосылочное умозаключение. Все три высказывания в составе ПКС (две посылки и заключение) – категорические. В состав этих трех высказываний входит ровно три различных термина.
Все сочинения Льва Толстого нельзя прочитать за один день. Повесть «Казаки» - произведение Льва Толстого. Следовательно, повесть «Казаки» нельзя прочитать за один день. a не есть Р b есть S b не есть P a – корпус сочинений Льва Толстого b – повесть «Казаки» Р – то, что можно прочитать за один день S – произведение Льва Толстого
Меньшинство S есть Р Все Q есть R Ни одно Q не есть P S – птица Р – тот, кто может долететь до середины Днепра Q – фламинго R – редкая птица «Меньшинство» - специальный квантор (в обычной силлогистике его нет) Редкая птица долетит до середины Днепра. Фламинго – редкая птица. Следовательно?
Движение вечно. Хождение в институт – движение. Значит, хождение в институт вечно. У моей подруги есть роскошная коса. Коса – сельскохозяйственное орудие. Значит, моя подруга занимается сельским хозяйством. Животные вида «кошка» способны приносить по 5-7 котят Кот – это животное вида «кошка». Коты способны рожать по 5-7 котят
4. Один из этих терминов входит в обе посылки и не входит в заключение. Он называется средним и обозначается всегда буквой М ( medium – посредник). Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими.
4. Один из этих терминов входит в обе посылки и не входит в заключение. Он называется средним и обозначается всегда буквой М ( medium – посредник). Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими. М М
5. Каждый из двух других терминов входит один раз в заключение и один раз в одну из посылок. Они называются крайними (общее название). Тот из них, который является субъектом (логическим подлежащим) заключения, называется меньшим и обозначается буквой S, а тот, который является предикатом (логическим сказуемым) заключения, называется большим и обозначается буквой Р. При этом в посылках как Р может стоять на месте субъекта (данной посылки), так и S может стоять на месте предиката (данной посылки). Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими. М М
5. Тот из крайних терминов, который является субъектом (логическим подлежащим) заключения, называется меньшим и обозначается буквой S, а тот, который является предикатом (логическим сказуемым) заключения, называется большим и обозначается буквой Р. При этом в посылках как Р может стоять на месте субъекта (данной посылки), так и S может стоять на месте предиката (данной посылки). Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими. М М S S P P
6. Та из посылок, в которую входит меньший термин, называется меньшей, та, в которую входит больший термин, - большей. Большая посылка в процессе анализа силлогизма всегда пишется первой. Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими. М М S S P P
6. Та из посылок, в которую входит меньший термин, называется меньшей, та, в которую входит больший термин, - большей. Большая посылка в процессе анализа силлогизма всегда пишется первой. Все животные, умеющие летать, имеют крылья. Некоторые из млекопитающих не умеют летать. Некоторые из крылатых животных не являются млекопитающими. М М S S P P (М.п.) (Б.п.) (Зак.)
6. Та из посылок, в которую входит меньший термин, называется меньшей, та, в которую входит больший термин, - большей. Б ó льшая посылка в процессе анализа силлогизма всегда пишется первой. Некоторые из млекопитающих не умеют летать. Все животные, умеющие летать, имеют крылья. Некоторые из крылатых животных не являются млекопитающими. М М S S P P (Б.п.) (М.п.) (Зак.)
I. Переписать силлогизм. Найти меньший, больший и средний термины, меньшую и большую посылки. Если посылки переставлены местами (меньшая впереди), записать их стандартным образом. Некоторые из млекопитающих не умеют летать. Все животные, умеющие летать, имеют крылья. Некоторые из крылатых животных не являются млекопитающими. P P S S М М
Некоторые из млекопитающих не умеют летать. Все животные, умеющие летать, имеют крылья. Некоторые из крылатых животных не являются млекопитающими. P P S S М М II. Выявить логическую форму силлогизма (большей, меньшей посылки, заключения) сообразно принятой нотации для категорических высказываний. Р о М М а S S о Р
Р о М М а S S о Р III. Определить фигуру и модус силлогизма. Силлогизмы делятся на фигуры в зависимости от способа расположения среднего термина (в посылках). I фигура М--------Р S--------M S---------P II фигура P -------- M S--------M S---------P III фигура М--------Р M--------S S---------P IV фигура P -------- M M--------S S---------P IV фигура
К силлогизмам первой фигуры относятся силлогизмы, в которых средний термин является субъектом большей посылки и предикатом меньшей. К силлогизмам второй фигуры относятся силлогизмы, в которых средний термин является предикатом обеих посылок. К силлогизмам третьей фигуры относятся силлогизмы, в которых средний термин является субъектом обеих посылок. К силлогизмам четвертой фигуры относятся силлогизмы, в которых средний термин является предикатом большей посылки и субъектом меньшей.
Фигура силлогизма – это множество силлогизмов с одинаковым расположением среднего термина. Первая фигура силлогизма – это множество всех таких силлогизмов, в которых средний термин является субъектом большей посылки и предикатом меньшей. И т.д.
Силлогизмы делятся на модусы в зависимости от типа категорических высказываний, к которому относятся их посылки и заключение ( oa е, iea и т.д.). Первая буква обозначает тип большей посылки, вторая – тип меньшей, третья – тип заключения. Модус силлогизма – это множество силлогизмов с одинаковым типом соответствующих посылок и заключения. Р о М М а S S о Р IV фигура, модус оао
Силлогизмы делятся на модусы в зависимости от типа категорических высказываний, к которому относятся их посылки и заключение ( oa е, iea и т.д.). Первая буква обозначает тип большей посылки, вторая – тип меньшей, третья – тип заключения. Модус силлогизма – это множество силлогизмов с одинаковым типом соответствующих посылок и заключения. Сколько всего существует структурно различных ПКС? Число различных модусов: 4 4 4 = 64 Число различных фигур = 4 Число различных силлогизмов= 64 4 = 256
Сколько всего существует структурно различных ПКС? Число различных модусов: 4 4 4 = 64 Число различных фигур = 4 Число различных силлогизмов= 64 4 = 256 Все обезьяны – приматы. Все шимпанзе – обезьяны Все шимпанзе – приматы I aaa Все гориллы – приматы. Все шимпанзе – приматы Все шимпанзе – гориллы II aaa Правильных модусов всего 24 = 6 4, из них 19 совершенных и 5 ослабленных (типа aai по I фигуре, ведь есть ааа )
IV. Определить распределенность или нераспределенность для каждого из шести вхождений терминов. Распределенность (термина, входящего в категорическое высказывание) – бинарн ый (в том смысле, что существует всего два варианта значений) параметр, некая характеристика, определяемая местом термина в этом суждении (субъект/предикат) и типом самого суждения (а, е, о…). При определении распределенности или нераспределенности термина в данном суждении п ользуются специальной таблицей: Х + a Y — Х — i Y — Х + e Y + Х — o Y + Из таблицы видно, что субъекты распределены в общих высказываниях (и только в них), а предикаты – в отрицательных высказываниях (и только в них)
Х + a Y — Х — i Y — Х + e Y + Х — o Y + Р о М М а S S о Р Р — о М + М + а S — S — о Р + V. Пользуясь системой критериев правильности силлогизма, устанавливают, правилен ли данный силлогизм. Силлогизм является правильным, если и только если он удовлетворяет всем нижеприведенным правилам, силлогизм является неправильным, если и только если он не удовлетворяет хотя бы одному из них.
1. ( Правило М ). Средний термин должен быть распределен хотя бы в одной посылке (хотя бы один раз над буквой М должен стоять +). Р — о М + М + а S — S — о Р + 1. да 2. ( Правило крайних терминов в общем виде ). Если крайний термин НЕ распределен в соответствующей посылке, он НЕ должен быть распределен в заключении (если крайний термин распределен в заключении, он должен быть распределен и в соответствующей посылке).
Р — о М + М + а S — S — о Р + 1. да 2а. ( Правило S ). Если меньший термин НЕ распределен в меньшей посылке, он НЕ должен быть распределен в заключении ( НЕ должно быть так, чтобы над S НАД чертой стоял бы минус, а ПОД чертой плюс ). 2. да 1 2 3 4 — + + — — + — + можно можно можно нельзя
Р — о М + М + а S — S — о Р + 1. да 2 b. ( Правило Р ). Если больший термин НЕ распределен в большей посылке, он НЕ должен быть распределен в заключении ( НЕ должно быть так, чтобы над Р НАД чертой стоял бы минус, а ПОД чертой плюс ). 2. да 1 2 3 4 — + + — — + — + можно можно можно нельзя 3. нет силлогизм неправильный
Р — о М + М + а S — S — о Р + 1. да 3 (4). ( Правило посылок ). Количество (число) отрицательных высказываний над и под чертой в записи силлогизма как умозаключения должно совпадать (количество букв е/о сверху и снизу должно быть одинаковым). Считать надо не минусы (то есть вхождения нераспределенных терминов ), а буквы е и о (отрицательные высказывания ) 2. да 1 2 3 4 oe а i ei ia e o a i нельзя нельзя нельзя можно 3. нет силлогизм неправильный 4. да
VI. Если силлогизм неправильный, подобрать опровергающую его модельную схему. Р — о М + М + а S — S — о Р + И И Л ¬ SoP SaP (S a P) И S P М М – кошки S – млекопитающие Р – животные
VII. ( С помощью построенной модельной схемы) подобрать содержательный «контрпример» к исходному силлогизму. Р — о М + М + а S — S — о Р + И И Л S P М М – кошки S – млекопитающие Р – животные Некоторые животные не кошки Все кошки – млекопитающие Некоторые млекопитающие не животные
Все летучие мыши крылаты. Некоторые млекопитающие не являются летучими мышами. Некоторые из млекопитающих не имеют крыльев. М а P S о М S о Р I фигура, модус а o о У нас же было: Р о М М а S S о Р IV фигура, модус оао
Все летучие мыши крылаты. Некоторые млекопитающие не являются летучими мышами. Некоторые из млекопитающих не имеют крыльев. М а P S о М S о Р I фигура, модус а o о М + а Р — S — o M + S — о Р + да да нет да силлогизм неправильный
Все летучие мыши крылаты. Некоторые млекопитающие не являются летучими мышами. Некоторые из млекопитающих не имеют крыльев. I фигура, модус а o о М + а Р — S — o M + S — о Р + силлогизм неправильный S P М И И Л
Все летучие мыши крылаты. Некоторые млекопитающие не являются летучими мышами. Некоторые из млекопитающих не имеют крыльев. М + а Р — S — o M + S — о Р + S P М S – граждане Китая М – мужчины Р – люди Все мужчины – люди Некоторые граждане Китая не мужчины Некоторые граждане Китая не люди
Неверно, что все люди, не явл. оптимистами, являются недобрыми. Неверно, что некоторые неаккуратные люди не являются оптимистами. Неверно, что ни один аккуратный человек не является добрым Р + а М — S — o M + S — о Р + А – оптимисты В – добрые С – аккуратные S a P ≡ S e P S e Р ≡ S a P S o Р ≡ S i P S i Р ≡ S o P ( А a В ) ( С о А ) (С е В) ¬ ( S a P) ≡ S o P ¬ ( S o P) ≡ S a P ¬ ( S i P) ≡ S e P ¬ ( S e P) ≡ S i P S i P ≡ P i S S e P ≡ P e S ( А a В ) ≡ А о В ≡ А i В ≡ В i А ≡ ВоА ( С о А ) ≡ С а А (С е В) ≡ С i В ≡ В i С ≡ В о С А – М (средний) В – S (меньший) С – Р (больший) ( А a В ) ≡ ( А е В ) ≡ ( В е А ) ≡ ( В а А ) ≡ ВоА
