Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics. With an interdisciplinary editorial board, the journal strikes a unique balance among historical, philosophical, and mathematical perspectives. Advance publication of articles online is available.

Top downloads over the last seven days

Lehmann on the rules of the invalid syllogisms.Charles TurekVolume 16, Number 4 (1975)
Syllogisms using ``few'', ``many'', and ``most''.Bruce ThompsonVolume 23, Number 1 (1982)
Classifying Dini's TheoremJosef Berger and Peter SchusterVolume 47, Number 2 (2006)
Walter Burleigh's hypothetical syllogistic.Ivan BohVolume 4, Number 4 (1963)
Common sense in semantics.Jerrold J. KatzVolume 23, Number 2 (1982)
  • ISSN: 0029-4527 (print), 1939-0726 (electronic)
  • Publisher: Duke University Press
  • Discipline(s): Logic
  • Full text available in Euclid: 1960--
  • Access: Articles older than 5 years are open
  • Euclid URL:

In memoriam

The Notre Dame Journal of Formal Logic announces with sadness the passing of Notre Dame Professor and NDJFL co-editor Michael “Mic” Detlefsen on October 21, 2019. A memorial notice from the University of Notre Dame is available here.

Featured bibliometrics

MR Citation Database MCQ (2018): 0.41
JCR (2018) Impact Factor: 0.578
JCR (2018) Five-year Impact Factor: 0.487
JCR (2018) Ranking: 220/314 (Mathematics); 10/20 (Logic)
Eigenfactor: Notre Dame Journal of Formal Logic
SJR/SCImago Journal Rank (2018): 0.34

Indexed/Abstracted in: Arts and Humanities Citation Index, Current Contents/Arts and Humanities, ERIH PLUS, Magazines for Libraries, MathSciNet, Science Citation Index Expanded, Scopus, The Philosopher's Index, and zbMATH

Featured article

A New Conditional for Naive Truth Theory

Andrew BaconVolume 54, Number 1 (2013)

In this paper a logic suitable for reasoning disquotationally about truth, $\mathsf{TJK}^{+}$, is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and $\omega$-consistency of truth theories with strong conditional logics. A novel method utilizing the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have so far failed to provide.