ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 04.12.2023
Просмотров: 23
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Сложение понятий – логическая операция объединения двух (и большего числа) понятий, в результате которой образуется новое понятие, включающее в свой объем все объекты, входящие в объемы исходных понятий. На круговых схемах Эйлера изображается штриховкой.
Содержание понятия – наиболее важные признаки того объекта, который обозначается этим понятием. Между объемом и содержанием понятия существует обратное отношение: чем больше объем понятия , тем меньше его содержание, и наоборот.
Соподчинение – логическое отношение между понятиями, объемы которых никак не соприкасаются, не имеют общих элементов.
На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами.
Сорит – сокращенный полисиллогизм или сложносокращенный силлогизм, в котором пропущена одна из посылок последующего силлогизма, представляющая собой вывод предыдущего.
Софизм – внешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов.
Субконтрарность(частичное совпадение) – логическое отношение между двумя простыми сравнимыми суждениями, в которых объемы субъектов частные, а связки противоположны друг другу.
Субъект – элемент простого атрибутивного суждения, обозначающий предмет (объек т ) суждения, или то, о чем идет речь в суждении.
С уждение ( высказывание ) – это форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным ( сложное суждение состоит из простых суждений, соединенных каким-либо союзом).
Суждение атрибутивное (от лат. attributum – признак ) – простое суждение, в котором предикат является каким-либо атрибутом
(свойством, признаком) субъекта. Любое простое суждение можно рассматривать как атрибутивное.
Суждение общеотрицательное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E.
Суждение общеутвердительное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и утвердительной связкой: «Все
S есть P». Общеутвердительные суждения обозначаются латинской буквой A.
Суждение релятивное (от лат. relativus – относительный) – простое суждение, в котором выражается какое-то отношение между объектами. Релятивное суждение можно представить как атрибутивное, в котором предикат указывает на какое-либо отношение к субъекту.
С уждения сравнимые (идентичные по материалу) – простые суждения , у которых субъекты и предикаты совпадают, а кванторы и связки различаются. Суждения, у которых субъекты и предикаты различны, являются несравнимыми. Сравнимые суждения могут быть в отношениях равнозначности, подчинения, субконтрарности (частичного совпадения), контрарности
(противоположности), контрадикторности ( противоречия ). Эти отношения изображаются с помощью логического квадрата.
Суждение частно-отрицательное – вид простого атрибутивного суждения, которое характеризуется частным объемом субъекта и отрицательной связкой: «Некоторые S не есть P». Частноотрицательные суждения обозначаются латинской буквой O.
Суждение частно-утвердительное – вид простого атрибутивного суждения, которое характеризуется частным объемом субъекта и утвердительной связкой: «Некоторые Sесть P». Частноутвердительные суждения обозначаются латинской буквой I.
Суждение экзистенциальное (от лат. existentia – существование) – простое суждение, в котором говорится о существовании или несуществовании чего-либо (объектов, явлений, свойств и т. п.). Экзистенциальное суждение, в принципе, можно представить как атрибутивное, в котором предикат указывает на существование или несуществование субъекта.
У множение понятий – логическая операция объединения двух и большего числа понятий, в результате которой образуется новое понятие, включающее в свой объем только те объекты , которые являются общими для объемов исходных понятий.
Объем нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой.
Умозаключение – форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).
Умозаключение непосредственное представляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нем вывод делается из одной посылки.
Умозаключение опосредованное – в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии .
Фигура простого силлогизма – взаимное расположение терминов силлогизма (субъекта, предиката и среднего термина) в его посылках. Существует четыре фигуры силлогизма .
Ф орма мышления – это способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но все это многообразие укладывается всего в несколько форм.
Существует три формы мышления: понятие , суждение и умозаключение , которыми занимается логика , в силу чего она также часто называется формальной логикой.
Эквиваленция (эквивалентное суждение ) – вид сложного суждения , образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными).
Энтимема – сокращенный простой силлогизм, в котором пропущена одна из посылок или вывод. Из любого силлогизма можно вывести три энтимемы.
Эпихейрема – сокращенный простой силлогизм , в котором обе посылки являются энтимемами