АКСИОМА - истинное суждение, которое принимается без доказательств в качестве исходного положения.
АЛЬТЕРНАТИВА - каждая из двух или нескольких исключающих друг друга возможностей.
АНАЛИЗ - логический прием, состоящий в мысленном расчленение на составные элементы.
АНАЛОГИЯ - подобие, сходство предметов в каких-либо признаках или отношениях, причем предметы в целом различны.
АРГУМЕНТ - мысль, истинность которой проверена и доказана практикой.
ВЕРИФИКАЦИЯ - принцип установления осмысленности, то есть возможность данного утверждения оказаться истинным.
ВЫВЕДЕНИЕ - мысленное действие, в результате которого новое знание получается логически, без обращения к опыту.
ГИПОТЕЗА - вероятное предположение о причине каких-либо явлений, достоверность которого не может быть проверена и доказана в настоящее время.
ДЕДУКЦИЯ - форма мышления, когда новая мысль выводится логическим путем от общего к частному.
ДЕМОНСТРАЦИЯ - рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса.
ДИЗЪЮНКЦИЯ - операция, выражающаяся в соединении суждений с помощью логического союза «или» в новое суждение
ДИЛЕММА - суждение, в котором приписывают предмету два противоречащих признака, исключающих возможность третьего.
ДИХОТОМИЧЕСКОЕ СУЖДЕНИЕ - деления класса предметов на две части, характеризуемые наличием известного признака или его отсутствием.
ДОКАЗАТЕЛЬСТВО - логическое действие, в котором истинность мысли обосновывается с помощью других мыслей.
ИМПЛИКАЦИЯ - сложное суждение, образованное с помощью логической связки «если... то...».
ИНДУКЦИЯ - форма мышления, когда новая мысль идет от частного к общему.
КЛАССИФИКАЦИЯ - распределение предметов на классы согласно наиболее существенным признакам.
КОНТРАРНЫЕ - отношения между противоположными, суждениями, которые вместе не могут быть «И», но могут «Л».
КОНЪЮНКЦИЯ - операция, выражающаяся в соединении суждений с помощью логического союза «и» в новое суждение.
ЛОГИКА - знание о законах и формах мышления.
ЛОГИЧЕСКИЙ КВАДРАТ - наглядная схема, облегчающая запоминание характера отношений между суждениями.
МОДУС - свойство предмета, присущее ему непостоянно, а лишь в некоторых состояниях.
МЫШЛЕНИЕ - процесс отражения объективного мира в человеческом мозгу в форме суждений, понятий, умозаключений.
ОБЪЕМ ПОНЯТИЯ - множества предметов, каждый из которых имеет признаки, зафиксированные в понятии.
ОМОНИМИЯ - одно и то же рассуждение для обозначения различных понятий.
ОПРОВЕРЖЕНИЕ - доказательство о ложности или несостоятельности какого-либо тезиса.
ОСНОВАНИЕ - часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.
ПОНЯТИЕ - целостная совокупность, в которой что-либо утверждается об отличительных признаках объекта.
ПОСТУЛАТ - исходное утверждение, принимаемое без строгого доказательства.
ПОСЫЛКА - суждение, которое служит основанием для заключения.
ПРЕДИКАТ - то, что высказывается в суждении о субъекте.
ПРИЗНАК - то, в чем предметы, явления сходны друг с другом или в чем они отличаются друг от друга.
ПРОБЛЕМА - теоретический или практический вопрос, который необходимо изучить и разрешить.
СИЛЛОГИЗМ - умозаключение, в котором из двух категорических суждений, связанных общим средним термином, получается третье суждение.
СОФИЗМ - логическая уловка, умышленно ошибочное рассуждение, которое выдается за истинное.
СУЖДЕНИЕ - форма мысли, в которой утверждается или отрицается что-либо относительно предметов, их свойств, связей и отношений и которая выражает истину, либо ложь.
ТАВТОЛОГИЯ - выражение, повторяющее в иной словесной форме ранее сказанное.
ТЕЗИС - положение, истинность которого нужно доказать.
ТРАДУКЦИЯ - умозаключение, в котором посылки и заключение являются суждениями одинаковой общности.
УМОЗАКЛЮЧЕНИЕ - форма мышления или логическое действие, в результате которого из одного или нескольких неизвестных суждений получается новое суждение, в котором содержится новое знание.
ФАКТ - действительное, реально существующее, невымышленное событие или явление.
ЭНТИМЕМА - сокращенный силлогизм, в котором выпущена одна из подразумевающихся частей