Association for Symbolic Logic
Die Association of Symbolic Logic' (ASL) ist eine internationale Organisation von Logikern (mathematische Logiker und Philosophen). Sie wurde 1936 gegründet. Erster Präsident war Alonzo Church.
Zur Zeit ist Penelope Maddy Präsidentin.
Die Organisation gibt die Zeitschriften Bulletin of Symbolic Logic, Journal of Symbolic Logic und Review of Symbolic Logic heraus sowie eigene Buchreihen.
Die ASL hat zwei Haupt-Konferenzen in jedem Jahr, eine in den USA und eine in Europa (Logic Colloquium). Außerdem organisiert sie weitere Konferenzen, zum Beispiel regelmäßig mit der American Mathematical Society und der American Philosophical Society.