Категоричний силогізм: поняття та структура.

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

1. В кожному К.С. має бути три терміни: більший, менший і середній.

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

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

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

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

Общие правила силлогизма

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

Силогізм – це дедуктивний умовивід, в якому з категоричних суджень-посилок, зв’язаних загальним терміном-поняттям, виводиться третє судження – висновок (заключення).

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

Береза (S) - дерево (Р)

Дерево(S) – рослина (Р)

Береза(S) – дерево (Р)

Складові категоричного силогізму називаються:

А. Меншим терміном називається поняття, яке у судженні (S є Р) висновку є Суб’єктом (S)

Б. Більшим терміном – поняття, яке у висновку є Предикатом (Р).

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

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

1. В кожному К.С. має бути три терміни: більший, менший і середній.

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

3. Термін, що нерозподілений в посилках, не може біти розподіленим у висновку (заключенні).

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

1. З двох часткових посилок неможливо зробити висновок.

2. Якщо одна з посилок часткова (Деякі...), то і висновок буде частковим.

3. Якщо одна з посилок буде від’ємною (“Жоден..., ніхто...”; “... не є...,...не-Р”, то і висновок буде від’ємним.

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

В посилках простого К.С. середній термін (М) може займати місце Суб’єкта чи Предиката. В залежності від цього існує чотири види, що їх називають модусами, силогізму:

В першій фігурі М виступає Суб’єктом в першій і Предикатом в другій.

В другій фігурі М – Предикат і в першій, і в другій посилках.

В третій фігурі М - Суб’єкт в обох посилках.

В четвертій фігурі М – Предикат в більшій і Суб'єкт в меншій посилках.

Графічно це зображується так:

1. М P 2. P M

S M S M

3. M P 4. P M

M S M S

 

Отже, фігури силогізму – це його різновиди, що різняться між собою положенням середнього терміну M. Оскільки посилки кожної фігури може мати 24(16) комбінацій видів суджень (A,E,I,O), то комбінацій в усіх 4-х фігурах буде 64. Одначе, не всі модуси відповідають загальним правилам термінів і правил посилок силогізму. Правильними буде лише 19 силогізмів, а саме:

1-ша фігура: AAA, EAE, AII, EIO: Більша посилка – загальне судження, менша – стверджувальне. 2-га фігура: EAE, AEE, EIO, AOO: Більша посилка – загальне судження, менша – заперечне.

3-тя фігура: AAI, IAI, AII, EAO, OAO, EIO: менша – стверджувальне, заключення – часткове судж.

4-та фігура: AAI, AEE, IAI, EAO, EIO: Тут заключення з посилок штучне для звичайного мислення і не має пізнавальної цінності. В звичайній логіці не розглядається, якщо розглядається, по правила 1-ої фігури силогізму.