
- •§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. Виды суждений.
Утверждать или отрицать можно 3 вещи: существование чего-либо, отношение одного предмета к другому и принадлежность некоторого признака объекту. Отсюда:
1. Суждение существования утверждает или отрицает существование чего-либо.
Например: Существуют элементарные частицы. Нет Деда Мороза.
2. Суждение с отношением выражает отношение равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.
Например: Челябинск южнее Екатеринбурга. Лень - причина неудач.
А равно В.
Если свойства всегда принадлежат предмету, находятся в нем, то отношение разворачивается в пространстве между двумя предметами. Отношения существуют вне предмета, они связывают разное число предметов (двучленные, трехчленные,..).
3. Суждение атрибутивное - суждение, в котором утверждается или отрицается принадлежность некоторого признака предмету.
Например: «Некоторые грибы - съедобные».
Суждения существования и суждения с отношениями можно преобразовать в атрибутивные суждения.
§3. Состав и структура простого атрибутивного суждения.
В составе простого атрибутивного суждения (ПАС) можно выделить:
1. Объект суждения - то о чем высказывается суждение.
S R P
Например: Все караси являются рыбами.
Здесь объект суждения – караси ().
2. Субъект суждения - понятие об объекте суждения. Обозначается S.
В данном примере субъект суждения – «караси».
16
3. Предикат суждения - понятие о свойствах, состояниях, и других характеристиках объекта суждения. Обозначается Р.
В данном примере предикат суждения - «рыбы» («быть рыбами»).
Субъект и предикат суждения называются терминами суждения.
4. Связка - функциональный элемент суждения, который ставит субъект и предикат в определенные отношения друг к другу. Обозначается R.
В языке связка выражается словами «есть», «является».
5. Квантор - это показатель количественной меры суждения.
Обозначается .
Не всегда и не все элементы простого атрибутивного суждения выражаются в языке. Нередко опускается квантор, хотя он и подразумевается. (Человек является разумным существом.) Не всегда присутствует связка. (Человек - разумное существо.)
§4. Виды простых атрибутивных суждений.
По качеству суждения делятся на два вида:
1. Утвердительные суждения - в которых что-либо утверждается. (Караси являются рыбами.)
2. Отрицательные суждения - в которых что-либо отрицается. (Караси не являются рыбами.)
Качество суждения определяется по связке!
По количеству суждения делятся на 3 вида:
1. Единичные - суждения, в которых что-либо утверждается или отрицается об одном предмете. Субъект является единичным понятием.
Например: Лев Толстой – автор романа «Война и мир»,
2. Частные - суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Перед субъектом всегда стоит квантор частности: «некоторые», «немногие», «большинство», «часть», «существуют», «иногда», «не все», «много», «многие» и др.
3. Общие - суждения, в которых что-либо утверждается или отрицается обо всех предметах данного класса. Перед субъектом может стоять квантор общности: «все», «ни один», «каждый», «никто» и др. Однако квантор может и отсутствовать.