Logical Forms, Substitutions and Information Types

0575751 - FLÚ 2024 RIV PL eng J - Článek v odborném periodiku
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: logical form * uniform substitution * information types * non-classical logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.12775/LLP.2023.017

This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We show that some specific logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline.
Trvalý link: https://hdl.handle.net/11104/0345772