Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic (commonly abbreviated as Notre Dame J. Form. Log.) is a quarterly formal logic journal run by the University of Notre Dame and published by Duke University Press. Founded in 1960, it carries a 2025 impact factor of 0.6.Notre Dame Journal of Formal Logic（常用缩写 Notre Dame J. Form. Log.）是圣母大学主办、杜克大学出版社出版的形式逻辑季刊，1960 年创刊，2025 年影响因子为 0.6。^[1]

Scope

• Scope: the journal publishes original work in all areas of logic and the foundations of mathematics, with an interdisciplinary board spanning philosophy, mathematics, linguistics and computer science.学科定位： 期刊发表逻辑与数学基础各领域的原创工作，编委会横跨哲学、数学、语言学与计算机科学。
• Distinctive balance: a unique balance is struck among historical, philosophical and mathematical perspectives, addressing philosophical and mathematical logic at a broad level alike.办刊特色： 期刊在历史、哲学与数学三种视角之间保持独特平衡，兼顾哲学逻辑与数学逻辑的宽层面。
• Editorial division: the two editors-in-chief take charge of distinct review areas, mathematical logic for one and philosophical logic covering proof theory, history of logic and substructural logics for the other.主编分工： 两位主编分别负责数学逻辑与哲学逻辑——含证明论、逻辑史与子结构逻辑——的审稿领域。
• Publishing model: the journal is subscription-based, with articles released for free access five years after publication.出版模式： 期刊为订阅型刊物，文章出版五年后可自由获取。
• Indexing and metrics: indexed in both the Arts and Humanities Citation Index and the Science Citation Index Expanded, the journal sits in the second and third quartiles of logic, with a 2025 impact factor of 0.6.收录与指标： 被艺术与人文引文索引及科学引文索引扩展版收录，在逻辑学类别中列第二、第三区，2025 年影响因子为 0.6。^[2]

History

• Founded in 1960: the journal was established by the University of Notre Dame in 1960 as a long-standing outlet for formal logic and the foundations of mathematics.1960年创刊： 期刊于 1960 年由圣母大学创办，是形式逻辑与数学基础方向的老牌刊物。
• Publisher history: sponsored by Notre Dame and published by Duke University Press, the journal circulates through the Project Euclid platform.出版方沿革： 期刊由圣母大学主办，杜克大学出版社承担出版发行，全文经由 Project Euclid 平台传播。
• In memoriam: former editor Michael Detlefsen is remembered with a memorial listing on the editorial board page.纪念主编： 前任主编 Michael Detlefsen 已故，编委页以其名义留有纪念条目。
• Recent metrics: the impact factor stood at 0.554 in 2019, 0.7 in 2022 and 0.6 in 2025.近年指标： 影响因子 2019 年为 0.554，2022 年为 0.7，2025 年为 0.6。
• Frequency: the journal appears quarterly, with volume 67 running in 2026.刊期： 期刊为季刊，2026 年已出版至第 67 卷。^[3]

Editors

• Editors-in-chief: two editors lead the journal, Curtis Franks of the Department of Philosophy and Anand Pillay of the Department of Mathematics, both at the University of Notre Dame.现任主编： 期刊设双主编，分别为哲学系的 Curtis Franks 与数学系的 Anand Pillay，均任职于圣母大学。
• Editorial board: editors are listed by review area, covering philosophy of mathematics and of model theory and set theory, computability theory, theories of truth and substructural logic, and computability with proof complexity.编委构成： 编委按审稿领域列名，覆盖数学哲学、模型论与集合论哲学、可计算性理论、真理论与子结构逻辑、计算理论与证明复杂度等方向。
• Editorial office: an editorial and business manager runs day-to-day operations from the Notre Dame editorial office.编辑事务： 编辑与业务经理负责日常运营，编辑部设于圣母大学。^[4]
• Submission and peer review: manuscripts are lodged through the Editorial Manager system and undergo peer review.投稿与评审： 稿件经 Editorial Manager 在线系统递交，接受同行评审。
• Editorial policy: the journal cultivates mutual enrichment among the historical, philosophical and mathematical approaches to logic, welcoming cross-disciplinary contributions.编辑方针： 期刊强调逻辑研究中历史、哲学与数学三种取径的相互滋养，欢迎跨学科背景的成果。