 | |
| 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]
- ^ "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.