ПОСТРОЕНИЕ ОСНОВАНИЙ МЫШЛЕНИЯ И ЛОГИКИ: ПРОГРАММЫ Г. ЛЕЙБНИЦА И Д. ГИЛЬБЕРТА
Розин В.М.В статье рассматривается программа математизации мышления, предложенная Г. Лейбницем, и программа обоснования математики Д. Гильберта. Автор утверждает, что на основе реализации этих программ были созданы современная символическая и математическая логики. Выясняется, какими сторонами и смыслами мышления и рассуждений при этом пришлось пожертвовать, почему современные символические логики непрерывно размножаются, в каком отношении символические логики находятся по отношению к традиционной аристотелевской логике. Защищая высказанные положения, автор опирается на работы Аристотеля и Шопенгауэра, исследования Я. Лукасевича, А. Васильева, А. Карпенко, А. Анисова, С. Павлова. В статье утверждается, что при становлении символической логики ощущалась потребность в философском осмыслении, в частности, определении условий мыслимости решений творцов символической логики, необходимости различить два исторических типа логик, разрешить противоречия между ощущением автономии символической логики и ощущением её зависимости от традиционной логики. Автор высказывает предположение, что именно на эти вызовы пытался ответить Людвиг Витгенштейн, а потом Ян Лукасевич и российские логики.