Associação para Lógica Simbólica - Association for Symbolic Logic
Abreviação | ASL |
---|---|
Formação | 1936 |
Modelo | Sociedade acadêmica |
Propósito | Pesquisa , inquérito |
Quartel general | Storrs, Connecticut |
Presidente |
Julia F. Knight |
Vice presidente |
Phokion Kolaitis |
Co-Secretário-Tesoureiro |
Russell G. Miller |
Co-Secretário-Tesoureiro |
Reed Solomon |
Local na rede Internet | aslonline |
A Association for Symbolic Logic ( ASL ) é uma organização internacional de especialistas em lógica matemática e lógica filosófica . A ASL foi fundada em 1936, e seu primeiro presidente foi a Igreja Alonzo . A atual presidente da ASL é Julia F. Knight .
Publicações
A ASL publica livros e revistas acadêmicas . Seus três periódicos oficiais são:
- Journal of Symbolic Logic (website) - publica pesquisas em todas as áreas da lógica matemática. Fundada em 1936, ISSN 0022-4812 .
- Bulletin of Symbolic Logic (website) - publica principalmente artigos expositivos e resenhas. Fundado em 1995, ISSN 1079-8986 .
- Review of Symbolic Logic (website) - publica pesquisas relacionadas à lógica, filosofia, ciência e suas interações. Fundado em 2008, ISSN 1755-0203 .
Além disso, a ASL tem um jornal patrocinado:
- Journal of Logic and Analysis (website) - publica pesquisas sobre as interações entre a lógica matemática e a análise pura e aplicada. Fundado em 2009 como um sucessor de acesso aberto do jornal Logic and Analysis da Springer . ISSN 1759-9008 .
A organização desempenhou um papel na publicação dos escritos coletados de Kurt Gödel .
Encontros
A ASL realiza duas reuniões principais a cada ano, uma na América do Norte e outra na Europa (esta última conhecida como Colóquio Lógico ). Além disso, a ASL realiza regularmente reuniões conjuntas com a American Mathematical Society ("AMS") e a American Philosophical Association ("APA"), e patrocina reuniões em muitos países diferentes todos os anos.
Lista de presidentes
Nome | Mandato | |
---|---|---|
1º presidente | Curt John Ducasse | 1936–1937 |
2º presidente | Haskell Curry | 1938-1940 |
3º presidente | Cooper Harold Langford | 1941-1943 |
4º presidente | Alfred Tarski | 1944-1946 |
5º presidente | Ernest Nagel | 1947-1949 |
6º presidente | J. Barkley Rosser | 1950–1952 |
7º presidente | Willard Van Orman Quine | 1953–1955 |
8º presidente | Stephen Cole Kleene | 1956–1958 |
9º presidente | Frederic Fitch | 1959-1961 |
10º presidente | Leon Henkin | 1962-1964 |
11º presidente | William Craig | 1965-1967 |
12º presidente | Abraham Robinson | 1968-1970 |
13º presidente | Dana Scott | 1971-1973 |
14º presidente | Joseph R. Shoenfield | 1974-1976 |
15º presidente | Hilary Putnam | 1977-1979 |
16º presidente | Solomon Feferman | 1980–1982 |
17º presidente | Ruth Barcan Marcus | 1983–1985 |
18º presidente | Michael Morley | 1986-1988 |
19º presidente | Charles Parsons | 1989-1991 |
20º presidente | Yiannis Moschovakis | 1992-1994 |
21º presidente | George Boolos | 1995–1996 |
22º presidente | Menachem Magidor | 1996–1997 |
23º presidente | Donald A. Martin | 1998-2000 |
24º presidente | Richard Shore | 2001–2003 |
25º presidente | Alexander Kechris | 2004–2006 |
26º presidente | Penelope Maddy | 2007–2009 |
27º presidente | Alex Wilkie | 2010–2012 |
28º presidente | Alasdair Urquhart | 2013–2015 |
29º presidente | Ulrich Kohlenbach | 2016–2018 |
30º presidente | Julia Knight | 2019–2021 |
Prêmios
A associação apresenta periodicamente uma série de prêmios e prêmios.
Prêmio Karp
O Prêmio Karp é concedido pela associação a cada cinco anos para um trabalho ou livro de destaque no campo da lógica simbólica. Consiste em um prêmio em dinheiro e foi criado em 1973 em memória da Professora Carol Karp .
Ano | Destinatário (s) |
---|---|
1978 | Robert Vaught , Universidade da Califórnia, Berkeley |
1983 | Saharon Shelah , Universidade Hebraica |
1988 | Donald A. Martin , UCLA; John R. Steel , UCLA; W. Hugh Woodin , Universidade da Califórnia, Berkeley |
1993 | Ehud Hrushovski , MIT e Alex Wilkie , Oxford |
1998 | Ehud Hrushovski , Universidade Hebraica |
2003 | Gregory Hjorth , UCLA e Alexander Kechris , Caltech |
2008 | Zlil Sela , Universidade Hebraica |
2013 | Moti Gitik , Universidade de Tel Aviv; Ya'acov Peterzil , Universidade de Haifa; Jonathan Pila , Universidade de Oxford; Sergei Starchenko , Universidade de Notre Dame; Alex Wilkie , Universidade de Manchester |
2018 | Matthias Aschenbrenner , UCLA; Lou van den Dries , Universidade de Illinois em Urbana – Champaign; Joris van der Hoeven , École Polytechnique |
Prêmio Sacks
O Prêmio Sacks é concedido à dissertação de doutorado de maior destaque em lógica matemática. Consiste em um prêmio em dinheiro e foi criado em 1999 para homenagear o Professor Gerald Sacks do MIT e Harvard.
Os destinatários incluem:
Ano | Destinatário (s) |
---|---|
1994 | Gregory Hjorth |
1995 | Slawomir Solecki |
1996 | Byunghan Kim |
1997 | Ilijas Farah e Thomas Scanlon |
1998 | nenhum prêmio concedido |
1999 | Denis Hirschfeldt e Rene Schipperus |
2000 | Eric Jaligot |
2001 | Matthias Aschenbrenner |
2002 | nenhum prêmio concedido |
2003 | Itay Ben Yaacov |
2004 | Joseph Mileti e Nathan Segerlind |
2005 | Antonio Montalbán |
2006 | Matteo Viale |
2007 | Adrien Deloro e Wojciech Moczydlowski |
2008 | Inessa Epstein e Dilip Raghavan |
2009 | Isaac Goldbring e Grigor Sargsyan |
2010 | Uri Andrews |
2011 | Mingzhong Cai e Adam Day |
2012 | Pierre Simon |
2013 | Artem Chernikov e Nathanaël Mariaule |
2014 | nenhum prêmio concedido |
2015 | Omer Ben-Neria e Martino Lupini |
2016 | William Johnson e Ludovic Patey |
2017 | Matthew Harrison-Trainor e Sebastien Vasey |
2018 | Danny Nguyen |
2019 | Gabriel Goldberg |
Prêmio Shoenfield
Inaugurado em 2007, o Prêmio Shoenfield é concedido a cada três anos em duas categorias, livro e artigo, reconhecendo a redação expositiva de destaque no campo da lógica e homenageando o nome de Joseph R. Shoenfield .
Os destinatários incluem:
Ano | Destinatário (s) |
---|---|
2007 | John P. Burgess (livro); Bohuslav Balcar e Thomas Jech (artigo) |
2010 | John T. Baldwin (livro); Rod Downey, Denis Hirschfeldt, Andrew Nies e Sebastiaan Terwijn (artigo) |
2013 | Stevo Todorcevic (livro); Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson e Alexander Usvyatsov (artigo) |
2016 | Rod Downey e Denis Hirschfeldt (livro); Lou van den Dries (artigo) |