ABSTRACT
Restructuring mathematics is considered as the activity of reworking mathematical developments in order to integrate and to rationalize origins, connections, interpretations, and applications. Philosophically, this activity is mostly supported by Pragmatism as founded by Ch. S. Peirce. To activate more connections of mathematical logic to reality, an approach to restructuring is suggested which revitalizes the traditional paradigm of logic given by the three main functions of thinking: concepts, judgments, and conclusions. The described formalizations are based on ideas as they have been developed in formal concept analysis during the last fifteen years.
