Прежде чем приступить к изучению истории логики, следует ответить на вопрос: вправе ли мы вообще говорить об историческом развитии логики? Согласно Канту, за две тысячи лет со времен Аристотеля логика не сделала ни одного шага вперед. В начале XX в. русский ученый Е. А. Бобров проводит мысль, что к тому времени была создана лишь единственная заслуживающая внимания система логики – логика Аристотеля, которая уже устарела, но замены которой нет, что в будущем предстоит создать новую логику[1].
Подобные взгляды высказывали и другие ученые, но их несостоятельность видна из следующего высказывания Ф. Энгельса: «Теоретическое мышление каждой эпохи, а значит и нашей эпохи, это – исторический продукт, принимающий в различные времена очень различные формы и вместе с тем очень различное содержание. Следовательно, наука о мышлении, как и всякая другая наука, есть историческая наука, наука об историческом развитии человеческого мышления… Теория законов мышления отнюдь не есть какая-то раз навсегда установленная „вечная истина“, как это связывает со словом „логика“ филистерская мысль. Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров»[2].
Познание есть поступательный исторический процесс развития от незнания к знанию. В связи с общим ходом развития научного знания изменяется и наука логика.
Логические формы, категории и законы мышления формируются в процессе общественной практики. Они являются отражением объективного мира, находящегося в процессе бесконечного развития. «Законы логики суть отражения объективного в субъективном сознании человека»[3]; «…категории мышления… выражение закономерности и природы и человека…»[4].
Практические запросы промышленности, сельского хозяйства, общественной жизни во всем многообразии ее потребностей ставят задачи перед мышлением и в целях решения этих задач мышление создает все более совершенные понятия, вырабатывает все более совершенные приемы научного исследования, изобретает новые научные методы.
Процесс все большего приближения нашего познания к абсолютной истине есть не только процесс увеличения наших знаний, но вместе с тем процесс развития, умножения и совершенствования наших логических средств познания мира. Современная логика есть исторический продукт многовекового развития. Даже основные категории, которыми оперирует наш ум и которые лежат в основе логики, такие, например, как категории вещи и свойства, причины и следствия и т. д., появились впервые лишь на определенной ступени развития человечества и были в свое время великими открытиями.
За время существования логики как науки ее предмет подвергался весьма значительным изменениям. Специфика логики заключается в том, что она изучает не объективный мир природы и не субъективный мир переживаний, а мышление, посредством которого человек познает и то и другое[5]. Задачей этой науки является исследование форм и законов самого мышления. Естественный исторический ход человеческого познания характеризуется тем, что сперва развивается познание внешнего объективного мира и лишь после того, как в результате этого познания человечество достигло известной степени совершенства, возникают проблемы, связанные с самим процессом познания. Потребность разрешения этих проблем и вызвала к жизни теорию познания и логику.
Первоначально логика зарождается в недрах единой всеобъемлющей нерасчлененной науки – философии – и носит в основном онтологический характер, т. е. относится непосредственно к порядку вещей, а не к порядку идей. Так, закон тождества у Парменида характеризуется как закон самого бытия, в связи с чем отрицается возможность мышления об изменении вещей. Формула закона достаточного основания у Демокрита говорит о том, что ничто в мире не происходит беспричинно и без основания. Борьба метафизики Парменида с диалектикой Гераклита протекала в плане онтологической интерпретации логических закономерностей. Логические теории Платона также носят онтологический характер хотя бы потому только, что объективный идеализм признает подлинной действительностью само мышление, превращенное в абсолют.
В отличие от объективного идеализма агностицизм Канта и родственные ему субъективно-идеалистические направления, отрицая онтологическое истолкование логики, предлагают строить так называемую логику явлений, например, «трансцендентальную логику» (И. Кант), «теоретико-познавательную логику» (В. Шуппе), «логику чистого познания» (Г. Коген) и т. п. Признавая закономерные связи и отношения между предметами, но считая их вносимыми рассудком в мир опыта априорными субъективными моментами, кантианское направление философской мысли пыталось создать своеобразную теоретико-познавательную логику, предмет которой был бы отличным от предмета формальной логики.
Трансцендентальная логика Канта ставит своей целью доказать невозможность познания вещей в себе и возможность познания лишь явлений. Наряду с трансцендентальной логикой и независимо от нее Кант разрабатывает общую формальную логику с иным предметом исследования. Формальная логика, по Канту, должна изучать формы мышления и его законы в отрыве от содержания и от их познавательной ценности.