<<
>>

Ключові поняття і терміни

Міркування. Засновки. Висновок. Правила виведення. Вивід- ність. Логічне випливання в сучасній логіці. Логічне випливання в логіці висловлювань. Логічне випливання в логіці предикатів.

До­казовість. Логічна істина. Фактична істина. Вивід у традиційній ло­гіці. Вивід у сучасній логіці. Дедуктивний вивід у традиційній ло­гіці. Дедукція в сучасній логіці. Індуктивний вивід в традиційній логіці. Індукція в сучасній логіці. Правильний вивід в традиційній логіці. Правильний вивід в сучасній логіці. Доведення в традицій­ній логіці. Дедуктивне доведення в традиційній логіці. Індуктивне доведення в традиційній логіці. Пряме доведення в традиційній ло­гіці. Побічне доведення в традиційній логіці. Доведення в сучасній логіці. Пряме доведення в сучасній логіці. Побічне доведення в су­часній логіці. Числення в науковій теорії. Числення в сучасній ло­гіці. Аксіоматичне числення логіки висловлювань. Натуральне чи­слення логіки висловлювань. Суто умовні виводи. Умовно- категоричні виводи. Розділово-категоричні виводи. Умовно- розділові виводи. Дилема. Традиційна силогістика. Силогістичний вивід. Безпосередній вивід. Опосередкований вивід. Позитивна си­логістика. Негативна силогістика. Простий термін. Складний тер­мін. Виводи за логічним квадратом. Перетворення. Обернення. Протиставлення. Протиставлення предикату. Протиставлення суб’єкту. Простий силогізм. Фігура силогізму. Модус силогізму. Ентимема. Епіхейрема. Полісилогізм. Сорит. Аксіоматичне чис­лення логіки предикатів. Натуральне числення логіки предикатів. Завершений вивід в логіці предикатів.

<< | >>
Источник: Логіка: сучасна перспектива традиційної теорії : навч. посіб. / Я.С. Гнатюк. - Івано-Франківськ : Симфонія форте,2016. - 356 с.. 2016

Еще по теме Ключові поняття і терміни: