- 5.2. Дедуктивні умовиводи
безпосередні та опосередковані. Умовивід, отримане за допомогою перетворення одного судження, називається безпосереднім. Якщо ж у ньому дві або більше посилки, то це опосередковане умовивід. У формальній логіці виділяють наступні види безпосередніх умовиводів: перетворення, звернення, протиставлення предикату і умовивід по логічному квадрату. Перетворення - це
- 5.3. Індуктивні умовиводи І умовиводи ПО аналогії
безпосередні умовиводи - перетворення, звернення і протиставлення предикату суджень: Приклад. Будь-яке держава є політичною організацією. Отже: а) жодна держава не є неполітичною організацією (перетворення), б) жодна неполітична організація не є державою (звернення), в) жодна неполітична організація не є дер-дарства
- контрольні роботи
безпосередні та опосередковані. Безпосередні умовиводи - це: умовиводи перетворення; умовиводи обігу; умовиводи протиставлення предикату; умовиводи по логічному квадрату. Найпоширенішим видом опосередкованого дедуктивного умовиводи є категоричний силогізм. Основним компонентом в категоричному силогізмі є принципи і аксіоми.
- Питання До іспиту ПО логіці
умовиводи. Умовивід як форма мислення. Види умовиводів. Безпосередні умовиводи. Простий категоричний силогізм. Індуктивні умовиводи. Поняття індукції. Повна індукція. Неповна індукція. Популярна індукція. Наукова індукція. Аналогія. Поняття аналогії. Види аналогії. Логічні основи аргументації. Аргументація. Доказ. Способи аргументації: обгрунтування і
- Види умовиводів
безпосередні та опосередковані. У безпосередніх умовиводах висновок виводиться з однієї посилки. Наприклад, вихідне судження: «Все леви хижаки», а нове - «Жоден лев не є НЕ-хшцніком». У опосередкованих умовиводах висновок виводиться з двох і більше посилок. Наприклад: Всі люди смертні Сократ - людина Сократ -
- Перетворення
безпосереднє умовивід, в якому встановлюється зв'язок між поняттям, є суб'єктом вихідного судження, і поняттям, що суперечить предикату вихідного судження. Для перетворення позитивної судження в негативне при збереженні сенсу вихідного судження вводять два заперечення або навпаки: якщо вихідне судження негативно, то видаляють заперечення. Таким чином, по-перше,
- Звернення
безпосереднє умовивід, при якому з даного судження, що не є частноотріца-них, виводиться таке судження, суб'єктом якого є предикат вихідного , а предикатом - суб'єкт вихідного судження. Залежно від распределенности термінів вихідного судження розрізняють два види звернення: чисте і нечисте. 1. Чисте (просте) звернення має місце в тому випадку, якщо обидва
- Протиставлення предикату
безпосереднє умовивід, в результаті якого в ув'язненні суб'єктом стає поняття, що суперечить предикату вихідного судження, а предикатом - суб'єкт вихідного судження. Протиставлення предикату являє собою послідовне застосування перетворення вихідного судження і далі звернення отриманого при цьому судження. - Протиставлення предикату общеутвердітельного
- Протиставлення суб'єкту
безпосереднє умовивід, в результаті якого в ув'язненні суб'єктом стає предикат вихідного судження, а предикатом - поняття, що суперечить суб'єкту вихідного судження. Протиставлення суб'єкту являє собою послідовне застосування звернення вихідного судження і далі перетворення отриманого при цьому судження. Протиставлення суб'єкту общеутвердітельного судження
- Обмеження третього поняття
безпосереднього умовиводу, яка дозволяє з судження виду SarP, де а - будь-яка з констант А, Е, I, О , виводити судження виду oSaoP,
|