Logical Formalization and the Formation of Logic(s)

Jaroslav Peregrin, Vladimir Svoboda


The project of logic as a theoretical tool useful for the sciences and humanities involves, as a crucial step, logical formalization – the conversion of sentences of natural language to formulas of a formal language. But what do we do, exactly, when we do logical formalization? What are the criteria of adequacy of the conversion? In how far is logic normative? The paper offers answers to these central (but surprisingly rather neglected) questions and shows that getting a proper grasp on the process of formalization is important for understanding the nature of logic. The key point is that logic as a theoretical tool manages to consolidate our linguistic – in particular argumentative – practices by means of attaining a specific sort of reflective equilibrium. The paper provides a detailed discussion of the answers to the above questions implied by this understanding of logic.


  • There are currently no refbacks.