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

      Обильным источником заблуждений являются идолы театра. Это – ложные мнения, основанные на вере в авторитеты, в частности, сюда относятся учения различных философских школ. Все прежние философские школы, всю историю философии Бэкон уподобляет театру, где перед зрителями разыгрываются различные вымышленные истории. Все философские системы до сих пор изображали не действительный мир, а мнимый. Их содержание – лживые вымыслы.
      Итак, для торжества подлинной науки, по учению Бэкона, нужно ниспровергнуть все авторитеты, разбить кумиры, которым человечество ранее поклонялось, отвергнуть всевозможные идолы, державшие в плену человеческую мысль, покончить с иллюзиями. Нужно вымести весь этот сор, чтобы очистить место для науки, свободной от всяких предвзятых взглядов и необоснованных мнений. Бэкон призывает расстаться с прошлым и начать строить все заново. Но при этом он считает необходимым, чтобы познающий ум не был предоставлен самому себе, но был заранее вооружен научным методом. Подобно тому как если бы люди в своей трудовой деятельности работали голыми руками без помощи орудий, они достигли бы ничтожных результатов, точно так же они достигли бы небольших результатов в науке, если бы в своих научных исследованиях не руководствовались бы правильным научным методом.
      По Бэкону, задача логики заключается в разработке научного метода, указывающего правильный путь открытия истины. В его понимании логика должна стать логикой научных открытий и изобретений, служить инструментом для этой цели; при помощи его научные открытия будут производиться систематически и даже механически, с легкостью, без больших умственных усилий.
      Преувеличивая роль метода, Бэкон недооценивает роль творческой изобретательности и личного дарования в научной деятельности. Для него все дело – в знании метода. Главное для развития наук, по его мнению, заключается в создании научного метода. Таким методом, по Бэкону, является индукция. Наука должна исходить от чувственных данных и от единичных фактов. Но часто ученые от этих единичных фактов сразу взлетают к самым общим положениям и из этих высших положений выводят средние. Этот путь ошибочен. Исходя от единичных фактов, следует восходить к обобщениям постепенно, шаг за шагом, без скачков. Лишь постепенно поднимаясь по лестнице со ступеньки на ступеньку, мы в конце концов достигаем надежных общих принципов.
      Истинный научный метод, по Бэкону, исходит от единичных случаев, от них мы переходим к самым низшим обобщениям, затем к средним обобщениям и, наконец, от них к самым высшим всеобщим положениям. Самыми важными и самыми ценными в науке, по мнению Бэкона, являются средние положения, во-первых, потому что они имеют наибольшее практическое значение для жизни людей, для их счастья, а во-вторых, потому что на средних положениях основываются и высшие принципы науки – самые широкие обобщения. Последние, по сравнению со средними положениями, являются бессодержательными.
      Согласно логике Бэкона, сначала наблюдениями и экспериментами должно установить факты, а затем путем индукции от познания фактов переходить к познанию общих законов. Все общие положения, получаемые посредством обобщения фактов, Бэкон называет «аксиомами». Так, в 104-м афоризме «Нового Органона» он говорит об аксиомах самых общих (axiomata generalissima), которые называются принципами, об аксиомах средних и низших (axiomata media и axiomata minora) и, наконец, об аксиомах самых низших (axiomata infima), которые, как он говорит, незначительно отличаются от голого опыта (experientia unda).
      Должно сказать, что у Аристотеля слово «аксиома» ([FIXME]), даже поскольку оно берется в логическом смысле, употребляется в трех значениях: 1) оно означает первые принципы отдельной науки (значение, которое термин «аксиома» имеет у математиков) ; 2) в специальном техническом смысле как последние принципы всякого знания (таков, например, у Аристотеля закон противоречия, 3) аксиомой иногда у Аристотеля называется всякое суждение (предложение).
      Дело в том, что греческое слово «аксиома» происходит от глагола [FIXME], что значит «признавать» или «принимать что-либо за истинное», и по своему первоначальному смыслу слово «аксиома» означает любое предложение или суждение, принимаемое за истину, а затем в науках и философии аксиомой стали называть то, что самоочевидно и не требует никакого доказательства. Термин «аксиома» означал любое суждение у стоиков, у Цицерона, Плутарха, Диогена Лаэрция, Геллия, Галена. Также у Рамуса и его последователей аксиомой называлось всякое предложение или суждение. В отличие от рамистов у Бэкона аксиомой называется всякое общее суждение, тогда как рамисты и частные суждения называли аксиомами.
      По учению Бэкона, после установления фактов наука должна перейти к установлению аксиом, т. е. общих положений, именно к обобщению данных опыта путем истинной индукции. Бэкон критикует индукцию Аристотеля и схоластиков, называя ее «индукцией через простое перечисление». Существенным ее недостатком Бэкон считал то, что в ней исключительное внимание уделялось положительным инстанциям, т. е. перечислению случаев, подтверждающих выводимое общее положение (аксиому), но не уделялось должного внимания поискам отрицательных инстанций. Между тем одна отрицательная инстанция опровергает общее положение, хотя множество случаев могло быть приведено для его подтверждения.
      Аристотелевской индукции через простое перечисление (per enumerationem simplisem) Бэкон противопоставляет свою истинную индукцию через исключение (per rejectionem). Сущность истинной индукции, по учению Бэкона, заключается в том, что посредством самого тщательного сравнения максимального множества фактических данных, относящихся к изучаемому явлению, познаются несущественные условия изучаемых явлений и они исключаются, так что в результате этой логической операции остаются лишь существенные условия.
      Таким образом, истинная индукция состоит в исключении всего несущественного, в отбрасывании всего того, что отсутствует при отсутствии изучаемого качества. Необходимо накопить в возможно большей полноте материал и составить таблицы: 1) таблицу присутствия, охватывающую все случаи, в которых изучаемое свойство имеется налицо; 2) таблицу отсутствия, когда данное свойство отсутствует (разумеется, невозможно привести все бесчисленные случаи отсутствия данного свойства, достаточно ограничиться лишь указанием случаев, весьма сходных с теми, в которых исследуемое свойство присутствует), и 3) таблицу степеней или сравнения, охватывающую случаи, в которых изучаемое свойство присутствует в различной степени.
      Составление таких таблиц Бэкон считает необходимым предварительным условием для применения индукции.
      На основе материала, представленного в этих таблицах, отыскивается, какое свойство всегда сосуществует с исследуемым свойством и всегда отсутствует, когда отсутствует исследуемое свойство, а также вместе с последним увеличивается и уменьшается. Вместе с тем это искомое свойство должно представлять собой определенное видоизменение общего свойства тел, именно величины и формы образующих тело мельчайших его частиц, их расположения и движения. Это и будет истинная основная причина изучаемого свойства. Ее Бэкон называет «субстанциальной формой», заимствуя этот термин у схоластиков.
      Таким образом, задачей индукции Бэкон считает отыскание субстанциальных форм вещей, под которыми он понимает сущность вещей и явлений, внутреннюю причину свойств вещей.
      Понятие «формы» у Бэкона страдает неясностью. С одной стороны, он признает формы материальными, считая их не чем иным, как сочетанием мельчайших материальных частиц, движущихся по чисто механическим законам. С другой стороны, он говорит о душе как «о форме форм», и его учение о формах смыкается со схоластическими представлениями. Форма вещи у Бэкона есть подлинная природа вещи, как она есть в действительности, в отличие от того, какой вещь нам является. Но в понимании форм как сущности вещей у Бэкона основная материалистическая линия сочетается со схоластически-идеалистическими наслоениями.
      В своем учении о формах вещей Бэкон возрождает атомистику Демокрита. Из всех предшествовавших ему философов он выше всего ставит Демокрита. Он хвалит Демокрита за то, что он занимался анализом самой природы, ее расчленением и анатомизированием (dissectio atque anatomia mundi). Он видит в Демокрите основоположника той философии, которая требует изучения сложных вещей и явлений путем их расчленения, разложения на простейшие части.
      То новое, что дает Бэкон в своей теории индукции, сводится в основном к двум положениям. Во-первых, желая устранить случайный характер выводов, получаемых по индукции, он рекомендует систематически собирать факты и составлять таблицы, стремясь к возможной полноте обзора фактов. Во-вторых, он требует, чтобы главное внимание было обращено на отрицательные инстанции, ибо, как бы много положительных фактов ни было собрано для защиты какого-либо общего положения, достаточно одного отрицательного примера, чтобы это общее положение было опровергнуто.
      Бэкон подчеркивает особо важное значение отрицательных инстанций. Надо их отыскивать, идти им навстречу. Единственный надежный путь опытного знания, по Бэкону, лежит через отрицательные инстанции. Именно возможность отрицательных инстанций и делает опытное знание делом сложным и трудным. Бэкон говорит, что одним из могущественных «идолов человеческого рода» является склонность людей видеть в природе больше порядка, чем в ней есть. И в силу этого человеческий ум вообще более подчиняется влиянию положительных инстанций, нежели отрицательных.
      Самому Бэкону была ясна недостаточность его индуктивного метода и те трудности, с какими было сопряжено его применение. В самом деле, для составления таблиц по методу Бэкона необходимо собрать чрезвычайно обширный материал, и притом никогда не может быть гарантии, что мы исчерпали все возможные случаи.
      Таким образом, процесс бэконовской индукции чрезвычайно длительный, не дающий вполне надежных результатов. Поэтому у Бэкона возникла мысль о дальнейшем усовершенствовании его истинной индукции и он пришел к «идее прерогативных инстанций». Это – важнейшее открытие, которым Бэкон обогатил науку логики. Он ставит вопрос, нельзя ли процесс истинной индукции сократить и при этом получить выводы не менее, а еще более надежные. Бэкон делает открытие, что бывают случаи прерогативные, имеющие то преимущество, что в них исследуемое явление выступает в столь чистом и несмешанном виде, что представляется возможность быстро и легко различить случайное от существенного. Прерогативные инстанции дают возможность применить ускоренную индукцию, поскольку в этом случае отпадает необходимость составлять громоздкие таблицы и исходить из сравнения представленных в них многочисленных случаев. Немногочисленные Прерогативные инстанции вполне достаточны для надежного вывода.
      Бэкон насчитывает 27 видов прерогативных инстанций. Перечисление их носит несистематический, беспорядочный характер, и приводимые прерогативные инстанции неравноценны. Среди них много таких, которые вовсе не могут претендовать на признание их прерогативными. Вместе с тем в даваемом Бэконом перечне прерогативных инстанций имеются весьма ценные.
      Наибольшее значение имеют следующие бэконовские прерогативные инстанции: единичные (instantiae solitariae), переходящие (instantiae migrantes) и инстанции креста (instantiae crucis). Единичные инстанции, по учению Бэкона, бывают двух видов: во-первых, сюда относятся предметы, сходные между собой только в исследуемом свойстве и не имеющие никаких других общих свойств за исключением исследуемого, и, во-вторых, предметы, которые, наоборот, подобны другим предметам во всем за исключением исследуемого свойства.
      Таким образом, бэконовские единичные прерогативные инстанции предвосхищают миллевские методы единственного сходства и единственного различия. Переходящие инстанции мы имеем тогда, когда исследуемое свойство то возникает, то исчезает, ослабевает и усиливается. Этот вид прерогативных инстанций предвосхищает миллевский метод сопутствующих изменений. Инстанциями креста Бэкон называет такие случаи, когда исследователь стоит как бы на перекрестке двух дорог и ему предстоит сделать выбор, по какой же из них пойти. Инстанция креста – это такой опыт, который имеет решающее значение для принятия одного из альтернативных положений и отбрасывания другого. Решение вопроса в этом случае зависит от постановки надлежащего эксперимента (experimentum crucis). Бэкон приводит ряд примеров подобного эксперимента.
      Сам Бэкон пытался на практике применить свой метод истинной индукции и избрал предметом своего исследования явления тепла и холода. Он пришел к выводу, что «формой» (причиной) теплоты является вибрирующее движение мельчайших частиц материи и это движение передается от одних тел (более теплых) другим (менее теплым). Желая экспериментально изучить, каким образом холод действует на органическое тело, Бэкон стал набивать снегом куриц, простудился и умер.
      Увлекаясь экспериментами, Бэкон не обладал таким дарованием экспериментатора, как Галилей и Декарт, и не обогатил естествознание никакими открытиями. Он верил во всемогущество научного метода, полагая, что его метод «мало предоставляет проницательности и силе ума», что этот метод почти уравнивает умы и способности, потому что он устанавливает подробно разработанные правила, которые остается только методически применять.
      Бэкон считал, что его метод дает человеческому уму как бы циркуль и линейку, при помощи которых самая неопытная рука может чертить без труда круги и прямые линии. В данном вопросе его взгляд совпадает со взглядом Декарта, который утверждал, что естественный свет разума одинаков у всех людей, превосходство же в научном исследовании одних перед другими заключается в том, что те, которые руководствуются знанием правильных логических приемов, лучше управляют своим разумом в деле открытия новых истин. Оба они – и Бэкон и Декарт – одинаково понимают логику как науку о научном методе, применение которого ведет к открытию новых истин.
      Выдающееся место Бэкона в истории логики прежде всего определяется тем, что его логика построена на материалистической основе. Характеризуя философские воззрения Бэкона, Маркс назвал его родоначальником английского материализма, но при этом отмечал, что его учение кишит теологическими непоследовательностями. Материализм Бэкона был метафизическим, но еще не стал, как у Гоббса, механистическим. Об этом К. Маркс пишет: «У Бэкона, как первого своего творца, материализм таит еще в себе в наивной форме зародыши всестороннего развития. Материя улыбается своим поэтически чувственным блеском всему человеку» . Поэтому в философии и логике Бэкона качество не сводится к количеству как у представителей механистического материализма. Но у него это проводится в ущерб значению математики в познании природы.
      Идея опытного естествознания у Бэкона не поднимается до идеи математического естествознания. Он даже склонен был относиться отрицательно к применению математических методов в физике, считая, что, поскольку физика имеет дело с качествами, а математика с количеством, ошибочно подходить к физическим явлениям с математическими формулами.
      В разработке теории индукции Бэкону принадлежит огромная заслуга: он возродил и развил дальше демокритовско-эпикурейскую теорию индукции, однако он не создал законченной теории научной индукции, заложив лишь ее фундамент. Заслугой Бэкона была борьба за свободу науки, за ее независимость от религии и теологии, от авторитетов всякого рода. Бэкон резко критиковал как догматиков, которые считали, что уже все исследовано и остается лишь обращаться к авторитетам, так и агностиков, отрицавших всякую возможность познания. Бэкон убежден в том, что человек способен познать объективную истину, причем он считает, что подлинная наука в его время делает лишь свои первые шаги. Ему не чужда идея развития науки.
      Младший современник и друг Франциска Бэкона Томас Гоббс продолжал линию Бэкона в английской философии и создал систему материалистически-механической философии. Называя Гоббса систематизатором бэконовского материализма, Маркс и Энгельс вместе с тем отмечали, что в учении Гоббса совершилось дальнейшее развитие материализма в направлении к одностороннему механическому мировоззрению. Как указывали Маркс и Энгельс, в философии Гоббса «чувственность теряет свои яркие краски и превращается в абстрактную чувственность геометра. Физическое движение приносится в жертву механическому или математическому движению; геометрия провозглашается главной наукой» .
      Но если таким образом материализм Гоббса стал односторонним, лишен того красочного многообразия, какое было у материализма Бэкона, и носит чисто рассудочный характер, зато, как отмечают К. Маркс и Ф. Энгельс, материализм «с беспощадной последовательностью развивает все выводы рассудка» , в частности уничтожает «теистические предрассудки бэконовского материализма» .
      Если Бэкон развил дальше демокритовско-эпикурейскую логику, то Гоббс возродил и развил номиналистическую логику стоиков.
      Отметим вкратце основные пункты сходства и различия между воззрениями Гоббса и Бэкона.
      Что касается отношения к религии, то материалистическая философия Гоббса, как отметил К. Маркс, последовательнее учения Бэкона, она отрицает существование бога, Гоббс говорит, что люди выдумали богов вследствие незнания истинных причин явлений природы. Он объявляет религиозные представления антинаучными и абсурдными. Но это только в теории. А на практике Гоббс требует от каждого гражданина признавать господствующую государственную религию, верить в ее догматы, относясь к ним так, как к пилюлям, прописанным врачом: глотать их, не разжевывая (ибо если станешь их разжевывать, то узнаешь их подлинный вкус – их нелепость). Такое странное отношение к религии у Гоббса объясняется тем, что его материализм, как и материализм Бэкона и вообще английских мыслителей XVII в., квалифицируется классиками марксизма как «аристократический» (по выражению Энгельса).
      Если в своих воззрениях на материю Фр. Бэкон примыкал к атомистике Демокрита, то, по Гоббсу, частицы, из которых состоит материя, не следует мыслить неделимыми. Гоббс отвергает аристотелевскую первоматерию, лишенную всякой формы. Он отрицает и пустое пространство, так как, по его учению, всякое бытие есть тело, Гоббс объявляет несостоятельным общее понятие материи, считая его абстракцией, которой не соответствует ничто в объективной реальности: реально существуют только отдельные конкретные единичные тела. Объективно телам присущи только два свойства: протяженность и движение. Поэтому основными науками являются геометрия и механика.
      Все, что происходит во Вселенной, все изменения в ней, по Гоббсу, сводятся к движению. Действие на расстоянии Гоббс, как и Декарт, отрицает. Движение передается телу каким-либо движущимся телом либо путем непосредственного соприкосновения, либо через среду. Гоббс – строгий детерминист. По его учению, в природе все детерминировано, в том числе и человеческое поведение и человеческая психика. Ощущение, по Гоббсу, в своей основе есть особый вид движения: когда на органы внешних чувств действуют движения каких-либо тел, то эти движения передаются мозгу, далее распространяются к сердцу и, наконец, оттуда идет обратное движение; это обратное движение и есть ощущение.
      Таким образом, физиологическую основу ощущения Гоббс понимает как отраженное движение. Если у Декарта впервые встречается понятие рефлекса для объяснения поведения животных, которые мыслятся автоматами, не имеющими психики, то у Гоббса впервые понятие рефлекса применяется для объяснения психических процессов. Сами же по себе качества ощущений (цвета, звуки и т. д.), то мнению Гоббса, являются чисто субъективными; это – изменения, происходящие в самом воспринимающем субъекте и не отражающие объективной реальности. В признании субъективности качеств ощущений Гоббс идет дальше Галилея, однако не скатывается до субъективного идеализма Беркли, признавая объективное существование вне нас телесного мира, который своими воздействиями вызывает ощущение в нас. Но эти ощущения, по Гоббсу, не отражают объективной действительности так, как она есть на самом деле.
      Начинаясь, с ощущений, человеческое познание, по учению Гоббса, переходит затем в стадию памяти, содержание памяти и представляет собой опыт. Но опыт не может дать знания, обладающего характером всеобщности. Наука, устанавливающая общие положения, возможна лишь благодаря тому, что человек обладает речью. А именно, в целях общения между собой и сообщения другим своих представлений люди стали сочетать с представлениями о предметах определенные знаки. В особенности в роли таких знаков стали выступать слова. При этом одно и то же слово применяется ко многим сходным предметам. Так, благодаря языку в распоряжении людей появились общие для многих сходных вещей знаки и вследствие этого стало возможным знание общего.
      Согласно номиналистической концепции Гоббса, в самой объективной действительности нет общего, только слова служат носителями общего, всеобщность только в словах. Но наименования вещей словами есть дело людей. Одни и те же предметы по-разному называются у различных народов. Гоббс полагает, что те или иные группы людей договорились так или иначе называть предметы. Таким образом, имена вещей – выдумка людей. Поскольку всеобщность присуща только словам, наука, устанавливающая общие положения, является искусственным изобретением людей. Первые истины в науке – произвольны, они всецело зависят от договоренности людей, как именовать те или иные предметы. Такова «теория произвола», на которой Гоббс строит свое учение о научном познании. Подлинный мир – мир единичных тел, тогда как все общее – только создание человеческого ума.
      По учению Гоббса, наука идет дальше опыта, опыт доставляет только материал, который наука перерабатывает во всеобщие необходимые положения. Опыт легко может быть опровергнут новыми данными, наука же устанавливает неопровержимые истины. Наука достигает своей цели – всеобщего необходимого знания путем оперирования общими именами. Мышление есть не что иное, как связывание и разъединение имен, их сложение и вычитание. Мыслить – значит производить исчисление. Так, Гоббс предвосхищает идею математической логики, но эту идею он лишь мимоходом высказывает, не развивая ее.
      В своей логике Гоббс придает большое значение определению понятий. Так как, по его учению, имена суть произвольно установленные по договоренности людей обозначения предметов для сообщения друг другу своих представлений о них, то необходимо, чтобы точно и твердо было установлено значение имен. А этому служит логическая операция определения.
      Основными процессами мышления Гоббс считает сравнение, сочетание и разделение имен (идей). Суждение, по Гоббсу, есть такое сочетание имен, в котором первое и второе имя суть названия одной и той же вещи. В суждении вещь характеризуется своими качествами. Если бы мы не могли сочетать имена в предложения, то мы не были бы в состоянии познавать свойства (акциденции) вещей.
      По учению Гоббса, истина не есть свойство вещей; она, как и ложь, только в речи. Истины еще нет и в именах, пока они берутся изолированно, каждое само по себе. Только когда имена соединяются в предложение, возникает суждение, свойство которого – быть истинным или ложным. Так, если мы возьмем суждение: «Если кто-либо человек, то он живое существо», то оно истинно, потому что в нем предмету, именуемому «человек», дается еще другое соответствующее ему имя более широкого объема. Имена могут быть большего и меньшего объема соответственно тому, обозначают ли они более или менее широкий круг сходных предметов. Роды и виды относятся только к именам, только имена могут быть общими, и, следовательно, им может быть присуща большая или меньшая общность, больший или меньший объем. Роды и виды, будучи не более чем именами, не имеют, по Гоббсу, того познавательного значения, которое им приписывали Платон и Аристотель: в них не раскрывается сущность вещей. В этом Гоббс согласен с древними стоиками, с их критикой логики Платона и Аристотеля. В логике Гоббса, как и в логике стоиков, на первый план выдвигаются условные суждения. Поскольку основной задачей научного знания ставится познание причинной связи, условные суждения признаются наиболее подходящей для этого логической формой. Гоббс об этом пишет, что люди науки «могут более надежно умозаключить при помощи гипотетических предложений, чем при помощи предложений категорических» . Так же, как стоики, Гоббс признает тесную, неразрывную связь между мышлением и языком, вследствие чего у него имена отождествляются с понятиями, а предложения с суждениями.
      Логика Гоббса состоит из учения об именах (понятиях, идеях), предложениях (суждениях), умозаключениях (силлогизмах), истине и лжи и о научном методе.
      В основе логики Гоббса, как в древности у стоиков и эпикурейцев, лежит теория знаков. Согласно этой теории, знаки бывают естественные (так, тучи являются знаком наступающего дождя) и искусственные, создаваемые самим человеком. Знаками последнего рода являются слова человеческой речи. Для Гоббса понятия человеческого ума суть не что иное, как имена.
      Подобно тому как в древности у Демокрита логика входила в цикл физических сочинений, Гоббс включает логику в «учение о теле» в качестве первого его раздела.
      Что касается логического закона тождества, то он выступает у Гоббса в качестве условия научной точности в виде требования, чтобы в рассуждении каждое слово всегда употреблялось в одном определенном значении. Гоббс считает выполнение этого требования первым условием достижения истины.
      Гоббс говорит, что для научного употребления годятся только имена, имеющие постоянное определенное значение. В своей классификации имен Гоббс устанавливает особый класс «непостоянных» имен. Это – имена, которые имеют разное значение у различных людей и в разное время. Таковы, например, термины, обозначающие моральные понятия – Понятия добра и зла, добродетелей и пороков.
      В зависимости от интересов различных лиц и их вкусов одни и те же поступки одними называются хорошими, другими признаются дурными. Например, то, что один называет трусостью, другой – благоразумием. Так же обстоит дело и с понятиями о праве. Одни хвалят то, что другие порицают. Гоббс говорит о смутности, сбивчивости и противоречивости моральных, юридических и политических понятий, об их неустойчивости и изменчивости. Он указывает на разноречивость взглядов авторов, которые до него писали по этим вопросам. Он льстит себя надеждой, что ему удалось внести ясность и определенность в эти вопросы созданием «социальной философии», построенной математическим методом. Но Гоббс глубоко ошибался, думая, что возможно добиться единогласия в решении общественных вопросов – социальных, правовых и моральных и тем самым уничтожить раздоры и вражду в обществе, если применить строго научный математический метод и к этой области явлений. Ему и в голову не приходила мысль, что феодальное и буржуазное общество состоит из антагонистических классов, враждебно противостоящих один другому. Напротив, он учил, что общество состоит не из классов, а из отдельных индивидов, из которых каждый преследует только свои личные интересы.
      Закон противоречия и закон исключенного третьего Гоббс признает самоочевидными аксиомами. Эти законы мышления в формулировке Гоббса в сущности говорят о несовместимости положительных и отрицательных имен – понятий, что они взаимно исключают друг друга и из каждой пары таких имен понятий одно всегда применимо к любой вещи.
      Гоббс критикует онтологическую формулу закона противоречия: «Одна и та же вещь не может одновременно быть и не быть, считая ее темной, абсурдной и смешной, так как смысл этой формулы в сущности таков: все, что есть, существует или не существует».
      Закон противоречия и закон исключенного третьего у Гоббса выступают как основные необходимые условия логического исключения. Они указывают, что нельзя слагать (соединять частицей «есть») положительные и отрицательные имена одинакового содержания (например, белый и небелый), но следует сделать выбор между соответствующими положительным и отрицательным именами.
      Таким образом, у Гоббса законы противоречия и исключенного третьего являются законами образования правильных предположений (суждений) из имен (понятий).
      В своем учении об именах Гоббс дает несколько классификаций имен по различным основаниям их деления.
      По тому, что обозначается именами, Гоббс делит имена на названия тел (например, человек), названия акциденций, т. е. свойств тел (например, движение, разумность и вообще все абстрактное), названия явлений (например, чувственные качества, а также пространство, время) и, наконец, названия самих имен (названия второго порядка, когда мы говорим об имени как таковом).
      Гоббс говорит, что существуют четыре рода имеющих имена вещей (rerum notinatarum): 1) тела (corpora), 2) акциденции (accidentia), 3) явления (phantasmata) и 4) сами имена (nomina ipsa). Это есть то, что можно назвать учением Гоббса о категориях (самых широких классах всего существующего).
      По качеству Гоббс делит имена на положительные и отрицательные (например, белый и не белый).
      Затем Гоббс делит имена по степени общности. Имя может либо обозначать единственный предмет, либо прилагаться к целому классу сходных предметов, причем эти классы могут быть более и менее обширными. Роды и виды суть только общие имена более и менее широкого объема. Самые широкие по объему имена – «тело», «акциденция», «явление» и «имя». Что же касается общепринятых в логике категорий, то Гоббс считает их просто именами имен.
      Слова «каждый», «все», «некоторые» и т. п. Гоббс считает не именами, а частью их, и соответственно тому, какая из этих частей имеется в том или ином имени, он делит имена на единичные, партикулярные и универсальные.
      Гоббс делит также имена на односмысленные и многосмысленные (омонимы), на конкретные и абстрактные, абсолютные и относительные. Приводя эти классификации, он подчеркивает, что во всех этих делениях дается различие не вещей, а имен.
      Есть у Гоббса еще деление имен на простые и сложные.