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

UptoLike

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

Рубрика: 

41
Частноотрицательное (О) превращается в частноутвердительное
(I). Например:
минеграмотны являются людиНекоторые
грамоты знают не людиНекоторые
.
В результате операции превращения меняется качество сужде-
ния, но количество остается прежним.
Обращение
Обращениетакое непосредственное умозаключение, в резуль-
тате которого субъект исходного суждения становится предикатом, а
предикатсубъектом заключения. Например:
крокодилы суть ихсяпресмыкающ из Некоторые
животные иесяпресмыкающ суть крокодилы Все
.
В зависимости от распределенности терминов исходного сужде-
ния различают два вида обращения:
1) простое (чистое) обращение;
2) нечистое обращение.
Простое (чистое) обращение имеет место в том случае, если
оба термина (субъект и предикат) исходного суждения являются рас-
пределенными или оба являются нераспределенными. Например:
людисуть существа разумные Все
существа разумные суть людиВсе
.
При чистом обращении А обращается в А:
S суть P Все
P суть S Все
()
(
)()
() ()()
xSxPx
xPxSx
.
Е обращается в Е:
S есть не P одно Ни
P есть не S одно Ни
(
)
(
)
()
()
xS)x(Px
xP)x(Sx
.
Например:
стрекозой являетсяне хищникодин Ни
хищником являетсяне стрекоза одна Ни
.
I обращается в I:
S суть P Некоторые
P суть S Некоторые
()
(
)()
() ()()
xSxPx
xPxSx
.
42
Например:
студентыживотных защиты общества члены Некоторые
животных защиты общества члены студенты Некоторые
.
Частноотрицательные суждения не обращаются с необходимо-
стью.
Нечистое обращение представлено двумя вариантами:
1) обращение с ограничением;
2) обращение с приращением.
Обращение с ограничением
имеет место при переходе от обще-
утвердительных суждений (А) к частноутвердительным (I):
S суть P Некоторые
P суть S Все
(
)
(
)
(
)
() ()()
xSxPx
xPxSx
Например:
цывегетариан сутьпищу уюрастительнщих употребляю из Некоторые
пищу уюрастительн тупотребляю цывегетариан Все
.
Обращение с приращением
имеет место в случае выделяющих
суждений и связано с переходом от частных суждений к общим:
S суть P Все
P суть S толькои S Некоторые
(
)
(
)
(
)
() ()()
xSxPx
xPxSx
.
Например:
никипрямоуголь квадраты Все
квадраты никипрямоуголь Некоторые
.
Контрапозиция (противопоставление предикату)непосред-
ственное умозаключение, в результате которого в заключении субъек-
том становится понятие, противоречащее предикату исходного сужде-
ния, а предикатомсубъект исходного суждения. Противопоставление
предикату представляет собой синтез превращения и обращения.
Контрапозиция различных суждений производится по следую-
щей схеме:
S есть не Pне одно Ни (Е)
P суть S Все (А)
.
ннимравносторо являетсяне ик треугольнренныйнеравнобед один Ни
нныеравнобедре ики треугольннниеравносторо Все
.
       Частноотрицательное (О) превращается в частноутвердительное           Например:
(I). Например:                                                                Некоторые студенты – члены общества защиты животных
                                                                                                                                  .
                  Некоторые люди не знают грамоты                             Некоторые члены общества защиты животных – студенты
                                                    .
               Некоторые люди являются неграмотными                          Частноотрицательные суждения не обращаются с необходимо-
       В результате операции превращения меняется качество сужде-    стью.
ния, но количество остается прежним.                                        Нечистое обращение представлено двумя вариантами:
                                                                            1) обращение с ограничением;
                              Обращение                                     2) обращение с приращением.
      Обращение – такое непосредственное умозаключение, в резуль-           Обращение с ограничением имеет место при переходе от обще-
тате которого субъект исходного суждения становится предикатом, а    утвердительных суждений (А) к частноутвердительным (I):
предикат – субъектом заключения. Например:                                                  Все S суть P        ∀x (S(x ) → P(x ))
            Все крокодилы суть пресмыкающ иеся животные                                 Некоторые P суть S       ∃x (P(x ) ∧ S(x ))
                                                              .
            Некоторые из пресмыкающ ихся суть крокодилы                     Например:
      В зависимости от распределенности терминов исходного сужде-                Все вегетарианцы употребляют растительную пищу
                                                                                                                                            .
ния различают два вида обращения:                                      Некоторые из употребляющих растительную пищу суть вегетарианцы
      1) простое (чистое) обращение;                                        Обращение с приращением имеет место в случае выделяющих
      2) нечистое обращение.                                         суждений и связано с переходом от частных суждений к общим:
      Простое (чистое) обращение имеет место в том случае, если                   Некоторые S и только S суть P        ∃x (S(x ) ∧ P(x ))
оба термина (субъект и предикат) исходного суждения являются рас-                                                                         .
                                                                                            Все P суть S              ∀x (P(x ) → S(x ))
пределенными или оба являются нераспределенными. Например:
                                                                            Например:
                   Все люди суть разумные существа
                                                       .                               Некоторые прямоуголь ники – квадраты
                   Все разумные существа суть люди                                                                                   .
                                                                                       Все квадраты – прямоуголь ники
      При чистом обращении А обращается в А:
                                                                            Контрапозиция (противопоставление предикату) – непосред-
                     Все S суть P ∀x (S(x ) → P(x ))                 ственное умозаключение, в результате которого в заключении субъек-
                                                     .
                     Все P суть S ∀x (P(x ) → S(x ))                 том становится понятие, противоречащее предикату исходного сужде-
      Е обращается в Е:                                              ния, а предикатом – субъект исходного суждения. Противопоставление
                                      (         )
                  Ни одно S не есть P ∀x S( x ) → P(x )              предикату представляет собой синтез превращения и обращения.
                                      (         )
                  Ни одно P не есть S ∀x P( x ) → S(x )
                                                          .                 Контрапозиция различных суждений производится по следую-
                                                                     щей схеме:
      Например:                                                                                     (А) Все S суть P
                 Ни одна стрекоза не является хищником                                                                       .
                                                            .                                (Е) Ни одно не – P не есть S
                 Ни один хищник не является стрекозой
                                                                                Все равносторо нние треугольн ики – равнобедре нные
      I обращается в I:                                                                                                                     .
                                                                       Ни один неравнобед ренный треугольн ик не является равносторо нним
                  Некоторые S суть P ∃x (S(x ) ∧ P(x ))
                                                         .
                  Некоторые P суть S ∃x (P(x ) ∧ S(x ))



                                41                                                                     42