Логика. Черняк Н.А. - 15 стр.

UptoLike

Составители: 

Рубрика: 

29
I –
()
(
)()
xPxSx – «Некоторые S суть P» (существуют х, обла-
дающие свойством S и свойством P).
E –
()
(
)
(
)
xPxSx – «Ни одно S не суть P» (для всякого х верно,
что если он обладает свойством S, то не обладает свойством P).
O –
()
(
)
(
)
xPxSx – «Некоторые S не суть P» (существуют х, об-
ладающие свойством S и не обладающие свойством P).
2.3. Распределенность терминов в суждении
Распределенность терминовэто количественная характери-
стика субъекта и предиката в суждении.
Термин считается распределенным, если его объем либо полно-
стью включен в объем другого термина, либо полностью из него ис-
ключен. Или иначетермин считается распределенным, если он мыс-
лится в полном объеме. Для распределенного термина характерно
кванторное слово «все», для
нераспределенного – «некоторые».
Графически распределенность терминов изображается с помо-
щью круговых схем и штриховки той части терминов, которые мыс-
лятся в суждении.
В общеутвердительном суждении «Все S сутьсубъект рас-
пределен, так как мыслится в полном объеме, предикат не
распределен, так как его объем не исчерпывается лишь объ-
емом субъекта. Например, «Карась-
рыба».
Исключение составляют выделяющие суждения, в которых объ-
ем субъекта и предиката совпадают. Например, «Все люди
суть разумные существа», «Александр Сергеевич Пушкин
автор романаЕвгений Онегин”».
В частноутвердительном суждении «Некоторые S суть Р» ни
субъект, ни предикат не распределены, так как мыслят-
ся не в полном объеме. Например, «Некоторые юри-
сты являются депутатами Государственной Думы».
Исключение составляют частновыделяющие суждения, в кото-
рых предикат мыслится в полном объеме, следовательно,
распределен. Например, «Некоторые прямоугольники яв-
ляются квадратами».
30
В общеотрицательном суждении «Ни одно S не суть Р» и субъ-
ект, и предикат являются распределенными, так
как их объемы полностью исключают друг друга.
Например, «Ни один крокодил не летает».
В частноотрицательном сужденииНекоторые S не суть Р»)
субъект не распределен, так как мыслится лишь в
некоторой части, предикат распределен, так как
его объем полностью исключен из объема субъек-
та. Например, «Некоторые студенты не являются
спортсменами».
Общая схема распределенности терминов в суждении такова:
субъекты распределены в общих суждениях, предикатыв отрица-
тельных.
S P
A +
+ +
I –
O – +
Отрицание суждения
Отрицанием называется логическая операция, посредством ко-
торой образуется новое суждение, принимающее логическое значение
истины тогда и только тогда, когда исходное суждение ложно и, на-
оборот, логическое значение ложности тогда, когда исходное сужде-
ние истинно. Отрицание отрицания (двойное отрицание) есть возврат к
исходному логическому значению. Логическое значение отрицания и
двойного отрицания можно
представить в виде матрицы, которая на-
зывается таблицей истинности.
p
p
p
И Л И
Л И Л
      I – ∃x (S(x ) ∧ P(x )) – «Некоторые S суть P» (существуют х, обла-        В общеотрицательном суждении «Ни одно S не суть Р» и субъ-
дающие свойством S и свойством P).                                                          ект, и предикат являются распределенными, так
             (             )
      E – ∀x S(x ) → P(x ) – «Ни одно S не суть P» (для всякого х верно,
                                                                                            как их объемы полностью исключают друг друга.
                                                                                            Например, «Ни один крокодил не летает».
что если он обладает свойством S, то не обладает свойством P).
             (         )
      O – ∃x S(x ) ∧ P(x ) – «Некоторые S не суть P» (существуют х, об-          В частноотрицательном суждении («Некоторые S не суть Р»)
ладающие свойством S и не обладающие свойством P).                                           субъект не распределен, так как мыслится лишь в
                                                                                             некоторой части, предикат распределен, так как
     2.3. Распределенность терминов в суждении                                               его объем полностью исключен из объема субъек-
                                                                                             та. Например, «Некоторые студенты не являются
      Распределенность терминов – это количественная характери-                              спортсменами».
стика субъекта и предиката в суждении.                                           Общая схема распределенности терминов в суждении такова:
      Термин считается распределенным, если его объем либо полно-          субъекты распределены в общих суждениях, предикаты – в отрица-
стью включен в объем другого термина, либо полностью из него ис-           тельных.
ключен. Или иначе – термин считается распределенным, если он мыс-                                          S       P
лится в полном объеме. Для распределенного термина характерно                                     A        +       –
кванторное слово «все», для нераспределенного – «некоторые».                                               +       +
      Графически распределенность терминов изображается с помо-                                   I        –       –
щью круговых схем и штриховки той части терминов, которые мыс-                                    O        –       +
лятся в суждении.
      В общеутвердительном суждении «Все S суть P» субъект рас-
                                                                                                 Отрицание суждения
           пределен, так как мыслится в полном объеме, предикат не
           распределен, так как его объем не исчерпывается лишь объ-             Отрицанием называется логическая операция, посредством ко-
           емом субъекта. Например, «Карась-рыба».                         торой образуется новое суждение, принимающее логическое значение
                                                                           истины тогда и только тогда, когда исходное суждение ложно и, на-
      Исключение составляют выделяющие суждения, в которых объ-            оборот, логическое значение ложности тогда, когда исходное сужде-
          ем субъекта и предиката совпадают. Например, «Все люди           ние истинно. Отрицание отрицания (двойное отрицание) есть возврат к
          суть разумные существа», «Александр Сергеевич Пушкин             исходному логическому значению. Логическое значение отрицания и
          – автор романа “Евгений Онегин”».                                двойного отрицания можно представить в виде матрицы, которая на-
                                                                           зывается таблицей истинности.
      В частноутвердительном суждении «Некоторые S суть Р» ни
               субъект, ни предикат не распределены, так как мыслят-                            p          p           p
               ся не в полном объеме. Например, «Некоторые юри-                                И           Л           И
               сты являются депутатами Государственной Думы».
                                                                                               Л           И           Л
      Исключение составляют частновыделяющие суждения, в кото-
          рых предикат мыслится в полном объеме, следовательно,
          распределен. Например, «Некоторые прямоугольники яв-
          ляются квадратами».

                                  29                                                                       30