Софи́зм — формально кажущееся правильным, но ложное по существу умозаключение, основанное на преднамеренно неправильном подборе исходных положений.
Простой категорический силлоги́зм — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую и меньшую. По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Коллизия — в терминологии компьютерных и сетевых технологий наложение двух и более кадров от станций, пытающихся передать кадр в один и тот же момент времени в среде передачи коллективного доступа.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Диле́мма заключённого — фундаментальная проблема в теории игр, согласно которой рациональные игроки не всегда будут сотрудничать друг с другом, даже если это в их интересах. Предполагается, что игрок («заключённый») максимизирует свой собственный выигрыш, не заботясь о выгоде других.
Трансцендентальная диалектика — раздел трансцендентальной логики, критикующий притязания рассудка на сверхфизическое применение, которое Кант называет метафизическим фиглярством. Диалектику вообще Кант называет логикой видимости. В случае трансцендентальной диалектики лежит видимое противоречие трансцендентальных идей, которое раскрывается в четырех антиномиях :
- Мир конечен или бесконечен в пространстве и времени
- Существуют или не существуют мельчайшие элементы вещества
- Обладаем или не обладаем мы свободой
- Существует или не существует абсолютно необходимое существо, например, Бог

Apple Desktop Bus — устаревший компьютерный порт, созданный для подсоединения медленных устройств к компьютерам Apple Macintosh. Устанавливалась на всех настольных компьютерах Apple вплоть до 1999 года.
Универсальный асинхронный приёмопередатчик — узел вычислительных устройств, предназначенный для организации связи с другими цифровыми устройствами. Преобразует передаваемые данные в последовательный вид так, чтобы было возможно передать их по одной физической цифровой линии другому аналогичному устройству. Метод преобразования хорошо стандартизован и широко применяется в компьютерной технике.
Логическая ошибка в логике, философии и прочих науках, изучающих познание — ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Дэвид Чарльз Стоув, австралийский философ науки.
Философский зомби — гипотетическое существо, идентичное человеку по физическому телу вплоть до элементарных частиц и кварков, но не имеющее сознания. Философский зомби неотличим от человека за исключением того, что у него отсутствует сознательный опыт, квалиа или способность ощущать. Когда зомби, например, колет себя острым предметом, то он не чувствует боли. В то же время он ведёт себя так, как будто действительно её чувствует, хотя у зомби фактически нет опыта боли, как у предполагаемого «нормального» человека. Однако философский зомби намеренно пытается подражать человеку в болевом ощущении поскольку последними воспоминаниями на клеточном уровне о том моменте когда он был человеком и была боль, считая что в случае воспроизведения последнего болевого ощущения и получение последнего прижизненного опыта он сможет вернуть себе полноценную жизнь с чувствами и страстями.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Шкала Милтона Беннетта или Модель развития межкультурной чувствительности — схема, разработанная Милтоном Беннеттом, в которой показано как изменяется отношение людей к тем или иным культурным различиям.
Антиавторитаризм — идеология, противоположная авторитаризму и авторитарной форме государственного устройства. Антиавторитарии провозглашают равенство всех перед законом и приоритет гражданских свобод. Данный термин иногда используют в качестве замены анархизма, идеологии, отрицающей роль авторитета и иерархии в общественных отношениях и государственной системе.
Аргумент к логике — это формальная ошибка, которая проявляется в анализе аргумента с выводом, что если в нём присутствует логическая ошибка, то и его заключение обязательно ложно. Также называют и другими терминами: ошибочное заблуждение, заблуждение заблуждающегося,
Аргумент к последствиям, или Апелляция к последствиям – это недемонстративный аргумент, относящийся к практической аргументации и действиях и использующий желательность или нежелательность возможного последствия обсуждаемого в диалоге поступка как основание для заключения о его приемлемости или неприемлемости. В качестве довода в поддержку истинности или ложности гипотезы, утверждения или убеждения, может оказаться логической ошибкой и разновидностью неформального заблуждения, поскольку вне расчёта вероятности наступления последствия относительно совершения обсуждаемого поступка, желательность последствия не делает утверждение истинным. Без проверки вероятности наступления последствий такой аргумент сводится к оценочному суждению, представляющему желательность или нежелательность предполагаемых последствий в качестве субъективной точки зрения говорящего.