Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком. Метаязык — язык лингвистики. Лингвистическая лексика, на основе которой формируются словари. Язык построения теории, слов, фраз в сфере грамматической лингвистики.
Логи́ческий позитиви́зм, также логический эмпиризм и неопозитивизм — школа философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого.
И́стина — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной, если она соответствует предмету.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Непротиворечи́вость — свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого-то предложения из системы может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость системы означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование непротиворечивости является обязательным требованием к научной и, в частности, логической теории. Противоречивая система заведомо несовершенна: наряду с истинными положениями она включает также ложные; в ней что-то одновременно и доказывается, и опровергается. Во многих системах имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится доказуемым.
Уиллард Ван Орман Куайн — американский философ, логик и математик, член Национальной академии наук США (1977).
Альфред Тарский — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966).
Проблема демаркации — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики и формальных наук. Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения.
Метаэтика — область исследований, объектом которых является нормативная этика. Метаэтика осуществляет логико-лингвистический анализ нормативно-этического, морального рассуждения на предмет его непротиворечивости, обоснованности, терминологической точности и т. д.
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Аналити́ческая филосо́фия — англо-американская традиция философии, получившая широкое распространение в середине XX века. Аналитическая философия не представляет собой единой школы, поскольку хотя и сформировалась на основе британского неореализма Джорджа Мура и Бертрана Рассела, однако также впитала в себя австрийский неопозитивизм и американский прагматизм. От позитивизма она заимствует антиметафизическую направленность, сциентизм и опору на опытное знание, а от прагматизма — здравый смысл. Термин аналитический указывает на идеалы ясности, точности и логической строгости мышления, которые стремятся осуществить представители данного направления философии.
Эмотивизм (от англ. emotive — вызывающий эмоции; от лат. emoveo — потрясаю, волную) — метаэтическая теория, выработанная на основе идей позитивизма, согласно которой этические высказывания являются не логическими суждениями, а исключительно выражением эмоций говорящего. Моральные высказывания не описывают каких-либо фактов и не дают никакой информации о мире, поэтому не могут быть проверены на истинность и не являются ни истинными, ни ложными. Значение их состоит в том, чтобы служить для выражения эмоций.
Ана́лиз — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать его познание ясным в полном его объёме.
Две догмы эмпиризма — одна из основополагающих работ аналитической философии, написанная Уиллардом Куайном в 1951, содержавшей критику ряда основополагающих неопозитивистских идей, усилило в США интерес к новым тенденциям в аналитической философии, привнесло в последнюю элементы прагматизма.
- Первая догма эмпиризма — это разграничение двух видов истин аналитических, то есть исходящих из содержания понятий, и синтетических, основывающихся на фактах. Помимо Канта, которого нельзя отнести к эмпиризму, эти истины различал Альфред Айер
- Вторая догма эмпиризма — это редукционизм, согласно которому каждое осмысленное предложение эквивалентно некоторой конструкции из терминов, указывающих на непосредственный чувственный опыт субъекта.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Логическая семантика — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Семантическая теория истины, или семантическая концепция истины — набор принципов, использующих понятия математической логики для формализации идеи истины. Была придумана математиком Альфредом Тарским в 1920-х — 1930-х годах и опубликована в 1933 году в статье Pojęcie prawdy w językach nauk dedukcyjnych.
Протокольные предложения — это исходные элементарные утверждения, описывающие то, что дано нам непосредственно в опыте. Другими словами, они образуют эмпирический базис науки, материалом для которого выступают наблюдения и эксперименты. Кроме того, протокольные предложения рассматриваются как предел логического анализа языка науки, сведение к которому необходимо для установления истинности любого содержательного утверждения о мире в результате его эмпирической проверки.
Правдоподобие в философии науки — приближенность теории или гипотезы к истине в той или иной степени.
