Логика. Разумов В.И. - 4 стр.

                 Тема 1. Формальная логика как наука                      ву и количеству. Четыре типа простых суждений. Логическая структура и
       Развитие интеллектуальной культуры Античности и роль Аристо-       примеры общеутвердительных, общеотрицательных, частноутвердитель-
теля в становлении логики. Представление об особенностях становления      ных, частноотрицательных суждений. Распределенность терминов в сужде-
логических систем в древних Индии и Китае. Понятия дедукции и индук-      нии по соотношениям объемов субъекта и предиката. Отношения между
ции в практике рассуждений. Истинность, ложность и правдоподобность.      суждениями по истинности и их определение с помощью схемы логическо-
Логика и софистика. Важнейшие этапы в развитии логики. Определение        го квадрата.
предмета формальной логики. Связь логики с развитием науки, образова-
ния, техники.                                                                           Тема 5. Сложные суждения. Законы логики
                                                                                 Понятие сложных суждений. Виды сложных суждений и механизмы
           Тема 2. Формы логического мышления. Понятие                    их образования из простых суждений с помощью логических союзов. Вы-
      Формы логического мышления (понятие, суждение, умозаключение).      ражение в сложных суждениях особых отношений действительности. По-
Слово и понятие. Виды понятий. Объем и содержание понятий, их соотно-     нятие логического вывода. Конъюнкция, дизъюнкция и строгая дизъюнк-
шения. Понятие логической операции. Обобщение и ограничение понятий.      ция, материальная импликация, материальная эквивалентность, отрицание
Отношения между понятиями, их совместимость и несовместимость. Срав-      и двойное отрицание: их виды и относящиеся к ним правила вывода. Таб-
нение понятий по объему методом кругов Эйлера. Понятие класса в логике.   лицы истинности и особенности их построения. Три закона логики Аристо-
Соотношение логических терминов: имя (значение, смысл); класс (признак,   теля (тождества, не противоречия, исключения третьего). Логические зако-
элемент); понятие (объем, содержание). Механизм образования понятий в     ны как тождественно-истинные формулы языка логики высказываний.
триадической схеме (универсум, класс, дополнение). Понятия необходимо-
го и достаточного условия. Определение (дефиниция) понятий. Виды, пра-                       Тема 6. Понятие умозаключений.
вила и типичные ошибки определения. Вопросы и ответы.                                       Непосредственные умозаключения
                                                                                Понятия дедукции и индукции в логики. Развитие дедукции как ос-
                Тема 3. Основы логики высказываний.                       новы рационально-логического мышления. Определение умозаключения
                  Операции с понятиями и классами                         и его связь с понятием и суждением. Виды дедуктивных умозаключений.
       Деление понятий. Понятие рода и вида. Виды, правила и ошибки       Понятие логического следования в силлогистике. Определение непосредс-
деления понятий. Язык классической логики высказываний. Определение       твенных умозаключений. Умозаключения по логическому квадрату. Умо-
формулы. Логические связки, выражение одних логических связей через       заключения превращения (обверсии). Умозаключения обращения (конвер-
другие и введение новых связок. Понятие правильно-построенной форму-      сии) с ограничением и без ограничения. Умозаключения противопостав-
лы. Тождественно-истинные, тождественно-ложные и выполнимые фор-          ления предикату (контрапозиции). Умозаключения из суждений с отноше-
мулы. Операции над классами (сложение, умножение, разности (вычита-       ниями (рефлексивности, симметричности, транзитивности).
ния), дополнения (отрицания)). Общие свойства операций над высказыва-
ниями и классами: коммутативность (переместительность), ассоциатив-                    Тема 7. Простой категорический силлогизм
ность (сочетательность), дистрибутивность (распределительность), идем-          Опосредованные умозаключения. Простой категорический силло-
потентность (сохранение степени), элиминации (поглощения).                гизм (ПКС), его определение и логическая структура. Определения фигур
                                                                          и модусов ПКС. Аксиома силлогизма. Правила терминов и посылок ПКС.
                 Тема 4. Суждения. Простые суждения                       Распределенность терминов в посылках и выводах модусов ПКС. Понятие
      Суждение, грамматическое предложение и высказывание. Определе-      о правильных (заключающих) и неправильных (незаключающих) моду-
                                                                          сах. Проверка силлогизмов на соответствие правилам. Правила 1–4 фигур
ние суждений и их логическая структура. Субъект, предикат, логическая
                                                                          ПКС. Основы построения и приемы работы с правильными модусами 1–4
связка, кванторное слово и их роли в суждениях. Виды суждений (атрибу-
                                                                          фигур ПКС.
тивные, отношения, экзистенциальные). Общие, частные и единичные, вы-
деляющие и исключающие суждения. Классификации суждений по качест-

                                  7                                                                          8