Skip to main content

The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics. "Symbolic logic" is a term intended to encompass the entire field of logical inquiry, undertaken in this modern spirit.

The Association was founded in 1936, at a time when great advances in logic were beginning to be made. Its first members were mainly mathematicians and philosophers who perceived a common ground and sought to strengthen it. Recent research in other areas such as computer science, linguistics, and cognitive science has also been inspired by logic, and the current membership and activities of the Association reflects such expanding interests.

Find out more through the ASL website.

Journals from the Association for Symbolic Logic

The Journal of Symbolic Logic

The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Papers are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience. JSL has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic. Its prestige derives from its longevity and from the standard of submissions -- which, combined with the standards of reviewing, all contribute to the fact that it receives more citations than any other journal in logic.

The Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.

The Bulletin of Symbolic Logic primarily publishes two types of papers: Articles presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic.

The Bulletin also publishes a Reviews Section (edited by Steve Awodey) and reports of ASL meetings, Notices of interest to logicians, and the annual listing of ASL officers, Council members, committee members, and individual and institutional members of the Association.

The Review of Symbolic Logic

The Review of Symbolic Logic is designed to cultivate research on the borders of logic, philosophy, and the sciences, and to support substantive interactions between these disciplines. The journal welcomes submissions in any of the following areas, broadly construed:
  • The general study of logical systems and their semantics,including non-classical logics and algebraic logic;
  • Philosophical logic and formal epistemology, including interactions with decision theory and game theory;
  • The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics;
  • Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences.

The Review welcomes submissions in all these areas. The Review began publication in June 2008.