The Association for Symbolic Logic (ASL) is an

international organization An international organization, also known as an intergovernmental organization or an international institution, is an organization that is established by a treaty or other type of instrument governed by international law and possesses its own le ...

of specialists in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and

philosophical logic Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophic ...

. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.

Publications

The ASL publishes

book A book is a structured presentation of recorded information, primarily verbal and graphical, through a medium. Originally physical, electronic books and audiobooks are now existent. Physical books are objects that contain printed material, ...

s and

academic journal An academic journal (or scholarly journal or scientific journal) is a periodical publication in which Scholarly method, scholarship relating to a particular academic discipline is published. They serve as permanent and transparent forums for the ...

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'', Zent ...

'' – publishes research in all areas of mathematical logic. Founded in 1936, . * ''Bulletin of Symbolic Logic'' – publishes primarily expository articles and reviews. Founded in 1995, . * ''Review of Symbolic Logic'' – 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'' 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 nominally copyrightable publications are delivered to readers free of access charges or other barriers. With open access strictly defined (according to the 2001 de ...

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

Kurt Gödel Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...

Books Series

Lectures Notes in Logic Perspectives in Logic

Books

Mathematical Logic by Joseph R. Shoenfield

Gödel Lecture Series

The

Gödel Lecture The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990. ...

Series is series of annual ASL lectures that trace back to 1990. The Thirty-Fifth Gödel Lecture 2024 Thomas Scanlon, (Un)decidability in fields The Thirty-Fourth Gödel Lecture 2023 Carl Jockusch, From algorithms which succeed on a large set of inputs to the Turing degrees as a

metric space In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), functi ...

The Thirty-Third Gödel Lecture 2022 Patricia Blanchette, Formalism in Logic The Thirty-Second Gödel Lecture 2021 Matthew Foreman, Gödel

Diffeomorphisms In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable. Defini ...

The Thirty-First Gödel Lecture 2020 Elisabeth Bouscaren, The ubiquity of configurations in

Model Theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

The Thirtieth Gödel Lecture 2019 Sam Buss, Totality, Provability and Feasibility The Twenty-Ninth Annual Gödel Lecture 2018 Rod Downey, Algorithmic randomness The Twenty-Eighth Annual Gödel Lecture 2017 Charles Parsons, Gödel and the universe of sets The Twenty-Seventh Annual Gödel Lecture 2016 Stevo Todorcevic, Basis problems in set theory The Twenty-Sixth Annual Gödel Lecture 2015 Alex Wilkie, Complex continuations of functions definable in

\mathbb_

with a diophantine application The Twenty-Fifth Annual Gödel Lecture 2014 Julia F. Knight, Computable structure theory and formulas of special forms The Twenty-Fourth Annual Gödel Lecture 2013 Kit Fine, Truthmaker sematics The Twenty-Third Annual Gödel Lecture 2012 John Steel, The hereditarily ordinal definable sets in models of determinacy The Twenty-Second Annual Gödel Lecture 2011 Anand Pillay, First order theories The Twenty-First Annual Gödel Lecture 2010 Alexander Razborov, Complexity of propositional proofs The Twentieth Annual Gödel Lecture 2009 Richard Shore, Reverse Mathematics: the Playground of Logic The Nineteenth Annual Gödel Lecture 2008 W. Hugh Woodin, The Continuum Hypothesis, the $\Omega$ Conjecture, and the inner model problem of one supercompact cardinal The Eighteenth Annual Gödel Lecture 2007 Ehud Hrushovski (a lecture on his work delivered in his absence by Thomas Scanlon) The Seventeenth Annual Gödel Lecture 2006

Per Martin-Löf Per Erik Rutger Martin-Löf (; ; born 8 May 1942) is a Sweden, Swedish logician, philosopher, and mathematical statistics, mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathe ...

, The two layers of logic The Sixteenth Annual Gödel Lecture 2005 Menachem Magidor, Skolem-Lowenheim theorems for generalized logics The Fifteenth Annual Gödel Lecture 2004 Michael O. Rabin, Proofs persuasions and randomness in mathematics The Fourteenth Annual Gödel Lecture 2003 Boris Zilber, Categoricity The Thirteenth Annual Gödel Lecture 2002 Harvey Friedman, Issues in the

foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...

The Twelfth Annual Gödel Lecture 2001 Theodore A. Slaman,

Recursion Theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since ex ...

The Eleventh Annual Gödel Lecture 2000

Jon Barwise Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. Education and career He was born in Indepen ...

(Cancelled due to death of speaker) The Tenth Annual Gödel Lecture 1999 Stephen A. Cook, Logic and computatonal complexity The Ninth Annual Gödel Lecture 1998 Alexander S. Kechris, Current Trends in

Descriptive Set Theory In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" set (mathematics), subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has a ...

The Eighth Annual Gödel Lecture 1997 1997

Solomon Feferman Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for h ...

, Occupations and Preoccupations with Gödel: His*Works* and the Work The Seventh Annual Gödel Lecture 1996 1996

Saharon Shelah Saharon Shelah (; , ; born July 3, 1945) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey. Biography Shelah was born in Jerusalem on July 3, 1945. He is th ...

, Categoricity without compactness The Sixth Annual Gödel Lecture 1995 1995 Leo Harrington, Goedel,

Heidegger Martin Heidegger (; 26 September 1889 – 26 May 1976) was a German philosopher known for contributions to phenomenology, hermeneutics, and existentialism. His work covers a range of topics including metaphysics, art, and language. In April ...

, and Direct Perception (or, Why I am a Recursion Theorist) The Fifth Annual Gödel Lecture 1994 1994 Donald A. Martin, L(R): A Survey The Fourth Annual Gödel Lecture 1993 1993 Angus Macintyre, Logic of Real and p-adic Analysis: Achievements and Challenges The Third Annual Gödel Lecture 1992 1992 Joseph R. Shoenfield, The Priority Method The Second Annual Gödel Lecture 1991 1991

Dana Scott Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, C ...

, Will Logicians be Replaced by Machines? The First Annual Gödel Lecture 1990 1990 Ronald Jensen, Inner Models and Large Cardinals

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 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. Recipients include:

Gödel Lecture

Inaugurated in 1990, the Gödel Lecture is the honor of being the speaker at the association's annual meeting. The award is named after

. For the complete list of speakers, please se
Gödel Lecture Series
above.

References

External links

ASL website

Journal of Symbolic LogicThe Review of Symbolic LogicThe Journal of Logic and Analysis
{{Authority control Learned societies of the United States Mathematical logic organizations Philosophical logic Philosophy organizations Organizations established in 1936