Согласно номиналистической концепции Гоббса, в самой объективной действительности нет общего, только слова служат носителями общего, всеобщность только в словах. Но наименования вещей словами есть дело людей. Одни и те же предметы по-разному называются у различных народов. Гоббс полагает, что те или иные группы людей договорились так или иначе называть предметы. Таким образом, имена вещей — выдумка людей. Поскольку всеобщность присуща только словам, наука, устанавливающая общие положения, является искусственным изобретением людей. Первые истины в науке — произвольны, они всецело зависят от договоренности людей, как именовать те или иные предметы. Такова «теория произвола», на которой Гоббс строит свое учение о научном познании. Подлинный мир — мир единичных тел, тогда как все общее — только создание человеческого ума.
По учению Гоббса, наука идет дальше опыта, опыт доставляет только материал, который наука перерабатывает во всеобщие необходимые положения. Опыт легко может быть опровергнут новыми данными, наука же устанавливает неопровержимые истины. Наука достигает своей цели — всеобщего необходимого знания путем оперирования общими именами. Мышление есть не что иное, как связывание и разъединение имен, их сложение и вычитание. Мыслить — значит производить исчисление. Так, Гоббс предвосхищает идею математической логики, но эту идею он лишь мимоходом высказывает, не развивая ее.
В своей логике Гоббс придает большое значение определению понятий. Так как, по его учению, имена суть произвольно установленные по договоренности людей обозначения предметов для сообщения друг другу своих представлений о них, то необходимо, чтобы точно и твердо было установлено значение имен. А этому служит логическая операция определения.
Основными процессами мышления Гоббс считает сравнение, сочетание и разделение имен (идей). Суждение, по Гоббсу, есть такое сочетание имен, в котором первое и второе имя суть названия одной и той же вещи. В суждении вещь характеризуется своими качествами. Если бы мы не могли сочетать имена в предложения, то мы не были бы в состоянии познавать свойства (акциденции) вещей.
По учению Гоббса, истина не есть свойство вещей; она, как и ложь, только в речи. Истины еще нет и в именах, пока они берутся изолированно, каждое само по
Логика Гоббса состоит из учения об именах (понятиях, идеях), предложениях (суждениях), умозаключениях (силлогизмах), истине и лжи и о научном методе.
В основе логики Гоббса, как в древности у стоиков и эпикурейцев, лежит теория знаков. Согласно этой теории, знаки бывают естественные (так, тучи являются знаком наступающего дождя) и искусственные, создаваемые самим человеком. Знаками последнего рода являются слова человеческой речи. Для Гоббса понятия человеческого ума суть не что иное, как имена.
Подобно тому как в древности у Демокрита логика входила в цикл физических сочинений, Гоббс включает логику в «учение о теле» в качестве первого его раздела.
Что касается логического закона тождества, то он выступает у Гоббса в качестве условия научной точности в виде требования, чтобы в рассуждении каждое слово всегда употреблялось в одном определенном значении. Гоббс считает выполнение этого требования первым условием достижения истины.