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

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

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

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

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

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

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

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

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

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

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