Year:

Forthcoming articles
  1. 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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  78
    Hartry Field, Harvey Lederman & Tore Fjetland Øgaard (forthcoming). Prospects for a Naive Theory of Classes. Notre Dame Journal of Formal Logic.
  3.  1
    Howard Becker (forthcoming). Strange Structures From Computable Model Theory. Notre Dame Journal of Formal Logic.
    Let $L$ be a countable language, let ${\mathcal{I}}$ be an isomorphism-type of countable $L$-structures, and let $a\in2^{\omega}$. We say that ${\mathcal{I}}$ is $a$-strange if it contains a computable-from-$a$ structure and its Scott rank is exactly $\omega_{1}^{a}$. For all $a$, $a$-strange structures exist. Theorem : If $\mathcal{C}$ is a collection of $\aleph_{1}$ isomorphism-types of countable structures, then for a Turing cone of $a$’s, no member of $\mathcal{C}$ is $a$-strange.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Guram Bezhanishvili & Nick Bezhanishvili (forthcoming). Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame Journal of Formal Logic.
    The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the $\to$-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the $\vee$-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The $\vee$-free reducts of Heyting algebras give rise to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Will Boney (forthcoming). Computing the Number of Types of Infinite Length. Notre Dame Journal of Formal Logic.
    We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of $1$-types and the length of the sequences. Specifically, if $\kappa \leq \lambda$, then \[\sup_{\Vert M\Vert =\lambda}\vert S^{\kappa}\vert =\vert )^{\kappa}.\] We show that this holds for any abstract elementary class with $\lambda$-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. 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  
  7. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  8. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  9.  14
    A. Gareau & R. Padmanabhan (forthcoming). Two Axioms for Implication Algebras. Notre Dame Journal of Formal Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  9
    Owen Griffiths (forthcoming). Inferentialism and Quantification. Notre Dame Journal of Formal Logic.
    Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Osvaldo Guzmán, Michael Hrušák & Arturo Martínez-Celis (forthcoming). Canjar Filters. Notre Dame Journal of Formal Logic.
    If $\mathcal{F}$ is a filter on $\omega$, we say that $\mathcal{F}$ is Canjar if the corresponding Mathias forcing does not add a dominating real. We prove that any Borel Canjar filter is $F_{\sigma}$, solving a problem of Hrušák and Minami. We give several examples of Canjar and non-Canjar filters; in particular, we construct a $\mathsf{MAD}$ family such that the corresponding Mathias forcing adds a dominating real. This answers a question of Brendle. Then we prove that in all the “classical” models (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. 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  
  13. Wen Chean Teh (forthcoming). Ramsey Algebras and Formal Orderly Terms. Notre Dame Journal of Formal Logic.
    Hindman’s theorem says that every finite coloring of the natural numbers has a monochromatic set of finite sums. A Ramsey algebra is a structure that satisfies an analogue of Hindman’s theorem. In this paper, we present the basic notions of Ramsey algebras by using terminology from mathematical logic. We also present some results regarding classification of Ramsey algebras.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Sebastien Vasey (forthcoming). Indiscernible Extraction and Morley Sequences. Notre Dame Journal of Formal Logic.
    We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erdős–Rado theorem and instead use only Ramsey’s theorem and compactness. The proof shows that the basic theory of forking in simple theories can be developed using only principles from “ordinary mathematics,” answering a question of Grossberg, Iovino, and Lessmann, as well as a question of Baldwin.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. G. Weaver (forthcoming). Dedekind Algebras. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues