История логики

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

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

Гоббс дает несколько классификаций предложений. По качеству он делит их на положительные и отрицательные в зависимости от того, является ли предикатом положительное или отрицательное имя. По количеству он делит суждения на универсальные (общие), партикулярные (частные), неопределенные (без указания количества) и единичные. Третье деление суждений – их деление на истинные и ложные (в зависимости от того, относятся ли субъект и предикат к одной и той же вещи и содержит ли предикат в себе субъект). Далее Гоббс делит суждения на первоначальные и непервоначальные, относя к первоначальным определения, которые произвольно устанавливаются людьми и служат принципами доказательства, будучи сами недоказуемыми. Непервоначальные же суждения – выводные, нуждающиеся в доказательстве.

Затем Гоббс делит суждения на истины необходимые и случайные. Необходимые истины Гоббс понимает как вечные, случайными же истинами он считает те, которые истинны лишь в одно время, будучи ложными в другое время.

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

Раздел о предложениях в логике Гоббса заканчивается учением о равнозначащих суждениях, куда входит то, что мы называем преобразованием суждений или непосредственными умозаключениями. Сюда у Гоббса входит и учение о логическом квадрате противоположностей.

В своей теории умозаключения Гоббс признает силлогизм основным видом выводов в науках. Силлогизм он определяет как рассуждение, состоящее из трех предложений, последнее из которых вытекает из двух первых. Гоббс по Аристотелю излагает правила категорического силлогизма. Вслед за Аристотелем он различает три фигуры категорического силлогизма. Что же касается модусов четвертой фигуры, он их считает дополнительными модусами первой фигуры, как учили перипатетики после Аристотеля. Но параллельно с этим Гоббс намечает и другое понимание силлогизма в том духе, как это впоследствии было развито в математической логике.

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