Логика и теория аргументации. Скачков А.С. - 87 стр.

UptoLike

ВУЗ: 

ОмГТУ | Омск

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

Рубрика: 

87
((А⊃В)∧¬В)⊃¬А.
Не являются правильными следующие, выраженные схемами, способы услов-
но-категорических рассуждений:
1) ((А⊃В)∧В)⊃А;
2) ((А⊃В)∧¬А)⊃¬В.
Теперь рассмотрим тип разделительных умозаключений, т. е. содержащих в
качестве одной или нескольких посылок дизъюнктивные суждения.
Поскольку в разделительном
умозаключении дизъюнктивными суждениями
могут быть представлены все или только некоторые посылки, различают:
— чисто разделительные умозаключения;
— разделительно-категорические умозаключения;
— разделительно-условные умозаключения.
Чисто разделительным называется умозаключение, все посылки которого
являются дизъюнктивными суждениями.
Пример
Всякое сравнимое суждение является или совместимым, или несовместимым.
Всякое несовместимое суждение является или противоречащим, или
противо-
положным.
_____________________________________________________________________________________________________________
Всякое сравнимое суждение является или совместимым, или противореча-
щим, или противоположным.
В парадигме классической логики высказываний данное рассуждение можно
трансформировать в следующую цепочку:
«Суждение является сравнимым тогда и только тогда, когда оно либо совмес-
тимое, либо несовместимое, и суждение является несовместимым тогда и только
тогда, когда это либо противоречащее, либо
противоположное суждение, значит,
если суждение является сравнимым, то это равнозначно, что оно является или со-
вместимым, или противоречащим, или противоположным».
С учётом произведённой трансформации формула рассматриваемого выска-
зывания выглядит следующим образом:
((a≡(b∨
¬b)∧(¬b≡(c∨d))⊃((а≡(b∨(c∨d)),
где а — «Суждение является сравнимым», b — «Суждение является совмес-
тимым»,
¬
b — «Суждение не является совместимым», с — «Суждение является
противоречащим», d — «Cуждение является противоположным». 
                                          ((А⊃В)∧¬В)⊃¬А.

   Не являются правильными следующие, выраженные схемами, способы услов-
но-категорических рассуждений:

                                           1) ((А⊃В)∧В)⊃А;
                                           2) ((А⊃В)∧¬А)⊃¬В.

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

    — чисто разделительные умозаключения;
    — разделительно-категорические умозаключения;
    — разделительно-условные умозаключения.

   Чисто разделительным называется умозаключение, все посылки которого
являются дизъюнктивными суждениями.

     ™ Пример
   Всякое сравнимое суждение является или совместимым, или несовместимым.
   Всякое несовместимое суждение является или противоречащим, или противо-
положным.
_____________________________________________________________________________________________________________

  Всякое сравнимое суждение является или совместимым, или противореча-
щим, или противоположным.

   В парадигме классической логики высказываний данное рассуждение можно
трансформировать в следующую цепочку:
   «Суждение является сравнимым тогда и только тогда, когда оно либо совмес-
тимое, либо несовместимое, и суждение является несовместимым тогда и только
тогда, когда это либо противоречащее, либо противоположное суждение, значит,
если суждение является сравнимым, то это равнозначно, что оно является или со-
вместимым, или противоречащим, или противоположным».

   С учётом произведённой трансформации формула рассматриваемого выска-
зывания выглядит следующим образом:

                            ((a≡(b∨¬b)∧(¬b≡(c∨d))⊃((а≡(b∨(c∨d)),

   где а — «Суждение является сравнимым», b — «Суждение является совмес-
тимым», ¬b — «Суждение не является совместимым», с — «Суждение является
противоречащим», d — «Cуждение является противоположным».

                                                     87

Страницы