Logical Forms, Substitutions and Information Types

0575751 - FLÚ 2024 RIV PL eng J - Journal Article
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : logical form * uniform substitution * information types * non-classical logics
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.5, year: 2022
Method of publishing: 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.
Permanent Link: https://hdl.handle.net/11104/0345772