Private company
Association for Symbolic Logic
Logo: Association for Symbolic Logic, Public domain, via Wikimedia Commons3
International specialist organization
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Natasha Dobrinen.2 It is headquartered in Poughkeepsie.1 Wikipedia text CC BY-SA 4.0
Last updated Oct 21, 2026.
Overview
- Industryhigher education1
- HeadquartersPoughkeepsie1
- Websitewww.aslonline.org
- Legal formvoluntary association1
See how the biggest companies compare on our leaderboards
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Natasha Dobrinen.2
Leadership
Who has led Association for Symbolic Logic, and when. Pick a name to see everywhere that person has worked.
Chair
- Curt John Ducasse1936–1938
- Haskell Curry1938–1940
- Cooper Harold Langford1941–1943
- Alfred Tarski1944–1946
- Ernest Nagel1947–1949
- J. Barkley Rosser1950–1952
- Willard Van Orman Quine1953–1955
- Stephen Cole Kleene1956–1958
- Frederic Brenton Fitch1959–1961
- Leon Henkin1962–1964
- William Craig1965–1967
- Abraham Robinson1968–1970
- Dana Scott1971–1973
- Joseph Robert Shoenfield1974–1976
- Hilary Putnam1977–1979
- Solomon Feferman1980–1982
- Ruth Barcan Marcus1983–1985
- Michael D. Morley1986–1989
- Charles Parsons1989–1991
- Yiannis N. Moschovakis1992–1995
- George Boolos1995–1998
- Menachem Magidor1996–1998
- Donald A. Martin1998–2001
- Richard Shore2001–2004
- Alexander S. Kechris2004–2007
- Penelope Maddy2007–2010
- Alec Wilkie2010–2013
- Alasdair Urquhart2013–2016
- Ulrich Kohlenbach2016–2018
- Julia F. Knight2019–2021
- Phokion Kolaitis2022–2024
- Natasha Dobrinen2025–2028
- ChairNatasha Dobrinen 2025 to 20281
- ChairPhokion Kolaitis 2022 to 20241
- ChairJulia F. Knight 2019 to 20211
- ChairUlrich Kohlenbach 2016 to 20181
- ChairAlasdair Urquhart 2013 to 20161
- ChairAlec Wilkie 2010 to 20131
- ChairPenelope Maddy 2007 to 20101
- ChairAlexander S. Kechris 2004 to 20071
- ChairRichard Shore 2001 to 20041
- ChairDonald A. Martin 1998 to 20011
- ChairMenachem Magidor 1996 to 19981
- ChairGeorge Boolos 1995 to 19981
- ChairYiannis N. Moschovakis 1992 to 19951
- ChairCharles Parsons 1989 to 19911
- ChairMichael D. Morley 1986 to 19891
- ChairRuth Barcan Marcus 1983 to 19851
- ChairSolomon Feferman 1980 to 19821
- ChairHilary Putnam 1977 to 19791
- ChairJoseph Robert Shoenfield 1974 to 19761
- ChairDana Scott 1971 to 19731
- ChairAbraham Robinson 1968 to 19701
- ChairWilliam Craig 1965 to 19671
- ChairLeon Henkin 1962 to 19641
- ChairFrederic Brenton Fitch 1959 to 19611
- ChairStephen Cole Kleene 1956 to 19581
- ChairWillard Van Orman Quine 1953 to 19551
- ChairJ. Barkley Rosser 1950 to 19521
- ChairErnest Nagel 1947 to 19491
- ChairAlfred Tarski 1944 to 19461
- ChairCooper Harold Langford 1941 to 19431
- ChairHaskell Curry 1938 to 19401
- ChairCurt John Ducasse 1936 to 19381
Timeline
- 1936Founded Founded1
Links
- Websitewww.aslonline.org1
- WikipediaAssociation for Symbolic Logic
- WikidataQ743648
Sources
The numbers on this page point here. Each one links to the record it came from.
- 1
- 2
- 3