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

   16. Формулы (a⊃а) и (a∨¬a) не являются:
   a) тождественно-истинными; b) правильно построенными; c) противоречащи-
ми; d) несовместимыми.
   17. Какой принцип классической формальной логики нарушен в рассуждении:
«Когда говорят, что соответствует действительности положение дел, описывае-
мое в суждении “не всё то истинно, что правдиво”, а суждение “всё правдивое
истинно” объявляют ложным, то заблуждаются, поскольку забывают о том, что
возможно и ни то, ни другое».
   18. В чём заключается отличие позитивной силлогистики от силлогистики не-
гативной?

                                      IV
    1. С помощью «логического квадрата» определите отношение между сужде-
ниями: 1) Некоторые S есть P; 2) Некоторые S не есть P.
    2. Определите табличным способом вид формулы: ((p⊃(q⊃r))⊃((a∧q)⊃r)).
    3. Какой метод установления причинной связи отвечает формуле:
(((a∨q)∧¬a)⊃q)?
    4. Что является правильным модусом I фигуры ПКС:
    a) EIO; b) AIO; c) AOO; d) ОАI?
    5. Докажите, что |- (А⊃(В⊃С))⊃(В⊃(А⊃С)).
    6. Является ли и почему правильной дилемма: «Если философ — дуалист, то
он не материалист. Если философ — диалектик, то он не метафизик. Этот фило-
соф — материалист или метафизик. Значит, он не дуалист или не диалектик»?
    7. Энтимема — это:
    a) сложносокращенный простой категорический силлогизм; b) сложный кате-
горический силлогизм; c) сокращенный простой категорический силлогизм;
d) условное умозаключение.
    8. Осуществите опровержение тезиса «Никто не читал здесь написанное» по-
средством доказательства антитезиса.
    9. Дайте определения сравнимым и несовместимым суждениям.
    10. Основоположником какой из разновидностей логики является Аристотель:
    a) диалектической; b) формальной; c) математической; d) неклассической?
    11. Назовите правила ввода в классическом натуральном исчислении выска-
зываний.
    12. Выразите посредством языка классической логики предикатов умозаклю-
чения «по логическому квадрату» в отношении несовместимых простых катего-
рических суждений.
    13. Вычлените: 1) общую, 2) частную и 3) единичную гипотезы: «Древнегре-
ческий философ Анаксимандр полагал: Солнце — это землистое тело, которое
раскалилось от своего быстрого движения; начало и основа всего сущего есть не-
кое “беспредельное”; люди произошли от рыб».
    14. Дайте словесную формулировку и запишите в виде формул классической
логики высказываний 1) закон непротиворечия, 2) закон сложной контрапозиции.


                                     173