- •1. Понятие логики. Логика как наука и её предмет. Место логики среди других наук о мышлении.
- •2. Мышление и его основные формы в структуре познавательных способностей человека; взаимосвязь чувственного и рационального уровней познания.
- •3. Исходные понятия формальной логики: предмет мышления; логическая форма; логический закон; истинность и формальная правильность мысли.
- •4. Понятие как исходная форма мысли. Логические приемы образования понятий: анализ, синтез, сравнение, обобщение, абстрагирование.
- •5. Логическая структура понятия: объем и содержание. Закон обратного соотношения объема и содержания понятия.
- •6. Виды понятий: классификация по объему (количеству) и содержанию (качеству).
- •7. Сравнимость понятий и отношений между ними: виды отношений совместимости и несовместимости.
- •8. Логические операции с понятиями: обобщение и ограничение.
- •9. Логическая операция деления понятия, основные правила и типичные ошибки. Классификация как вид деления.
- •10. Логическая операция определения понятия, основные правила и типичные ошибки. Виды определений.
- •4. Эквивалентные (двойная импликация)
- •12. Простое категорическое суждение: определение, структурная характеристика (термины, связка, квантор)
- •13. Объединенная классификация простых категорических суждений по качественному и количественному признакам (типы a, I, e, o), распределённость терминов и круговые диаграммы их соотношения.
- •14. Сравнимость суждений. Отношения между типами простого категорического суждения и логический квадрат как схема, выражающая эти отношения.
- •16. Понятие формально-логического закона. Основные законы формальной логики.
- •17. Умозаключение как форма мысли: определение, структура. Понятие логического вывода и его правильности. Условия, обеспечивающие истинность заключения умозаключения.
- •18. Виды умозаключений. Индукция (полная, неполная) и дедукция. Преимущества и недостатки индуктивного и дедуктивного выводов.
- •19. Виды дедуктивных умозаключений. Непосредственные умозаключения на основе операций с простыми категорическими суждениями (обращение, превращение, противопоставление субъекту и предикату). Пример.
- •20. Виды дедуктивных умозаключений. Непосредственные умозаключения на основе свойств отношений между простыми категорическими суждениями (“умозаключения по логическому квадрату”). Пример.
- •Умозаключения по логическому квадрату можно свести в таблицу:
- •27. Доказательство, его основные виды. Основные правила доказательства.
- •28. Полное и неполное опровержение. Критика, ее виды.
- •1. Критика тезиса
16. Понятие формально-логического закона. Основные законы формальной логики.
Формально-логический закон – определённое требование к форме мысли, обеспечивающее её правильность. Отличительной чертой является то, что это тождественно-истинное суждение – такое высказывание, которое при любых значениях истинности входящих в него членов принимает значение истины.
Основные законы: тождества, противоречия, исключенного третьего и достаточного основания.
Закон тождества
Всякая мысль тождественна сама себе, а есть а (или а=а), где а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.
Закон тождества, таким образом, одно из важнейших свойств логического мышления - определенность.
Закон противоречия
Два противоположных суждения не могут быть одновременно истинными; по крайне мере одно из них необходимо ложно.
Закон противоречия можно выразит формулой: ~ (а ^ не-а) (неверно, что а и не-а одновременно истинны). Утверждая что-либо о каком-либо предмете, мы не можем, не противореча себе, отрицать то же самое о том же самом предмете, взятом в то же самое время и в том же самом отношении.
Формально-логические противоречия - это противоречия путаного, неправильного рассуждения, не являющиеся отражением жизненных, диалектических противоречий. Противоречия, существующие объективно, отражаются мышлением при помощи диалектических законов.
Закон противоречия действует в отношении противоположных (A - E) и противоречащих (A – O, E - I).
Закон исключенного третьего
Два противоречащих суждения (A – O, E - I) не могут быть одновременно ложными: одно из них необходимо истинно; другое - необходимо ложно; третье суждение исключено.
Закон исключенного третьего можно выразит формулой: а не-а (истинно или а, или не-а), где а - любое суждение, не-а - отрицание суждения а. Суждение а и его отрицание не-а соединены при помощи дизъюнкции.
Нельзя уклоняться от признания истинным одного из двух противоречащих друг другу высказывай и искать нечто третье между ними.
Закон достаточного основания
Всякая истинная мысль имеет достаточное основание.
Достаточным основанием какой либо мысли может быть любая другая, уже проверенная и признанная истинной мысль, из которой вытекает истинность другой мысли.
Выполнение требований, зафиксированных в рассмотренных законах, обеспечивает последовательность, непротиворечивость, обоснованность мышления и значимость, ценность его результатов.
17. Умозаключение как форма мысли: определение, структура. Понятие логического вывода и его правильности. Условия, обеспечивающие истинность заключения умозаключения.
Умозаключение – логическая форма, в рамках которой из одного или нескольких суждений выводится новое.
Процесс рассуждения, дающий в заключение новое знание относительно предмета рассуждения, называется логический вывод.
Все люди смертны М-Р
Сократ – человек S-М
Сократ смертен S-Р
Исходное знание содержится в первом и втором суждениях (М-Р, S-М) – это посылки умозаключения. Новое знание – в третьем (S-Р) - заключение.
Истинность заключения обусловлена тремя факторами: истинность посылок, формальная правильность связи между посылками. Содержательная связь между посылками.