앨런 로스 앤더슨

앨런 로스 앤더슨
태어난	(1925-04-11) 1925년[1] 4월 11일
죽은	1973
모교	예일 대학교
과학 경력
논문	로직의 미세화 시스템 (1955)
박사학위 자문위원	프레데릭 브렌턴 피치
박사과정 학생	누엘 벨납, 알래스카 우르쿠하트

앨런 로스 앤더슨(1925~1973)은 미국의 논리학자 겸 예일대와 피츠버그대 철학과 교수였다.

Nuel Belnap과 자주 협력했던 앤더슨은 관련 논리와 신논리의 개발에 중요한 역할을 했다.

앤더슨은 1973년에 암으로 죽었다.

관련성 논리

앤더슨은 타당한 추론의 결론이 그 전제(즉, 그 전제)와 관련이 있어야 한다고 믿었다.형식적으로는 다음과 같은 원칙을 가지고 이 「유사 조건」을 포착했다.

A와 B가 적어도 하나의 비논리적 상수를 공유하는 경우에만 B를 수반한다.

이 생각이 단순하게 나타나는 것처럼 그것을 형식적인 시스템으로 구현하는 것은 고전적 논리의 의미론으로부터 급진적인 이탈을 필요로 한다.앤더슨과 벨냅(J로부터 기고). 마이클 던, 키트 파인, 알래스카 어쿠하트, 로버트 K. 마이어, 아닐 굽타 등)은 관련 논리학 분야에서 가장 많이 인용되는 작품인 영향력 있는 참여서적(아래 참조)에서 관련 조건의 형식적 결과를 매우 상세하게 탐구했다.

앤더슨과 벨납은 관련성의 개념이 아리스토텔레스 이래 논리의 중심이었음을 재빨리 관찰했지만, 고틀롭 프레게와 조지 불레가 알려지게 될 것에 대한 기초를, 다소 아이러니컬하게, '클래식적인' 논리로서 그 관련성을 충족시키지 못하는 고전적 논리의 예를 들며, 지나치게 무시되어 왔다.조건, 폭발 원리에 관한 기사 참조)

신논리학

앤더슨은 "A가 되어야 한다"라는 형식의 문장은 다음과 같이 논리적으로 해석해야 한다는 견해를 주장했다.

• 비-A는 v를 수반한다.

여기서 v는 규범 같은 것이 위반되었다는 것을 의미한다.그는 이 목적을 위해 특수 상수 v(공지가 다양함)를 포함하는 신합성 관련 논리 시스템을 개발했다.그러한 시스템은 때때로 신논리를 알레르드적 모달논리로 "축소"하는 것으로 특징지어져 왔다.그러나 일반적으로 알레르드 모달 로직에는 앤더슨의 특별한 v 상수 같은 것이 포함되어 있지 않기 때문에 이것은 기껏해야 오해의 소지가 있다.

논리철학

앤더슨은 논리에 관한 플라톤주의자(또는 현실주의자, 또는 일원주의자)로 알려져 있었다; 그는 "하나의 참된 논리"를 믿었고, 그는 그것이 목적적합한 논리라고 믿었다.

참고 문헌 목록

• 앤더슨, A. R. 1967윤리의 형식적 논리에 있는 몇 가지 고약한 문제들.Noous I(4): 345-60.
• A. R. 앤더슨과 1975년 N. D.포함: 관련성과 필요성의 논리. 제1권 프린스턴: 프린스턴 대학 출판부
• 앤더슨, A. R., Belnap, N. D., Dunn, J. M. 1992.포함: 관련성과 필요성의 논리. 제2권 프린스턴: 프린스턴 대학 출판부 ISBN0-691-07339-2

참조

추가 읽기

• 마레스, E. D. 1992.앤더슨 딘틱 논리.이론가 58: 3-20