The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics.

Philosophical logic and formal epistemology, including interactions with decision theory and game theory.

The general study of logical systems and their semantics,including non-classical logics and algebraic logic.

The journal welcomes submissions in any of the following areas, broadly construed: 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 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 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. 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В 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. 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. JSLВ has been, since its establishment in 1936, the leading journal in the world devoted to mathematical logic. They should also be of interest to a broad audience. Papers are expected to exhibit innovation and not merely be minor variations on established work.

The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. 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. Its first members were mainly mathematicians and philosophers who perceived a common ground and sought to strengthen it.

The Association was founded in 1936, at a time when great advances in logic were beginning to be made. 'Symbolic logic' is a term intended to encompass the entire field of logical inquiry, undertaken in this modern spirit. 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. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry. The Association for Symbolic Logic is an international organization supporting research and critical studies in logic.

Logic world wide cover