Logical formalization and the formation of logic(s)

0460263 - FLÚ 2017 RIV BE eng J - Journal Article
Peregrin, Jaroslav - Svoboda, Vladimír
Logical formalization and the formation of logic(s).
Logique et Analyse. Roč. 59, č. 233 (2016), s. 55-80. ISSN 0024-5836
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logical formalization * logical analysis * reflective equilibrium
OECD category: Philosophy, History and Philosophy of science and technology

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.
Permanent Link: http://hdl.handle.net/11104/0260382