L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936 et son premier président fut Alonzo Church. Le président actuel de l'ASL est (en).