Year:

Forthcoming articles
  1. Samuel Alexander (forthcoming). Guessing, Mind-Changing, and the Second Ambiguous Class. Notre Dame Journal of Formal Logic.
    In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable iff it is in the second ambiguous class (boldface Delta^0_2), iff it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one's mind. We show that for (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Hartry Field (forthcoming). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic.
    Abstract. Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two Flavor's of Curry's Paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists”. To (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gabriel Uzquiano (forthcoming). Varieties of Indefinite Extensibility. Notre Dame Journal of Formal Logic.
    We look at two recent accounts of the indefinite extensibility of set, and compare them with a linguistic model of the indefinite extensibility. I suggest the linguistic model has much to recommend over extant accounts of the indefinite extensibility of set, and we defend it against three prima facie objections.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. M. de Rijke & P. Blackburn (forthcoming). Special Issue on Combining Logics, Volume 37 (2) Of. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  5. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  6. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  7. A. Gareau & R. Padmanabhan (forthcoming). Two Axioms for Implication Algebras. Notre Dame Journal of Formal Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Lars Louder, Chloé Perin & Rizos Sklinos (forthcoming). Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation  
  9. G. Weaver (forthcoming). Dedekind Algebras. Notre Dame Journal of Formal Logic.
     
    My bibliography  
     
    Export citation