Файл: Словарь терминов по логике.doc

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 04.12.2023

Просмотров: 23

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.


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

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

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

На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами.

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

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

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

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

С уждение ( высказывание ) – это форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным ( сложное суждение состоит из простых суждений, соединенных каким-либо союзом).

Суждение атрибутивное (от лат. attributum – признак ) – простое суждение, в котором предикат является каким-либо атрибутом

(свойством, признаком) субъекта. Любое простое суждение можно рассматривать как атрибутивное.

Суждение общеотрицательное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E.

Суждение общеутвердительное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и утвердительной связкой: «Все
S есть P». Общеутвердительные суждения обозначаются латинской буквой A.

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

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

(противоположности), контрадикторности ( противоречия ). Эти отношения изображаются с помощью логического квадрата.

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

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

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

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

Объем нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой.

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



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

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

Фигура простого силлогизма – взаимное расположение терминов силлогизма (субъекта, предиката и среднего термина) в его посылках. Существует четыре фигуры силлогизма .

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

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

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

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

Эпихейрема – сокращенный простой силлогизм , в котором обе посылки являются энтимемами