From formal logic to symbolic logic
The article contains a brief review of the formation of mathematical logic, beginning with Aristotle’s works to the present day. The key points in the development of mathematical logic are as follows: Aristotle’s formal theory of the syllogism, Leibniz’s idea of the formalized language of science, Boole’s algebra, Frege’s propositional calculus, Łukasiewicz’s many-valued logic, Zadeh’s fuzzy logic, a Turing machine, a Markov algorithm.