Association for Symbolic Logic

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics. "Symbolic logic" is a term intended to encompass the entire field of logical inquiry, undertaken in this modern spirit. The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and critical discussion of scholarly work in this area of inquiry.