الترميز، الصورنة و المنطق الشارح عند روبير بلانشي

Abstract EN

All types of knowledge are linked to their history; more so when it comes to logic.

Any given concept can only be understood by referring to its historical context.

And if every era is characterized by its particular set of concepts, then modern logic, too, came with a group of pertaining concepts that distinguished it from its traditional counterpart; among which there is formalism, symbolization, formalization and explanatory logic.

These concepts expanded logic and made it more accurate and scientific through mainly formalization.

The latter made of symbolization a mean for achieving the highest form of formalism.

In addition to that, there are the concepts of metalogic and metalanguage which were an outcome of using formalization in logic.

Said language permitted the formulation of different logics due to limiting the role of axioms as starting points in logical trends.