Научное знание Давид определяет как знание всеобщее, безошибочное и неизменное. Таким образом, в понимании научного знания он стоит на метафизической позиции абсолютной истины.
Все науки, по учению Давида, получают свои принципы из философии. Философия есть наука о сущем как таковом; она есть искусство искусств и наука наук.
В своей теории познания Давид Непобедимый материалистически решает основной вопрос философии: он признает существование объективного материального мира, который своим воздействием вызывает у человека ощущения, и защищает положение о познаваемости мира, о познаваемости сущности вещей. Однако он проявляет непоследовательность, дуалистически принимая духовное начало наряду с материальным и возвышая бога над материальным миром как первопричину движения. Его философия — та разновидность объективного идеализма, которая носит название неоплатонизированного аристотелизма.
Логику Давид считал частью философии и понимал ее как орудие познания философских истин. По учению Давида, она заключает в себе четыре «диалектических метода»: разделяющий, определяющий, доказывающий и анализирующий, ибо все, что существует, может быть разделено, определено, доказано и анализировано. Диалектика начинает с разделения, которое предшествует определению. Доказательство же следует за определением, так как, по учению Аристотеля, определения являются началами, из которых исходят доказательства. И, наконец, диалектика завершается анализом, который идет от сложного к простому в отличие от разделения, которое идет обратным путем, — от 'простого к сложному. Анализ 'находится в обратном отношении и к определению, поскольку последнее представляет различные стороны предмета в единстве, тогда как анализ расщепляет единый предмет на множество отдельных сторон, и к доказательству, поскольку оно делает вывод из сопоставления некоторых положений, тогда как анализ исходное положение разбивает на отдельные положения, которые затем рассматриваются каждое особо.
Таким образом, Давид делит логику на четыре части: логика есть учение о разделении, определении, доказательстве и анализе.
В своем учении о логическом делении Давид принимает учение Платона, согласно которому это деление, начинаясь с наивысшего рода, должно доходить по наинизших видов, не спускаясь до единичных вещей, так как логическое деление относится только к неизменному, постоянно сущему, тогда как единичные вещи подвержены постоянному изменению. «Ибо наука, — пишет Давид, — может быть незыблемой только по отношению к тому, что постоянно, что всегда имеет одно и то же бытие»6.
Логическое деление не может переходить от вида к индивиду, по учению Давида, и потому, что «индивиды бесчисленны к по числу неопределенны; они возникают и вновь уничтожаются»[47]
. К логическому делению Давид относит и деление целого на части.Указывая на значение определений в науке, Давид говорит, что тот, кто хочет правильно мыслить о вещах, прежде всего должен знать их природу, т. е. иметь определение их. Предметом науки может стать лишь то, что имеет определение.
По Давиду, само понятие определения у людей возникло из практики обмеривания земельных участков, а затем идея определения была перенесена в область логики. Таким образом, генезис абстрактных идей разума он связывает с конкретными материальными условиями жизни людей.
Определение выражает сущность и природу определяемой вещи; сущность же вещи есть то, наличие чего обусловливает существование данной вещи.
Рассматривая вопрос о природе общего, Давид отмечает, что в решении этого вопроса имеются три точки зрения: платоновское учение о том, что общее существует «прежде множества», аристотелевское учение, что общее существует во множестве (в единичных вещах материального мира), и учение, отрицающее реальность общего, утверждающее, что общее существует только в нашем мышлении, являясь знанием, возникшим на основе реального множества вещей.
Давид занимает в этом вопросе колеблющуюся позицию: то он утверждает, что общее реально существует и существует раньше частного и единичного (единичное существует на основе общего), то, наоборот, говорит
Давид выступает против учения Порфирия об обратном отношении между объемами и содержаниями понятий. Он отстаивает положение, что чем шире объем понятия, тем богаче его содержание.