Теоретическое понятие – понятие, объединяющее предметы в класс по признакам, недоступным чувственному восприятию, обнаруживаемым в процессе мыслительного анализа.

Терминов простого категорического силлогизма правила – 1) в ПКС должно быть три и только три термина; 2) средний термин ПКС должен быть распределенным хотя бы в одной из посылок; 3) крайний термин ПКС, нераспределенный в посылке, должен остаться нераспределенным в выводе.

Термины простого категорического силлогизма – понятия, входящие в структуру простого категорического силлогизма. Термины суждения – понятия, входящие в состав суждения.

Тождества закон – один из основных логических законов, устанавливающий отношение мысли к самой себе. Его требование: любая конкретная мысль должна быть тождественной самой себе, то есть иметь строго определенное и неизменное содержание.

Тождества суждение - сложное суждение, образуемое логическим союзом тождество, соответствующим грамматическим союзам «если, и только если», «тогда, и только тогда», «тоже самое» и др.

Точной формулировки тезиса правило - тезис должен формулироваться в начале доказательства в четкой словесной форме, не позволяющей его различное истолкование.

Третьей фигуры простого категорического силлогизма правила -1) меньшая посылка в ПКС третьей фигуры должна быть утвердительным суждением; 2)вывод ПКС третьей фигуры должен быть частным суждением.

Третья фигура простого категорического силлогизма - разновидность простого категорического силлогизма, в которой средний термин играет роль субъекта обеих посылок (большей и меньшей).

Трюизмы - используемые в доказательствах положения, истинность которых самоочевидна для большинства людей.

Узкое определение - нарушение правила соразмерности для определения, вследствие которого объем определяющего понятия в определении оказывается меньше объема определяемого понятия.

Уловка в доказательстве – сознательное нарушение правила доказательства.

Умозаключение – логическая связь между мыслями, позволяющая из одних истинных мыслей получать другие истинные мысли, не обращаясь к опыту.

Универсальное понятие - понятие, объем которого исчерпывает универсум (предельно широкий класс предметов, изучаемый в той области знания, к которой принадлежит данное понятие).

Условное суждение - сложное суждение, образуемое логическим союзом импликация, соответствующим грамматическому союзу «если …, то».

Условно-категорический силлогизм – силлогизм, посылками которого являются условное и простое суждения.

Условно-разделительный силлогизм - силлогизм, посылками которого являются условные и разделительное суждения .

Утвердительное суждение – суждение, в котором утверждается что- либо о классе предметов; образуется утвердительной логической связкой.

Утверждающе-отрицающий модус разделительно-категорического силлогизма (modus роnеndо-tollеns) - один из правильных модусов разделительно-категорического силлогизма: «Есть только А, или только В. Есть А. Следовательно, нет В».

Утверждающий модус условно-категорического силлогизма (modus ponens) – один из правильных модусов условно-категорического силлогизма: «Если есть А, то есть и В. Есть А. Следовательно, есть В».

Фактуальные аргументы – используемые в доказательстве положения, истинность которых установлена путем непосредственного наблюдения.

Фигуры простого категорического силлогизма – четыре основные разновидности простого категорического силлогизма, различающиеся местоположением среднего термина в посылках.

Функциональное определение - разновидность родо-видового определения, в котором в качестве видового признака фигурирует признак, выражающий отношение предметов класса , выделяемого понятием, к другим предметам.

Частное суждение - суждение, в котором характеризуется часть предметов какого-либо класса.

Частноотрицательное суждение - простое атрибутивное суждение, имеющее логическую схему «Некоторые S не являются P».

Частноутвердительное суждение - простое атрибутивное суждение, имеющее логическую схему «Некоторые S являются P».