존 바와이즈

Jon Barwise

케네스바와이즈(Kenneth Jon Barwise, 1942년 6월 29일 ~ 2000년 [1]3월 5일)는 미국수학자, 철학자, 논리학자이다.

교육과 경력

미주리주 인디펜던스에서 케네스 T.와 에블린 배와이즈 사이에서 태어난 존은 조숙한 아이였다.

스탠포드 대학의 솔로몬 페퍼맨의 제자인 Barwise는 무한 논리학을 연구하기 시작했다.예일 대학과 위스콘신 대학에서 조교수로 재직하다가 자연어로 관심을 돌린 , 1983년 스탠포드로 돌아와 언어와 정보 연구 센터를 이끌었습니다.그는 1990년에 인디애나 대학에서 가르치기 시작했다.그는 1999년에 [2]미국 예술 과학 아카데미의 펠로우로 선출되었다.

그의 마지막 해에 Barwise는 2000 Gödel 강의에 초대받았습니다;[3] 그는 강의 전에 죽었습니다.

철학적이고 논리적인 작업

Barwise는 명제가 이루어지는 상황에 대해 명확히 함으로써 논리 적용에 있어 많은 문제를 제거할 수 있다고 주장했다.그는 정보의 일반적 이론 안에서 의미와 추론을 이해하기 위해 자연적 또는 형식적 언어의 문장과 문장 사이의 관계와 문장의 영역을 벗어나게 하는 것을 추구했다.특히, 그는 그러한 접근법이 거짓말쟁이 역설을 해결했다고 주장했다.그는 "악의 서클"을 이해하기 위해 피터 엑젤의 근거 없는 집합론을 이용했다.

Barwise는 스탠포드 대학의 전 동료인 John Echemendy와 함께 인기 있는 논리 교과서 Language, Proof, Logic의 저자였다.1975년경 가 편집자로 있던 수리논리학의 기술 실태를 조사한 수리논리 핸드북과 달리 이 작품은 기초논리를 대상으로 했다.이 텍스트는 논리적 문제를 시각적으로 표현하는 컴퓨터 지원 숙제 문제를 포함하는 것으로 주목할 만하다.스탠포드 재학 중 인지, 언어, 논리 및 계산 간의 관계에 초점을 맞춘 부서 간 학위 프로그램인 Symbolic Systems Program의 초대 이사이기도 했습니다.K. Jon Barwise Award for the [4]Symbolic Systems Program은 2001년부터 정기적으로 수여되고 있습니다.

선택한 출판물

  • 막대, K. J.(1975) 허용 집합구조. 정의 가능성 이론의 접근법 ISBN0-387-07451-1
  • Barwise, K. J. & Perry, John (1983) 상황태도.케임브리지: MIT 프레스.ISBN 1-57586-193-3[5]
  • Barwise, K. J. & Etchemendy, J. (1987) 거짓말쟁이: 진실과 순환의 에세이 ISBN 0-19-505944-1[6]
  • Barwise, K. J. (1988) 논리 ISBN 0-937073-32-6상황
  • 바와이즈, K. J. & Moss, L. (1996) Vicious Circles. 비근거 현상의 수학에 관한 ISBN 1-57586-008-2[7]
  • Barwise, K, J. & Seligman, J. (1997) 정보 흐름: 분산 시스템논리 ISBN 0-521-58386-1
  • Barwise, K. J. & Etchemendy, J. (2002) 언어, 증명논리 ISBN 1-57586-374-X
  • 바와이즈, K. J. 편집자(1977) 수리논리 핸드북.xi+1165페이지 ISBN 0-7204-2285-X
  • Barwise, J. & Feferman, S. Editors(1985) 모델 이론 논리.x+893 페이지 ISBN 0-387-90936-2

「 」를 참조해 주세요.

레퍼런스

  1. ^ Walsh, Eileen (8 March 2000). "Noted logician K. Jon Barwise dies". Stanford News Service.
  2. ^ "Book of Members, 1780-2010: Chapter B" (PDF). American Academy of Arts and Sciences. Retrieved May 20, 2011.
  3. ^ "2000 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 6 (3): 361–396. 2000. doi:10.2307/421070. ISSN 1079-8986. JSTOR 421070.
  4. ^ "K. Jon Barwise Award, Symbolic Systerms Program, Stanford University". Archived from the original on 2017-06-15. Retrieved 2015-03-29.
  5. ^ Butterfield, Jerry (April 1986). "Review of Situations and Attitudes by Jon Barwise and John Perry". The Philosophical Quarterly. 36 (143): 292–296. doi:10.2307/2219775. JSTOR 2219775.
  6. ^ Moss, Lawrence S. (1989). "Review of The Liar: An essay in truth and circularity by Jon Barwise and John Etchemendy" (PDF). Bull. Amer. Math. Soc. (N.S.). 20 (2): 216–225. doi:10.1090/S0273-0979-1989-15770-4.
  7. ^ Rutten, J. J. M. M. (1998). "Review of Vicious circles: On the mathematics of non-wellfounded phenomena by Jon Barwise and Larry Moss" (PDF). Bull. Amer. Math. Soc. (N.S.). 35 (1): 69–75. doi:10.1090/s0273-0979-98-00735-6.

외부 링크