Ассоциация символической логики - Association for Symbolic Logic

Ассоциация символической логики

Сокращенное название	ASL
Формирование	1936 г.
Тип	Научное общество
Цель	Исследования , запросы
Штаб-квартира	Сторрс, Коннектикут
Президент	Джулия Ф. Найт
Вице-президент	Фокион Колайтис
Сосекретарь-казначей	Рассел Дж. Миллер
Сосекретарь-казначей	Рид Соломон
Веб-сайт	aslonline .org

Ассоциация символической логики ( ASL ) является международной организацией специалистов в области математической логики и философской логике . ASL была основана в 1936 году, и ее первым президентом был Алонзо Черч . Нынешний президент ASL ​​- Джулия Ф. Найт .

Публикации

ASL издает книги и академические журналы . Его три официальных журнала:

• Journal of Symbolic Logic (веб-сайт) - публикует исследования во всех областях математической логики. Основан в 1936 году, ISSN  0022-4812 .
• Bulletin of Symbolic Logic (веб-сайт) - публикует в основном пояснительные статьи и обзоры. Основан в 1995 г., ISSN  1079-8986 .
• Review of Symbolic Logic (веб-сайт) - публикует исследования, касающиеся логики, философии, науки и их взаимодействия. Основан в 2008 г., ISSN  1755-0203 .

Кроме того, у ASL есть спонсируемый журнал:

• Journal of Logic and Analysis (веб-сайт) - публикует исследования о взаимодействии математической логики и чистого и прикладного анализа. Основан в 2009 году как преемник журнала Springer Logic and Analysis с открытым доступом . ISSN 1759-9008 . 

Организация сыграла определенную роль в публикации собрания сочинений Курта Гёделя .

Встречи

ASL ежегодно проводит два основных собрания: одно в Северной Америке и одно в Европе (последнее известно как Коллоквиум по логике ). Кроме того, ASL регулярно проводит совместные встречи с Американским математическим обществом («AMS») и Американской философской ассоциацией («APA»), а также ежегодно спонсирует встречи во многих разных странах.

Список президентов

	Имя	Срок полномочий
Первый президент	Курт Джон Дюкасс	1936–1937
2-й президент	Хаскелл Карри	1938–1940
3-й президент	Купер Гарольд Лэнгфорд	1941–1943 гг.
4-й президент	Альфред Тарски	1944–1946
5-й президент	Эрнест Нагель	1947–1949
Шестой президент	Дж. Баркли Россер	1950–1952
Седьмой президент	Уиллард Ван Орман Куайн	1953–1955
8-й президент	Стивен Коул Клини	1956–1958 гг.
9-й президент	Фредерик Фитч	1959–1961
10-й президент	Леон Хенкин	1962–1964
11-й президент	Уильям Крейг	1965–1967
12-й президент	Авраам Робинсон	1968–1970
13-й президент	Дана Скотт	1971–1973 гг.
14-й президент	Джозеф Р. Шенфилд	1974–1976
Пятнадцатый президент	Хилари Патнэм	1977–1979
16-й президент	Соломон Феферман	1980–1982
17-й президент	Рут Баркан Маркус	1983–1985
18-й президент	Майкл Морли	1986–1988
19-й президент	Чарльз Парсонс	1989–1991
20-й президент	Яннис Мощовакис	1992–1994
21-й президент	Джордж Булос	1995–1996
22-й президент	Менахем Магидор	1996–1997
23-й президент	Дональд А. Мартин	1998–2000
24-й президент	Ричард Шор	2001–2003 гг.
25-й президент	Александр Кечрис	2004–2006
26-й президент	Пенелопа Мэдди	2007–2009
27-й президент	Алекс Уилки	2010–2012 гг.
28-й президент	Аласдер Уркхарт	2013–2015 гг.
29-й президент	Ульрих Коленбах	2016–2018 гг.
30-й президент	Джулия Найт	2019–2021 гг.

Награды

Ассоциация периодически вручает ряд премий и наград.

