Stowarzyszenie Logiki Symbolicznej - Association for Symbolic Logic
Skrót | ASL |
---|---|
Tworzenie | 1936 |
Rodzaj | Społeczeństwo naukowe |
Cel, powód | Badania , Zapytanie |
Siedziba | Storrs, Connecticut |
Prezydent |
Julia F. Knight |
Wiceprezydent |
Phokion Kolaitis |
Współsekretarz-skarbnik |
Russell G. Miller |
Współsekretarz-skarbnik |
Reed Salomon |
Strona internetowa | aslonline |
Association for Symbolic Logic ( ASL ) jest międzynarodową organizacją specjalistów w logice matematycznej i logiki filozoficznej . ASL została założona w 1936 roku, a jej pierwszym prezesem był Kościół Alonzo . Obecnym prezesem ASL jest Julia F. Knight .
Publikacje
ASL publikuje książki i czasopisma naukowe . Jej trzy dzienniki urzędowe to:
- Journal of Symbolic Logic (strona internetowa) – publikuje badania we wszystkich dziedzinach logiki matematycznej. Założona w 1936 r. ISSN 0022-4812 .
- Bulletin of Symbolic Logic (strona internetowa) – publikuje przede wszystkim artykuły i recenzje ekspozycyjne. Założona w 1995 roku, ISSN 1079-8986 .
- Review of Symbolic Logic (strona internetowa) – publikuje badania dotyczące logiki, filozofii, nauki i ich interakcji. Założona w 2008 roku, ISSN 1755-0203 .
Ponadto ASL posiada czasopismo sponsorowane:
- Journal of Logic and Analysis (strona internetowa) – publikuje badania dotyczące interakcji między logiką matematyczną a analizą czystą i stosowaną. Założona w 2009 roku jako ogólnodostępny następca czasopisma Springer Logic and Analysis . ISSN 1759-9008 .
Organizacja brała udział w wydawaniu pism zebranych Kurta Gödla .
Spotkania
ASL co roku organizuje dwa główne spotkania, jedno w Ameryce Północnej i jedno w Europie (to ostatnie znane jako Logic Colloquium ). Ponadto ASL regularnie organizuje wspólne spotkania zarówno z Amerykańskim Towarzystwem Matematycznym („AMS”), jak i Amerykańskim Stowarzyszeniem Filozoficznym („APA”) i co roku sponsoruje spotkania w wielu różnych krajach.
Lista prezydentów
Nazwa | Kadencja | |
---|---|---|
I Prezydent | Curt John Ducasse | 1936-1937 |
2. prezydent | Haskell Curry | 1938-1940 |
3. Prezydent | Cooper Harold Langford | 1941–1943 |
4. Prezydent | Alfred Tarski | 1944-1946 |
5-ty prezydent | Ernest Nagel | 1947-1949 |
6. Prezydent | J. Barkley Rosser | 1950-1952 |
7. Prezydent | Willard Van Orman Quine | 1953-1955 |
8. Prezydent | Stephen Cole Kleene | 1956-1958 |
9. Prezydent | Fryderyk Fitch | 1959-1961 |
10-ty prezydent | Leon Henkin | 1962-1964 |
11. Prezydent | William Craig | 1965-1967 |
12. Prezydent | Abraham Robinson | 1968-1970 |
13. Prezydent | Dana Scott | 1971-1973 |
14. Prezydent | Joseph R. Shoenfield | 1974-1976 |
15. Prezydent | Hilary Putnam | 1977-1979 |
16. Prezydent | Salomona Fefermana | 1980-1982 |
17. prezydent | Ruth Barcan Marcus | 1983-1985 |
18. prezydent | Michael Morley | 1986-1988 |
19 Prezydent | Karol Parsons | 1989-1991 |
20. prezydent | Yiannis Moschovakis | 1992-1994 |
21. Prezydent | George Boolos | 1995-1996 |
22. Prezydent | Menachem Magidor | 1996-1997 |
23. Prezydent | Donald A. Martin | 1998–2000 |
24 prezydent | Richard Shore | 2001-2003 |
25. Prezydent | Aleksander Kechris | 2004-2006 |
26. Prezydent | Penelope Maddy | 2007-2009 |
27. Prezydent | Alex Wilkie | 2010-2012 |
28 prezydent | Alasdair Urquhart | 2013-2015 |
29 prezydent | Ulrich Kohlenbach | 2016–2018 |
30. prezydent | Julia Rycerz | 2019-2021 |
Nagrody
Stowarzyszenie cyklicznie przyznaje szereg nagród i wyróżnień.
Nagroda Karpa
Nagroda Karpa przyznawana jest przez stowarzyszenie co pięć lat za wybitny artykuł lub książkę z dziedziny logiki symbolicznej. Składa się z nagrody pieniężnej i powstał w 1973 roku ku pamięci profesor Carol Karp .
Rok | Odbiorca(y) |
---|---|
1978 | Robert Vaught , Uniwersytet Kalifornijski, Berkeley |
1983 | Saharon Shelah , Uniwersytet Hebrajski |
1988 | Donalda A. Martina , UCLA; John R. Steel , UCLA; W. Hugh Woodin , Uniwersytet Kalifornijski, Berkeley |
1993 | Ehud Hrushovski , MIT i Alex Wilkie , Oxford |
1998 | Ehud Hrushovski , Uniwersytet Hebrajski |
2003 | Gregory Hjorth , UCLA i Alexander Kechris , Caltech |
2008 | Zlil Sela , Uniwersytet Hebrajski |
2013 | Moti Gitik , Uniwersytet w Tel Awiwie; Ya'acov Peterzil , Uniwersytet w Hajfie; Jonathan Pila , Uniwersytet Oksfordzki; Sergei Starchenko , Uniwersytet Notre Dame; Alex Wilkie , Uniwersytet w Manchesterze |
2018 | Matthias Aschenbrenner , UCLA; Lou van den Dries , Uniwersytet Illinois w Urbana-Champaign; Joris van der Hoeven , École Polytechnique |
Nagroda za worki
Nagroda Sacksa przyznawana jest za najwybitniejszą pracę doktorską z logiki matematycznej. Składa się z nagrody pieniężnej i powstał w 1999 roku, aby uhonorować profesora Geralda Sacksa z MIT i Harvardu.
Odbiorcami są:
Rok | Odbiorca(y) |
---|---|
1994 | Grzegorz Hjorth |
1995 | Sławomir Solecki |
1996 | Byunghan Kim |
1997 | Ilijas Farah i Thomas Scanlon |
1998 | nie przyznano nagrody |
1999 | Denis Hirschfeldt i Rene Schipperus |
2000 | Eric Jaligot |
2001 | Matthias Aschenbrenner |
2002 | nie przyznano nagrody |
2003 | Itay Ben Yaacov |
2004 | Joseph Mileti i Nathan Segerlind |
2005 | Antonio Montalban |
2006 | Matteo Viale |
2007 | Adrien Deloro i Wojciech Moczydłowski |
2008 | Inessa Epstein i Dilip Raghavan |
2009 | Isaac Goldbring i Grigor Sargsyan |
2010 | Uri Andrews |
2011 | Mingzhong Cai i Dzień Adama |
2012 | Pierre Simon |
2013 | Artem Czernikow i Nathanaël Mariaule |
2014 | nie przyznano nagrody |
2015 | Omer Ben-Neria i Martino Lupini |
2016 | William Johnson i Ludovic Patey |
2017 | Matthew Harrison-Trainor i Sebastien Vasey |
2018 | Danny Nguyen |
2019 | Gabriel Goldberg |
Nagroda Shoenfield
Zainaugurowana w 2007 roku Nagroda Shoenfielda przyznawana jest co trzy lata w dwóch kategoriach: książka i artykuł, w uznaniu wybitnych prac publicystycznych z dziedziny logiki oraz uhonorowaniu imienia Josepha R. Shoenfielda .
Odbiorcami są:
Rok | Odbiorca(y) |
---|---|
2007 | John P. Burgess (książka); Bohuslav Balcar i Thomas Jech (artykuł) |
2010 | John T. Baldwin (książka); Rod Downey, Denis Hirschfeldt, Andrew Nies i Sebastiaan Terwijn (artykuł) |
2013 | Stevo Todorcevic (książka); Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson i Alexander Usvyatsov (artykuł) |
2016 | Rod Downey i Denis Hirschfeldt (książka); Lou van den Dries (artykuł) |