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