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

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

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

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

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

тема роботи

Категоричні висловлювання (судження).
Особливий інтерес до категоричним висловлювань пояснюється насамперед тим,що з дослідження їх логічних зв'язків почався розвиток логіки як науки.
Крім того висловлювання цього типу широко використовуються в нашихміркуваннях.
Категоричне висловлювання - це висловлювання, в якій стверджується абозаперечується наявність якоїсь ознаки у всіх або деяких предметіврозглянутого класу.
Наприклад у висловленні "Все динозаври вимерли" всім динозаврам (або, щоте ж саме, кожному з динозаврів) приписується ознака "бути вимерлими".
У вислові "деякі динозаври літали" здатність літатиприписується деяким динозаврам. У висловленні всі комети не астероїдизаперечується наявності ознаки бути астероїдом у кожної з комет. Увислові "деякі тварини не є травоїдними" заперечуєтьсятравоїдного деяких тварин.
Якщо відволіктися від кількісної характеристики, що міститься вкатегоричне висловлення і виражається словами "все" і "деякі", товийде два варіанти таких висловлювань: позитивну і негативний.
Їх структура:
"S є P" і "S не є P",де буква S представляє ім'я того предмету, про який йде мова ввисловленні, а буква P - ім'я ознаки, притаманного чи не властивого цьогопредмету.
Предмет, про який йдеться у категоричній висловленні, називаєтьсясуб'єктом, а його ознака - предикатом. Суб'єкт і предикат іменуютьсятермінами категоричного висловлювання і з'єднуються між собою зв'язками
"є" або "не є" ( "є" або "не є" і т.п.). Наприклад, ввислові "Сонце є зірка" термінами є імена "Сонце" і
"зірка" (перший з них - суб'єкт висловлювання, другий - його предикат), аслово "є" - зв'язка.
Прості висловлювання типу "S є P" називаються атрибутивними: у нихздійснюється атрибуція (приписування) якогось властивості предмету.
У категоричне висловлення не просто встановлюється зв'язок предмета іознаки, а й дається певна характеристика суб'єкта висловлювання. Увисловлюваннях типу "Всі S є P" слово "всі" означає "кожен зпредметів відповідного класу ". У висловлюваннях типу" Деякі S є
(не є) P "слово" деякі "вживається в не виключає сенсі іозначає "деякі, а може бути все". У виключає сенсі слово
"деякі" означає "тільки деякі", або "деякі, але не все".
Таким чином, можливі чотири види категоричних висловлювань:

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

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

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

Загальні правила силогізму

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

Правила термінів

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

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

Іванов Є.О. Логіка: Підручник для юридичних вузів. - М.: Бек, 1996
Івін А.А. Логіка Підручник для гуманітарних факультетів.

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