2016
DOI: 10.1111/theo.12090
|View full text |Cite
|
Sign up to set email alerts
|

A Proof‐Theoretic Account of the Miners Paradox

Abstract: 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 24 publications
0
1
0
Order By: Relevance
“…Another point in the formalization in FIM criticized by Myhill (1967) is that the free choice sequences are extensional. 82 Certainly, extensional free choice sequences are intuitionistically acceptable; for these, one restricts the freedom of the choices only by the choice law adopted in advance. Since in fact the intuitionistic theory of the continuum can be developed using only extensional choice sequences, it seems more interesting to do so.…”
Section: Cs Depends On a Function That Is Not Unitypementioning
confidence: 99%
“…Another point in the formalization in FIM criticized by Myhill (1967) is that the free choice sequences are extensional. 82 Certainly, extensional free choice sequences are intuitionistically acceptable; for these, one restricts the freedom of the choices only by the choice law adopted in advance. Since in fact the intuitionistic theory of the continuum can be developed using only extensional choice sequences, it seems more interesting to do so.…”
Section: Cs Depends On a Function That Is Not Unitypementioning
confidence: 99%