Логика

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

Для всех этих четырех видов суждений в логике приняты сокращенные обозначения.

Общеутвердительные суждения «все S суть Р» обозначаются буквой А (первая гласная латинского слова Affirmo — утверждаю).

Общеотрицательные суждения «ни одно S не есть Р» обозначаются буквой Е (первая гласная в латинском слове Nego — отрицаю).

Частноутвердительные суждения «некоторые S суть Р» обозначаются буквой I (вторая гласная в слове Affirmo).

Частноотрицательные суждения «некоторые S не суть Р» обозначаются буквой О (вторая гласная в слове Nego).

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

А — общеутвердительные: все S суть Р.

Е — общеотрицательные: ни одно S не есть Р.

I — частноутвердительные: некоторые S суть Р.

О— частноотрицательные: некоторые S не суть Р.

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

Следовательно, индивидуальное утвердительное суждение, например «Н. В. Гоголь — великий русский писатель», обозначается буквой А как общеутвердительное; индивидуальное отрицательное суждение, например «Людвиг Фейербах не был материалистом в понимании общественных явлений», обозначается буквой Е как общеотрицательное.

§ 9. ДЕЛЕНИЕ СУЖДЕНИЙ ПО ХАРАКТЕРУ СВЯЗИ МЕЖДУ ПОДЛЕЖАЩИМ И СКАЗУЕМЫМ

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

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

«Союз Советских Социалистических Республик есть социалистическое государство рабочих и крестьян», «экономическую основу СССР составляют социалистическая система хозяйства и социалистическая собственность на орудия и средства производства», «люди — мыслящие существа», «вселенная не имеет границ» — это всё категорические суждения, потому что они устанавливают связь между подлежащим и сказуемым в безусловной форме. Категорическими суждениями могут быть как утвердительные, так и отрицательные суждения, если только утверждение или отрицание имеет категорический, т. е. безусловный, характер. Если мы что-либо безусловно утверждаем или отрицаем, мы это делаем в форме категорического суждения.

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

Формула категорического суждения:

S есть Р

S не есть Р

Значение категорических суждений состоит в том, что, если они истинны, в них находит точное выражение объективная действительность; именно в форме категорических суждений мы выражаем достигнутые знания о предметах и явлениях действительности, о закономерностях природы и общества.

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

Формула гипотетического суждения такова:

Если S есть Р, то S₁ есть P₁

Если А есть В, то С есть D