Logical Forms, Substitutions and Information Types

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Logical Forms, Substitutions and Information Types

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logical Forms, Substitutions and Information Types

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

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

Název periodika

Logic and Logical Philosophy

ISSN

1425-3305

e-ISSN

—

Svazek periodika

32

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

PL - Polská republika

Počet stran výsledku

15

Strana od-do

459-473

Kód UT WoS článku

001035821200001

EID výsledku v databázi Scopus

2-s2.0-85172473978