Премия Карпа

Премия Карпа присуждается ассоциацией каждые пять лет за выдающуюся статью или книгу в области символической логики. Он состоит из денежной премии и был учрежден в 1973 году в память о профессоре Кэрол Карп .

Год	Получатель (и)
1978 г.	Роберт Воот , Калифорнийский университет, Беркли
1983 г.	Сахарон Шелах , Еврейский университет
1988 г.	Дональд А. Мартин , Калифорнийский университет в Лос-Анджелесе; Джон Р. Стил , Калифорнийский университет в Лос-Анджелесе; В. Хью Вудин , Калифорнийский университет, Беркли
1993 г.	Эхуд Грушовски , Массачусетский технологический институт, и Алекс Уилки , Оксфорд
1998 г.	Эхуд Грушовски , Еврейский университет
2003 г.	Грегори Хьорт , Калифорнийский университет в Лос-Анджелесе, и Александр Кечрис , Калифорнийский технологический институт
2008 г.	Злил Села , Еврейский университет
2013	Моти Гитик , Тель-Авивский университет; Яаков Петерзил , Хайфский университет; Джонатан Пила , Оксфордский университет; Сергей Старченко , Университет Нотр-Дам; Алекс Уилки , Манчестерский университет
2018 г.	Маттиас Ашенбреннер , Калифорнийский университет в Лос-Анджелесе; Лу ван ден Дрис , Университет Иллинойса в Урбане-Шампейн; Йорис ван дер Хувен , Политехническая школа

Приз мешков

Премия Сакса присуждается за наиболее выдающуюся докторскую диссертацию по математической логике. Он состоит из денежной премии и был учрежден в 1999 году в честь профессора Джеральда Сакса из Массачусетского технологического института и Гарварда.

Получатели включают:

Год	Получатель (и)
1994 г.	Грегори Хьорт
1995 г.	Славомир Солецкий
1996 г.	Бьюнган Ким
1997 г.	Илияс Фарах и Томас Скэнлон
1998 г.	приз не присужден
1999 г.	Денис Хиршфельдт и Рене Шипперус
2000 г.	Эрик Жалиго
2001 г.	Маттиас Ашенбреннер
2002 г.	приз не присужден
2003 г.	Итай Бен Яаков
2004 г.	Джозеф Милети и Натан Сегерлинд
2005 г.	Антонио Монтальбан
2006 г.	Маттео Виале
2007 г.	Адриен Делоро и Войцех Мочидловски
2008 г.	Инесса Эпштейн и Дилип Рагхаван
2009 г.	Исаак Голдбринг и Григор Саркисян
2010 г.	Ури Эндрюс
2011 г.	Минчжун Цай и Адам Дэй
2012 г.	Пьер Симон
2013	Артем Черников и Натанаэль Мариауль
2014 г.	приз не присужден
2015 г.	Омер Бен-Нерия и Мартино Лупини
2016 г.	Уильям Джонсон и Людовик Пейти
2017 г.	Мэттью Харрисон-Трейнор и Себастьян Васи
2018 г.	Дэнни Нгуен
2019 г.	Габриэль Голдберг

Приз Шенфилда

Открытая в 2007 году, премия Шенфилда присуждается каждые три года в двух категориях: книги и статьи, отмечая выдающиеся разъяснительные работы в области логики и чествуя имя Джозефа Р. Шенфилда .

Получатели включают:

Год	Получатель (и)
2007 г.	Джон П. Берджесс (книга); Богуслав Балкар и Томас Ех (статья)
2010 г.	Джон Т. Болдуин (книга); Род Дауни, Денис Хиршфельд, Эндрю Найс и Себастьян Тервейн (статья)
2013	Стево Тодорцевич (книга); Итай Бен Яаков, Александр Беренштейн, К. Уорд Хенсон и Александр Усвяцов (статья)
2016 г.	Род Дауни и Денис Хиршфельдт (книга); Лу ван ден Дрис (статья)

использованная литература

внешние ссылки

• Сайт ASL