Year:

Forthcoming articles
  1.  36
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  56
    Hartry Field, Harvey Lederman & Tore Fjetland Øgaard (forthcoming). Prospects for a Naive Theory of Classes. Notre Dame Journal of Formal Logic.
  4. M. de Rijke & P. Blackburn (forthcoming). Special Issue on Combining Logics, Volume 37 (2) Of. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  5. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  6. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  7.  1
    Costas Dimitracopoulos & Vasileios S. Paschalis (forthcoming). End Extensions of Models of Weak Arithmetic Theories. Notre Dame Journal of Formal Logic.
    We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  3
    Christian Espíndola (forthcoming). Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics. Notre Dame Journal of Formal Logic.
    We introduce a general notion of semantic structure for first-order theories, covering a variety of constructions such as Tarski and Kripke semantics, and prove that, over Zermelo–Fraenkel set theory, the completeness of such semantics is equivalent to the Boolean prime ideal theorem. Using a result of McCarty, we conclude that the completeness of Kripke semantics is equivalent, over intuitionistic Zermelo–Fraenkel set theory, to the Law of Excluded Middle plus BPI. Along the way, we also prove the equivalence, over ZF, between (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  6
    A. Gareau & R. Padmanabhan (forthcoming). Two Axioms for Implication Algebras. Notre Dame Journal of Formal Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  4
    Joanna Golińska-Pilarek & Taneli Huuskonen (forthcoming). Non-Fregean Propositional Logic with Quantifiers. Notre Dame Journal of Formal Logic.
    We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI}_{\mathsf{Q}}$. We prove that $\mathsf{SCI}_{\mathsf{Q}}$ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in $\mathsf{SCI}_{\mathsf{Q}}$ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of $\mathsf{SCI}_{\mathsf{Q}}$-sentences. Finally, we present a translation of $\mathsf{SCI}_{\mathsf{Q}}$ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  4
    Radek Honzík & Jonathan Verner (forthcoming). A Lifting Argument for the Generalized Grigorieff Forcing. Notre Dame Journal of Formal Logic.
    In this short paper, we describe another class of forcing notions which preserve measurability of a large cardinal $\kappa$ from the optimal hypothesis, while adding new unbounded subsets to $\kappa$. In some ways these forcings are closer to the Cohen-type forcings—we show that they are not minimal—but, they share some properties with treelike forcings. We show that they admit fusion-type arguments which allow for a uniform lifting argument.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    Rosalie Iemhoff (forthcoming). A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. Notre Dame Journal of Formal Logic.
    This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, which means that the reasoning is syntactic and uses as little semantics as possible. New proofs of theorems on unification types are presented and these results are extended to negationless fragments. In particular, a syntactic proof of Ghilardi’s result that $\mathsf {S4}$ has finitary unification is provided. In this approach the relation between classical valuations, projective unifiers, and admissible rules is clarified.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. 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.
     
    Export citation  
     
    My bibliography  
  14.  2
    Florian Pelupessy (forthcoming). Phase Transition Results for Three Ramsey-Like Theorems. Notre Dame Journal of Formal Logic.
    We classify a sharp phase transition threshold for Friedman’s finite adjacent Ramsey theorem. We extend the method for showing this result to two previous classifications involving Ramsey theorem variants: the Paris–Harrington theorem and the Kanamori–McAloon theorem. We also provide tools to remove ad hoc arguments from the proofs of phase transition results as much as currently possible.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. G. Weaver (forthcoming). Dedekind Algebras. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  16.  6
    Stefan Wintein (forthcoming). From Closure Games to Strong Kleene Truth. Notre Dame Journal of Formal Logic.
    In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  10
    Elia Zardini (forthcoming). Restriction by Noncontraction. Notre Dame Journal of Formal Logic.
    This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further an approach to the semantic paradoxes that the author has defended elsewhere, the theory of restricted quantification available in a specific naive theory that rejects the structural property of contraction is explored. It is shown that the theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues