Категорические суждения. Объединенная классификация суждений.
Категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Т. е. это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения: "Жучка есть собака», «Студент не есть профессор» и т.п.
1) Деление суждений по качеству. По данному критерию суждения бывают:
– утвердительные – это суждения, выражающие принадлежность предмету некоторого признака (S есть Р);
– отрицательные – это суждения, выражающие отсутствие у предмета некоторого признака (S не есть Р).
2) Деление суждений по количеству. Утверждать или отрицать можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие:
– единичные – это суждения, в которых что–либо утверждается или отрицается об одном предмете (Эта картина – образец искусства). Схема: «Это S есть Р» или «Это S не есть Р»;
– частные – это суждения, в которых что–либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие» и др. Схема: «Некоторые S суть Р» и «Некоторые S не суть Р». В зависимости от значения, в котором употребляется слово «некоторые», различают два вида частных суждений:
а) неопределенные – слово «некоторые» употребляется в значении «Некоторые, а может быть, и все»;
б) определенные – слово «некоторые» употребляется в значении «только некоторые».
– общие – это суждения, в которых что–либо утверждается или отрицается обо всех предметах некоторого класса
(Все свидетели дали показания). Схема: «Все S суть Р» и «Ни одно S не есть Р». Общие суждения выражаются в предложениях, в состав которых, как правило, входят слова «все» и «ни один».
Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на:
– общеутвердительное – это суждение, общее по количеству и утвердительное по качеству ("Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)». Схема: «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения;
– общеотрицательное – это суждение, общее по количеству и отрицательное по качеству («Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)». Схема: «Ни одно S не есть Р»;
– частноутвердительное – это суждение, частное по количеству и утвердительное по качеству («Некоторые приговоры суда (S) являются обвинительными (Р)». Схема: «Некоторые S суть Р». Количество суждений характеризует кванторное слово «некоторые», качество – утвердительная связка, выраженная словом «суть;
– частноотрицательное – это суждение, частное по количеству и отрицательное по качеству («Некоторые приговоры суда (S) не являются обвинительными (Р)». Схема: «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не суть» – на его качество.
В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные – двумя гласными буквами латинского слова nego («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А – общеутвердительное, Е – общеотрицательное, I – частноутвердительное, О – частноотрицательное.
Виды доказательства.
Доказательства по форме делятся на прямые и косвенные.
Прямое доказательство идет от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.
Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства.
В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.
Билет 23