CONSTRUCTION OF THINKING AND LOGIC FOUNDATIONS: PROGRAMS OF LEIBNIZ AND HILBERT
Vadim RozinThe article deals with the mathematization of thinking program proposed by Leibnitz, and the program of Mathematics foundations by Hilbert. The author argues that modern symbolic and mathematical logics were created on the basis of these programs. The article examines which aspects and meanings of thinking and reasoning had to be sacrificed, why modern symbolic logics are continuously reproducing, and what is the relationship of symbolic logics to the traditional Aristotelian one. Defending the pointed out statements, the author refers to the works of Aristotle and Schopenhauer, Ya. Lukasevich, A. Vasilyev, A. Karpenko, A. Anisov, S. Pavlov. The article states that the formation of symbolic logic required philosophical reflection of the conditions of conceivable solutions of symbolic logic creators and the need to distinguish between the two types of historical logics, to resolve the contradictions between the sense of autonomy of symbolic logic and the sense of its dependence on the traditional logic. According to the author’s opinion, Ludwig Wittgenstein, then Lukasevich, and the other Russian philosophers tried to respond to the mentioned above challenges in their works.