Категорические высказывания. Деления высказываний на качественные и количественные.

КАТЕГОРИЧЕСКИЕ  ВЫСКАЗЫВАНИЯ

 

 

 

 Категорическое  высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса. 

 

 

При рассмотрении способов образования сложных высказываний из простых внутреннее строение простых высказываний во внимание не принималось. Они брались как неразложимые атомы, обладающие только одним свойством: быть истинными или ложными. Простые высказывания не случайно иногда именуются атомарными: из них, как из элементарных кирпичиков, с помощью логических связок «и», «или» и т.п. строятся разнообразные сложные («молекулярные») высказывания.

Теперь следует  остановиться на вопросе о внутреннем строении, или внутренней структуре, самих простых высказываний: из каких конкретных частей они слагаются и как эти части связаны между собой.

Сразу же нужно  подчеркнуть, что простые высказывания могут разлагаться на составные  части по-разному. Результат разложения зависит от цели, ради которой оно  осуществляется, т.е. от той теории логического вывода (логического следования), в рамках которой анализируются такие высказывания.

Далее будет  рассматриваться лишь одна разновидность  простых высказываний – категорические высказывания, по традиции называемые также категорическими суждениями.

Особый интерес  к категорическим высказываниям  объясняется прежде всего тем, что  с исследования их логических связей началось развитие логики как науки. Кроме того, высказывания этого типа широко используются в наших рассуждениях.

Например, в высказывании «Все динозавры вымерли» всем динозаврам (или, что то же самое, каждому из динозавров) приписывается признак «быть вымершими». В высказывании «Некоторые динозавры летали» способность летать приписывается некоторым динозаврам. В высказывании «Все кометы не астероиды» отрицается наличие признака «быть астероидом» у каждой из комет. В высказывании «Некоторые животные не являются травоядными» отрицается травоядность некоторых животных. 

 

Если отвлечься  от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами «все» и «некоторые», то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура: 

 

«S есть Р» и «S не есть Р», 

 

где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква Р – имя признака, присущего или не присущего этому предмету.

Имя предмета, о  котором говорится в категорическом высказывании, называется субъектом, а имя его признака – предикатом. Субъект и предикат именуются терминамикатегорического высказывания и соединяются между собой связками «есть» или «не есть» («является» или «не является» и т.п.). 

 

Например, в  высказывании «Солнце есть звезда»  терминами являются имена «Солнце» и «звезда» (первый из них – субъект высказывания, второй – его предикат), а слово «есть» –связка.  

 

Простые высказывания типа «S есть (не есть) Р» называются атрибутивными: в них осуществляется атрибуция (приписывание) какого-то свойства предмету.

Атрибутивным  высказываниям противостоят высказывания об отношениях, в которых устанавливаются отношения между двумя или большим числом предметов: «Три меньше пяти», «Клев больше Одессы», «Весна лучше осени», «Париж находится между Москвой и Нью-Йорком» и т.п. Высказывания об отношениях играют существенную роль в науке, особенно в математике. Они не сводятся к категорическим высказываниям, поскольку отношения между несколькими предметами (такие, как «равно», «любит», «теплее», «находится между» и т.д.) не сводятся к свойствам отдельных предметов.

В категорическом высказывании не просто устанавливается связь предмета и признака, но и дается определенная количественная характеристика субъекта высказывания. В высказываниях типа «Все S есть (не есть) Р» слово «все» означает «каждый из предметов соответствующего класса». В высказываниях типа «Некоторые S есть (не есть) Р» слово «некоторые» употребляется в неисключающем смысле и означает «некоторые, а может быть, все». В исключающем смысле слово «некоторые» означает «только некоторые», или «некоторые, но не все». Различие между двумя смыслами этого слова можно продемонстрировать на примере высказывания «Некоторые звезды есть звезды». В неисключающем смысле оно означает «Некоторые, а возможно, и все звезды есть звезды» и является, очевидно, истинным. В исключающем же смысле данное высказывание означает «Лишь некоторые звезды являются звездами» и является явно ложным.

В категорических высказываниях утверждается или  отрицается принадлежность каких-то признаков  рассматриваемым предметам и  указывается, идет ли речь обо всех этих предметах или же о некоторых из них. Возможны, таким образом, четыре вида категорических высказываний: 

 

Все S есть Р – общеутвердительное высказывание,

Некоторые S есть Р – частноутвердительное высказывание,

Все S не есть Р – общеотрицательное высказывание,

Некоторые S не есть Р – частноотрицательное высказывание. 

 

Категорические  высказывания можно рассматривать  как результаты подстановки каких-то имен в следующие выражения с  «пробелами» (многоточиями): «Все... есть...», «Некоторые ... есть...», «Все ... не есть ...» и «Некоторые ... не есть ...». Каждое из этих выражений является логической постоянной (логической операцией), позволяющей из двух имен получить высказывание. Например, подставляя вместо многоточий имена «летающие» и «птицы», получаем, соответственно, следующие высказывания: «Все летающие есть птицы», «Некоторые летающие есть птицы», «Все летающие не есть птицы» и «Некоторые летающие не есть птицы». Первое и третье высказывания являются ложными, а второе и четвертое –истинными.

Аристотель  истолковывал рассматриваемые четыре выражения именно как логические постоянные, не имеющие самостоятельного содержания и позволяющие из двух обладающих содержанием имен получать содержательные, являющиеся истинными или ложными высказывания.

