Secretary/Treasurer
Charles Steinhorn
Association for Symbolic Logic
Box 742
Vassar College
124 Raymond Avenue
Poughkeepsie NY 12604
845-437-7080
steinhorn@vassar.edu
asl@vassar.edu

President
Ulrich Kohlenbach
Department of Mathematics
Technische Universität Darmstadt
Schlossgartenstrasse 7
D-64289 Darmstadt, Germany
kohlenbach@mathematik.tu-darmstadt.de
Term: Jan 1, 2016-Jan 1, 2019

ASL NEWSLETTER
Charles Steinhorn, Editor
(see Secretary-Treasurer listing above)

 



 

ASL
Box 742
Vassar College
124 Raymond Avenue
Poughkeepsie NY 12604
845-437-7080
www.aslonline.org

The Association for Symbolic 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 two 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.