Logical formalization and the formation of logic(s)

0460263 - FLÚ 2017 RIV BE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: logical formalization * logical analysis * reflective equilibrium
Obor OECD: 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.
Trvalý link: http://hdl.handle.net/11104/0260382