L'associazione ha come scopo la diffusione dello studio e della conoscenza della logica in tutte le sue forme, l'avanzamento della ricerca e la promozione delle sue appplicazioni. Essa si riconosce nelle finalità e negli obiettivi della Association for Symbolic Logic.