Полная версия

Главная arrow Логика arrow ЛОГИКА

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Виды простых суждений

В традиционной логике простые суждения делятся по характеру отношений между субъектом и предикатом на три вида:

  • 1) суждения свойства (атрибутивные);
  • 2) суждения отношения (релятивные);
  • 3) суждения существования (экзистенциальные).

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

Например, «Логика — древняя наука».

Форма атрибутивного суждения:

  • (Квантор) S есть Р.
  • (Квантор) S не есть Р.

Релятивные суждения отражают отношения между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.

Примеры: «Минск находится западнее Москвы», «3 меньше 7», «Екатерина — жена Петра».

Форма релятивного суждения:

xRy,

где х, у — предметы мысли,

R (от лат. relation — отношение) — отношение между ними.

В зависимости от числа предметов, вступающих в то или иное отношение, различают двучленные, трехчленные и вообще n-членные отношения.

В экзистенциальных суждениях выражается сам факт существования или несуществования предмета суждения.

Например: «Бог есть», «На земле уже нет многих видов животных».

Форма экзистенциального суждения:

  • S есть.
  • S не есть.

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

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

Атрибутивные суждения по качеству делятся на:

  • 1) утвердительные — выражают принадлежность предмету некоторого признака;
  • 2) отрицательные — выражают отсутствие у предмета некоторого признака.

Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Связка «есть» в утвердительном суждении отражает наличие у предмета некоторых свойств, связка «не есть» — их отсутствие.

Например, суждение «Все студенты пишут дипломные работы» утвердительное, суждение «Студент Иванов не сдал экзамен по экономике» отрицательное.

По количеству атрибутивные суждения делятся на:

  • 1) общие;
  • 2) частные;
  • 3) единичные.

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

В общем суждении субъектом является целый класс предметов во всем своем объеме.

Структура общего суждения:

Все S есть Р.

Ни одно S не есть Р.

Например, «Все люди — позвоночные».

В частном суждении субъектом является не весь класс предметов, а только какая-то его часть.

Структура частного суждения:

Некоторые S есть Р.

Некоторые S не есть Р.

Например, «Некоторые студенты не пришли на лекцию».

В единичном суждении субъект выражен единичным понятием.

Структура единичного суждения:

Этот S есть Р.

Этот S не есть Р.

Например, «Аристотель был учителем Александра Македонского».

Единичные суждения, как видим, являются аналогами общих суждений.

Поскольку любое суждение имеет как качественный, так и количественный признак, то в логике используется объединенная классификация суждений по количеству и качеству. На основании этой классификации выделяются четыре класса суждений (рис. 15).

Рис. 15

1. Общеутвердительные (обозначаются буквой А по первой гласной букве латинского слова affirmo — утверждаю) — суждения, общие по количеству и утвердительные по качеству.

Каноническая форма:

Все S есть Р.

Например, «Все дельфины (S) — киты (Р)».

2. Частноутвердительные (обозначаются буквой I по второй гласной букве слова affirmo) — суждения частные по количеству и утвердительные по качеству.

Каноническая форма:

Некоторые S есть Р.

Например, «Некоторые люди (S) —долгожители (Р)».

3. Общеотрицательные (обозначаются буквой Е по первой гласной букве латинского слова nego — отрицаю) — суждения общие по количеству и отрицательные по качеству.

Каноническая форма:

Ни одно S не есть Р.

Например, «Ни один дельфин (S) не является рыбой (Р)».

4. Частноотрицательные (обозначаются буквой О по второй гласной букве слова nego) — суждения частные по количеству и отрицательные по качеству.

Каноническая форма:

Некоторые S не есть Р.

Например, «Некоторые женщины (S) некрасивы (Р)».

Логический анализ предложений, выражающих простые суждения, предполагает определение следующих основных элементов:

1) терминов суждения:

А) субъекта;

Б) предиката;

  • 2) связки (утвердительной или отрицательной);
  • 3) квантора;
  • 4) вида суждения по количеству и качеству (А, I, Е, О).

Трудность логического анализа предложений русского языка состоит

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

 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>