Abbreviation | ASL |
---|---|
Formation | 1936 |
Type | Scholarly society |
Purpose | Research, Inquiry |
Headquarters | Storrs, Connecticut |
President | Phokion Kolaitis |
Vice President | Natasha Dobrinen |
Co-Secretary-Treasurer | Russell G. Miller |
Co-Secretary-Treasurer | Reed Solomon |
Website | aslonline |
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]