На головну

 Простий категоричний силогізм - Логіка

Державний комітет Російської Федерації з вищої освіти

Далекосхідний державний технічний університет

Кафедра філософії

назва кафедри

Реферат

на тему: Простий категоричний силогізм, його структура і правила

тема реферату

Категоричні висловлювання (судження).

Особливий інтерес до категоричних висловлювань пояснюється насамперед тим, що з дослідження їх логічних зв'язків почалося розвиток логіки як науки. Крім того висловлювання цього типу широко використовуються в наших міркуваннях.

Категоричне висловлювання - це висловлювання, в якому стверджується або заперечується наявність якогось ознаки в усіх чи деяких предметів розглянутого класу.

Наприклад в висловлюванні "Все динозаври вимерли" всім динозаврам (або, що те ж саме, кожному з динозаврів) приписується ознака "бути вимерлими". У висловлюванні "деякі динозаври літали" здатність літати приписується деяким динозаврам. У висловлюванні все років комети не астероїди заперечується наявність ознаки бути астероїдом у кожної з комет. У висловлюванні "деякі тварини не є травоїдними" заперечується травоїдність деяких тварин.

Якщо відволіктися від кількісної характеристики, що міститься в категоричному висловлюванні і виражається словами "все" і "деякі", то вийде два варіанти таких висловлювань: позитивну і негативний. Їх структура:

"S є P" і "S не є P",

де буква S представляє ім'я того предмета, про який йде мова у висловленні, а буква P - ім'я ознаки, властивого або не характерного цього предмету.

Предмет, про який йдеться у категоричному висловлюванні, називається суб'єктом, а його ознака - предикатом. Суб'єкт і предикат іменуються термінами категоричного висловлювання і з'єднуються між собою зв'язками "є" або "не є" ("є" або "не є" тощо). Наприклад, у висловлюванні "Сонце є зірка" термінами є імена "Сонце" і "зірка" (перший з них - суб'єкт висловлювання, другий - його предикат), а слово "є" - зв'язка.

Прості висловлювання типу "S є P" називаються атрибутивними: у них здійснюється атрибуція (приписування) якогось властивості предмету.

У категоричному висловлюванні не просто встановлюється зв'язок предмета і ознаки, а й дається певна характеристика суб'єкта висловлювання. У висловлюваннях типу "Всі S є P" слово "все" означає "кожен з предметів відповідного класу". У висловлюваннях типу "Деякі S є (не є) P" слово "деякі" вживається в що не виключає сенсі і означає "деякі, а може бути все". В виключає сенсі слово "деякі" означає "тільки деякі", або "деякі, але не всі".

Таким чином, можливі чотири види категоричних висловлювань:

 "Всі S є P"

 "Деякі S є P"

 "Все S не є P"

 "Деякі S не є P"

 - Общеутвердітельное висловлювання (позначається літерою A);

 - Частноутвердітельное висловлювання (позначається літерою I);

 - Общеотріцательное висловлювання (позначається літерою E);

 - Частнотріцательное висловлювання (позначається літерою O);

Кожне з цих виразів є логічною постійною (логічною операцією), що дозволяє з двох імен отримати висловлювання. Арістотель тлумачив розглядаються чотири висловлювання саме як логічні постійні, що не мають самостійного змісту і дозволяють з двох володіють змістом імен отримувати змістовні, є істинними або помилковими, висловлювання.

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

А тепер перейдемо безпосередньо до предмета, що розглядається в даному реферате.Категоріческій силогізм

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

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

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

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

Всі рідини пружні.

Вода - рідина.

Вода пружна.

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

Логічна форма наведеного силогізму така:

Всі М є PВсе S є М

Всі S є Pобщ правила силогізму

Загальні правила силогізму містять у собі правила термінів та правила посилок. Як видно з назви перші ставляться до термінам, інші - до посилок. Розглянемо докладніше ті й інші, склавши для наочності табліцу.Правіла термінів

 № Правило Приклад помилки Примітки

 1 У силогізмі має бути тільки три терміни

 Знання - цінність.

 Цінності зберігають у сейфі.

 ? Може виникнути помилка, яка називається учетверение термінів, викликана не тотожні середнього терміна в обох посилках.

 2 Середній термін повинен бути розподілений хоча би в одній з посилок.

 Деякі ліки не приємні на смак.

 Олександрійський лист - ліки.

?

 3 Термін не розподілений в посилках не може бути розподілений і в ув'язненні. (Маються на увазі крайні терміни)

 Всі фермери працелюбні.

 Джон - НЕ фермер

 Джон не працьовитий Застосовується коли менша посилка негативна

Правила посилок

 № Правило Приклад помилки Примітка

 1. Хоча б одна з посилок повинна бути ствердною

 Поросята не літають.

 Качки не поросята.

 ? З двох негативних посилок висновок з необхідністю не слід.

 2. Хоча б одна з посилок повинна бути спільною

 Деякі звірі дикі.

 Деякі живі істоти - звірі.

?

 Кеша може розмовляти.

 Кеша - папуга.

 Деякі папуги можуть розмовляти. З двох приватних посилок висновок з необхідністю не слід, а з двох одиничних - можливо (аналогічно загальним)

 3. Якщо одна з посилок приватна, то і висновок буде приватним.

 Деякі свині дикі.

 Всі свині жирні.

 Деякі жирні - дикі.

 4. Якщо одна з посилок негативна, то і висновок буде негативним.

 Доісторичні тварини вимерли.

 Носороги НЕ доісторичні тварини.

 Носороги не вимерли.

Таким чином в цій роботі розглянуто простий категоричний силогізм, його структура та правіла.Література:

1. Іванов Е.А. Логіка: Підручник для юридичних вузів. - М .: Бек, 1996

2. Івін А.А. Логіка Підручник для гуманітарних факультетів.

- М .: ФАИР-ПРЕСС, 1999

3. Керрол Л. Історія з вузликами. Пров. з англ. Ю.А.Данілова - М .: "Мир", 1973

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