Logical Forms, Substitutions and Information Types

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00575751" target="_blank" >RIV/67985955:_____/23:00575751 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.12775/LLP.2023.017" target="_blank" >https://doi.org/10.12775/LLP.2023.017</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.12775/LLP.2023.017" target="_blank" >10.12775/LLP.2023.017</a>

Result language
angličtina
Original language name
Logical Forms, Substitutions and Information Types
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)