Simbòlinės lògikos asociãcija (Association for Symbolic Logic, ASL), tarptautinė organizacija, vienijanti matematinės logikos ir logikos filosofijos specialistus. Viena didžiausių ir svarbiausių logikos draugijų pasaulyje. Įkurta 1936 Kembridže. Pagrindinė būstinė Konektikuto universitete, Storrse.
Nariai
Narystė asociacijoje gali būti individuali arba institucinė. 2023 tarp institucinių narių buvo Cornellio, Grazo, Ilinojaus, Kalifornijos (Berkeley), Konektikuto, Leedso, Merilando, Mičigano, Nankai (Tiandzine), Niujorko miesto, Pensilvanijos, Princetono, Viskonsino universitetai, Amsterdamo universiteto Logikos, kalbos ir skaičiavimo institutas, Vienos universiteto Gödelio tyrimų centras, Brazilijos logikų draugija.
Tikslai ir veikla
Pagrindiniai asociacijos tikslai: skatinti kūrybinę ir mokslinę veiklą, kritinę diskusiją, supažindinti visuomenę su naujausiais logikos tyrimais, suburti logikos sričių mokslininkus ir jiems atstovauti. Asociacija remia mokslinius tyrimus, teikia premijas už juos (Karpo premiją, nuo 1978, Sackso premiją, nuo 1994, Shoenfieldo premiją, nuo 2007), rengia susitikimus ir vasaros mokyklas, leidžia knygas ir žurnalus, palaiko profesinius ryšius su susijusiomis organizacijomis (pvz., rengia bendrus susirinkimus su Amerikos filosofų asociacija ir Amerikos matematikų draugija).
Simbolinės logikos asociacijos logotipas
Nuo 1936 leidžia žurnalą Journal of Symbolic Logic, nuo 1995 – žurnalą Bulletin of Symbolic Logic, nuo 2008 – žurnalą Review of Symbolic Logic. Rengia knygų serijas Lecture Notes in Logic (nuo 2000), Perspectives in Logic (nuo 2009).
Prezidentai
Žymesni asociacijos prezidentai: A. Tarskis (1944–46), E. Nagelis (1947–49), W. V. O. Quineʼas (1953–55), H. Putnamas (1977–79).