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