Алгори́тм — совокупность точно заданных правил решения некоторого класса задач или набор инструкций, описывающих порядок действий исполнителя для решения определённой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться в произвольном порядке, параллельно, если это позволяют используемые исполнители.
Скептици́зм — философское направление, выдвигающее сомнение в качестве принципа мышления, особенно сомнение в надёжности текущих представлений об истине.
Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Доказа́тельство — рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории. В разных областях науки, искусства и иной человеческой деятельности этот термин может принимать различные значения. Прежде всего, понятие «доказательство» является ключевым и в теории познания, и в философии науки — как ключевое в эпистемологии. Разумеется, оно не принадлежит к исключительной сфере логики, философии или науки: о доказательствах в разной глубине понимания постоянно можно слышать не только — и даже не в первую очередь — от философов, но также от юристов, историков и учёных. К доказательствам постоянно прибегают журналисты и репортёры, ведущие расследования, а также представители едва ли не всех остальных профессий.
Демагогия — набор ораторских и полемических приёмов и средств, позволяющих ввести аудиторию (народ) в заблуждение и склонить её на свою сторону с помощью ложных теоретических рассуждений, основанных на логических ошибках.
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Презу́мпция невино́вности — один из основополагающих принципов судопроизводства, заключающийся в том, что лицо считается невиновным, пока его вина в совершённом преступлении не будет доказана в порядке, предусмотренном законом, и установлена вступившим в законную силу приговором суда. Важнейшая составная часть презумпции невиновности — положение о том, что бремя доказывания обвинения лежит на обвинителе.
Спор — процесс отстаивания каждой из сторон своего мнения, столкновение мнений и попытки убедить оппонента.
Апелляция к личности — логическая ошибка, при которой аргумент опровергается указанием на характер, мотив или другой атрибут лица, приводящего аргумент, или лица, связанного с аргументом, вместо указания на несостоятельность самого аргумента, объективные факты или логические рассуждения.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Доказательство одноцветности всех лошадей — математический софизм, ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойей. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании метода математической индукции.
Аргумент в логике — это ряд утвердительных предложений (суждений), состоящий из посылок (доводов) и вывода.
Логическая ошибка в логике, философии и прочих науках, изучающих познание — ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
В Канаде уголо́вное пра́во — отрасль права, следующая принципам common law и на которую распространяются исключительные законодательные полномочия Парламента Канады по параграфу 91.27 Конституционного акта 1867. Этот же параграф признаёт за федеральным Парламентом полномочия на судопроизводство по уголовным делам.
Принцип Юма — принцип, утверждающий невозможность перехода от суждений со связкой «есть» (описательных) к суждениям со связкой «должен» исключительно на основании логики. Назван в честь шотландского философа Дэвида Юма, отметившего опрометчивость попыток современников вывести моральные нормы из знаний о сущем.
Аргументационная теория, или аргументация, является междисциплинарным исследованием о том, как выводы могут быть достигнуты через череду логических рассуждений; то есть, претензии, основанные, крепко или нет, на предпосылках. Она включает в себя искусство и науки гражданской дискуссии, диалога, разговора, и убеждения. Она изучает правила вывода, логики и процедурных правил в обоих искусственных и реальных условиях мира.
Дискуссия Бора и Эйнштейна — серия публичных споров о квантовой механике между Альбертом Эйнштейном и Нильсом Бором, являющаяся важным этапом развития философии науки. Итоги дискуссии были подведены Бором в обзорной статье под названием «Дискуссии с Эйнштейном о проблемах теории познания в атомной физике». Несмотря на их различия во мнениях относительно квантовой механики, Бор и Эйнштейн до конца своих дней испытывали взаимное восхищение.
Бре́мя дока́зывания — в процессуальном праве правило определения стороны судебного процесса, ответственной за юридическое доказывание факта.
Круговое рассуждение, круговое доказательство, циркулярная аргументация, круговая логика, порочный круг в доказательстве — логическая ошибка, при которой рассуждение начинается с того, чем планируется закончить. Аргументы рассуждения по отдельности при этом логически верны: если изначальные предположения истинны, то и вся цепочка рассуждений истинна. Круговое рассуждение бывает трудно обнаружить при большом количестве входящих в цикл аргументов.
«Иску́сство побежда́ть в спо́рах» — саркастический трактат, написанный немецким философом Артуром Шопенгауэром, начатый около 1830 года. В нем рассматривается в общей сложности 34 метода победы над оппонентом в дебатах. Шопенгауэр упоминает, тогда еще неполную, рукопись с первыми девятью «трюками» в 1851 году в своей книге «Parerga und Paralipomena». Хотя он продолжал дополнять и расширять эту рукопись, при его жизни выпущена книга не была.