Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Гипо́теза — предположение или догадка, утверждение, которое, в отличие от аксиом, постулатов, требует доказательства. Гипотеза считается научной, если она, в соответствии с научным методом, объясняет факты, охватываемые этой гипотезой; является логически непротиворечивой; принципиально опровергаема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее установленным законам и, скорее всего, приложима к более широкому кругу явлений.
Конъю́нкция — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».
Закон исключённого третьего — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть оба ложными, одно из них будет истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.
Фальсифици́руемость — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован Карлом Поппером в 1935 году. Теория удовлетворяет критерию Поппера в том случае, если существует возможность её экспериментального или иного опровержения.
Демагогия — набор ораторских и полемических приёмов и средств, позволяющих ввести аудиторию (народ) в заблуждение и склонить её на свою сторону с помощью ложных теоретических рассуждений, основанных на логических ошибках.
Спор — процесс отстаивания каждой из сторон своего мнения, столкновение мнений и попытки убедить оппонента.
Апелляция к личности — логическая ошибка, при которой аргумент опровергается указанием на характер, мотив или другой атрибут лица, приводящего аргумент, или лица, связанного с аргументом, вместо указания на несостоятельность самого аргумента, объективные факты или логические рассуждения.
Исключа́ющее «или» — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции.
Пари́ Паска́ля — предложенный математиком и философом Блезом Паскалем аргумент для демонстрации рациональности религиозной веры. Текст аргументации является фрагментом размышлений, содержащихся в разделе VIII «Разумнее верить, чем не верить в то, чему учит христианская религия» посмертно изданной работы «Мысли о религии и других предметах», написанной в 1657—1658 годах.
Логическая ошибка в логике, философии и прочих науках, изучающих познание — ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Австралийская монархия — система конституционного управления в форме федеративной монархии, при которой Корона является главой государственной власти в Австралийской федерации, формируя вокруг себя парламентскую демократию Вестминстерского типа. Иногда, для того чтобы подчеркнуть реально существующее положение вещей в политическом устройстве государства, Австралию называют «Коронованной республикой», имея при этом в виду, что, несмотря на то, что Австралия формально остается монархией, по своей сути и духу это республика.
Научно-исследовательская программа — единица научного знания; совокупность и последовательность теорий, связанных непрерывно развивающимся основанием, общностью основополагающих идей и принципов.
Проблема демаркации — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики и формальных наук. Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения.
Ветвление в программировании — операция, применяющаяся в случаях, когда выполнение или невыполнение некоторого набора команд должно зависеть от выполнения или невыполнения некоторого условия. Ветвление — одна из трёх базовых конструкций структурного программирования.
Интерпретатор — поведенческий шаблон проектирования, решающий часто встречающуюся, но подверженную изменениям, задачу. Также известен как Little (Small) Language
«И́стинный шотла́ндец» — сатирическое выражение, используемое в Шотландии по отношению к мужчинам, носящим килт без нижнего белья. Хотя традиция носить килт без нижнего белья возникла в армии, она вошла в шотландский фольклор как выражение легкомысленного отношения к обычаям или даже как проявление дерзости.
Провокацио́нный вопро́с, или вопрос с зара́нее за́данным отве́том — пример логической уловки; вопрос, в постановке которого заведомо содержится противоречивое, необоснованное или очевидно ложное предположение, которое существенно затрудняет получение на него прямого ответа.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Утверждение по следствию — логическая ошибка, заключающаяся в том, что из истинного условного высказывания некорректно вытекает его обращеие, хотя это высказывание может не соответствовать действительности. Такая ситуация возникает, когда у консеквента (следствия) есть другие возможные антецеденты.