В традиционной логике предполагалось также, что имена, подставляемые вместо многоточий (или переменных, если они используются вместо многоточий), не должны быть единичными или пустыми. Иначе говоря, высказывания типа «Платон – человек», «Все золотые горы – это горы» не относятся к категорическим в традиционном смысле, поскольку «Платон» – единичное имя, а «золотые горы» – пустое имя.

Обозначим оборот «Все ... есть ...» буквой а, оборот «Некоторые ... есть...» буквой i (первые гласные буквы латинского слова affirmo – утверждаю), оборот «Все ... не есть ...» буквой е и оборот «Некоторые ... не есть...» буквой о (гласные буквы латинского слова nego – отрицаю).  

 

SaP – «Все S есть Р» – «Все жидкости упруги»,

SiP – «Некоторые S есть Р» – «Некоторые животные говорят»,

SeP – «Все S не есть Р» – «Все дельфины не есть рыбы»,

SoP – «Некоторые S не есть Р» – «Некоторые металлы не есть жидкости». 

 

Отношения между терминами  в четырех видах категорических высказываний представляются с помощью  кругов Эйлера следующим образом: 

 

 

 

 

Деление суждений по качеству и количеству.

 
Все суждения можно разделить  на две большие группы: простые  и сложные. Простым называется суждение, выражающее связь двух понятий: например, "Некоторые вулканы действуют".  
Суждение, состоящее из нескольких простых суждений, называется сложным: например, "Прозрачный лес один чернеет, и ель сквозь иней зеленеет, и речка подо льдом блестит".  
 
В соответствии с функциями логических связок сложные суждения делятся на следующие виды.  
Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".  
Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".  
Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения".  
Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.  
Условные суждения (импликативные)- это такие суждения, которые образованы из двух посредством логических союзов: "если...то", "там...где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.  
Таковы основные виды суждений. Овладение навыками их логического анализа является эффективным средством точного использования своих мыслей, а также предложений.

 

В зависимости от того, что  утверждается или отрицается в суждениях, — принадлежность признака предмету, отношение между предметами или факт существования предмета,— они делятся на 1) атрибутивные суждения, 2) суждения с отношениями и 3) суждения существования (экзистенциальные). 
1. Атрибутивным (от латинского attributio — «свойство», «признак») называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Например: «Сроки аренды определяются договором», «Никто из судей не вправе воздержаться от голосования». 
Атрибутивные суждения называют также категорическими (от греческого rategorikos — «ясный», «безусловный», «не допускающий иных толкований»). 
Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р - предикат суждения, «—» — связка. 
Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом. 
Субъект и предикат называются терминами суждения. Каждый из них играет особую познавательную роль. Субъект суждения отражает то, о чем мы судим, т.е. предмет суждения. Он содержит исходное знание. В предикате отражается признак предмета, то, что говорится о предмете суждения; он содержит новое знание о нем. Например, в суждении «Россия (S) — суверенное государство (Р)» знание о России выражено в предикате, раскрывающем один из ее признаков. Поэтому основную смысловую нагрузку несет предикат. 
Субъект и предикат образуют суждение посредством связки. Устанавливая принадлежность или не принадлежность признака предмету, связка объединяет термины суждения в единое целое. Благодаря этой функции связка является необходимым элементом суждения. 
Рассмотренные до сих пор примеры атрибутивных суждений включали в свой состав субъект, отражающий один предмет или класс предметов. Однако в рассуждениях иногда используются суждения, предикат которых относится не к одному, а к нескольким субъектам, например: «Права авторов, рационализаторов и изобретателей охраняются государством». Это суждение является сложным, состоящим из трех простых: «Права авторов охраняются государством»; «Права рационализаторов охраняются государством»; 
«Права изобретателей охраняются государством» (S есть Р; S есть Р; S есть Р). Но так как все три суждения имеют один и тот же предикат, оно может рассматриваться как простое со сложным субъектом: 
есть P

 
В традиционной логике все  три указанных вида суждений представляют собой простые категорические суждения. По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждения «Некоторые учителя являются талантливыми воспитателями» и «Все ежи колючие» утвердительные. Суждения «Некоторые книги не являются букинистическими» и «Ни один кролик не является хищным животным» отрицательные. Связка «есть» в утвердительном суждении отражает присущность предмету (предметам) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуди некоторое свойство. 
Некоторые логики считали, что в отрицательных суждениях нет отражения действительности. На самом деле отсутствие определенных признаков также представляет собой действительный признак, имеющий объективную значимость. В отрицательном истинно суждении наша мысль разъединяет (разделяет) то, что находите разделенным в объективном мире. 
В познании утвердительное суждение имеет в общем случае большее значение, чем отрицательное, ибо важнее раскрыть, каким признаком обладает предмет, чем то, каким он не обладает, так как любой предмет не обладает очень многими свойствами (напр.) мер, дельфин не рыба, не насекомое, не растение, не пресмыкающееся и т. д.). 
В зависимости от того, обо всем ли классе предметов, о частости этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Например: «Все соболи - ценные пушные звери» и «Все здравомыслящие люди хотят долгой счастливой и полезной жизни» (П. Брэгг) — общие суждения «Некоторые животные — водоплавающие» — частное; «Везувий - действующий вулкан» — единичное.