Association for Symbolic Logic

Association for Symbolic Logic
AbbreviationASL
Formation1936
TypeScholarly society
PurposeResearch, Inquiry
HeadquartersStorrs, Connecticut
President
Phokion Kolaitis
Vice President
Natasha Dobrinen
Co-Secretary-Treasurer
Russell G. Miller
Co-Secretary-Treasurer
Reed Solomon
Websiteaslonline.org

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.[1]

  1. ^ "Council Members, Committees, and Representatives – Association for Symbolic Logic". Association for Symbolic Logic. Archived from the original on 4 May 2023. Retrieved 4 May 2023.