Association for Symbolic Logic

Box 742
Vassar College
124 Raymond Avenue
Poughkeepsie NY 12604


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.

Business Office
Shannon Miller
Association for Symbolic Logic
Dept of Math, University of Connecticut
341 Mansfield Road, U-1009
Storrs, CT 06269-1009

Ulrich Kohlenbach
Department of Mathematics
Technische Universit├Ąt Darmstadt
Schlossgartenstrasse 7
D-64289 Darmstadt, Germany
Term: Jan 1, 2016-Jan 1, 2019