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