Собственным предметом логики Фараби считает учение о доказательстве. Доказательство исходит от того, что известно и твердо установлено, и от него приходит к познанию чего-либо нового, что раньше было формально неизвестно. Познание категорий, суждений и умозаключений суть, по мнению Фараби, только введение в логику А в самом учении о доказательстве Фараби считает самым главным установить принципы, которые должны служить нормами необоходимого знания. Наивысшим из этих принципов Фараби признает закон противоречия.
Функция закона противоречия, по Фараби, заключается в одновременном познании в одном акте мышления истины или необходимости какого-либо положения и ложности, или невозможности противоположного ему положения. С этой точки зрения, Фараби отдает предпочтение платоновской дихотомии перед аристотелевским научным методом.
В учении о доказательстве Фараби не удовлетворяет одна лишь формальная сторона доказательства. Он хочет видеть в нем не только правильный путь к достижению истины: оно должно иметь своей целью достижение истины и должно само порождать науку. Фараби считает, что доказательство имеет дело не просто с суждениями как материалом для силлогизмов, но оно исследует истину, которую они содержат.
Кроме необходимых истин о необходимом бытия, имеется, по учению Фараби, область возможного, о которой мы можем приобрести только вероятное знание. О различных степенях вероятности говорится в аристотелевской «Топике», и к ней отсылает Фараби для элементарного введения в вероятностные концепции.
Фараби говорит, что истинное знание может быть построено только на необходимых положениях из «Второй Аналитики».
В качестве добавления к «Введению» Порфирия Фараби высказывает свои взгляды на универсалии Он определяет универсалии как «единое о многом и во многом». Универсалии, по его учению, не существуют отдельно от индивидуальных понятий.
Фараби находит частное не только в вещах и чувственном восприятии, но также в мышлении. Универсальное существует, по его учению, не только как «акциденция» в единичных вещах, но также как субстанция в уме. Ум человека абстрагирует универсальное из вещей, но универсальное имеет свое собственное, изолированное существование.
Таким образом, у Фараби уже имеется различение существования универсалий «раньше вещей» (ante rem), «в вещах» (in re) и «после вещей» (post rem).
Подходя с позиции кантианства, де Бер по поводу учения Фараби об универсалиях ставит вопросы: принадлежит ли «чистое бытие» к универсалиям? Является ли существование предикатом — и говорит, что этот вопрос, который породил столько ошибок в философии, был решен Фараби правильно и во всей его полноте.
Согласно учению Фараби, существование есть грамматическое или логическое отношение, но не категория действительности, высказывающая некоторое утверждение о вещах. Существование вещи есть не что иное, как сама вещь [49]
Характеризуя учение Фараби о «бытии», де Бер здесь упускает из виду, что Фараби принимал различные степени бытия, проводя различие между необходимо существующим и возможным бытием. Различие необходимого и возможного бытия было основной идеей его философии. По учению Фараби, возможное бытие для своей реализации предполагает, что цепь причин не может быть бесконечной, и потому необходимо принять, что есть бытие существующее, но не имеющее причины, обладающее наивысшей степенью совершенства, вечное и неизменное, самодовлеющее, обладающее полнотой бытия. Фараби говорит об иерархии бытия, о разных степенях бытия соответственно порядку эманации, причем материя занимает последнее, самое низшее место в этом ряду последовательных эманации.
Таким образом, де Бер не прав, когда говорит, что для Фараби бытие не есть категория действительности, а лишь грамматическое или чисто логическое отношение. Напротив, в понятие бытия он вкладывает онтологическое содержание в духе реализма понятий, и именно поэтому он является творцом онтологического доказательства бытия бога, согласно которому бог необходимо существует, так как понятие о боге есть понятие необходимо сущего бытия, вследствие чего отрицание существования бога якобы было бы формальным противоречием.
В понимании бытия у Фараби имеется непоследовательность и противоречивость, поскольку в его философии аристотелевский взгляд, согласно которому бытие не есть категория действительности, сочетается с противоположным неоплатоновским учением, причем сам Фараби не осознает несовместимости этих двух противоположных концепций.