На головну

 Поняття категоричного силогізму - Філософія

Зміст

1. Що таке простий категоричний силогізм? Дайте його структуру

2. Для наступних термінів побудуйте діаграму Ейлера: держави, республіки, монархії

3. Побудуйте таблицю істинності наступної формули

Список використаної літератури

1. Що таке простий категоричний силогізм? Дайте його структуруКатегоріческій силогізм (або просто: силогізм) - це дедуктивний умовивід, у якому з двох категоричних висловлювань виводиться нове категоричне висловлювання.

Логічна теорія такого роду умовиводів називається силлогистикой. Вона була створена ще Аристотелем і довгий час служила зразком логічного теорії взагалі. [1]

У силогістиці виразу "Все ... є ...", "Деякі ... є ...", "Все ... не є ..." та "Деякі ... не є ..." розглядаються як логічні постійні, тобто беруться як єдине ціле. Це не висловлювання, а певні логічні форми, з яких виходять висловлювання шляхом підстановки замість многоточий якихось імен. Підставляються імена називаються термінами силогізму.

Істотним є наступне традиційне обмеження: терміни силогізму не повинні бути порожніми або негативними.

Прикладом силогізму може бути:

Всі рідини пружні. Вода - рідина. Вода пружна.

У кожному силогізмі має бути три терміна: менший, більший і середній.

Меншим терміном називається суб'єкт висновку (у прикладі таким терміном є термін "вода").

Великим терміном іменується предикат висновку ("пружна"). Термін, присутній у посилках, але відсутній у висновку, називається середнім ("рідина"). Менший термін позначається зазвичай літерою S, більший - буквою Р і середній - буквою М. Посилка, в яку входить більший термін, називається більшої. Посилка з меншим терміном називається меншою. Велика посилка записується першої, менша - другий. Логічна форма наведеного силогізму така:

Всі М є Р. Всі S є М.

Всі S є Р.

