|
« Попередня
|
|
Наступна » |
|
|
|
Види умовиводів
|
Поняття умовиводу як логічної операції тісно пов'язане з поняттям логічного слідування. Враховуючи цей зв'язок, прийнято розрізняти правильні і неправильні умовиводи. Умовивід, що представляє перехід від посилок АЬ ..., АП (п> 1) до укладення В, є правильним, якщо між посилками і укладанням є ставлення логічного прямування, тобто У є логічним наслідком Аі, ..., Ап (п> 1). В іншому випадку - якщо між посилками і укладанням не такої відносини - умовивід є неправильним.
За характером логічного проходження все умовиводи діляться на дедуктивні та недедуктивних, чи інакше індуктивні (вироятностние). Головна відмінність двох зазначених видів умовиводів полягає в тому, що дедуктивні умовиводи гарантують істинність висновку при істинності посилок, в той час як недедуктивних забезпечують лише деяку ступінь правдоподібності укладення, тобто деяку ймовірність його істин-ності. У зв'язку з цим розходженням дедуктивні умовиводи іноді називають ще демонстративними або достовірними, а недедуктивних - правдоподібними або проблематичними.
Правильне дедуктивний умовивід пов'язано з дедуктивним проходженням, тобто між його посилками і укладанням має місце відношення логічного слідування, яке визначається наступ-щим чином: з судження А логічно випливає судження В тоді і тільки тоді, коли А і В пов'язані за змістом, a AZ> В є логічним законом. При цьому А - символічне вираження посилок, з'єднаних логічним союзом кон'юнкції, В - символічне вираження ув'язнення. Враховуючи це, можна сказати, що в основі всіх правильних дедуктивних умовиводів лежать логічні закони. Отже, будь-який правильний дедуктивний умовивід можна представити в наступному вигляді: А1 Л. .. Л АП ID В
(п> 1), де А] А ... А АП є кон'юнкція всіх посилок, а саме
символічне вираження представлятиме собою логічний закон, тобто тотожно-справжню формулу або формулу, приймаючу логічне значення істини при всіх варіантах логічних значень входять до неї змінних .
3. Нарешті, в залежності від кількості посилок умовиводи діляться на безпосередні та опосередковані.
У безпосередніх умовиводах висновок виводиться з однієї посилки. Наприклад, вихідне судження: «Все леви хижаки», а нове - «Жоден лев не є НЕ-хшцніком».
В опосередкованих умовиводах висновок виводиться з двох і більше посилок. Наприклад:
Всі люди смертні Сократ - людина
Сократ - смертний
|
| « Попередня |
|
Наступна » |
|
= Перейти до змісту підручника = |
|
|
Інформація, релевантна" Види умовиводів " |
- контрольні роботи
види знаків. Основи теорії іменування. Основні семантичні категорії мовних виразів. Різноманіття функцій мови. Формалізована мова як засіб виявлення логічної форми мовних виразів. СПИСОК літератури Гетманова А.Д. Підручник з логіки. М., 1995. С. 18-25. Горський Д.П., Івін А.А., Никифоров А.Л. Короткий словник по логіці. М., 1991. Кирилов В.І., Старченко А.А. Логіка. М., 1995.
- Питання До іспиту ПО логіці
види модальності. Епістеміческого модальність. Деонтическая модальність суджень. Алетіческая модальність. Дедуктивні умовиводи. Умовивід як форма мислення. Види умовиводів. Безпосередні умовиводи. Простий категоричний силогізм. Індуктивні умовиводи. Поняття індукції. Повна індукція. Неповна індукція. Популярна індукція. Наукова індукція. Аналогія. Поняття
- 3.1. Умовивід як форма мислення. Види умовиводів
умовивід - це форма думки і спосіб отримання вивідного знання на основі вже наявного. Умовивід являє собою перехід від деяких висловлювань Аі, ..., Ап (п> 1), що фіксують наявність деяких ситуацій у дійсності, до нового висловом В і відповідно до знання про наявність ситуації, яку описує цей вислів. У структурі умовиводу прийнято виділяти такі
- ЕКЗАМЕНАЦІЙНІ ПИТАННЯ
умовиводи. Поняття логічного слідування. Безпосереднє умовивід: звернення, перетворення, протиставлення предикату і суб'єкту, обмеження третього поняття. Умовиводи по логічному квадрату. Простий категоричний силогізм. Правила силогізму. Фігури і модуси категоричного силогізму. Умовний і умовно-категоричний силогізм. Способи перевірки правильності модусів.
- Глава вісімнадцята. ТЛУМАЧЕННЯ ПРАВОВИХ НОРМ
види тлумачення є легальними, випливають, як правило, з виникаючих великих соціально-політичних проблем, які створює сам законодавець. Так, наприклад, прийнявши 27 грудня 1990 норму про оголошення 7 січня в Росії (Різдво Христове) неробочим днем, законодавець змушений був потім роз'яснити, як бути з цим неробочим днем прихильникам інших віросповідань (було роз'яснено, що
- 5.1. Загальна характеристика умовиводу
види. Більшу частину знань про предмети і явища навколишнього світу людина отримує з вже наявною у нього інформацією. При цьому він йде по шляху виведення нового знання із уже наявного. Опосередковано, використовуючи різні види умо-заключний, ми отримуємо нове знання. Тому отримане таким шляхом знання прийнято називати вивідним, або опосередкованим. Під умовиводом розуміють форму мислення,
- 5.2. Дедуктивні умовиводи
види безпосередніх умовиводів: перетворення, звернення, протиставлення предикату і умовивід по логічному квадрату. Перетворення - це логічна операція, за допомогою якої судження перетворять в судження, протилежне по якості, з предикатом, що суперечить предикату вихідного судження-ня. Наприклад: « Петров є учнем ». (« Петров не є не учням »). S є P (S
- 5.3. Індуктивні умовиводи І умовиводи ПО аналогії
види діляться умовиводи? Як визначити індукцію? Які умовиводи називаються безпосередніми? У чому сутність операцій перетворення, звернення, протиставлення предикату? Як будуються умовиводи по логічному квадрату? Яка залежність істинності чи хибності одного судження-ня від істинності чи хибності іншого, якщо ці судження знаходяться у відносинах: протиріччя ,
- 6.2. Гіпотеза: поняття, види, її побудова
умовиводу, а включає до свого складу всі ці структури. Залежно від об'єкта дослідження наукові гіпотези можна розділити на загальні, приватні і одиничні. Загальна гіпотеза - це форма мислення, що представляє собою науково обгрунтоване припущення, висунуте з метою пояснення властивостей або причин всього класу описуваних явищ. Прикладом загальної гіпотези може служити припущення Демокріта
- Запитання для повторення
види безпосередніх умовиводів. Назвіть правила посилок і правила термінів простого категоричного силогізму. Що таке ентимема? Назвіть необхідні операції з відновлення ентімем. Чим відрізняється прогресивний полісіллогізм від
|