Скептици́зм — философское направление, выдвигающее сомнение в качестве принципа мышления, особенно сомнение в надёжности текущих представлений об истине.
Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком. Метаязык — язык лингвистики. Лингвистическая лексика, на основе которой формируются словари. Язык построения теории, слов, фраз в сфере грамматической лингвистики.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
И́стина — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной, если она соответствует предмету.
Парадо́кс в широком смысле — высказывание, мнение, рассуждение, которое расходится с общепринятым мнением и кажется нелогичным или противоречащим здравому смыслу.
Филосо́фия нау́ки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Апори́я — вымышленная, логически верная ситуация, которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Закон исключённого третьего — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть оба ложными, одно из них будет истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.
Мы́сленный экспериме́нт в биологии, физике, философии и некоторых других областях знания — вид познавательной деятельности, в которой ключевая для той или иной научной теории ситуация разыгрывается не в реальном эксперименте, а в воображении. Мысленный эксперимент в физике зачастую напоминает доказательство теоремы методом от противного в математике, когда некоторое положение физической модели или схемы сначала отвергается, а затем путём преобразования модели мы приходим к противоречию с тем или иным принципом, который считается безусловно истинным. Например, с принципом отсутствия достаточного основания в ситуации зеркальной или какой-либо иной геометрической симметрии, принципом галилеевской инвариантности, принципом невозможности вечного двигателя, принципом причинности и т. д.
Антино́мия — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между признаваемыми одинаково верными положениями, или, другими словами, противоречие нескольких законов. Термин «антиномия» был предложен Гоклениусом.
Парадо́кс во́ронов, известный также как парадокс Гемпеля или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
Теория «двойственной истины» — возникшее в Средние века учение о философском и религиозном знании как двух аспектах истины или же двух самостоятельных истинах. Учение получило развитие в трудах аверроистов, представителей Шартрской школы, а также в учениях Фомы Аквинского, Уильяма Оккама и еврейского философа Исаака Альбалага.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
Проблема демаркации — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики и формальных наук. Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения.
Нельсон Гудмен — американский философ аналитической традиции, логик. Описал парадокс безобразного.
Яросла́в Анато́льевич Слинин — советский и российский философ , логик, феноменолог. Один из создателей серии книг «Слово о сущем» издательства «Наука». Профессор Института философии Санкт-Петербургского государственного университета, заведующий кафедрой логики (1984—1999).
Михаи́л Миха́йлович Про́хоров — советский и российский философ, специалист по онтологии и теории познания, теории и истории мировоззрений. Доктор философских наук, профессор.
В классической логике, интуиционистской логике и подобных логических системах используется принцип взрыва, или принцип Псевдо-Скотуса — закон, согласно которому любое утверждение может быть доказано из противоречия. То есть, после утверждения противоречия из него можно вывести любое утверждение ; что также известно как дедуктивный взрыв.