Ани́ций Ма́нлий Торква́т Севери́н Боэ́ций, в исторических документах Аниций Манлий Северин Боэций — римский государственный деятель, философ-неоплатоник, теоретик музыки, христианский теолог, святой католической Церкви.
Пармени́д из Эле́и — древнегреческий философ, главный представитель Элейской школы.
Ква́нтовая (волнова́я) меха́ника — фундаментальная физическая теория, которая описывает природу в масштабе атомов и субатомных частиц. Она лежит в основании всей квантовой физики, включая квантовую химию, квантовую теорию поля, квантовую технологию и квантовую информатику.
Информа́ция — сведения независимо от формы их представления.
Бри́тва О́ккама — методологический принцип, в кратком виде гласящий: «Не следует множить сущее без необходимости».
То́мас Сэ́мюэл Ку́н — американский историк и философ науки. Стэнфордская философская энциклопедия называет Куна одним из самых влиятельных философов науки XX столетия, возможно, самым влиятельным. Его книга «Структура научных революций» является одной из самых цитируемых научных книг за всю историю науки.
Прагмати́зм — философское течение, базирующееся на практике как критерии истины и смысловой значимости.
Сэр Карл Раймунд По́ппер — австрийский и британский философ и социолог. Один из самых влиятельных философов науки XX столетия.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Будди́йская филосо́фия — понятие, подразумевающее системы рационально обоснованных взглядов на мир, человека и познание, сложившиеся в рамках разных направлений и школ буддизма. Буддийская философия действует в том же проблемном поле, что и брахманское умозрение, пытаясь при этом переосмыслить его в собственных терминах; создаваемая буддийскими теоретиками философская реальность, в свою очередь, оказала в Средние века значительное влияние на развитие брахманистской и индуистской религиозной мысли и в значительной степени определяет облик брахманских философских систем. Важнейшую роль в развитии буддийской философии сыграли ранние школы вайбхашика и саутрантика и махаянские мадхьямика и йогачара.
Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Научный скептицизм — философская позиция, согласно которой все утверждения, не имеющие эмпирических доказательств, должны быть подвергнуты сомнению, а также стоящее на этой позиции общественное движение, ставящее своей целью критическое изучение пара- и псевдонаучных учений.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
Титанозавры — группа ящеротазовых динозавров инфраотряда зауроподов, живших в юрском и меловом периодах около 171—66 миллионов лет назад на всех континентах планеты, кроме Антарктиды. Являлись травоядными динозаврами, обладавшими длинными шеями и хвостами, и передвигавшимися на четырёх ногах. В длину достигали до 35—40 метров и весили между 88 и 110 тоннами.
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
Филосо́фия — особая форма познания и система знаний об общих характеристиках, понятиях и принципах реальности (бытия), а также бытия человека, об отношении человека и окружающего его мира.
Неклассические логики — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил. Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
Просветление — устоявшийся в западной традиции перевод абстрактного существительного бодхи , знание, мудрость или пробуждённый ум Будды. Корень слова будх означает «пробудиться» и его буквальное значение ближе к «пробуждению». Хотя термин буддхи также используется в других индийских философиях и традициях, он наиболее распространён в контексте буддизма. Термин «просветление» был популяризирован в западном мире в XIX веке благодаря переводам Макса Мюллера. В западном понимании это постижение трансцендентальной истины или реальности.
Паранепротиворечивая логика — стремление формальной системы к решению проблемы противоречий, с помощью метода дифференциации. Представляет собой область, занимающуюся изучением и развитием «устойчивым к противоречиям» систем, исключающих принцип взрыва.