Association for Symbolic Logic
Encyclopedia
The Association for Symbolic Logic ("ASL") is an international organization
of specialists in mathematical logic
and philosophical logic
—the largest such organization in the world. The ASL was founded in 1936, a crucial year in the development of modern logic, and its first president was Alonzo Church
. The current president of the ASL is Alex Wilkie
.
s and academic journal
s. Its three official journals are
In addition, the ASL has a sponsored journal,
The organization also played an important role in publishing the collected writings of Kurt Gödel
.
("AMS") and the American Philosophical Association
("APA"), and sponsors meetings in many different countries every year.
International organization
An intergovernmental organization, sometimes rendered as an international governmental organization and both abbreviated as IGO, is an organization composed primarily of sovereign states , or of other intergovernmental organizations...
of specialists in mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
and philosophical logic
Philosophical logic
Philosophical logic is a term introduced by Bertrand Russell to represent his idea that the workings of natural language and thought can only be adequately represented by an artificial language; essentially it was his formalization program for the natural language...
—the largest such organization in the world. The ASL was founded in 1936, a crucial year in the development of modern logic, and its first president was Alonzo Church
Alonzo Church
Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
. The current president of the ASL is Alex Wilkie
Alex Wilkie
Alex Wilkie FRS is a British mathematician known for his contributions to Model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.Wilkie attended Aylesbury...
.
Publications
The ASL publishes bookBook
A book is a set or collection of written, printed, illustrated, or blank sheets, made of hot lava, paper, parchment, or other materials, usually fastened together to hinge at one side. A single sheet within a book is called a leaf or leaflet, and each side of a leaf is called a page...
s and academic journal
Academic journal
An academic journal is a peer-reviewed periodical in which scholarship relating to a particular academic discipline is published. Academic journals serve as forums for the introduction and presentation for scrutiny of new research, and the critique of existing research...
s. Its three official journals are
- Journal of Symbolic LogicJournal of Symbolic LogicThe Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.Founded in 1936, the journal publishes articles on mathematical logic....
(website) – publishes research in all areas of mathematical logic. Founded in 1936, ISSN 0022-4812. - Bulletin of Symbolic Logic (website) – publishes primarily expository articles and reviews. Founded in 1995, ISSN 1079-8986.
- Review of Symbolic Logic (website) – publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008, ISSN 1755-0203.
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 successor to the Springer journal Logic and Analysis. ISSN 1759-9008.
The organization also played an important role in publishing the collected writings of Kurt Gödel
Kurt Gödel
Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
.
Meetings
The ASL holds two main meetings every year, one in the United States and one in Europe (the latter known as the Logic Colloquium). In addition, the ASL regularly holds joint meetings with both the American Mathematical SocietyAmerican Mathematical Society
The American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, which it does with various publications and conferences as well as annual monetary awards and prizes to mathematicians.The society is one of the...
("AMS") and the American Philosophical Association
American Philosophical Association
The American Philosophical Association 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 scholarly activity in philosophy, to facilitate the professional work...
("APA"), and sponsors meetings in many different countries every year.