Система логики у ибн-Сины состоит из четырех разделов: учение о понятии, суждении, умозаключении и доказательстве. Что касается теории умозаключений, то он принимает только три фигуры аристотелевского категорического силлогизма.
Ученик ибн-Сины азербайджанский философ Бахманяр известен как автор сочинений «Предмет метафизики», «Иерархия сущего» и «Логика». «Предмет метафизики» и «Логика» обнаруживают хорошее знакомство с учением Аристотеля и в значительной своей части представляют собой простое изложение мыслей Стагирита, тогда как его «Иерархия сущего» есть изложение неоплатоновского учения об эманации. Общая направленность философии Бахманяра заключается в стремлении сблизить точки зрения перипатетизма и религии ислама. Центральная идея его философии – идея о неизменной иерархичности бытия: каждая вещь занимает определенное место на лестнице бытия. Бахманяр является типичным представителем схоластической логики. Все его доказательства построены на многочисленных дефинициях и дистинкциях. Сочиняя дефиниции и производя тонкие различения понятий, он строит свои доказательства бытия бога, нематериальности души и ее бессмертия. Главным инструментом его дедукций служит логический закон противоречия, который выступает в качестве высшего критерия истины.
Логический закон противоречия у Бахманяра дается в метафизическом и идеалистическом плане. Метафизичность его в том, что он не допускает возможности существования противоречий в самой действительности, отрицает реальное противоречие в самих вещах. Идеалистический характер этого закона состоит в том, что он мыслится не как закон отражения материального мира, а как закон чистого мышления, имеющий свое основание в духовном мире. Логический принцип противоречия, согласно формулировке Бахманяра, отвергает все то, что противоречит себе.
Прежде всего Бахманяр объявляет самопротиворечивым отрицание бога на том основании, что в самом понятии бога мыслится необходимо сущее, и потому тот, кто отрицает существование бога, утверждает, что не существует то, что необходимо существует. Таким образом, Бахманяр повторяет онтологическое доказательство бытия бога, принадлежащее Фараби.
В своем учении о дефиниции Бахманяр говорит, что в определяющей части дефиниции происходит соединение более простых понятий, чем понятие самой определяемой вещи. Самым сложным является понятие индивида, более простым – вида, еще более простым – рода. Понятие рода, в свою очередь, может быть сведено к самым общим понятиям – субстанции, качества, количества и т. п. Последние как самые общие являются простейшими понятиями и вместе с тем принципами всех понятий. Эти простейшие понятия (аристотелевские категории) сами не могут быть дефинируемы посредством других понятий, они могут лишь непосредственно постигаться мышлением.
В отличие от Аристотеля Бахманяр признает бытие всеобъемлющим понятием, стоящим над категориями. Ход его рассуждений таков.
Понятие бытия не родовое, а всеобъемлющее. Родовое понятие – такое, которое является общим, присущим нескольким видам и многим индивидам, отличающимся друг от друга определенными признаками. Если бы понятие бытия было родовым, то оно не было бы присуще видовым и индивидуальным признакам, так что вовсе не могло бы быть видовых и индивидуальных признаков, а если бы не существовали такие признаки, то не могли бы отличаться друг от друга ни виды, ни индивиды, следовательно, не могло бы быть ни видов, ни индивидов. Ведь если признаку не присуще понятие бытия, то как он может существовать? Таким образом, бытие не есть родовое понятие, но оно есть субстрат как субстанций, так и акциденций.
Понятие бытия присуще как общим признакам, так частным и индивидуальным.
Необходимо сущее есть само бытие, и потому если мы говорим о нем, что оно есть, то понятие предиката не говорит ничего, чего не заключалось бы уже в понятии субъекта. Но если говорят «человек есть», то здесь к понятию субъекта «человек» присоединяется через посредство предиката новое понятие «есть». Понятие «бытие» по отношению к понятию «человек» есть только его акциденция, тогда как для бога понятие бытия есть его сущность.
Логический закон тождества А. Бахманяром не упоминается, но его взгляды на единство и тождество проливают свет на его отношение к этому закону.
По учению А. Бахманяра, в котором он следует ибн-Сине, единство лежит одинаково в основе всех вещей. Мы не можем ни воспринимать, ни мыслить никакого предмета в качестве существующего, не представляя его себе определенным и ограниченным целым, т. е. чем-то единым, отличным от других вещей.
Что же такое единство вещи? Одно и то же понятие вещи реализуется более чем в одном предмете. Так, например, понятие «человек» реализуется во множестве людей – в них всех как бы материализуется одно и то же понятие – «человек». Таким образом, множество предметов (людей) имеет своим субстратом только одно понятие. Единство имеет приоритет перед множеством. Всем индивидам присуще единое бытие. Индивиды отличаются друг от друга не своим бытием, а множеством различных признаков. Например, понятие «человек» едино для множества человеческих индивидов, но каждый из последних есть существующее для себя единое целое. Даже если бы были индивиды, вполне совпадающие друг с другом по своим физическим и духовным свойствам и вообще по всем своим особенностям самым точным образом, никто не счел бы их за одно лицо. Ведь если они и совпадают во всем, то все же они отличаются друг от друга особой материей, принадлежащей каждому из них в отдельности, а то, что лишено материи, отличается именно своим понятием от всего остального, т. е. оно должно представлять собой особый вид, который не делится на множество индивидов. К последней категории, по учению А. Бахманяра, развиваемому им в «Иерархии существ», относятся те духовные существа, которые стоят выше человеческих душ на лестнице бытия («деятельные разумы» и «небесные души»).
Напротив, бытие материальных вещей (телесных форм) имеет свое основание в материи и не может быть без нее, поэтому их существование пространственно-временное и индивидуальное. «Деятельные разумы» и «небесные души», подобно платоновским идеям, имеют только видовые отличия, т. е. каждое из них образует особый вид, но у них нет множества индивидов, ибо множественность индивидов основана на материи. Индивиды отличаются друг от друга материей, а понятие у них единое, они отличаются также многообразием своих акциденций. Этот взгляд на единство бытия всех индивидуальных вещей Бахманяр разделяет с ибн-Синой.
Таким образом, все вещи тождественны по своему бытию. С другой стороны, истинность или действительность вещи состоит в том, что собственно присуще целому роду, виду и отдельному существу, посредством чего данный предмет отличается от всех других.
Таким образом, тождество вещей бывает всеобщее (по единому во всех вещах бытию), родовое, видовое и индивидуальное (тождество данной индивидуальной вещи, ограниченной определенными рамками пространства и времени).
Абсолютное единство и тождество во всех отношениях присуще только богу. Будучи абсолютно простым существом, он является единым в противоположность множеству телесных и бестелесных существ.
Единство имеет двоякий смысл: 1) единое в противоположность сложному, составному (множественному по своему составу) и 2) единое в нумерическом смысле, т. е. единственное.
