Юридичний інститут p>
Міністерства внутрішніх справ p>
Російської Федерації p>
Контрольна робота по логіці. p>
Тема: дедуктивні умовиводи. Висновки з простих суджень p>
Москва .1998 p>
План: p>
1. Загальна характеристика дедуктивних умовиводів. P>
2. Види дедуктивних умовиводів. P>
3. Простий силогізм. Фігури і модуси правил. P>
4. Дайте відповіді p>
Загальна характеристика дедуктивних умовиводів. P>
У процесі пізнання дійсності людина здобуває новізнання. Деякі з них одержують за допомогою живого споглядання в результатідії предметів зовнішнього світу на органи чуття. Однак більшу частинузнань ми отримуємо на ступені абстрактного мислення за допомогою міркувань,тобто шляхом виведення нових знань з знань вже наявних. Ці знанняназиваються опосередкованими, або вивідними. p>
Логічної формою одержання вивідних знань є умовивід. p>
умовивід - це форма мислення, за допомогою якої з одного абодекількох суджень виводиться нове судження. p>
Будь-яке умовивід складається з посилань, укладення та виводу.
Посилками умовиводів називаються вихідні відомі судження, з якихвиводиться нове судження. Заключним називається нове судження, отриманелогічним шляхом з посилок. Логічний перехід то посилок до висновкуназивається висновком. p>
Подібно всякому судження, висновок може бути істинним і хибним. Алете й інше визначається тут, як і в складних судженнях, безпосередньоставлення не до дійсності, а перш за все до посилок і їхнього зв'язку. p>
Висновок буде істинним за наявності двох необхідних умов: 1)якщо посилки істинні за змістом і 2) якщо умовивід правильно посвоєю формою (будовою). p>
Наприклад: p>
Всі художники точно відчувають природу p>
І. Левітан - художник. p>
_______________________________________________ p>
Отже, І. Левітан тонко відчуває природу. p>
Висновок: при наявності змістовної зв'язку між посилками ми можемоотримати в процесі міркування нове істинне знання за дотримання двохумов: по-перше, повинні бути істинними вихідні судження - посилкиумовиводи, по-друге, в процесі міркування слід дотримуватися правилавиводу, які обумовлюють формальну правильності умовиводу. p>
У даному прикладі обидві посилки істинні, а умовивід побудованоправильно, що випливає з наступної схеми: p>
де А - І. Левітан, В - художники, С - тонко відчувають природу. p>
І навпаки, висновок може бути хибним, якщо: 1 ) хоча б одна зпосилок помилкова або 2) будова умовиводи неправильне. p>
Всі свідки правдиві. p>
Кукушкін - свідок. p>
_______________________________________________ p>
Отже, Кукушкін правдивий . p>
Тут одна з посилок хибна. Ось чому певного висновку зробитине можна. А про те, наскільки важливо правильне будова умовиводи,свідчить відомий в логіка жартівливий приклад, коли з обох істиннихпосилок висновок випливає безглуздий: p>
Всі дикуни люблять фарбувати особи. p>
Всі жінки теж люблять фарбувати особи. p>
_______________________________________________ p>
Отже, всі жінки дикуни. p>
Про те, що певний висновок за такої конструкції умовиводинеможливий, свідчить кругова схема: p>
- де А - жінки, В - дикуни, С - фарбувальні особи. p>
З можливих посилок або при неправильному будові умовиводиістинний висновок може вийти чисто випадково. p>
Дерево не проводить електрики. p>
Вода - не дерево. p>
_______________________________________________ p>
Отже, вода проводить електрику. p>
При подібному будові умовиводи досить замість "води"підставити "гуму", щоб зрозуміти випадковість вірного висновку. Зв'язок міжпосилками і висновком повинна бути не випадковою, а необхідної,однозначною, обгрунтованою: одне має дійсно слідувати, випливати зіншого. Якщо ж зв'язок випадкова або багатозначна і щодо виводу, якговорять при обміні квартир, "можливі варіанти", то такий висновок робитине можна. Інакше неминуча помилка, що в логіці називається "non sequitur"
( "Не слід"). продовжуючи розпочату вище порівняння з будівництвом будинку,можна сказати: не можна побудувати добротний будинок, якщо матеріал негідний
(наприклад, колоди гнилі); але і будинок з гарного матеріалу можерозвалитися, якщо будувати його неправильно, не дотримуючись законів механіки.
Види дедуктивних умовиводів.
Виступаючи в якості більш складною, ніж поняття і судження, форми мислення,умовивід являє собою в той же час більш багату за своїмипроявам форму. І в цьому є певна закономірність.
Оглядаючи практику мислення, можна виявити велику кількість самихрізноманітних видів і різновидів умовиводів. Вони розрізняються числомпосилок - один, два і більше; типом суджень - просте чи складне; видомсуджень - атрибутивної або реляційне; ступенем імовірності висновку --достовірний або ймовірний і т.д. і т.п. Усяке умовивід взагалі,безвідносно до його формам, являє собою логічне слідуванняодних знань з інших, то залежно від характеру цього проходження, відспрямованості ходу думки в умовиводи можна виділити три корінних,фундаментальних типу, які й будуть покладені в основу подальшогоаналізу вивідного знання. Це дедукція, індукція і традукція.
Дедукція (від лат. Deductio - виведення) - це умовивід від більш загальногознання до менш загального. Типовий приклад дедукції, що йде з давнини:
Усі люди смертні.
Сократ - людина.
________________ p>
посилок. p>
Поряд з поділом умовиводів за суворістю виведення важливе значеннямає їх класифікації за спрямованістю логічного слідування, тобто похарактеру зв'язку між знанням різної ступені спільності, вираженої впосилках і ув'язненні. З цієї точки зору розрізняють три видиумовиводів: дедуктивні (від загального знання до часткового), індуктивні (відприватного знання до загального), умовиводи за аналогією (від приватного знання доприватному). p>
Дана класифікація умовиводів буде покладена в основуподальшого викладу. p>
Розглянемо дедуктивні умовиводи. p>
дедуктивним (то латинського слова deductio - виведення) називаєтьсяумовивід, в якому перехід від загального знання до часткового єлогічно необхідним. p>
Правила дедуктивного висновку визначаються характером посилок, щоможуть бути простими (категоричними) або складними судженнями. Узалежно від кількості посилок дедуктивні висновки з категоричнихсуджень діляться на безпосередні, у яких висновок виводиться зоднієї посилки, і опосередковані, у яких висновок виводиться з двохпосилок. p>
Простий силогізм. Фігури і модуси правил. P>
умовиводу в яких висновок виходить з однієї посилки ми називаємобезпосередніми, а умовиводи у яких висновок виходить з декількохпосилок - опосередкованими. p>
Широко розповсюдженим видом опосередкованих умовиводів єпростий категоричний силогізм, висновок в якому виходить з двохкатегоричних суджень: p>
(1) "Союзна республіка (S) - суверенна радянське соціалістичнедержава (Р) "і (2)" Україна (S) - суверенна радянськесоціалістична держава (Р) ", яке також представляє собоюкатегоричне судження. p>
Таким чином, простий категоричний силогізм складається з трьохкатегоричних суджень, два з яких є посилками, а третій --ув'язненням. p>
розчленуємо судження, з яких складається силогізм, на поняття. Цихпонять три, причому кожне з них входить до складу двох суджень: "союзнареспубліка "- в 1-е (посилку) як суб'єкт і в 2-е (посилку) як предикат;
"суверенна соціалістична держава" - в 1-е (посилку) і в 3-е
(висновок) як їх предикати; "Україна" - в 2-е (посилку) і в 3-е
(висновок) як їх суб'єкти. p>
На відміну від термінів суджень - суб'єкта (s) і предиката (p) --поняття, що входять до складу силогізму, називаються термінами силогізму.
Розрізняють менший, більший і середній терміни. P>
Меншим терміном силогізму називається поняття, яке в ув'язненніє суб'єктом (у нашому прикладі поняття "Україна"). Великим терміномсилогізму називається поняття, яке у висновку є предикатом (вприкладі "суверенна радянська соціалістична держава). Менший ібільший терміни називаються крайніми і позначаються відповіднолатинськими літерами S (менший термін) і P (більший термін). p>
Кожен з крайніх термінів входить не тільки на закінчення, а й в однуз посилок. Здійснення, в яку входить менший термін, називається більшоїпосилкою. У нашому прикладі більшою посилкою буде перше судження, меншою, --друге судження. p>
Для зручності аналізу силогізму посилки прийнято розташовувати впевній послідовності: велику - на першому місці, меншу - надруге. Під рисою записують висновок. Однак на практиці міркуваннятакий порядок необов'язковий. Менша посилка може знаходитися на першіймісці, більша на другому. Наприклад "Україна (S) - союзна республіка (менша посилка). Союзна республіка - суверенна радянськесоціалістична держава (Р) (велика посилка). Отже, Україна
(S) - суверенна радянська соціалістична держава (Р) ". Інодіпосилки стоять після ув'язнення: "Україна (S) - суверенна радянськесоціалістична держава (Р), тому що Україна (S) союзнареспубліка - суверенна радянська соціалістична держава (Р )". p>
Висновок в силогізм був би неможливий, якби в ньому не було середньоготерміна. Середнім терміном силогізму називається поняття, що входить в обидваздійснення та отсутствующе у висновку (у нашому прикладі - "союзнареспубліка ") .. Середній термін пов'язує два крайніх терміну. Ставленнякрайніх термінів (суб'єкта і предиката висновку) встановлюєтьсязавдяки їх відношенню до середнього терміну. Справді, з більшою посилкинам відомо ставлення більшого терміну до середнього (у нашому прикладі поняття
"суверенна радянська соціалістична держава" до поняття "союзнареспубліка "), з меншої посилки - відношення меншого терміна до середнього
(поняття "Україна" до поняття "союзна республіка"). Знаючи ставлення крайніхтермінів до середнього, ми можемо встановити відношення між крайніми термінами
(поняттями "Україна" і "суверенна радянське соціалістичнедержава "). p>
Таким чином, висновок з посилок виявляється можливим тому, щосередній термін виконує роль сполучної ланки між двома крайнімитермінами силогізму. У нашому прикладі на місце термінів судилося ** цьогорозрізняють чотири силогізму, які називаються фігурами (мал.) p>
У першій фігурі середній термін займає місце суб'єкта в більшій імісце предиката у меншій посилці. p>
У другій фігурі - місце предиката і в більшому, і в меншій посилках. p>
У третій фігурі - місце суб'єкта в обох посилках. p> < p> У четвертій фігурі - місце предиката в більшій і місце суб'єкта вменшою посилці. p>
Ці фігури вичерпують всі можливі комбінації термінів. p>
Отже, фігури силогізму - це його різновиди, що різнятьсяположенням середнього терміна в посилках. p>
посилками силогізму можуть бути судження, різні за якістю ікількості: общеутвердітельние (А), общеотріцательние (Е),частноутвердітельние (I) і частноотріцательние (О). Наприклад, велика іменша посилки - общеутвердітельние судження (АА), велика посилка --общеутвердітельное, менша - общеотріцательное судження (АЕ) і т.д. Такяк кожна посилка може бути будь-яким з чотирьох видів суджень, числоможливих комбінацій посилок в кожній фігурі дорівнює 2 в четвертого ступеня,т.е 16: p>
AA EA IA OA p>
AE (EE) IE (OE) p>
AI EI (II) (OI) p>
AO (EO) (IO) (OO) p>
Очевидно, в 4-х фігурах число комбінацій одно 64. p>
Різновиди силогізму, що розрізняються кількістю та якістюпосилок, називаються модусу простого категоричного силогізму. Однак невсі модуси узгоджуються з загальними правилами силогізму. Наприклад, модуси,укладені в дужки, суперечать 1-му м 3-му правилами посилок, модус IAне проходить за першим і другим фігур, тому що суперечить 2-му правилутермінів, і т.д. Тому відібравши тільки ті модуси, які узгоджуються ззагальними правилами силогізму, отримаємо 19 модусів, які називаютьсяправильними. Їх прийнято записувати разом з висновком: p>
Відповідно до цього називають модуси 1-й фігури, модуси 2-й фігури іт.д. Наприклад, модус ААА 1-й фігури, модус АЕЕ 2-й фігури і т.д. p>
4. Дайте відповідь чи є вірним наступний силогізм: Кожен договірє угода; дане правовідношення не є договором; отже вононе є угодою. p>
Загальні правила простого категоричного силогізму. Побудовапростого категоричного силогізму підпорядковується ряду загальних правил, бездотримання яких навіть з істинних посилок не можна з логічноюнеобхідністю отримати справжнє ув'язнення. Усього таких правил сім: триз них - це правила термінів, а чотири - правила посилок. p>
Правила термінів: p>
1. У силогізм має бути тільки три терміни. всі закони об'єктивні, тобто не залежать від людей. p>
Конституція Росії - закон. p>
______________________________________________ p>
Отже, Конституція Росії не залежить від людей. p>
2. Середній термін повинен бути розподілений хоча би в одній з посилок. p>
Всі художники (Р) тонко відчувають природу (М) p>
Петров (S) тонко відчуває природу (М) p >
______________________________________________ p>
Отже, Петров (S) - художник (Р). p>
3. якщо більший або менший терміни не распрерделенени в посилках, товони не можуть бути розподілені і в ув'язненні. p>
Всі підручники (М) - корисні (Р) p>
Всі підручники (М) - книги (S). p>
_______________________________________________ отже деякі книги (S) корисні (Р). p>
1. З двох негативних посилок певного висновку зробити не можна. P>
Скло (М) не проводить електрики (Р). P>
Гума (S) - не скло (М) p>
_______________________________________________ p>
Отже, гума (S) ghjdjlbn 'ktrnhbxtcndj (H)/ p>
2.Якщо одна з посилок негативна, то і висновок буде негативним. p>
Усяке перступленіе (Р) є правопорушення (М). p>
Моральний проступок (S) не є правопорушення (М). p>
____________________________________________ p>
Отже, моральний вчинок ( S) не є злочин (Р). p>
3. З двох приватних посилок певного висновку зробити не можна. P>
Деякі депутати Держдуми (М) - юристи (Р) p>
Деякі артисти (S) - депутати Держдуми (М) p> < p> _____________________________________********************************* p>
******* ************************************************** ************* p>
****************************** **************************************** p>
*** ************************************************** ***************** p>
************************** ******************************************** p>
************************************************* ********************* p>
********************** ************************************************ p>
********************************************* **************___________ p>
____________________ p>
Отже воно не є угодою. p>
Цей силогізм є вірним. p>
Список використаної літератури. p>
В. И. Кириллов, А. А. Старченко Логіка М. 1982. p>
Іванов Логіка М. 1989 p>
В. И. Курбатов Логіка Ростов-на Дону 1997 p>
Н. И. Кондаков Логічний словник довідник М.1976. p>
В. Зегерт Елементарна логіка. М, 1985. P>
В. І. Свинцов Логіка М. 1987. P>
p>