Категорические высказывания (суждения).

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

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

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

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

" S есть P" и " S не есть P",

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

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

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

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

Таким образом, возможны четыре вида категорических высказываний:

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

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

А теперь перейдем непосредственно к предмету, рассматриваемому в данном реферате.