Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Релятиви́зм в философии — методологический принцип, состоящий в абсолютизации относительности и условности содержания познания.
Фри́дрих А́вгуст фон Ха́йек — австро-британский экономист-либертарианец и политический философ, представитель новой австрийской школы экономики, сторонник экономического либерализма и свободного рынка. Лауреат премии по экономике памяти Альфреда Нобеля (1974).
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Уиллард Ван Орман Куайн — американский философ, логик и математик, член Национальной академии наук США (1977).
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Сэр Алфред Джулс А́йер — английский философ-неопозитивист, представитель аналитической философии — по некоторой оценке, — один из ведущих философов середины XX века.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
А́лвин Ка́рл Пла́нтинга — американский философ. Получил широкую известность благодаря своим работам, в которых теологические проблемы рассматриваются с позиций аналитической философии. Создатель собственного аргумента свободы воли.
Акторно-сетевая теория известна также как «социология перевода» — подход в социальных исследованиях, первоначально возникший в области исследований науки и технологий (STS), который рассматривает объекты как действующие единицы социальных отношений.
Неклассические логики — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил. Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
Ва́утер Я́кобюс Ханегра́фф (Ханегра́афф) — нидерландский религиовед и историк культуры, один из ведущих в мире специалистов по истории эзотерики и герметической философии.
Аргументационная теория, или аргумента́ция — междисциплинарное знание о том, как посредством череды логических рассуждений, опирающихся на изначальные тезисы и предпосылки могут быть достигнуты выводы. Она включает в себя искусство и науки гражданской дискуссии, диалога, разговора, и убеждения. Она изучает правила вывода, логики и процедурных правил в обоих искусственных и реальных условиях мира.
Логика высшего порядка в математике и логике — форма предикатной логики, которая отличается от логики первого порядка дополнительными предикатами над предикатами, кванторами над ними, и, соответственно, более богатой семантикой. Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно-теоретические свойства значительно более сложны для изучения и применения по сравнению с логикой первого порядка.
Эпистемическая теория игр, иначе называемая интерактивной эпистемологией, формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим для строгого обоснование использования или неиспользования конкретной концепции. Эпистемический анализ позволяет уточнить интуитивное описание допущений, выявив их несовершенства и неочевидные следствия, обобщить интуиции и очертить границы применимости концепций. Вместе с тем эпистемическая теория игр не является единственным и исчерпывающим подходом к обоснованию концепций решения, поскольку иногда эпистемические условия чрезмерно сильны.
Моше Яаков Варди — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди.
Задача о чумазых детях, также известная как задача о неверных жёнах, задача о голубоглазых островитянах или парадокс голубоглазых островитян, — классическая иллюстрация к идее общего знания. Относится к области динамической эпистемической логики, решается с помощью математической индукции.
Миранда Фрикер — британский философ, профессор философии Нью-Йоркского университета, содиректор Нью-Йоркского института философии и почетный профессор Шеффилдского университета. Фрикер ввела термин эпистемическая несправедливость, понятие несправедливости, совершенной против кого-то «особенного в качестве знающего», и исследовала это понятие в своей книге 2007 года «Эпистемическая несправедливость».
Немонотонная логика — формальная логика, отношение между умозаключениями которой не является монотонным. Другими словами, немонотонные логики разрабатываются для того, чтобы фиксировать и представлять опровергаемые выводы, т.е. такие умозаключения, в которых возникает предварительный вывод, позволяющий отказаться от заключений (выводов), на основе дополнительных, новых, полученных данных.
