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

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

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

Разделительное понятие – понятие о предметах, которые мыслятся как неструктурированные целостности.

Разделительное суждение - сложное суждение, образуемое логическим союзом дизъюнкция, соответствующим грамматическим союзам «или», «либо» в значении: «или то, или это, или то и это вместе».

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

Распределенности терминов закон – в простом атрибутивном суждении распределенными являются субъекты общих и предикаты отрицательных суждений.

Распределенный термин суждения - термин простого атрибутивного суждения, относящийся к классу предметов, характеризуемому в суждении в полном объеме.

Родо-видовое определение – разновидность явного определения, имеющего схему: " А есть В (с)", в которой А - определяемое понятие, В - понятие, родовое в отношении А, с - понятие, фиксирующее видовые признаки предметов, обозначаемых понятием А, отличающие их от других предметов, входящих в объем понятия В.

Родо-видовое отношение – частный случай отношения подчинения между понятиями; имеет место тогда, когда в отношении подчинения находятся общие понятия.

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

Скачок в делении – нарушение правила непрерывности деления: результатами одного деления являются и виды, и подвиды предметов делимого класса.

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

Сложное суждение - суждение, которое помимо самого себя содержит в своем составе другие суждения.

Собирательное понятие - понятие о предметах, которые мыслятся как состоящие из однородных частей.

Совместимости отношение (между суждениями) - отношение между частными, сравнимыми простыми атрибутивными суждениями разного качества (частноутвердительным и частноотрицательным ). Закон отношения совместимости: совместимые суждения не могут быть одновременно ложными; ложность одного суждения обусловливает истинность другого.

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

Совместимые понятия - сравнимые понятия, имеющие в своих объемах хотя бы один общий элемент.

Содержание понятия - набор мыслимых в понятии признаков, необходимых и достаточных для выделения и обобщения предметов в единый класс.

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

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

Соразмерности правило (для деления) – сумма объемов делителей должна быть равна объему делимого понятия.

Соразмерности правило (для определения) – объем определяющего понятия должен быть равен объему определяемого понятия.

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

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

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

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

Сссылка на отсутствие опровержения - уловка в доказательстве: вместо аргументации тезиса выдвигается требование его опровержения.

Ссылка на самоочевидность тезиса - уловка в доказательстве: вместо аргументации тезиса провозглашается его самоочевидность.

Строго разделительное суждение - сложное суждение, образуемое логическим союзом строгая дизъюнкция, соответствующим грамматическим союзам «или», «либо» в значении: «или то, или это, но ни то и это вместе».

Субъект суждения – термин суждения, относящийся к классу предметов, характеризуемому в суждении.

Суждение – мысль, в которой утверждается или отрицается что-либо о классе предметов.

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

Тезис доказательства - то, что доказывается в доказательстве.

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