Автоэпистемические логики формализуют интроспективные и идеально разумные рассуждения:
Алетическая логика - формальный язык, использующий понятие "возможно" и "необходимо" в качестве кванторов:
Возможность и необходимость - алетические модальности (модальности возможного):
Все модальности изучаются вместе и называются модальными логиками:
Вывод от частного к общему - метод:
Вывод является правдоподобным, если множество фальсификаторов не найдено, но потенциально оно может быть не пусто:
Выводы, в которых оценивается степень истинности заключения, называются:
Выявление сходства и различия - основная познавательная процедура, с помощью которой человек познает мир:
Дедуктивный достоверный логический вывод не является монотонным:
Деонтическая логика - один из видов модельностей:
Для достоверного вывода множество фальсификаторов пусто, для недостоверного - не пусто:
Для описания процессов, происходящих во времени, истинностных значений наших знаний вводятся параметры времени:
Из истинных посылок не могут быть выводимы ложные заключения:
К индуктивным методам Д. С. Милля не относится метод:
К. И. Льюис - первый из ученых, предложивших ряд формальных логических систем для уточнения понятия нематериальной импликации:
Логический вывод называется достоверным, если из множества истинных посылок выводимы только истинные заключения:
Логический вывод называется недостоверным, если из истинных посылок не всегда следует истинное заключение:
Метод различия усиливает степень достоверности рассуждений:
Модальные логики - неклассические логики:
Недостоверные выводы могут быть собственно недостоверными, правдоподобными и приближенными:
Немонотонность одна из особенностей правдоподобных выводов:
Новые знания - знания, которые делают множество посылок противоречивым, заставляют пересмотреть само множество посылок:
Особенности правдоподобных выводов выведены:
Правило вывода modus ponens (MP) является достоверным правилом вывода:
Примером абдуктивного метода может служить пословица "Скажи мне, кто твой друг, и я скажу, кто ты":
Примером приближенных выводов могут быть нечеткие выводы:
Семантика классической логики основана на понятии истинности и ложности:
Фальсификаторы - множество условий, при которых может быть сделано ложное заключение: