- •8 Виды понятий 16
- •13 Определение 33
- •16 Виды суждений 37
- •34 Энтимемы 79
- •37 Аргументация 94
- •Раздел I. Предмет логики и ее значение
- •1Логика как наука и основные этапы ее развития
- •3Языковая форма выражения понятий
- •Раздел II. Понятие
- •2Понятие как форма мысли
- •4Объем и содержание понятия
- •5Виды признаков
- •6Закон обратного отношения между объемами и содержаниями понятий
- •7Приемы формирования понятий
- •8Виды понятий
- •9Отношения между понятиями
- •10Логические операции с понятиями
- •11Деление понятий
- •Правила деления
- •12Виды деления понятий
- •13Определение
- •14Виды определений
- •Правила определения.
- •Раздел III. Суждение
- •15Логическая структура суждения
- •16Виды суждений
- •17Простые суждения и их состав
- •18Категорические суждения
- •19Исключающие и выделяющие суждения
- •20Ограничения для суждений
- •21Семантика традиционной силлогистики
- •2. Предложение «Ни один s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •3. Предложение «Некоторый s есть р» истинно тогда и только тогда, когда s и р находятся в одном из следующих отношений:
- •4. Предложение «Некоторый s не есть р» истинно тогда и только тогда, когда классы s и р находятся в одном из следующих отношений:
- •5. Предложение «а есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №1:
- •6. Предложение «а не есть р» истинно тогда и только тогда, когда между предметом, обозначенным термином «а», и классом р существует отношение, соответствующее схеме №2:
- •22Распределенность терминов в суждениях
- •23Сложные суждения и их логическая структура
- •24Суждения ассерторические и модальные
- •25Язык логики высказываний
- •26Семантика логики высказываний
- •27Понятие логического следования
- •28Основные формально-логические законы
- •Раздел IV. Умозаключение
- •29Понятие умозаключения
- •30Дедуктивные умозаключения. Силлогистика
- •31Непосредственные умозаключения
- •Обращение
- •Превращение
- •Противопоставление
- •32Умозаключения по логическому квадрату
- •33Простой категорический силлогизм (Умозаключение из двух посылок)
- •Правила терминов:
- •Правила посылок:
- •34Энтимемы
- •35Умозаключения из сложных суждений
- •36Правдоподобные умозаключения
- •Раздел V. Теория доказательства
- •37Аргументация
- •38Состав доказательства
- •39Виды доказательства
- •40Ошибки доказательств
- •Приложение 1
- •Приложение 2
- •Приложение 3
19Исключающие и выделяющие суждения
Исключающие и выделяющие суждения следует характеризовать скорее всего не как категорические, то есть разновидность простых, а как некоторые сложные суждения.
Общевыделяющие суждения.
«Все S, и только S, суть Р»,
«Все S, но не только S, суть Р»,
«Ни одно S, и только S, не есть Р».
Например, «Все S, и только S, суть Р» означает «Все S есть Р и ни одно не-S не есть Р», то есть два простых высказывания.
Суждение
«Все млекопитающие животные и только млекопитающие являются теплокровными»
имеет смысл:
«Все млекопитающие животные суть теплокровные животные и ни одно не млекопитающее животное не является теплокровным».
Частновыделяющие суждения (вида 1, слово «только» относится к субъекту).
1) «Некоторые S, и только S, суть Р»,
2) «Некоторые S, и только S, не суть Р».
Данные высказывания эквивалентны:
«Некоторые S есть Р и Ни одно не-S не суть Р»
Например, «Некоторые кислоты и только они образуют соли» эквивалентно «Некоторые кислоты образуют соли и ни одна не кислота не образует соли».
«Некоторые S не есть Р и Все не-S есть Р»
Например, «Некоторые лодыри и только они не сдадут этот экзамен» и «Все не-лодыри сдадут его».
Частновыделяющие суждения (вида 2, слово «только» относится к кванторному слову).
1) «Только некоторые S есть Р».
2) «Только некоторые S не есть Р».
Данные высказывания эквивалентны: «Некоторые S есть Р» и «Некоторые S не есть Р». Например, «Только некоторые студенты становятся профессорами» эквивалентно «Некоторые студенты становятся профессорами и некоторые студенты не становятся профессорами».
Исключающие суждения.
1) «Все S, кроме R, суть Р» выражает сложное суждение: «Все S, которые не являются R, есть Р» и «Ни одно R не есть Р». Например, «Все спортсмены, кроме боксеров, вызывают у меня симпатию» эквивалентно «Все спортсмены не-боксеры вызывают у меня симпатию» и «Ни один боксер не вызывает у меня симпатию».
2) «Ни одно S, кроме R, не суть Р».
20Ограничения для суждений
В традиционной силлогистике8 накладываются ограничительные условия на термины категорических атрибутивных высказываний:
1. при интерпретации терминов на некотором универсуме9 они обязательно должны оказаться знаками таких свойств, которые являются непустыми, т.е. для свойства, обозначенного термином Р, в универсуме должен найтись хотя бы один предмет а, который обладает этим свойством «а есть Р» (класс Р не является пустым).
2. при интерпретации терминов не некотором универсуме они обязательно должны оказаться знаками таких свойств, которые являются неуниверсальными, т.е. для свойства, обозначенного термином Р, и найдется по крайней мере один предмет b такой, что не обладает этим свойством «b не есть Р» (класс Р не является универсальным).
Например, термины «русалка», «человек, достигший центра Земли», «Вечный двигатель» – пустые; если в качестве универсума берется класс людей, то нельзя использовать термин «разумное существо», так как класс разумных существ совпадает с классом людей (является универсальным). Поэтому, чтобы последними терминами мы могли пользоваться и могли рассматривать предложение вида «Каждый человек является разумным существом», необходимо взять более широкий универсум, чем класс людей.