Неклассическая+логика


 * Логики с неклассическим пониманием следования **
 * Релевантная логика([|http://epistemology_of_science.academic.ru] )
 * Паранепротиворечивая логика ( логика, не позволяющая выводить из противоречия произвольное предложение: [])
 * Немонотонные логики(такие логические исчисления, в которых появление новой информации (добавление посылок) может изменить истинность заключения:[|http://epistemology_of_science.academic.ru] )
 * Динамическая логика


 * Логики, отменяющие закон исключённого третьего **
 * Интуиционистская логика ( система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений:[|http://iph.ras.ru/])
 * Конструктивная логика (изучает рассуждения о //конструктивных объектах //и конструкциях: [|http://dic.academic.ru/]<span style="background-color: #ffffff; font-family: Arial,Helvetica,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Логика квантовой механики (Квантовая логика- раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы <span style="background-color: #ffffff; font-family: Arial,Helvetica,sans-serif;">квантовой теории: [|http://ru.wikipedia.org]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif; font-size: 14.5pt;">Логики, меняющие таблицы истинности **
 * <span style="font-family: Arial,sans-serif;">Многозначная логика( <span style="background-color: #ffffff; font-family: Arial,Helvetica,sans-serif;">совокупность логических систем, опирающихся на принцип многозначности: [|http://dic.academic.ru/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Двузначная логика( <span style="background-color: #ffffff; font-family: Arial,Helvetica,sans-serif;">логика, опирающаяся на двузначности (бивалентности) принцип: [|http://dic.academic.ru/])
 * <span style="font-family: Arial,sans-serif;"><span style="font-family: Arial,sans-serif;">Трёхзначная логика([|http://dic.academic.ru/] )
 * <span style="font-family: Arial,sans-serif; font-size: 14.5pt;">Логики, расширяющие состав высказывания **
 * <span style="font-family: Arial,sans-serif;"><span style="font-family: Arial,sans-serif;">Логика вопросов([|http://dic.academic.ru/dic.nsf/enc_philosophy/] )
 * <span style="font-family: Arial,sans-serif;">Логика оценок(изучает логическую структуру и логические связи оценочных высказываний: [|http://dic.academic.ru/dic.nsf/enc_philosophy]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Логика норм ( исследует логическую структуру и логические связи нор­мативных высказываний: [|http://dic.academic.ru/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif; font-size: 14.5pt;">Модальная логика **
 * <span style="font-family: Arial,sans-serif;">Модальность( [|http://dic.academic.ru/dic.nsf/enc_philosophy/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Алетические модальности([|http://logikah.ru/podb2-aleticheskaya_modalnost.html])
 * <span style="font-family: Arial,sans-serif;">Деонтические модальности( [|http://dic.academic.ru/dic.nsf/logic/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Эпистемологические модальности( [|http://epistemology_of_science.academic.ru])
 * <span style="font-family: Arial,sans-serif;">Временные модальности
 * <span style="font-family: Arial,sans-serif;">Строгая импликация
 * <span style="font-family: Arial,sans-serif;">Материальная импликация( []<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif; font-size: 14.5pt;">Недедуктивные логические теории **
 * <span style="font-family: Arial,sans-serif;">Индуктивная логика( []<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Вероятностная логика( [|http://dic.academic.ru/dic.nsf/enc_philosophy/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Логика решений( [|http://madelectronics.ru/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Логика нечётких понятий (логика нечётких множеств, нечёткая логика: []<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Аналогия( [|http://filosof.historic.ru/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif; font-size: 14.5pt;">Другие неклассические логики **
 * <span style="font-family: Arial,sans-serif;">Категориальная логика( [|http://www.situation.ru/app]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Комбинаторная логика — это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с переменными, как подстановка. Построенная на базе комбинаторной логики система арифметики содержит все частично рекурсивные функции и избегает гёделевской неполноты.( [|http://ru.wikibooks.org/wiki/]<span style="font-family: Arial,sans-serif;">)
 * <span style="font-family: Arial,sans-serif;">Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.( []<span style="font-family: Arial,sans-serif;">)

Сайт о логике [] Сайт об антиглобализме []
 * //Полезные ресурсы://**