Зміст
1. Що таке простий категоричний силогізм? Дайте його структуру
2. Для наступних термінів побудуйте діаграму Ейлера: держави, республіки, монархії
3. Побудуйте таблицю істинності наступної формули
Список використаної літератури
1. Що таке простий категоричний силогізм? Дайте його структуру
В
Категоричний силогізм (або просто: силогізм) - це дедуктивний умовивід, у якому з двох категоричних висловлювань виводиться нове категоричне висловлювання.
Логічна теорія такого роду умовиводів називається силлогистикой. Вона була створена ще Аристотелем і довгий час служила зразком логічного теорії взагалі. [1]
У силогістиці виразу "Все ... є ... "," Деякі ... є ... "," Все ... не їсти ... "та" Деякі ... НЕ є ... "розглядаються як логічні постійні, тобто беруться як єдине ціле. Це не висловлювання, а певні логічні форми, з яких виходять висловлювання шляхом підстановки замість многоточий якихось імен. Підставляються імена називаються термінами силогізму. p> Істотним є наступне традиційне обмеження: терміни силогізму не повинні бути порожніми або негативними.
Прикладом силогізму може бути:
Всі рідини пружні. Вода - рідина. Вода пружна. p> У кожному силогізм має бути три терміни: менший, більший і середній.
Меншим терміном називається суб'єкт висновку (у прикладі таким терміном є термін "вода").
Великим терміном іменується предикат висновку ("пружна"). Термін, присутній у посилках, але відсутній у висновку, називається середнім ("рідина"). Менший термін позначається зазвичай буквою S, більший - буквою Р і середній - буквою М. Посилка, в яку входить більший термін, називається більшої. Посилка з меншим терміном називається меншою. Велика посилка записується першої, менша - другий. Логічна форма наведеного силогізму така:
Всі М є Р. Всі S є М.
Всі S є Р.
Залежно від положення середнього терміна в посилках (є він суб'єктом або предикатом більшою і меншою посилках) розрізняються чотири фігури силогізму. Схематично фігури зображаються так:
В
За схемою першої фігури побудований силогізм:
Всі птахи (М) мають крила (Р). Всі страуси (S) - птиці (М). p> Всі страуси мають крила.
За схемою другий фігури побудований силогізм:
Всі риби (Р) дихають зябрами (М). Кити (S) не дихають зябрами (М). p> Всі кити НЕ риби.
За схемою третьої фігури побудований силогізм:
Всі бамбуки (М) цвітуть один раз у житті (Р). Всі бамбуки (М) - багаторічні рослини (S). p> Деякі багаторічні рослини цвітуть один раз у житті.
За схемою четвертої фігури побудований силогізм:
Всі риби (Р) плавають (М). Всі плаваючі (М) живуть у воді (S). p> Деякі живуть у воді - Риби. p> Посилками і висновками силогізмів можуть бути категоричні судження чотирьох видів: SaP, SiP, SeP і SoP. p> Модусами силогізму називаються різновиди фігур, що відрізняються характером посилок і висновку.
Всього з точки зору всіляких поєднань посилок і висновку в кожній фігурі налічується 64 модусу. У чотирьох фігурах 4 Г— 64 = 256 модусів. p> Силогізми, як і всі дедуктивні умовиводи, діляться на правильні і неправильні. Завдання логічного теорії силогізму - систематизувати правильні силогізми, вказати їх відмінні риси.
З усіх можливих модусів силогізму тільки 24 модусу є правильними, по шість у кожній фігурі. Ось традиційно прийняті назви правильних модусів перших двох фігур:
1-а фігура: Barbara, Celarent, Darii, Ferio, Barbari, Celaront; 2-я фігура: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros. p> У кожному з цих назв містяться три голосних літери. Вони вказують, які саме категоричні висловлювання використовуються в модусі в якості його посилок і ув'язнення. Так, назва Celarent означає, що в цьому модусі першої фігури більшою посилкою є общеотрицательное висловлювання (SeP), меншою - общеутвердітельное (SaP) та укладенням - общеотріцательное висловлювання (SeP).
З 24 правильних модусів силогізму 5 є ослабленими: висновками в них є частноутвердітельние або частноотріцательние висловлювання, хоча в випадку інших модусів ці ж посилки дають общеутвердітельние або общеотріцательние ув'язнення (пор. модуси Cesare і Cesaro другої фігури). Якщо відкинути ослаблені модуси, залишається 19 правильних модусів силогізму. [2] p> Для оцінки правильності силогізму можуть використовуватися круги Ейлера, що ілюструють відносини між обсягами імен.
Візьмемо, для прикладу, силогізм:
Всі метали (М) ковки (Р).
Залізо (S) - метал (М). hr size=2 align=left>
Залізо (S) ковке (Р).
В
Відносини між трьома термінами цього силогізму (модус Barbara) представляються трьома концентричними колами. Ця схема інтерпретується так: якщо всі М (метали) входять в обсяг Р (ковких тіл), то з необхі...