기호 논리학 협회

Association for Symbolic Logic
기호 논리학 협회
Association for Symbolic Logic Logo.svg
약어Asl.
포메이션1936
유형학회
목적리서치, 리서치
본부코네티컷 주, 스토러스
대통령
줄리아 F.기사
부통령
포키온콜라염
공동 사무국-재측정원
러셀 G. 밀러
공동 사무국-재측정원
리드 솔로몬
웹사이트aslonline.org

상징논리학협회(ASL)는 수학논리와 철학논리의 전문가들로 구성된 국제기구다.ASL은 1936년에 설립되었고, 초대 대통령은 알론조 교회였다.현재 ASL의 회장은 줄리아 F이다. 기사님[1]

출판물

ASL은 책과 학술지를 발행한다.세 개의 공식 저널은 다음과 같다.

  • Symbolic Logic(website) 저널 – 수학 논리의 모든 영역에 대한 연구를 발표한다.1936년 설립, ISSN0022-4812
  • 상징논리의 게시판(website) – 주로 해설 기사와 리뷰를 게재한다.1995년 ISSN 1079-8986 설립
  • 심볼 로직 검토(website) – 논리, 철학, 과학 및 이들의 상호작용과 관련된 연구를 발표한다.2008년 설립된 ISSN 1755-0203.

또한 ASL은 다음과 같은 후원 저널을 가지고 있다.

  • 논리와 분석 저널(website) – 수학적 논리와 순수 및 응용 분석 사이의 상호작용에 대한 연구를 발표한다.2009년 Springer 저널 Logic and Analysis의 오픈 액세스 후계자로 설립.ISSN 1759-9008.

이 단체는 쿠르트 괴델의 수집된 글을 출판하는 데 한 몫을 했다.[2]

회의

ASL은 매년 두 차례 주요 회의를 개최하는데, 하나는 북미에서, 또 하나는 유럽(후자는 로직 콜로키움으로 알려져 있다)에서 개최된다.또한 ASL은 미국수학협회("AMS")와 미국철학협회("APA")와 함께 정기적으로 합동회의를 개최하고 있으며, 매년 여러 나라에서 회의를 후원하고 있다.

대통령 목록

이름 임기
제1대 대통령 커트 존 듀카세 1936–1937
제2대 대통령 하스켈 커리 1938–1940
제3대 대통령 쿠퍼 해럴드 랭퍼드 1941–1943
제4대 대통령 알프레드 타르스키 1944–1946
제5대 대통령 어니스트 나겔 1947–1949
제6대 대통령 J. 바클리 로서 1950–1952
제7대 대통령 윌러드 판 오르만 콰인 1953–1955
제8대 대통령 스티븐 콜 클레네 1956–1958
제9대 대통령 프레데릭 피치 1959–1961
제10대 대통령 리언 헨킨 1962–1964
제11대 대통령 윌리엄 크레이그 1965–1967
제12대 대통령 에이브러햄 로빈슨 1968–1970
제13대 대통령 다나 스콧 1971–1973
제14대 대통령 조셉 R.쇼엔필드 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대 대통령 도널드 A.마틴 1998–2000
제24대 대통령 리처드 쇼어 2001–2003
제25대 대통령 알렉산더 케크리스 2004–2006
제26대 대통령 페넬로페 매디 2007–2009
제27대 대통령 앨릭스 윌키 2010–2012
제28대 대통령 알래스데어 우르쿠하트 2013–2015
제29대 대통령 울리히 콜렌바흐 2016–2018
제30대 대통령 줄리아 나이트 2019–2021

[3]

수상

협회는 정기적으로 다수의 상과 상을 수여한다.[4]

카프상

Karp상은 상징논리학 분야에서 뛰어난 논문이나 책으로 협회가 5년마다 수여하는 상이다.현금상으로 구성돼 있으며 1973년 캐롤 카프 교수를 추모해 제정됐다.[5]

연도 받는 사람
1978 로버트 보트 버클리 캘리포니아 대학교
1983 사하론 셸라, 히브리 대학교
1988 도널드 A. Martin, UCLA; John R. 강철, UCLA; W. 버클리 캘리포니아 대학교 휴 우딘
1993 에후드 후쇼프스키, MIT, 알렉스 윌키, 옥스퍼드
1998 에후드 후르쇼프스키, 히브리 대학교
2003 UCLA의 그레고리 호르트와 칼텍의 알렉산더 케크리스
2008 질 셀라 히브리 대학교
2013 모티 기티크 텔아비브 대학교, 야아코프 피터질 하이파 대학교, 조나단 필라 옥스퍼드 대학교, 세르게이 스타첸코 노트르담 대학교, 알렉스 윌키 맨체스터 대학교
2018 UCLA의 마티아스 아스첸브레너, 일리노이 대학교 우르바나 샴페인 캠퍼스, 조리스 반 데어 호이븐, 에콜 폴리테크니크

색스상

색스 상은 수학 논리학에서 가장 뛰어난 박사 논문에 수여된다.현금상으로 구성되며, MIT와 하버드의 제럴드 색스 교수를 기리기 위해 1999년에 제정되었다.

수신인:[6]

연도 받는 사람
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년에 취임한 쇼엔필드 상은 논리학 분야에서 뛰어난 해설서를 인정하고 조셉 R의 이름을 기리는 등 3년마다 책과 글 두 부문에서 수여된다. 쇼엔필드[7]

수신인:

연도 받는 사람
2007 존 P. 버지스(책);보후슬라프 발카르와 토마스 제흐(기사)
2010 존 T. 볼드윈(서적); 로드 다우니, 데니스 허쉬펠트, 앤드류 니스, 세바스티안 테르비인(기사)
2013 Stevo Todorcevic(책);Itaï Ben Yaacov, 알렉산더 베렌슈타인, C.워드 헨슨, 알렉산더 우스비야트소프(기사)
2016 로드 다우니 및 데니스 허쉬펠트(책);루 밴 덴 드리스(기사)

참조

  1. ^ "Council Members, Committees, and Representatives – Association for Symbolic Logic". Association for Symbolic Logic. Archived from the original on 24 January 2019. Retrieved 24 January 2019.
  2. ^ 괴델 강사 – 상징논리학협회
  3. ^ 전직 임원 – 상징논리학협회
  4. ^ "Prizes and Awards – Association for Symbolic Logic". Association of Symbolic Logic. Retrieved 24 January 2019.
  5. ^ Karp상 수상자 – 상징논리학협회
  6. ^ 색스상 수상자 – 심볼 로직 협회
  7. ^ 쇼엔필드상 수상자 – 상징논리학협회

외부 링크

Stub icon

이 논리와 관련된 글은 단조롭다.위키피디아를 확장하여 도울 수 있다.