загрузка...

трусы женские
загрузка...
Реферати » Реферати по логіці » Фігури категоричного силогізму

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

Міжрегіональна

Академія Управління Персоналом

Факультет:

Дистанційного навчання.

Економіка та управління бізнесом.

Група: 21098БУБ Курс: 3

Студент: Паханцов М.А.

Домашня адреса: г. Днепропетровск ул. Гидропарковая д. 9 кв. 113

Місце роботи: КАБ «Слов'янський»

КОНТРОЛЬНЕ ЗАВДАННЯ

по розділу навчального плану: Логіка.

Тема: Фігури категоричного силогізму.


Викладач: Бартун Микола Петрович __________________

м Дніпропетровськ

1999

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

1. Передмова

2. Категоричні висловлювання

3. Фігури категоричного силогізму

4. Основні правила фігур.

5. Модуси фігур

6. Література

Передмова

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

Вчення про силогізм є історично першим закінченим фрагментом логічної теорії умовиводів. Воно систематично викладено
Аристотелем в «Аналітиках» і під ім'ям силлогистики існує дотепер, володіючи самостійної цінністю.

Категоричні висловлювання

Логіка висловлювань зводить складні висловлювання до простих
(атомарним).

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

Висловлювання, що має структуру, виражену формулою «S є P» називають стверджувальними, а що мають структуру «S не є P» - негативними. Цей поділ за якістю.

Крім того, категоричні висловлювання діляться за кількістю на поодинокі (Це S є (або не є) P), загальні (Всі S є (або не є) P) і приватні (Деякі S є ( чи не їсти) P). Слова «все» і «деякі» називають кванторного словами.

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

Таким чином, класифікація категоричних висловлювань за якістю та кількістю містить чотири типи:

n общеутвердітельние (А) n общеотріцательние (Е) n частноутвердітельние (I) n частноотріцательние ( O)

Букви A, E, O, I для символічних позначень взяті з латинського слова affirmo - стверджую - для двох стверджувальних висловлювань та зі слова nego - заперечую - для негативних.

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

Расмотрим (на прикладі) будова силогізму.

Кожна людина (М) - смертна (Р)

Сократ (S) - людина (М)

~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~

Сократ (S) - смертна (P)

Силогізм складається з трьох категоричних висловлювань (дві посилки і одне висновок, який до стандартної записи пишеться під рискою). Суб'єкт укладення позначається (зазвичай) буквою S, а предикат - P, але в силогізм
S називається меншим терміном, а P - великим; обидва вони називаються крайніми термінами. Термін, двічі повторюється в посилках, називається середнім
(лат. - Terminus medius) і позначається буквою M.

Посилки також мають власні назви: та, яка містить термін
P, називається більшої посилкою, а що містить термін S - меншою посилкою.

Таким чином, категоричний силогізм - це такий дедуктивний висновок, в укладенні якого зв'язок між крайніми термінами (S і P) встановлюється на підставі їх (зафіксованого в посилках) ставлення до середньому терміну (M).

В загальному вигляді структуру силогізму можна представити так:

R (X, Y) ^ Q (Y, Z)-> L (XZ),

де R, Q, L можуть мати значення A, E, I, O;

X, Y означає MP або PM,

Y, Z - MS

X, Z - SP

кон'юнкції посилок в силогізмі можна розглядати як антецендент, а висновок - як консеквент.

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

A (MP) ^ I (SM)-> I (SP).

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

MP

SM

----------

SP

1-я фігура

(1-я фігура)

Ясно, що крім цієї фігури існують ще три, бо термін М може стояти в кожній посилці як на місці суб'єкта, так і на місці предиката:

PMMPPM

SMMSMS

------------------

SPSPSP

2-я фігура 3-фігура 4-фігура

Таким чином, фігури силогізму, це такі його різновиди, які відрізняються один від одного положенням середнього терміна.

Якщо взяти до уваги кількісну і якісну характеристики входять до силогізм посилок і висновку, то ми отримаємо різновиди, звані модусу. Модус записується трьома буквами (з A, E, I, O) у такій послідовності - велика посилка, менша посилка, висновок.

Наведений вище приклад ілюструє модус AII.

Усіх можливих модусів силогізму (по чотирьох фігурам 256). Якщо взяти саму загальну схему силогізму - R (X, Y) ^ Q (Y, Z)-> L (X, Z), то існує 4 способи вибору R, 4 способи Q і 4 способи вибору L; крім, того 2 способу вибору порядку проходження X, Y, і 2 способи порядку проходження Y, Z. Таким чином мається 4 * 4 * 4 * 2 * 2 = 256 різних модусів (по 64 в кожній фігурі). Але далеко не всі вони будуть правильними. Питання про правильність будь-якого силогізму може бути вирішене побудовою діаграм Ейлера для кожної посилки з подальшим їх суміщенням.

Модус деякого силогізму неправильний тоді і тільки тоді, коли яка-небудь діаграма відповідна його посилкам, не співпадає з жодною діаграмою, що відповідає її ув'язнення.

Наприклад розглянемо модус:

E (MP) ^ A (SM)-> E (SP), тобто

Жодне V не має P

Все S суть M

--------------------------------жодне S не має P

Його посилка відповідає будь-яка з двох діаграм, зображена на рис
1.

Малюнок 1

Малюнок 2

Малюнок 3

Очевидно що кожній з цих діаграм може відповідати висновок
«Жодне S не має P» . Тому цей силогізм правильний, і, значить, при істинних посилках ми отримаємо необхідно справжнє висновок.

Діаграма відносин між термінами в більшій посилці A (MP) може бути такою, як це зображено на малюнку 2, а діаграма меншою посилки
E (SM) зображена на малюнку 3

Тут повністю видно що безліч S, повністю виключивши з безлічі М, може повністю виключатися з безлічі Р, що відповідає висновку А (SP). Ці положення S зафіксовані як S1 і S2. Як видно, однозначний результат отримати неможливо. Це свідоцтво того що укладення логічно не випливає з посилок (висловлення E (SP) і A (SP) не можуть бути одночасно істинними).

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

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

Основні правила фігур

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

Якщо термін М не буде розподілений принаймні в одній з посилок, однозначно пов'язати крайні терміни в ув'язненні виявиться неможливим.

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

3. Число негативних посилок має дорівнювати числу негативних висновків.

Це правило означає що:

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

2) З двох негативних посилок правильного заключний зробити не можна.

3) З двох стверджувальних посилок не можна отримати негативний висновок

Ці три правила є необхідними і достатніми для виключення всіх неправильних силогізмів.

Іноді формулюється правило: "У силогізм має бути три і тільки три терміни.". Вказівка ??на це вимога направлена ??на те, щоб уникнути помилки, яка називається учетверенное термінів (вона заснована на усвідомленому або неусвідомленому використанні явища омонімії).

В число додаткових правил включають:

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

2. Якщо одна з посилок приватна, то й висновок має бути приватним.

Особливі правила фігур

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

Перша фігура.

1) Велика посилка повинна бути загальної (А, Е);

2) Менша посилка - стверджувальній (A, I);


Друга фігура.

1) Велика посилка повинна бути загальної (А, Е);

2) Одна з посилок негативна (Е, О);


Третя фігура.

1) Менша посилка повинна бути ствердною (A, I);

2) Висновок - приватне (I, O);


Четверта

Сторінки: 1 2
загрузка...
ur.co.ua

енциклопедія  з сиру  аджапсандалі  ананаси  узвар