Дедуктивні умовиводи

[ виправити ] текст може містити помилки, будь ласка перевіряйте перш ніж використовувати.

скачати

Міністерство внутрішніх справ

Юридичний інститут

Пермський факультет

Введення

Логіка [1] - наука про людському мисленні. Людина, до якої б історичної цивілізації він не належав, потребує істини. І первісні люди, і наші сучасники, пізнаючи навколишній світ, прагнуть отримати істину. Володіння істинним знанням одних людей приносить радість і задоволення, іншим, навпаки, горе: сильних істина кличе на подвиг, у слабких - паралізує волю, наводить їх до песимізму і розгубленості. Але, незважаючи ні на що, все люди прагнуть до істини, одержання нової інформації про світ, в якому вони живуть. Володіння істиною спонукає всіх нас вперед на нелегкому шляху пізнання.

Питання, пов'язані з пізнанням дійсності, відносяться до найважливіших питань філософії. Тому логіка, що вивчає познающее мислення і застосовується як метод пізнання, є філософською наукою.

Отже, логіка - це філософська наука про форми, в яких протікає людське мислення, і про закони, яким воно підпорядковується [2].

Люди хочуть знати не тільки закони природи, але і таємниці людського мозку. Ще в XVII столітті англійський філософ Ф. Бекон говорив про те, що знання і могутність людини збігаються. Щоб розширити можливості пізнання, людина створив мікроскоп і телескоп, радіо і телебачення, ЕОМ і космічний корабель, які дозволили йому глибше і повніше пізнавати властивості природних і соціальних явищ. Винайдено різні методи пізнання, розширюють можливості розуму людини: моделювання і математичні методи, в тому числі методи теорії ймовірностей, фізичний і біологічний експерименти, методи генної інженерії та обробка інформації на ЕОМ. Щоб ефективно користуватися всіма цими методами і винаходами, мислення людини має бути бездоганним, логічно правильним.

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

Загальна характеристика дедуктивних умовиводів і його види

У процесі пізнання дійсності ми набуваємо нові знання. Деякі з них безпосередньо, в результаті впливу предметів зовнішнього світу на органи чуття; але більшу частину знань ми отримуємо шляхом виведення нових знань зі знань вже наявних. Ці знання називаються опосередкованими, або висновками.

Логічною формою отримання вивідних знань є умовивід.

Умовивід - це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження [3].

Будь-яке умовивід складається з посилань, висновків і виводу. Посилками умовиводи називаються вихідні судження, з яких виводиться нове судження. Висновком називається нове судження, отримане логічним шляхом з посилок. Логічний перехід від посилок до висновку називається висновком.

Наприклад: "Слідчий не може брати участь у розслідуванні справи, якщо він є потерпілим (1). Слідчий П. - потерпілий (2). Значить, він не може брати участь у розслідуванні справи (3)".

У цьому умовиводі 1-е і 2-е судження є посилками, 3-е судження - ув'язненням.

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

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

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

Поряд з поділом умовиводів за суворістю виведення важливе значення має їх класифікація за спрямованістю логічного слідування, тобто за характером зв'язку між знанням різної ступені спільності, висловленим у посилках і значенні. З цієї точки зору розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від часткового до загального), умовиводи за аналогією (від приватного до приватного).

Дедуктивні умовиводи - ті умовиводи, у яких між посилками і висновками є ставлення логічного слідування.

Наприклад: "Всі риби дихають зябрами (1). Всі окуні - риби (2). Значить все окуні дихають зябрами (3)."

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

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

Безпосередні умовиводи.

Безпосередніми умовиводами називаються дедуктивні умовиводи, робиться з однієї посилки. До них в традиційній логіці відносяться наступні: перетворення, звернення, протиставлення предикату [4] і умовиводи по логічному квадрату.

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

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

За якістю зв'язку категоричні судження поділяються на позитивні і негативні.

Наприклад: 1) S є P. 2) S не є не-P.

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

Можна виділити два приватних способи:

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

S є P. -> S не є не-P.

Підлягає - головні члени речення. -> Жодне підмет не є не головним членом речення;

заперечення можна переносити з предиката в зв'язку:

S є не-P. -> S не є P.

Усі дієслова є неметалами. -> Жоден галоген не є металом.

Зверненням називається таке безпосереднє умовивід, в якому у висновку (у новому судженні) суб'єктом є предикат, а предикатом - суб'єкта вихідного судження, тобто відбувається зміна місць суб'єкта і предиката при збереженні якості судження. Наприклад: S є P. -> P є S.

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

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

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

Наприклад: S є P. -> Не-P не є S.

Іншими словами, ми робимо таким чином: 1) замість P беремо не-P, 2) міняємо місцями S і не-P; 3) зв'язку міняємо на протилежну.

Наприклад, дано судження: "Всі леви - хижі тварини". У результаті протиставлення предикату отримаємо судження: "Жодне нехижі тварина не є левом".

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

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

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

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

Наприклад:

Усі метали (М) електропровідні (Р) - хвора посилка.

Мідь (S) є метал (М) - менша посилка.

Мідь (S) електропровідних (Р) - висновок.

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

Р - електропровідниками

М - метал

S - мідь

Відправка, яка містить предикат висновок (тобто більший термін), називається більшої посилкою. Відправка, містить суб'єкт висновку (тобто менший термін), називається меншою посилкою.

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

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

Фігурами категоричного силогізму називаються форми силогізму, що розрізняються за положенням середнього терміна М в посилках. Розрізняють чотири фігури.

MIP P II M M III P P IV M

Дедуктивні умовиводи
Дедуктивні умовиводи
Дедуктивні умовиводиДедуктивні умовиводи

S M S M M S M S

Дедуктивні умовиводи

SP SP SP SP

I фігура - велика посилка має бути спільною, менша - позитивної.

II фігура - велика посилка загальна і одна з посилок, а так само укладання негативні.

III фігура - менша посилка повинна бути ствердною, а висновок - приватне.

IV фігура - общеутвердітельних висновків не дає.

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

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

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

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

Завдання

Дайте відповідь, чи є вірним наступний силогізм: "Кожний контракт є угода. Дане правовідносини не є договором. Отже, воно не є угодою".

Для вирішення даної задачі необхідно скористатися фігурами категоричного силогізму і правилами посилок.

Для даної задачі підходить наступна фігура:

Дедуктивні умовиводи
S M Де S = договір

M = угода

P = правовідносини

P S

Виходячи з правила посилок, якщо одна з посилок негативна, то і висновок повинен бути негативним.

Кожний контракт (S) - угода (M)

Правовідносини (P) не є угодою (M)

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

Правовідносини (P) не є договором (S)

Силогізм: "Кожний контракт є угода. Дане правовідносини не є договором. Отже, воно не є угодою" є вірним, тому що присутня негативна посилка і в посилках середній термін роз'єднує крайні терміни.

Висновок

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

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

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

Список літератури

Бойко А.П., "Короткий курс логіки", М., 1995 рік.

Гетманова А.Д., "Підручник по логіці", М., Вид. "Владос", 1995 рік.

Кирилов В.І., "Логіка", М., Вид. "Вища школа", 1987 рік.

Додати в блог або на сайт

Цей текст може містити помилки.

Маркетинг, реклама и торгівля | Реферат
28.4кб. | скачати


Схожі роботи:
Індуктивні і дедуктивні умовиводи
Дедуктивні та індуктивні умовиводи
Умовиводи за аналогією
Безпосередні умовиводи
Основні формально логічні принципи умовиводи
Основи логіки поняття за обсягом і умовиводи
Поняття про умовиводи його види
© Усі права захищені
написати до нас