В залежності від положення середнього терміна в посилках (є він суб'єктом чи предикатом в більшій і меншій посилках) розрізняються чотири фігури силогізму. Схематично фігури зображаються так:

За схемою першої фігури побудований силогізм:

Всі птахи (М) мають крила (Р). Всі страуси (S) - птахи (М).

Всі страуси мають крила.

За схемою другої фігури побудований силогізм:

Всі риби (Р) дихають зябрами (М). Кити (S) не дихають зябрами (М).

Всі кити НЕ риби.

За схемою третьої фігури побудований силогізм:

Всі бамбуки (М) цвітуть один раз у житті (Р). Всі бамбуки (М) - багаторічні рослини (S).

Деякі багаторічні рослини цвітуть один раз в житті.

За схемою четвертої фігури побудований силогізм:

Всі риби (Р) плавають (М). Всі плаваючі (М) живуть у воді (S).

Деякі живуть у воді - риби.

Посилками та висновками силлогизмов можуть бути категоричні судження чотирьох видів: SaP, SiP, SeP і SoP.

Модусами силогізму називаються різновиди фігур, що відрізняються характером посилок і висновку.

Всього з точки зору всіляких поєднань посилок і висновку в кожній фігурі налічується 64 модусу. У чотирьох фігурах 4 ? 64 = 256 модусів.

Силогізми, як і всі дедуктивні умовиводи, діляться на правильні і неправильні. Завдання логічної теорії силогізму - систематизувати правильні силогізми, вказати їх відмінні риси.

З усіх можливих модусів силогізму тільки 24 модусу є правильними, по шість у кожній фігурі. Ось традиційно прийняті назви правильних модусів перших двох фігур:

1-а фігура: Barbara, Celarent, Darii, Ferio, Barbari, Celaront; 2-а фігура: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

У кожному з цих назв містяться три голосних літери. Вони вказують, які саме категоричні висловлювання використовуються в модусі в якості його посилок і висновку. Так, назва Celarent означає, що в цьому модусі першої фігури більшої посилкою є общеотріцательное висловлювання (SeP), меншою - общеутвердітельное (SaP) та укладенням - общеотріцательное висловлювання (SeP).

З 24 правильних модусів силогізму 5 є ослабленими: висновками в них є частноутвердітельние або частноотріцательние висловлювання, хоча у випадку інших модусів ці ж посилки дають общеутвердітельние або общеотріцательние ув'язнення (пор. Модуси Cesare і Cesaro другої фігури). Якщо відкинути ослаблені модуси, залишається 19 правильних модусів силогізму. [2]

Для оцінки правильності силогізму можуть використовуватися кола Ейлера, що ілюструють відносини між обсягами імен.

Візьмемо, для прикладу, силогізм:

 Всі метали (М) ковки (Р).

 Залізо (S) - метал (М).

 Залізо (S) ковке (Р).

Відносини між трьома термінами цього силогізму (модус Barbara) представляються трьома концентричними колами. Ця схема інтерпретується так: якщо все М (метали) входять в обсяг Р (ковких тіл), то з необхідністю S (залізо) увійде в обсяг Р (ковких тіл), що і затверджується в ув'язненні "Залізо ковке".

Інший приклад силогізму:

 Всі риби (Р) не мають пір'я (М). У всіх птахів (S) є пір'я (М).

 Жодна птиця (S) не є рибою (Р).

Відносини між термінами даного силогізму (модус Cesare) представлені на малюнку. Він тлумачиться так: якщо все S (птахи) входять в обсяг М (що мають пір'я), а М не має нічого спільного з Р (риби), то у S (птахи) немає нічого спільного з Р (риби), що і затверджується в ув'язненні.

Приклад неправильного силогізму:

 Всі тигри (М) - ссавці (Р).

 Всі тигри (М) - хижаки (S).

 Всі хижаки (S) - ссавці (Р).

Відносини між термінами даного силогізму можуть бути представлені двояко, як це показано на малюнку. І в першому, і в другому випадках все М (тигри) входять в обсяг Р (ссавці) і всі М входять також в обсяг S (хижаки). Це відповідає інформації, що міститься в двох посилках силогізму. Але відношення між обсягами Р і S може бути двояким. Охоплюючи М, обсяг S може повністю входити в обсяг Р або обсяг S може лише перетинатися з об'ємом Р. В першому випадку можна було б зробити загальний висновок "Все хижаки - ссавці", але в другому випадку правомірно тільки приватне висновок "Деякі хижаки - ссавці ". Інформації, що дозволяє зробити вибір між цими двома варіантами, в посилках не міститься. Значить, ми не вправі робити загальний висновок. Силогізм не є правильним.

У силогізм, як і у всякому дедуктивний умовивід, у висновку не може міститися інформація, відсутня в посилках. Висновок тільки розгортає інформацію посилок, але не може привносити нову інформацію, відсутню в них. [3]

У звичайних міркуваннях нерідкі силогізми, в яких не виражається явно одна з посилок або висновок. Такі силогізми називаються ентимемами. Приклади ентімем: "Щедрість заслуговує похвали, як і всяка чеснота", "Він - вчений, тому цікавість йому не чуже", "Гас - рідина, тому він передає тиск на всі боки рівномірно" і т.п. У першому випадку опущена менша посилка "Щедрість - це чеснота", у другому - велика посилка "Всякому вченому не чуже цікавість", у третьому - знову-таки велика посилка "Всяка рідина передає тиск на всі боки рівномірно".

Для оцінки правильності міркування в ентимема слід відновити її в повний силогізм.

2. Для наступних термінів побудуйте діаграму Ейлера: держави, республіки, монархії

Діаграми Ейлера-Венна дозволяють представити множини, як множини точок на площині, обмежені замкнутими кривими круглої або овальної форми. Прямокутна рамка обмежує універсум. Зазвичай, якщо не потрібно інше, малюють так званий загальний випадок: коли кожне з множин має свої власні точки і точки, спільні з іншими множинами.

Рішення:

Держава може бути або республікою або монархією.

Поняття (А) «монархія» і (В) «республіка» є суперечать поняттями, тому, що вони несумісні і обидва підпорядковані поняттю (С) «держава».

Тому діаграма буде виглядати наступним чином:

А З У С

3. Побудуйте таблицю істинності такої формули:

(А ®) U (В?С)

У логічному вираженні дана формула виглядає так:

(Якщо А, то чи не В) і (якщо і тільки якщо В, то не С)

Формула має три змінних: А, В і С. Судження, які використовуються у формулі: ко?юнктівние, імплікатівние, і еквівалентні.

Таблиця істинності:

 А В С В С А ® В?С (А ®) U (В?С)

 і і і л л л л л

 і і л л і л і л

 і л і й л і й і

 і л л і й і л л

 л і й л л л л л

 л і л л і л і л

 л л і й л л і л

 л л л і й л л л

Список використаної літератури

1. Берков В.Ф. Логіка: навч. для студентів вузів / Берков В.Ф .; Яккевіч Я.С; Павлюкевич В.І. За заг. ред. В.Ф. Беркова. - 8-е изд. - Мінськ: Театр Системс, 2006. - 412с.

2. Бочаров В.А., Маркін В.І. Основи логіки: підручник для гуманітарних і природничих факультетів університетів. - М .: Космополіс, 1994. - 271с.

3. Гетманова А.Д. Логіка: Учеб. для ВНЗ / Гетманова Олександра Денисівна. - 6-е вид. - М .: Вища. шк .: Омега. - Л., 2002. - 416с.

4. Демидов І.В. Логіка: підручник / Демидов Ігор Володимирович: під ред. Б.І. Каверіна. - М .: Дашков і Ко, 2004. - 345с.

5. Івін А.А. Логіка: навч. для ВНЗ / Івін Олександр Архипович. - М .: Фаир-Пресс: Гранд, 2002. - 319с.

6. Кузіна Є.Б. Логіка: Експрес-курс для підгот. до іспиту / Кузіна Олена Борисівна. - М .: Владос, 2003. - 80с.

7. Свєтлов В.А. Практична логіка: навч. посібник для ВНЗ / Свєтлов Віктор Олександрович. - Вид. 3-е, доп. І испр. - СПб .: Росток, 2003. - 682с.

[1] Гетманова А.Д. Логіка: Учеб. для ВНЗ / Гетманова Олександра Денисівна. - 6-е вид. - М .: Вища. шк .: Омега. - Л., 2002. - С.286

[2] Івін А.А. Логіка: навч. для ВНЗ / Івін Олександр Архипович. - М .: Фаир-Пресс: Гранд, 2002. - с.86

[3] Демидов І.В. Логіка: підручник / Демидов Ігор Володимирович: під ред. Б.І. Каверіна. - М .: Дашков і Ко, 2004. - с.124

© 8ref.com - українські реферати
8ref.com