ЛОГИКА КАТЕГОРИЧЕСКИХ ВЫСКАЗЫВАНИЙ

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

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

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

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

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

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

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

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