Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Ethan Brauer"'
Autor:
Ethan Brauer
Publikováno v:
The Bulletin of Symbolic Logic. :1-46
Autor:
Ethan Brauer
Publikováno v:
Philosophical Studies. 179:2751-2763
Autor:
Ethan Brauer
Publikováno v:
The Philosophical Review. 130:471-474
Autor:
Ethan Brauer
Publikováno v:
Erkenntnis. 87:2161-2179
Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right m
Autor:
Ethan Brauer, Neil Tennant
Publikováno v:
The Review of Symbolic Logic. 14:866-881
This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant (2017). Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexa
Modal logic has been used to analyze potential infinity and potentialism more generally. However, the standard analysis breaks down in cases of divergent possibilities, where there are two or more possibilities that can be individually realized but w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::945503d17f531628d724a5b5db82b911
http://hdl.handle.net/10852/98536
http://hdl.handle.net/10852/98536
Autor:
Ethan Brauer
Publikováno v:
Notre Dame J. Formal Logic 61, no. 4 (2020), 561-572
Linnebo and Shapiro have recently given an analysis of potential infinity using modal logic. A key technical component of their account is to show that under a suitable translation $^{\lozenge }$ of nonmodal language into modal language, nonmodal sen
Autor:
Ethan Brauer
Publikováno v:
The Review of Symbolic Logic. 13:436-457
Although much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reaso
Autor:
Ethan Brauer
Publikováno v:
Journal of Philosophical Logic. 47:123-142
Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes
Publikováno v:
2011 Academic High Altitude Conference.
The Balloon Assisted Stratospheric Experiments (BASE) program at DePauw University has flown Geiger counters on more than forty flights since November 2006. Currently, three RM-60 Geiger counters from Aware Electronics are used in the array. The sign