- •1. Мышление как предмет логики. Логика и психология мышления.
- •2. Возникновение и основные этапы развития логики.
- •3. Понятие логической формы. Основные формы логического мышления в их взаимосвязи.
- •4. Понятие логического закона. Основные формально-логические законы как законы правильного мышления.
- •1. Закон тождества
- •2. Закон непротиворечия
- •3. Закон исключённого третьего
- •4. Закон достаточного основания
- •5. Понятие как форма логического мышления. Содержание и объем понятий.
- •6. Отношение между понятиями. Сравнимые и несравнимые понятия. Виды совместимости и несовместимости понятий.
- •7. Определение понятий как логическая операция. Виды и правила определений.
- •8. Деление и классификация понятий. Виды и правила деления.
- •9. Обобщение и ограничение понятий. Закон, определяющий соответствие содержания и объема понятий.
- •10. Суждение как форма логического мышления: общая характеристика. Простые и сложные суждения.
- •11. Виды простых суждений. Их качественные, количественные и модальные характеристики. Формулы суждений.
- •12. Объединенная классификация простых категорических суждений по качеству и количеству. Распределенность терминов в суждениях.
- •Распределенность терминов в категорических суждениях
- •13. Отношения между суждениями по логическому квадрату. Совместимые и несовместимые суждения. Отрицание суждений.
- •14. Виды сложных суждений, условия их истинности.
- •15. Логика вопросов и ответов.
- •16. Умозаключение как форма логического мышления: общая характеристика.
- •17. Дедуктивные непосредственные умозаключения.
- •18. Простой категорический силлогизм: состав, фигуры и модусы.
- •19. Правила категорического силлогизма. Спросы проверки логической состоятельности силлогизмов.
- •20. Сокращенный категорический силлогизм (энтимема). Восстановление энтимемы до полного силлогизма и проверка ее логической состоятельности.
- •21. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сириты, эпихейрема).
- •22. Условные умозаключения: виды и модусы.
- •23. Разделительные умозаключения: виды и модусы.
- •24. Условно-разделительные умозаключения. Конструктивные и деструктивные дилеммы.
- •25. Логическая природа индукции. Виды индуктивных умозаключений.
- •26. Методы индуктивных исследований.
- •27. Традуктивные умозаключения (умозаключения по аналогии). Виды аналогии.
- •28. Место гипотезы в научном познании. Гипотетико-дедуктивный метод.
- •29. Гипотеза: виды, этапы формирования. Подтверждение и опровержение гипотез.
- •30. Логические основы аргументации: структура, виды, правила
- •Правила доказательного рассуждения
- •31. Логика доказательства. Прямое и косвенное доказательство.
- •32. Логика опровержения (критики). Прямое и косвенное опровержение.
- •33. Логика и риторика. Допустимые и недопустимые уловки в процессе аргументации. Софизмы и паралогизмы. Понятие логического парадокса.
3. Понятие логической формы. Основные формы логического мышления в их взаимосвязи.
Логическая форма — это способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от содержания мысли, то есть от того, какие именно индивиды, свойства, отношения, классы, ситуации и тому подобное являются предметами данной мысли. В качестве механизма подобного отвлечения рассматривают процедуру замены переменными (параметрами) отдельных дескриптивных составляющих языкового контекста, выражающего данную мысль.
Указанное интуитивное понятие логической формы получает в современной логике серьёзные уточнения. Считается, что анализ формы концептуальных образований (понятий, суждений, рассуждений и тому подобные) не может осуществляться вне языка и существенным образом зависит от выбора языковых средств. Предполагается, что мысленные конструкции адекватно оформлены в виде осмысленных выражений естественного языка. Для фиксации их логической формы используют особые искусственные языки логики, которые, во-первых, должны иметь точный синтаксис, то есть точно заданные алфавит и правила образования сложных выражений, и, во-вторых, основываться на определённой системе семантических категорий с чётким подразделением исходных символов на логические и нелогические, указанием типов возможных значений для различных сортов нелогических символов, фиксацией значений логических символов и формулировкой точных семантических правил установления значений сложных выражений.
Процедура выявления логической формы мысли может рассматриваться как процесс перевода выражающего мысль естественно-языкового контекста в искусственный логический язык — формализованный язык. При этом переводе дескриптивные термины или целиком простые высказывания в составе исходного контекста замещаются нелогическими символами (параметрами) искусственного языка соответствующих семантических категорий, причём одинаковые выражения замещаются одинаковыми символами, а разные — разными, а также воспроизводится порядок и способ связи дескриптивных составляющих в соответствии с синтаксическими правилами логического языка. Полученное в результате указанной процедуры выражение как раз и фиксирует логическую форму мысли. Его нельзя рассматривать как лишённое содержания, оно содержит информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, об их тождестве и различии и о специфике их сочленения.
Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Её исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики и логики предикатов позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой S a P («Всякий S есть P»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы ∀x (Q1 (x) ⊃ R2 (x, a)), где параметр Q1 соответствует знаку свойства «быть планетой», R2 — знаку отношения «вращается вокруг», a — имени «Солнце».
Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщённого дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.
Понятие логической формы является одним из наиболее фундаментальных в логике, так как особенность её предмета — в исследовании мыслительных феноменов, познавательных приёмов, языка с точки зрения их структуры, формы. Определения таких наиболее важных логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание», и другие существенным образом опираются на понятие логической формы. Законы логических теорий являются не чем иным, как логическими формами высказываний естественного языка, принимающими при любых допустимых интерпретациях дескриптивных символов значение «истина».
Основными формами логического мышления являются понятия, суждения и умозаключения.
Понятие - форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений, выраженная словом или группой слов. Понятия могут быть конкретными и абстрактными.
Суждение - форма мышления, отражающая связи между предметами и явлениями в форме утверждения или отрицания. Суждения могут быть истинными или ложными.
Умозаключение - форма мышления, при которой на основе нескольких суждений делается определенный вывод. Различаются умозаключения индуктивные, дедуктивные и по аналогии.