Словарь терминов (глоссарий)

АКСИОЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ - выражается понятиями «хорошо», «аксиологически безразлично», «плохо», «лучше», «равноценно», «хуже».

АНАЛОГИЯ НЕСТРОГАЯ - здесь связь между сходными и переносимыми признаками не является необходимой. Вывод является вероятностным.

АНАЛОГИЯ СТРОГАЯ - имеющиеся сходные признаки необходимо связаны с переносимым признаком. Вывод в этом случае является достоверным.

АРГУМЕНТЫ (ОСНОВАНИЯ ДОКАЗАТЕЛЬСТВА) - совокупность суждений, с помощью которых обосновывается некоторое положение или доказывается истинность какого-либо положения.

АТРИБУТИВНОЕ СУЖДЕНИЕ - суждение, утверждающее или отрицающее принадлежность предмету каких-либо свойств, состояний, видов активности.

ЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ - выражается с помощью понятий «логически необходимо», «логически случайно», «логически возможно», «логически невозможно».

ЛОГИЧЕСКИЙ КВАДРАТ - диаграмма, служащая для мнемонического запоминания некоторых логических отношений между простыми суждениями вида А, Е, I, О. При этом, зная истинность одного из них, можно сделать вывод об истинности трех остальных.

ВЕРСИЯ - гипотеза, выдвигаемая в ходе следственной или судебной деятельности.

ВИД - понятие, полученное в результате ограничения.

ВРЕМЕННАЯ МОДАЛЬНОСТЬ - выражается понятиями «всегда», «только иногда», «никогда», «было», «есть», «будет», «раньше», «одновременно», «позже».

ГИПОТЕЗА - предположение, являющееся предварительным, достаточно условным объяснением некоторой совокупности явлений, событий, а также их взаимоотношений и связей. Гипотеза может быть также и предположением о существовании некоторого объекта. Различают общие, частные и единичные гипотезы.

ГИПОТЕЗА ЕДИНИЧНАЯ - обоснованное предположение о причинах, происхождении и взаимосвязях единичных фактов, единичных объектов действительности.

ГИПОТЕЗА ОБЩАЯ - предположение, являющееся достаточно обоснованным и характеризующее широкую область естественных или общественных явлений.

ГИПОТЕЗА ЧАСТНАЯ обоснованное предположение о причинах, происхождении или закономерностях некоторой части объектов, выделенных из всего класса, всей области естественных или общественных явлений.

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором выводное суждение следует из посылок с необходимостью, т.е. если посылки такого умозаключения истинны, то вывод будет обязательно истинным.

ДЕЛЕНИЕ ДИХОТОМИЧЕСКОЕ - деление, при котором объем делимого понятия распределяется на два противоречащих друг другу класса.

ДЕЛЕНИЕ ПОНЯТИЯ - логическая операция, раскрывающая объем понятия посредством разбиения его на виды.

ДЕМОНСТРАЦИЯ (ФОРМА) ДОКАЗАТЕЛЬСТВА - способ логической связи тезиса и аргументов, структура аргументации.

ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ - относится к нормативному знанию и находит свое выражение с помощью понятий «обязательно», «нормативно безразлично», «запрещено», «разрешено».

ДОКАЗАТЕЛЬСТВО - логическая операция обоснования истинности какого-либо положения с помощью других, истинных и связанных с ним положений.

ЕДИНИЧНОЕ ПОНЯТИЕ - содержит в своем объеме лишь один элемент.

ЕДИНИЧНОЕ СУЖДЕНИЕ - суждение, предметом мысли которого является единичный объект, в объем субъекта которого входит лишь один элемент: «Данное S есть (не есть) Р».

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ - каждая истинная мысль должна быть достаточно обоснована другими истинными же суждениями.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО - из двух противоречащих друг другу суждений одно истинно, а второе - ложно. Третьего не дано. Формула этого закона: av-, a.

ЗАКОН НЕПРОТИВОРЕЧИЯ (ПРОТИВОРЕЧИВОСТИ) - два противоположных суждения не могут быть одновременно истинными - по крайней мере одно из них необходимо ложно. Он выражается формулой -ЧаА^а).

ЗАКОН ОБРАТНОГО СООТНОШЕНИЯ МЕЖДУ ОБЪЕМОМ И СОДЕРЖАНИЕМ ПОНЯТИЯ - расширение содержания понятия ведет к уменьшению его объема, а расширение объема понятия ведет к уменьшению его содержания.

ЗАКОН ТОЖДЕСТВА - всякая мысль в процессе рассуждения должна оставаться тождественной самой себе. То есть в процессе рассуждения нельзя произвольно изменять содержание некоторого понятия, того или иного термина или смысл некоторого суждения. В современной логике закон тождества трактуется так: всякое высказывание влечет само себя. Каждое суждение является необходимым и достаточным условием своей истинности. Закон тождества имеет формулу а=а, или а—> а.

ИНДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором заключение о свойствах каждого элемента некоторого множества делается на основании изучения свойств его отдельных элементов

ТАБЛИЦА ИСТИННОСТИ - таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав.

ТЕЗИС - положение, которое необходимо обосновать или доказать.

ТЕРМИНЫ СУЖДЕНИЯ - субъект и предикат суждения.

ТОЖДЕСТВЕННО-ИСТИННОЕ СУЖДЕНИЕ - суждение, которое при любых значениях простых суждений, входящих в его состав, имеет значение «истинно». Такие суждения также называют тавтологиями, а формулы, которые им соответствуют, - тождественно-истинными формулами или законами логики.

ФИГУРА СИЛЛОГИЗМА - разновидность силлогизма в зависимости от местоположения среднего термина в посылках.

ФИЗИЧЕСКАЯ или ФАКТИЧЕСКАЯ (ОНТОЛОГИЧЕСКАЯ) МОДАЛЬНОСТЬ - выражается с помощью понятий «физически необходимо», «физически случайно», «физически возможно», «физически невозможно».

Физическую и логическую модальности нередко объединяют в АЛЕТИЧЕСКУЮ МОДАЛЬНОСТ

ЭНТИМЕМА сокращенный категорический силлогизм, в котором пропущена одна из посылок или отсутствует заключение.

ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ или ТЕОРЕТИКО-ПОЗНАВАТЕЛЬНАЯ МОДАЛЬНОСТЬ - может относиться к знанию, и тогда выражается с помощью понятий «доказуемо», «неразрешимо», «опровержимо», а может относиться к убеждению, и тогда выражается понятиями «убежден», «сомневается», «отвергает», «допускает».

ЭПИХЕЙРЕМА - сокращенный и одновременно сложный силлогизм, посылки которого представляют собой энтимемы.

ЭРИСТИКА - раздел логики, изучающий искусство ведения спора.