4.Глоссарий

Аналитика – аристотелевское учение, состоящее в анализе суждений и умозаключений.

Антецедент – суждение, начинающееся со слова «если» и предшествующее консеквенту в импликативном суждении.

Апория – неразрешимое противоречие.

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

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

Дизъюнкция – логический союз, участвующий в образовании разделительного суждения; если дизъюнкция слабая (V), то сформированное ей сложное суждение ложно только тогда, когда ложны все входящие в него элементы; в случае же сильной дизъюнкции (≠) соответствующее ей разделительное суждение истинно только тогда, когда истинен лишь один из входящих в него элементов.

Дилемма (гр. dilemma < di(s) дважды + lemma посылка) – 1) умозаключение, первая посылка которого – условное суждение, а вторая посылка – разделительное суждение; 2) необходимость выбора из двух (обычно нежелательных) возможностей.

Дихотомия – последовательное деление целого на две части, затем каждой части снова на две и т.д.

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

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

Конъюнкция – логический союз (&), при помощи которого образуется соединительное суждение, являющееся истинным в одном-единственном случае: когда истинны все входящие в него элементы.

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

Логика – наука о формах и законах правильного мышления, необходимых для рационального познания.

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

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

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

Органон – 1) метод; 2)название собрания логических исследований Аристотеля; «Новый органон» – сочинение английского философа Ф.Бэкона (1561-1626), в котором основатель эмпиризма противопоставляет свою индуктивную логику дедуктивной логике Стагирита.

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

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

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

Пропедевтика – введение в какую-либо науку.

Риторика – теория и искусство красноречия.

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

Сорит –

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

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

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

Тождество – равенство или полное сходство.

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