Premium
A Proof‐Theoretic Account of the Miners Paradox
Author(s) -
Klev Ansten
Publication year - 2016
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/theo.12090
Subject(s) - modus ponens , inference , mathematical economics , sentence , rule of inference , mathematics , epistemology , philosophy , calculus (dental) , linguistics , medicine , dentistry
By maintaining that a conditional sentence can be taken to express the validity of a rule of inference, we offer a solution to the Miners Paradox that leaves both modus ponens and disjunction elimination intact. The solution draws on Sundholm's recently proposed account of Fitch's Paradox.