Частноотрицательные суждения «некоторые S не суть Р» обозначаются буквой О (вторая гласная в слове Nego).
Таким образом, деля суждения по качеству и количеству и соединяя оба эти деления, мы получаем суждения четырех видов:
А — общеутвердительные: все S суть Р.
Е — общеотрицательные: ни одно S не есть Р.
I — частноутвердительные: некоторые S суть Р.
О— частноотрицательные: некоторые S не суть Р.
В этой классификации суждений индивидуальные суждения рассматриваются как общие суждения, т. е. соответственно как общеутвердительные (А) и общеотрицательные (Е). В индивидуальных суждениях, как и в общих, сказуемое относится ко всему объему подлежащего, состоящему только из одного предмета. Может показаться, что индивидуальные суждения сходны с частными суждениями, так как в них сказуемое относится не ко всем предметам данного рода, а лишь к одному предмету. Но это неправильно. По своей логической структуре индивидуальные суждения совпадают с общими суждениями: в индивидуальных суждениях сказуемое относится не к части объема подлежащего, как в частных суждениях, а ко всему объему подлежащего, как в общих суждениях, но этот объем состоит только из одного предмета.
Следовательно, индивидуальное утвердительное суждение, например «Н. В. Гоголь — великий русский писатель», обозначается буквой А как общеутвердительное; индивидуальное отрицательное суждение, например «Людвиг Фейербах не был материалистом в понимании общественных явлений», обозначается буквой Е как общеотрицательное.
§ 9. ДЕЛЕНИЕ СУЖДЕНИЙ ПО ХАРАКТЕРУ СВЯЗИ МЕЖДУ ПОДЛЕЖАЩИМ И СКАЗУЕМЫМ
По характеру связи между подлежащим и сказуемым суждения делятся на категорические, гипотетические и разделительные.
Категорическим суждением называется суждение, в котором связь между подлежащим и сказуемым устанавливается в безусловной форме.
«Союз Советских Социалистических Республик есть социалистическое государство рабочих и крестьян», «экономическую основу СССР составляют социалистическая система хозяйства и социалистическая собственность на орудия и средства производства», «люди — мыслящие существа», «вселенная не имеет границ» — это всё категорические суждения, потому что они устанавливают связь между подлежащим и сказуемым в безусловной форме. Категорическими суждениями могут быть как утвердительные, так и отрицательные суждения, если только утверждение или отрицание имеет категорический, т. е. безусловный, характер. Если мы что-либо безусловно утверждаем или отрицаем, мы это делаем в форме категорического суждения.
Все примеры суждений, которые до сих пор приводились в настоящей книге, относятся к категорическим суждениям.
Формула категорического суждения:
S есть Р
S не есть Р
Значение категорических суждений состоит в том, что, если они истинны, в них находит точное выражение объективная действительность; именно в форме категорических суждений мы выражаем достигнутые знания о предметах и явлениях действительности, о закономерностях природы и общества.
Гипотетическим (или, иначе, условным) суждением называется суждение, в котором связь между подлежащим, и сказуемым ставится в зависимость от какого-либо условия. Примеры гипотетического суждения: «если мы затопим печь, в комнате будет теплее», «если железо подвергнуть трению оно нагреется». Как видим, гипотетическое (условное) суждение является сложным суждением, оно состоит из двух суждений: первое суждение устанавливает условие, при котором будет правильным второе суждение. Первое суждение, устанавливающее условие, называется основанием; второе же суждение, вытекающее из первого, называется следствием. Об этом мы уже говорили, когда рассматривали закон достаточного основания (глава II, § 5).
Формула гипотетического суждения такова:
Если S есть Р, то S1 есть P1
Если А есть В, то С есть D
Гипотетические суждения являются суждениями, очень часто применяемыми и в обычной речи и в науке, во всех случаях, когда мы утверждаем или отрицаем что-либо в зависимости от какого-то обстоятельства, условия.