Простой категорический силлогизм Повторение Все кактусы имеют колючки. Некоторые собаки – охотничьи. Некоторые грибы не являются ядовитыми. Каждый человек имеет право на образование. Ни один динозавр не смог пережить ледниковый период. Большинство людей любят смотреть ТВ. Некоторые люди не любят слушать радио. Любое желание исполнимо. А I O А E I O А Умозаключение форма мышления, посредством которой из известных суждений, называемых посылками, получают новое суждение, называемое выводом. Виды дедуктивных умозаключений умозаключение дедуктивные индуктивные по аналогии ПКС Условный силлогизм Условно-категорический силлогизм Разделительно-категорический силлогизм леммы Простой категорический силлогизм дедуктивное умозаключение, в котором из двух атрибутивных суждений, выводится третье атрибутивное высказывание. Структура ПКС M P Все планеты светят отраженным светом S M Земля – планета Средний термин Земля светит отраженным светом S Меньший термин P Больший термин Большая посылка Меньшая посылка Вывод Аксиома ПКС S M P Общие правила ПКС Правила терминов: 1. Терминов должно быть 3. 2. Средний термин должен быть распределен в одной из посылок. 3. Термин, не распределенный в посылке, не распределен в выводе. Правила посылок: 1. Из двух отрицательных посылок вывод невозможен. 2. Из двух частных посылок вывод невозможен. 3. Если одна посылка отрицательная – вывод отрицательный. 4. Если одна посылка частная – вывод частный. 5. Если две посылки утвердительные – вывод утвердительный. Фигуры ПКС P M Все звезды светят собственным светом. S M Солнце – звезда. P S Солнце светит собственным светом. P M Все звезды светят собственным светом. S M Ни одна планета не светит собственным светом. Ни одна планета не является звездой. S P M P S M S P I P M S M S P II Фигуры ПКС P M Все звезды светят собственным светом. S M Все звезды – небесные тела. P S Некоторые небесные тела светят собственным светом. P M Все звезды - небесные тела, светящие собственным светом. S M Все небесные тела, светящие собственным светом, не являются планетами. Ни одна планета не является звездой. S P M P M S S P III P M M S S P IV Алгоритм определения фигуры ПКС ПКС 1 Находим вывод ПКС (под чертой) 2 Определяем в выводе S и P 3 Определяем Большую и Меньшую посылки 4 Находим средний термин М 5 Выписываем расположение терминов в ПКС 6 Определяем фигуру Потренируемся. Вместе 1. Ни один цветок не является деревом. P M S Некоторые деревья растут в лесу. P S Некоторые растения, растущие в лесу – не цветы. IV 2. Все планеты светят отраженным светом. Все звезды не светят отраженным светом. Все звезды не являются планетами. P M S M S P II Потренируемся. В парах P М 3. Некоторые животные травоядные. S М Все животные - живые организмы. P S Некоторые живые организмы – травоядные. M P M S S P III Потренируемся. Самостоятельно M P Все шимпанзе – обезьяны. S M Все шимпанзе- млекопитающие. S P 4. Все обезьяны являются млекопитающими. I 5. Ни один крокодил не летает. Все птицы летают. Все птицы – не крокодилы. P M S M S P II Проверим себя 1. Все собаки любят мясо. Все собаки - животные. Некоторые животные любят мясо. III 2. Все школьники учат алгебру. Медведев – школьник. Медведев учит алгебру. I 3. Ни один католик не является протестантом. Некоторые протестанты – англичане. Некоторые англичане – не католики. IV 4. Некоторые рыбы являются обитателями морей. Все рыбы имеют жабры. Некоторые, имеющие жабры, - являются обитателями морей. III 5. Все рыбы дышат жабрами. Ни одно млекопитающее не дышит жабрами. Ни одно млекопитающее – не рыба. II Проверим себя Определите фигуру ПКС Ни один компьютер не решает творческие задачи. Все люди решают творческие задачи. Все люди не компьютеры. II Ни один компьютер не решает творческие задачи. Все, решающие творческие задачи – люди. Все люди не компьютеры. IV Все компьютеры имеют память. Это устройство компьютер. Это устройство имеет память. I I фигура ПКС. Специальные правила 1. БП всегда общая 2. МП всегда утвердительная AA EA IA OA AE EE IE OE AI EI II OI AO EO IO ОО Правильные модусы I фигуры BARBARA CELARENT DARII FERIO Правильные модусы I фигуры Все цитрусовые имеют кожуру и дольки. Все апельсины – цитрусовые. Все апельсины имеют кожуру и дольки. Ни один цитрусовый фрукт не является ягодой. Все мандарины – цитрусовые. Все мандарины – не ягоды. BARBARA CELARENT Все цитрусовые имеют кожуру и дольки. Некоторые фрукты, растущие на деревьях, являются цитрусовыми. DARII Некоторые фрукты, растущие на деревьях, имеют кожуру и дольки. Ни один апельсин не растет на грядке. Некоторые оранжевые фрукты – апельсины. Некоторые оранжевые фрукты не растут на грядке. FERIO Потренируемся Все школьники должны учить уроки. Некоторые футболисты – школьники. Некоторые футболисты должны учить уроки. Все лиственные деревья сбрасывают листву на зиму. Дуб – лиственное дерево. Дуб сбрасывает листву на зиму. DARII BARBARA Некоторые представители отряда крокодилов живут в Ниле. Ошибка! Все кайманы – представители отряда крокодилов. БП должна быть общей! Все кайманы живут в Ниле. Ни один учащийся школы не является студентом вуза. Петя Иванов – не учащийся школы. Ошибка! Петя Иванов – студент вуза. Два отрицательных суждения! Все грибы являются споровыми растениями. Ни один папоротник не является споровым растением. Ни один папоротник – не гриб. Ошибка! МП должна быть утвердительной! Составление силлогизма II фигура ПКС. Специальные правила 1. БП всегда общая 2. Одна из посылок отрицательная AA EA IA OA AE EE IE OE AI EI II OI AO EO IO ОО Правильные модусы II фигуры BAROCO CESARE CAMESTRES FESTINO Правильные модусы II фигуры Ни одна из европейских гор не выше Эльбруса. Эверест выше Эльбруса. Эверест не европейская гора. Ни одна из европейских гор не выше Эльбруса. Некоторые горы выше Эльбруса. Некоторые горы не европейские. Все насекомые дышат трахеями. Ни один паук не дышит трахеями. Ни один паук не является насекомым. Все однолетние растения не имеют корневище. Некоторые садовые цветы имеют корневище. Некоторые садовые цветы не однолетние растения. CESARE FESTINO CAMESTRES FESTINO Потренируемся Все дети любят апельсиновый сок. Маша любит апельсиновый сок. Маша – ребенок. Ошибка! Нет отрицательной посылки Некоторые представители отряда крокодилов живут в Ниле. Все кайманы – представители отряда крокодилов. Ошибка! БП не общая Все кайманы живут в Ниле. Все цветы имеют приятный запах. Некоторые парфюмерные изделия имеют приятный запах Ошибка! Некоторые парфюмерные изделия - цветы. Нет отрицательной посылки Все кошки являются плотоядными. Некоторые млекопитающие не являются плотоядными. Некоторые млекопитающие - не кошки. BAROCO Ни один садовый цветок не является деревом. Ни один куст не является деревом. Некоторые кусты – не садовые цветы. Ошибка! две отрицательных посылки Составление силлогизма III фигура ПКС. Специальные правила 1. МП всегда утвердительная 2. Вывод всегда частный AA EA IA OA AE EE IE OE AI EI II OI AO EO IO ОО Правильные модусы III фигуры DARAPTI DATISI DISAMIS BOCARDO FELATON FERISON Определим модусы III фигуры Все киты млекопитающие. Все киты – водные животные. Некоторые водные животные – млекопитащие. DARAPTI Некоторые водные животные – киты. Все водные животные обитают в водоемах. Некоторые, обитающие в водных водоемах – киты. DISAMIS Все киты – водные животные. Некоторые киты занесены в Красную книгу. Некоторые, занесенные в Красную книгу - водные животные. DATISI Ни один кит не может жить на суше. FERION Некоторые киты занесены в Красную книгу. Некоторые животные, занесенные в Красную книгу, не могут жить на суше. Некоторые киты не питаются рыбой. Все киты – водные животные. Некоторые водные животные не питаются рыбой. BOCARDO IV фигура ПКС. Специальные правила 1. Если БП утвердительное суждение (А,I), то МП – общее (А,Е) 2. Если одна из посылок отрицательная (Е,О), то БП общая (А,Е). AA EA IA OA AE EE IE OE AI EI II OI AO EO IO ОО Правильные модусы IV фигуры BRAMALIP CAMENES DIMARIS FESAPO FREISON Определим модусы IV фигуры Все кролики имеют красивый мех. Все, имеющие красивый мех, - животные. Некоторые животные – кролики. IV BRAMALIP Все люди смертны Все смертные не живут вечно. Все, живущие вечно - не люди. IV CAMENES Все мифы не нуждаются в доказательствах. Все, нуждающееся в доказательствах - научные теории. Некоторые научные теории не мифы. IV FESAPO Все мифы нуждаются в доказательствах. Теория эволюции не является мифом. Теория эволюции не нуждается в доказательствах. I Ошибка! МП не утвердительная Составление силлогизма
