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

Особый интерес к категорическим высказываниям объясняется прежде всего тем,

что с исследования их логических связей началось развитие логики как науки.

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

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

отрицается наличие какого-то признака у всех или некоторых предметов

рассматриваемого класса.

Например в высказывании "Все динозавры вымерли" всем динозаврам (или, что то

же самое, каждому из динозавров) приписывается признак "быть вымершими". В

высказывании "некоторые динозавры летали" способность летать приписывается

некоторым динозаврам. В высказывании все кометы не астероиды отрицается

наличие признака быть астероидом у каждой из комет. В высказывании "некоторые

животные не являются травоядными" отрицается травоядность некоторых животных.

Если отвлечься от количественной характеристики, содержащейся в категорическом

высказывании и выражающейся словами "все" и "некоторые", то получится два

варианта таких высказываний: утвердительный и

отрицательный. Их структура:

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

где буква S представляет имя того предмета, о котором идет речь в

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

предмету.

Предмет, о котором говорится в категорическом высказывании, называется

субъектом, а его признак – предикатом. Субъект и предикат именуются

терминами категорического высказывания и соединяются между собой

связками "есть" или "не есть" ("является" или "не является" и т.п.).

Например, в высказывании "Солнце есть звезда" терминами являются имена "Солнце"

и "звезда" (первый из них – субъект высказывания, второй – его предикат), а

слово "есть" – связка.

Простые высказывания типа "S есть P" называются атрибутивными: в

них осуществляется атрибуция (приписывание) какого-то свойства предмету.

В категорическом высказывании не просто устанавливается связь предмета и

признака, но и дается определенная характеристика субъекта высказывания. В

высказываниях типа "Все S есть P" слово "все" означает "каждый из предметов

соответствующего класса". В высказываниях типа "Некоторые S есть (не есть)

P" слово "некоторые" употребляется в не исключающем смысле и означает

"некоторые, а может быть все". В исключающем смысле слово "некоторые"

означает "только некоторые", или "некоторые, но не все".

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

Каждое из этих выражений является логической постоянной (логической

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

истолковывал рассматриваемые четыре выражения именно как логические

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

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

ложными, высказывания.

В традиционной логике предполагалось также, что имена, подставляемые вместо

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

типа "Платон – человек", "Все золотые горы – это горы" не относятся к

категорическим в традиционном смысле, поскольку "Платон" – единичное имя, а

"золотые горы" – пустое имя.

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

реферате.

Поиск по сайту: