organisations: Association for Symbolic Logic

The Association for Symbolic Logic (ASL) is a professional organization dedicated to advancing the study and understanding of logic, the formal principles of reasoning. It brings together researchers, educators, and students interested in logic from various disciplines, including mathematics, philosophy, computer science, and linguistics. The ASL organizes conferences, publishes academic journals, and supports the development of logic as a foundational tool for scientific and philosophical inquiry. Its goal is to promote rigorous thinking, facilitate communication among logicians, and foster progress in understanding the structures and rules that underpin rational thought and formal systems.