Faithfulness for naive validity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18460%2F19%3A50016070" target="_blank" >RIV/62690094:18460/19:50016070 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/content/pdf/10.1007/s11229-018-1687-x.pdf" target="_blank" >https://link.springer.com/content/pdf/10.1007/s11229-018-1687-x.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11229-018-1687-x" target="_blank" >10.1007/s11229-018-1687-x</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Faithfulness for naive validity

Popis výsledku v původním jazyce

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. Secondly, I show how to add a validity predicate to ST while avoiding the dilemma.

Název v anglickém jazyce

Faithfulness for naive validity

Popis výsledku anglicky

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. Secondly, I show how to add a validity predicate to ST while avoiding the dilemma.

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

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

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

Synthese

ISSN

0039-7857

e-ISSN

—

Svazek periodika

196

Číslo periodika v rámci svazku

11

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

16

Strana od-do

4759-4774

Kód UT WoS článku

000491496100020

EID výsledku v databázi Scopus

—