누엘 벨납
Nuel Belnap누엘 벨납 | |
|---|---|
| 태어난 | 1930 |
| 교육 | 일리노이 대학교 예일 대학교 (PhD, 1960) |
| 시대 | 현대 철학 |
| 지역 | 서양 철학 |
| 학교 | 분석적 |
| 기관 | 피츠버그 대학교 |
| 논문 | 참여의 공식화 (1960) |
| 박사학위 자문위원 | 앨런 로스 앤더슨 |
주된 관심사 | 철학적 논리, 시간적 논리, 구조적 증명 이론 |
주목할 만한 아이디어 | 표시 논리 |
누엘 딘스모어 벨나프 주니어(Nuel Dinsmore Belnhp/;; 1930년 출생)는 논리학, 시간논리학, 구조적 증명 이론의 철학에 공헌한 미국의 논리학자 겸 철학자다. 1963년부터 2011년 은퇴할 때까지 피츠버그 대학에서 강의했다.
전기
학부 시절, 벨납은 일리노이 대학에서 공부했고 그곳에서 B.A.를 취득했다. 그는 맥스 피쉬가 화이트헤드 판독값을 할당했다고 회상했다. 군 복무 후 그는 예일 대학에 다녔고 형이상학을 즐겼다. 그의 교수로는 폴 와이스, 아서 파프, 헨리 마르제나우, 프레데릭 피치, 룰론 웰스가 있다.
1958년 풀브라이트 펠로우쉽에서 그는 캐논 로버트 페이스와 함께 공부하기 위해 루바인으로 갔다. 벨납은 브뤼셀에서 아내와 2살짜리 아이와 함께 거주했다. 페이스는 벨납에게 빌헬름 아커만의 엄격한 시사점에 대한 기사를 기호논리학 저널에 읽으라고 지시했다.[1]
앨런 로스 앤더슨과 벨납은 관련 암시에 대해 논의하기 시작했다. 1960년에 앤더슨은 벨냅에게 관련 논리에 대해 자신이 한 일을 작성하라고 말했고, 이것이 벨냅스의 예일대 박사학위 논문(The Formalization of Entailment)이었다. 이 논문은 해군 연구소의 오마르 카얌 무어를 통해 발표되었다. 벨납은 예일 대학교 조교수가 되었다. 그는 존 바와이즈와 존 월러스를 연구 보조원으로 고용한 것을 회상했다.[2]
피츠버그 대학은 윌프리드 셀러스를 원했고 벨납에 따르면 "제리 리치윈드와 나는 그의 코트에 매달렸다"고 했다. 아돌프 그룬바움과 니콜라스 레셔는 피츠버그에 있었다. 찰스 피크 부총리는 1965년 앨런 앤더슨을 피츠버그로 데려왔고 1973년 사망할 때까지 그곳에서 일했다. 앤더슨과 벨납은 참여의 공동저자였다. 관련성과 필요성의 논리.[3][4] "같이 일할 때 일하는 방식은 턱밑까지 볼이 맞았지. 그냥 앉아서 같이 문장을 썼어."[2]
벨납은 1966년에 정식 교수가 되었다. 커트 바이얼은 부서장이었다. 벨납은 바스 반 프라센과 존 마이클 던을 포함한 학생들과 함께 사회과학의 철학을 가르치기 시작했다. 1967년에 그는 사회학과 교수가 되었고 1971년에 과학철학 교수가 되었다. 결국 그는 앨런 로스 앤더슨의 이름을 딴 그 기부를 받은 의자를 차지했다. 그는 지능을 가진 시스템의 학생인 리치 토마슨이 피트를 지나던 것을 떠올렸다.[2]
모순된 저장 데이터의 결과를 경계한 벨납은 임의의 진술 B에 대해 (A& ~A) → B와 같은 도주 추론을 피하기 위해 4개의 가치 논리를 제안했다.[5] 고전 논리학에서는 폭발 원리로 알려져 있는 4가 논리는 2가 논리의 이러한 병리학을 피하기 위해 상존하는 논리의 근거를 제공한다.
1976년 벨납과 T. B. 스틸 주니어는 적시에 적혈구학에 대한 공헌으로 <질문과 답의 논리>를 출판했다. 그들은 명제적 논리를 넘어, 진화하는 데이터베이스가 "개인들에 대한 더 나은 파일" (146페이지)을 가능하게 하여 "기록보존에서의 사생활의 문제"로 이어진다는 점에 주목했다. 이 책에는 휴버트 슐레이체르트와 우르스 에글리가 편찬한 철학, 언어학, 자동 문제해설, 교육학 등으로 나눠 45쪽 분량의 주석을 단 서적 목록이 수록됐다.
안식일에 벨납은 1977년, 1978년 가을, 존 마이클 던과 함께 캘리포니아 대학교 어바인, 인디아나 대학교 블루밍턴에서 초빙교수를 하고 있었다. 1982년 스탠포드의 행동과학 고급연구센터에서, 1996년 라이프치히에서 리페리히 완싱과 함께 센트럼 퓌르 회에르 스터디엔에서 열렸다. 그는 마리오 번지 등 캐나다인들과 협력한 정확한 철학을 위한 협회의 창립 멤버였다. 벨납은 많은 학술 논문에서 심판 역할을 해 왔다.[2]
그는 2008년 미국 예술 과학 아카데미 회원으로 선출되었다.[6]
선택한 작품
- 1975: (도로시 L. 그로버 & 조셉 L. 캠프와 함께) "진실의 프로센셜 이론", 철학 연구 27(1): 73–125
- 1993: (Anil Gupta와 함께) MIT 출판사 진리의 수정론
- 2001: (밍 쉬와 미셸 펄로프와 함께) 미래를 마주하다: 우리의 불경주의 세계에서 에이전트와 선택들, 옥스퍼드 대학 출판부 (Axford University Press) ISBN0195138783).
참고 항목
참조
- ^ 빌헬름 아커만 (1956) 베그룬둥 아이너(Begrundung Einer)는 프로젝트 유클리드(Project Eucleid)를 통해 심볼 로직 21:113~128의 탄압을 강화한다.
- ^ a b c d N. Belnap(2014) "인적 인터뷰", Belnap on Indeterminism and Free Action, Thomas Müler 편집자, Springer 서적 doi:10.1007/978-319-01754-9페이지
- ^ 앤더슨, A. R. 및 벨납, N. D.(1979) 가입: 관련성과 필요성의 논리. 제1권 프린스턴 대학 출판부.
- ^ 앤더슨, A. R., Belnap, N. D., Dunn, J. M.(1992) 가입: 관련성과 필요성의 논리. 제2권 프린스턴 대학 출판부. ISBN 0-691-07339-2
- ^ N. Belnap(1975) "컴퓨터는 어떻게 생각해야 하는가" (Contemporary Senses of 철학, Gilbert Ryle 편집자, Oriel Press ISBN 0-85362-161-6페이지)
- ^ "Book of Members, 1780-2010: Chapter B" (PDF). American Academy of Arts and Sciences. Retrieved May 30, 2011.
