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

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

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

Публикации

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

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

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

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

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

Встречи

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

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

ИмяСрок полномочий
Первый президентКурт Джон Дюкасс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
15-й президентХилари Патнэм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


Награды

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

Приз Карпа

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

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

Приз мешков

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

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

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

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

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

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

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

Рекомендации

  1. ^ «Члены Совета, комитеты и представители - Ассоциация символической логики». Ассоциация символической логики. Получено 24 января 2019.
  2. ^ Лекторы Гёделя - Ассоциация символической логики
  3. ^ Бывшие офицеры - Ассоциация символической логики
  4. ^ «Призы и награды - Ассоциация символической логики». Ассоциация символической логики. Получено 24 января 2019.
  5. ^ Лауреаты премии Карпа - Ассоциация символической логики
  6. ^ Получатели премии Сакса - Ассоциация символической логики
  7. ^ Получатели премии Шенфилда - Ассоциация символической логики

внешняя ссылка