Логика. Агафонов В.В. - 10 стр.

    Объединенная классификация суждений по качеству и количеству: а)
общеутвердительное суждение; в) частно утвердительное суждение; г) частно
отрицательное. Рассмотрение единичных суждений в качестве общих.
    Логический квадрат как средство иллюстрации отношений между сужде-
ниями различных типов.
    Субъект и предикат — термины суждения.

                            Тема 6. Сложные суждения
     Логические связки. Сложное суждение как суждение, содержащее логиче-
ские связки и состоящее из нескольких простых суждений. Наиболее употреби-
тельные логические связки: отрицание («неверно, что...»); конъюнкция («и»,
«но», и т.п.); дизъюнкция («или»); импликация («если, то»).
     Сложные суждения и их специфика: а) конъюнкция и дизъюнкция как
сложные суждения; б) дизъюнкция и ее виды — строгая (сильная, исключаю-
щая), т.е. дизъюнкция в исключающее - разделительном значении, слабая (не-
строгая, неисключающая), т.е. дизъюнкция в соединительно-разделительном
значении; в) импликация и эквиваленциякак сложные суждения, образованные
только из двух простых суждений; г) антецедент и консеквент как структурные
элементы импликации.
     Таблицы истинности. Таблицы истинности как специальные соглашения,
принимаемые с целью установления истинности или ложности сложных сужде-
ний.
     Модальность суждения. Понятие о модальном операторе. Физические
модальности: онтологически необходимо, возможно, случайно.
     Эпистемические модальности: доказано, опровержимо, знает, верит, до-
пускает.
     Деонтические модальности: обязательно, разрешено, запрещено. Аксио-
логические модальности: хорошо, плохо, безразлично. Контрфактические
предложения как предложения, выраженные в сослагательном наклонении
(«если бы, то бы»).

                           Тема 7. Логические законы
     Логические законы как принципы правильного мышления. Логические за-
коны — основа человеческого мышления. Логические законы как основа логи-
ческого следования и логического доказательства.
     Правильное, или логичное, мышление как мышление по законам логики.
Объективный характер логических законов, их независимость от сознания и во-
ли человека.
     Понимание логических законов в традиционной логике: понятие основ-
ного закона. Основные законы, введенные Аристотелем: а) закон тождества; б)
закон непротиворечия, иногда называемый законом противоречия; в) закон ис-
ключенного третьего. Введение Готфридом Вильгельмом Лейбницем закона
достаточного основания (не имеющего записи в виде формулы) в качестве чет-
вертого основного логического закона традиционной логики.
     Символическая логика о современной интерпретации логического за-

                                    10