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. The phrase Symbolic Logic is meant to encompass the entire field of logical inquiry, undertaken in a modern spirit and based on rigorous methods that were introduced largely due to the stimulus of foundational problems in mathematics.
The Association was founded in 1936, at a time when great advances in the discipline of logic were beginning to be made. The first members of the Association were mainly mathematicians and philosophers who perceived a common ground and sought to strengthen it. More recently, research in other areas such as computer science and linguistics has also been inspired by logic, and the current membership of the Association reflects such expanding interests.
The Association aims to promote an awareness and appreciation of advances in the field of logic among all who may benefit. To this end it publishes three quarterly journals, circulates a newsletter, and undertakes a number of other publishing ventures; it regularly organizes and sponsors meetings and summer schools throughout the world; it awards prizes for excellence in research; and it maintains professional ties with related organizations.