
- •Тема 1.
- •2. Предварительные сведения о логическом законе.
- •3. Понятие о формализованном языке. Семантические категории.
- •Тема 2. Понятие.
- •1. Общая характеристика понятия. Содержание и объем понятия. Виды понятий.
- •2. Отношения между понятиями.
- •3. Операции над классами.
- •4. Родо-видовые отношения. Ограничение и обобщение понятий.
- •5. Деление объема понятий.
- •6. Определение понятий.
- •Тема 3. Суждение.
- •1. Понятие о суждении. Суждение и предложение.
- •2. Типы суждений по характеру предиката.
- •3. Деление атрибутивных суждений по количеству и качеству.
- •4. Выделяющие суждения.
- •5. Распределенность терминов в атрибутивном суждении.
- •6. Отрицание суждения
- •7. Сложные суждения
- •Тема 4. Законы логики.
- •1. Понятие о логическом законе.
- •2. Закон тождества.
- •3. Закон противоречия.
- •4. Закон исключенного третьего.
- •Тема 5.
- •3. Правила выводов логики суждений.
- •4. Язык и правила выводов логики предикатов.
- •5. Выводы посредством преобразования суждений.
- •6. Простой категорический силлогизм.
- •7. Выводы из сложных суждений.
- •Тема 6. Вероятностные (правдоподобные) умозаключения.
- •1. Общая характеристика вероятностных умозаключений.
- •2. Неполная индукция.
- •3. Методы установления причинной связи между явлениями.
- •4. Ошибки в индуктивных умозаключениях.
- •5. Аналогия.
- •Тема 7. Доказательство и опровержение.
- •1. Состав доказательства и опровержения. Виды доказательств и опровержений.
- •2. Правила доказательства и опровержения и основные ошибки в доказательстве и опровержении.
- •Тема 8. Вопрос и ответ. Научная проблема.
- •Тема 9. Гипотеза.
- •Литература
Тема 3. Суждение.
1. Понятие о суждении. Суждение и предложение.
Суждение — это форма мышления, отображающая наличие или отсутствие признака у предмета (предметов) и обладающая свойством быть либо истинной, либо ложной. При этом под признаком понимается некоторое свойство предмета или его отношение к другим предметам.
Чаще всего суждение выражается повествовательным предложением. Такое повествовательное предложение называется высказыванием. Но не всякое предложение (в том числе и повествовательное) выражает суждение, а лишь такое, которое содержит либо истину, либо ложь.
2. Типы суждений по характеру предиката.
В традиционной логике установилось деление суждений по характеру предиката. В соответствии с этим делением различают суждения свойства (атрибутивные суждения), отношения (релятивные суждения) и существования (экзистенциальные суждения).
В атрибутивных суждениях указывается на свойство или состояние, присущее или не присущее некоторому предмету. Часть атрибутивного суждения, в которой отображается предмет мысли, называется субъектом, а часть, в которой отображается свойство или состояние предмета, — предикатом. Связь предмета с его свойством (состоянием) выражается с помощью связки «есть» («не есть») или словами ее заменяющими.
В релятивном суждении указывается на отношение, которое имеет место между некоторыми предметами мысли. В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные и вообще n-членные отношения. Соответственно этому выделяют суждения с двух-, трех-, и вообще n-местными предикатами.
В экзистенциальных суждениях отображается факт существования (несуществования) того или иного предмета мысли (“Туманность Андромеды существует”, “Пегас не существует”)..
Атрибутивное суждение можно представить как частный случай релятивного, т.е. как суждение с одноместным предикатом. Такой предикат выступает в качестве одноместного функтора, способного порождать суждения при аргументах-именах.
3. Деление атрибутивных суждений по количеству и качеству.
По качеству атрибутивные суждения делятся на утвердительные и отрицательные — в зависимости от характера связки, указывающей на наличие или отсутствие связи свойства или состояния с предметом мысли.
По количеству атрибутивные суждения делятся на единичные, частные и общие — в зависимости от того, утверждается (отрицается) что-либо в суждениях об одном предмете, о части предметов или о всех предметах некоторого класса.
Суждения, одновременно общие по количеству и утвердительные по качеству, называются общеутвердительными (А), общие по количеству и отрицательные по качеству — общеотрицательными (E), частные по количеству и утвердительные по качеству — частноутвердительными (I), частные по количеству и отрицательные по качеству — частноотрицательными (O).
4. Выделяющие суждения.
Суждение, в котором идет речь о признаке, принадлежащем (или не принадлежащем) только предмету мысли и не принадлежащем (принадлежащем) другим предметам, называется выделяющим. Например: “Только студенты исторического факультета изучают археологию”; “Только некоторые параллелограммы — квадраты”. Всякое выделяющее суждение можно разложить на два суждения. При этом в одном из них наличие какого-либо признака у предмета утверждается, а во втором — отрицается. Так, суждение “Только некоторые параллелограммы — квадраты” является синтезом суждений “Некоторые параллелограммы являются квадратами” и “Некоторые параллелограммы не являются квадратами”.