- •§2. Виды доказательств.
- •§3. Правила доказательного рассуждения.
- •2. Правила для аргументов.
- •§2. Понятие формальной логики.
- •§3. Значение логики.
- •Логика и язык (мышление и язык).
- •§1. Общее понятие языка.
- •Логические основы теории аргументации
- •§1. Общая характеристика доказательства.
- •Неполная индукция
- •§2. Естественные и искусственные языки.
- •§3. Искусственный язык логики как науки.
- •Пример: а Челябинск (имя единичного предмета)
- •Понятие как форма мышления.
- •§1. Признаки и их виды.
- •Полная индукция
- •§6. Сокращенный силлогизм (энтимема).
- •§7. Индуктивные умозаключения.
- •§2. Общая характеристика понятия.
- •§3. Содержание и объем понятия.
- •§4. Язык круговых диаграмм.
- •§5. Закон обратного отношения между содержанием и объемом понятия.
- •2. Условно-категорическое умозаключение.
- •3. Разделительно-категорическое умозаключение.
- •4. Условно-разделительное умозаключение.
- •§5. Выводы из сложных суждений.
- •1. Чисто условное умозаключение.
- •§6. Отношение понятий по объему.
- •§7. Операции над объемами понятий.
- •2. Обращение.
- •§4. Простой категорический силлогизм.
- •§3. Непосредственные умозаключения.
- •1. Превращение.
- •§8. Деление объемов понятия.
- •3. Закон исключенного третьего.
- •4. Закон достаточного основания.
- •Умозаключение как форма мышления
- •§1. Общая характеристика умозаключения.
- •§2. Виды умозаключений.
- •Основные формально-логические законы
- •1. Закон тождества.
- •2. Закон непротиворечия.
- •§9. Определение понятий.
- •Явные определения
- •Неявные определения
- •§10. Табличное определение истинности сложных суждений.
- •§10. Виды понятий.
- •Суждение как форма мышления
- •§1. Общая характеристика суждения.
- •§9. Сложные суждения и их виды.
- •§7. Распределенность терминов в пас.
- •§8. Отношение пас по истинности.
- •§2. Виды суждений.
- •§3. Состав и структура простого атрибутивного суждения.
- •§4. Виды простых атрибутивных суждений.
- •§5. Объединенная классификация суждений по количеству и качеству.
- •§6. Отношение терминов суждения по объему.
- •I: Некоторые s есть р Iв s-
2. Закон непротиворечия.
Два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно.
Этот закон действует в том случае, если речь идет об одном и том же предмете, об одном и том же признаке, об одном и том же времени и месте. Иначе говоря, утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1)то же самое (2)о том же самом предмете, (3)взятом в то же самое время и (4)в том же самом отношении.
Закон непротиворечия запрещает логическое противоречие, потому что при его нарушении утрачивается четкое различение истинности и ложности. Логическое противоречие может обосновать что угодно, но при этом не обеспечивается достижение истины. Закон непротиворечия помогает обнаружить и устранить противоречия в рассуждениях, вырабатывает критическое отношение ко всякого рода неточности, непоследовательно-
11
4. Исключения членов деления. Это правило вытекает из предыдущего. Если выбрано не одно основание, то члены деления - видовые понятия - будут находится в отношении частичного совпадения, как в приведенном выше примере. Например, преступления делятся на умышленные, неосторожные и хозяйственные.
Особым видом деления является классификация - распределение множества на некоторые подмножества по строго фиксированному признаку. 2 вида классификаций: существенная (научная) и вспомогательная. В существенной классификации за основание деления взят существенный признак. Такая классификация позволяет не только распределить множество элементов делимого понятия на подмножества, но и предвидеть появление новых, пока неизвестных подмножеств. Пример - Периодическая система Менделеева. Вспомогательная классификация делит объем понятия по несущественному признаку. Например, распределение в классном журнале фамилий учащихся в алфавитном порядке.
§9. Определение понятий.
Определение (дефиниция) - логическая операция, раскрывающая содержание понятия. Понятие, содержание которого надо раскрыть, называется определяемым понятием (definiendum) - сокращенно Dfd. Понятие, с помощью которого раскрывается содержание определяемого понятия, называется определяющим (definiens) - Dfn.
Определения делятся на реальные и номинальные.
Реальное определение раскрывает общие, основные и отличительные признаки, обращаясь к рассмотрению самих объектов. Например, «Правильная дробь - это дробь, числитель которой меньше знаменателя» (реальное определение). Номинальное определение обращено не к объектам, а к языковым выражениям, раскрывающим смысл и значение термина. Например, «Правильной дробью называется простая дробь, числитель которой меньше знаменателя» (номинальное определение). Различия между этими определениями являются лишь формальными. Любое реальное определение может быть преобразовано в номинальное и наоборот.
Реальные определения делятся на прямые (явные) и косвенные (неявные).
Явные определения
В прямом (явном) определении даны определяемое понятие и определяющее, объемы которых равны. В прямом определении признаки, входящие в содержание понятия фиксируются специально и прямо. Прямые определения имеют разную форму:
1. Родовидовое определение. Это определение через ближайший род и видовое отличие. Сначала определяемое понятие подводится под более широкое родовое понятие, а затем фиксируются видовые отличительные признаки. Например, определение: «Человек - это разумное существо».
А Человек - определяемое понятие.
В существо - родовое определяющее понятие
с разумный - видовой отличительный признак А
А Вс
12
2. Генетическое определение - разновидность родовидового. Это такое определение, в котором содержание определяемого понятия раскрывается путем указания на происхождение, способ возникновения данного предмета или способа его построения.
Например: «Шар - это геометрическое место точек, которое образуется вращением круга вокруг одного из своих диаметров».
Определение считается правильным, если выполняются следующие правила явного определения:
1.Соразмерности:Dfd и Dfn должны быть равны по объему, то есть должны быть равнозначными понятиями.
При нарушении этого правила возможны следующие ошибки:
а) широкое определение, когда V Dfd V Dfn.
Например: «Логика - это наука».
б) узкое определение, когда V Dfd V Dfn.
Например: «Логика - это наука о формах и законах правильного научного мышления».
в) в одном отношении широкое, в другом - узкое.
Например: «Бочка - сосуд для хранения жидкостей».
2. Ясности и четкости: не должно быть метафор, двусмысленностей, сравнений, гипербол и т.п.; а также должны быть известны значения всех терминов, образующих определяющее понятие.
Примеры нарушения этого правила: «Архитектура - застывшая музыка»; «Лев - царь зверей»; «Верблюд - корабль пустыни».
3. Непрерывности: в родовидовом определении определяемое понятие необходимо подводить под ближайшее родовое понятие. В противном случае возникает потребность подведения под ближайший род каждого из использованных родовых понятий.
4. Нетавтологичности: понятие не должно определятся через самого себя. Нарушение этого правила называется тавтологией. Внешним признаком тавтологии является наличие в Dfn слова, однокоренного с Dfd.
Пример нарушения этого правила: «Халатность заключается в том, что человек халатно относится к своим обязанностям».
5. Неотрицательности: определение должно утверждать, а не отрицать отличительные признаки. Это правило желательного характера. Нельзя всегда обходится без отрицаний. Просто по мере возможности следует избегать отрицаний. Пример нарушения: «Сравнение - не доказательство».