Association for Symbolic Logic
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. Among its many activities, the Association organizes and sponsors meetings and summer schools throughout the world, and publishes books and journals.
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.