Скептици́зм — философское направление, выдвигающее сомнение в качестве принципа мышления, особенно сомнение в надёжности текущих представлений об истине.
Простой категорический силлоги́зм — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую и меньшую. По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.
Филосо́фия нау́ки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.
Си́нтаксис — раздел лингвистики, в котором изучаются номинативные и коммуникативные языковые единицы: предложение и словосочетание. Синтаксис в буквальном переводе означает не только составление, но и упорядочивание, координирование, соединение слов в связный текст. Этот раздел науки о языке изучает лексическое и грамматическое значение словосочетаний, а также виды синтаксической связи.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Те́рмин — слово или словосочетание, являющееся названием строго определённого понятия какой-нибудь области науки, техники, искусства и так далее.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Доказа́тельство — рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории. В разных областях науки, искусства и иной человеческой деятельности этот термин может принимать различные значения. Прежде всего, понятие «доказательство» является ключевым и в теории познания, и в философии науки — как ключевое в эпистемологии. Разумеется, оно не принадлежит к исключительной сфере логики, философии или науки: о доказательствах в разной глубине понимания постоянно можно слышать не только — и даже не в первую очередь — от философов, но также от юристов, историков и учёных. К доказательствам постоянно прибегают журналисты и репортёры, ведущие расследования, а также представители едва ли не всех остальных профессий.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Мышле́ние — познавательная деятельность человека. Она является опосредованным и обобщённым способом отражения действительности с точки зрения марксизма.
Мода́льность — семантическая категория, выражающая отношение говорящего к содержанию его высказывания, целевую установку речи, отношение содержания высказывания к действительности. Модальность является языковой универсалией, принадлежит к числу основных категорий естественного языка.
Ио́сиф Нусимович Бро́дский — советский и российский логик. Доктор философских наук (1974), профессор кафедры логики философского факультета СПбГУ. Один из основоположников символической логики в России, один из основателей современной петербургской логической школы.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Джастификационизм — позитивистский метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Предика́ция в лингвистике — одна из функций языкового выражения; предикация соотносит мысль к действительности: состоянию объекта к субъекту, событие к ситуации. Предикация — формальное установление связей между субъектом и предикатом
Пропози́ция — смысл утвердительного предложения.
Пресуппози́ция в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Протокольные предложения — это исходные элементарные утверждения, описывающие то, что дано нам непосредственно в опыте. Другими словами, они образуют эмпирический базис науки, материалом для которого выступают наблюдения и эксперименты. Кроме того, протокольные предложения рассматриваются как предел логического анализа языка науки, сведение к которому необходимо для установления истинности любого содержательного утверждения о мире в результате его эмпирической проверки.