The Association for Symbolic Logic (ASL) is an

international organization An international organization or international organisation (see spelling differences), also known as an intergovernmental organization or an international institution, is a stable set of norms and rules meant to govern the behavior of states a ...

of specialists in

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

and philosophical logic. The ASL was founded in 1936, and its first president was

Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer scien ...

. The current president of the ASL is Julia F. Knight.

Publications

The ASL publishes

book A book is a medium for recording information in the form of writing or images, typically composed of many pages (made of papyrus, parchment, vellum, or paper) bound together and protected by a cover. The technical term for this physi ...

s and

academic journal An academic journal or scholarly journal is a periodical publication in which scholarship relating to a particular academic discipline is published. Academic journals serve as permanent and transparent forums for the presentation, scrutiny, and ...

s. Its three official journals are: * ''

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by ''Mathematical Reviews'', Zentralb ...

'
(website)
– publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'
(website)
– publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'
(website)
– publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, . In addition, the ASL has a sponsored journal: * ''Journal of Logic and Analysis'
(website)
– publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an

open-access Open access (OA) is a set of principles and a range of practices through which research outputs are distributed online, free of access charges or other barriers. With open access strictly defined (according to the 2001 definition), or libre op ...

successor to the Springer journal ''Logic and Analysis''. . The organization played a part in publishing the collected writings of Kurt Gödel.

Meetings

The ASL holds two main meetings every year, one in North America and one in Europe (the latter known as the ''Logic Colloquium''). In addition, the ASL regularly holds joint meetings with both the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

("AMS") and the

American Philosophical Association The American Philosophical Association (APA) is the main professional organization for philosophers in the United States. Founded in 1900, its mission is to promote the exchange of ideas among philosophers, to encourage creative and scholarl ...

("APA"), and sponsors meetings in many different countries every year.

List of presidents

Awards

The association periodically presents a number of prizes and awards.

Karp Prize

The Karp Prize is awarded by the association every five years for an outstanding paper or book in the field of symbolic logic. It consists of a cash award and was established in 1973 in memory of Professor Carol Karp.

Sacks Prize

The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic. It consists of a cash award and was established in 1999 to honor Professor

Gerald Sacks Gerald Enoch Sacks (1933 – October 4, 2019) was a logician whose most important contributions were in recursion theory. Named after him is Sacks forcing, a forcing notion based on perfect sets and the Sacks Density Theorem, which asserts that t ...

of MIT and Harvard. Recipients include:

Shoenfield Prize

Inaugurated in 2007, the Shoenfield Prize is awarded every three years in two categories, book and article, recognizing outstanding expository writing in the field of logic and honoring the name of Joseph R. Shoenfield.Shoenfield Prize Recipients – Association for Symbolic Logic
/ref> Recipients include:

References

External links

ASL website
Learned societies of the United States Mathematical logic organizations Philosophical logic Philosophy organizations Organizations established in 1936 {{logic-stub