Journal of Symbolic Logic

Journal of Symbolic Logic is a peer-reviewed academic journal founded in 1936 focusing on formal logic and related areas of mathematical and philosophical inquiry. It serves as a principal venue for research by scholars associated with institutions such as Princeton University, Harvard University, University of California, Berkeley, University of Chicago, and University of Oxford. The journal connects researchers who work on topics linked to figures and institutions like Kurt Gödel, Alonzo Church, Alan Turing, Emil Post, and Alfred Tarski.

History

The journal was established in the wake of developments associated with the Vienna Circle, the International Congress of Mathematicians, and the rising influence of scholars from Institute for Advanced Study, Princeton University, and Harvard University. Early contributors included members of schools connected to Hilbert's program, Ludwig Wittgenstein, David Hilbert, John von Neumann, and Bertrand Russell. Through mid-20th century exchanges with groups at Category Theory seminars at University of Cambridge, the journal became central to dissemination of results related to the Entscheidungsproblem, completeness theorem work stemming from Gödel's incompleteness theorems, and advances propagated by researchers at Massachusetts Institute of Technology, Cornell University, and Yale University.

Scope and Editorial Policy

The editorial policy emphasizes original research in areas spanning proof theory, model theory, set theory, recursion theory, and connections with philosophy of mathematics as pursued by scholars from Columbia University, University of California, Los Angeles, Stanford University, Brown University, and Rutgers University. Manuscripts are evaluated under anonymous peer review procedures comparable to those used at journals associated with American Mathematical Society, London Mathematical Society, Elsevier, and Springer Nature. The scope explicitly covers work related to traditions traced to Tarski's undefinability theorem, Church–Turing thesis, Kleene recursion theory, Skolem–Löwenheim theorem, and interplay with constructs explored at Institut Henri Poincaré, Max Planck Institute for Mathematics, and CNRS-affiliated laboratories.

Abstracting and Indexing

The journal is indexed in bibliographic services and databases that also cover journals like Annals of Mathematics, Journal of the American Mathematical Society, Transactions of the American Mathematical Society, Proceedings of the London Mathematical Society, and Bulletin of Symbolic Logic. It is included in abstracting services used by libraries at Library of Congress, British Library, Bodleian Library, and research consortia connected to JSTOR, MathSciNet, Zentralblatt MATH, and Web of Science. University catalogues and indexing tools at Princeton University Library, Harvard Library, Yale University Library, and University of Chicago Library list the journal among core periodicals in logic and foundations.

Notable Articles and Contributions

The journal has published influential articles that relate to milestones associated with Kurt Gödel, Alonzo Church, Alan Turing, Paul Cohen, Gerhard Gentzen, Per Martin-Löf, Dana Scott, Dana Scott's domain theory, Saharon Shelah, Harvey Friedman, Solomon Feferman, Harvey Friedman, Ronald Jensen, Jack Silver, W. Hugh Woodin, Alexandru Ioan Cuza University-affiliated scholars, and others. Landmark contributions include work addressing independence results connected to Continuum Hypothesis, forcing techniques developed in the lineage of Paul Cohen, combinatorial set theory influenced by Kurt Gödel's constructible universe, recursion-theoretic classifications following Stephen Cole Kleene, and model-theoretic frameworks related to Alfred Tarski and Saharon Shelah. The journal has featured papers that advanced methods analogous to those in proof theory by Gerhard Gentzen, ordinal analyses inspired by Gerald Sacks, and definability studies tied to W. V. O. Quine.

Editorial Board and Publication Details

The journal is published by the Association for Symbolic Logic and governed by an editorial board comprising scholars affiliated with institutions such as University of California, Berkeley, Massachusetts Institute of Technology, Princeton University, University of Oxford, University of Cambridge, Carnegie Mellon University, University of Toronto, University of Chicago, University of Michigan, and New York University. Publication is quarterly, with editorial practices coordinated with professional societies including American Mathematical Society, European Mathematical Society, Association for Computing Machinery, and the International Mathematical Union. Archival collections and indexing entries are maintained by repositories at JSTOR, Project Euclid, MathSciNet, and major university libraries including Harvard University, Yale University, and Columbia University.

Category:Mathematics journals Category:Logic journals