George S. Boolos
(미국 철학자.수리논리학자 1940~1996)
미국의 철학자, 수리논리학자, MIT 의 언어학과 철학 교수를 지냈다. 불로스는 1940 년 뉴욕에서 태어나 프린스턴 대학에서 수학을 공부하고 MIT 에서 철학박사가 되었다.
불로스는 모든 종류의 퍼즐에 전문가였다. 1993 년에 그는 Times crossword competition 의 런던 지역 결승에 진출하였으며 그가 기록한 점수는 미국역사상 가장 높은 점수중 하나였다. 불로스는 명료함과 위트로 유명한 카리스마있는 연설가였다. Logic, Logic, and Logic 은 그의 강연집으로서 그가 강연한 내용중에는 괴델의 두번째 불완전성정리 전체를 한 음절로 표현한 것이 포함된다. 또다른 이야기에 따르면, 구두시험의 끝에 Hilary Putnam 이 질문했다. "analytical hierarchy 가 실세계와 어떻게 관련되는지를 말해보게". 주저없이 불로스는 대답했다. "그것은 그것의 일부분입니다".
불로스는 필연성과 가능성을 다루는 양상논리 (modal logic) 의 일종인 provability logic 을 기초한 사람중 하나이며, provability logic 은 수학적 증명의 이론에 응용된다. 그의 저서 The Logic of Provability 에서는 그 주제를 다루고 있다. 또한 탁월한 해설서인 Computability and Logic 을 Richard Jeffrey 와 저술했다.
불로스는 19 세기 독일 수학자겸 철학자인 Gottlob Frege 연구의 권위자로서, Frege 의 업적을 재평가하고 특히 기본적인 산술법칙 (laws of arithmetic) 자체가 논리원칙 (principles of logic) 이라는 것을 보여주었다.
불로스의 가장 유명한 책은 논리에 대한 논문 모음집으로서 그의 사망직전에 만든 Logic, Logic, and Logic 이다. 그 책에는 set theory, second-order logic and nonfirstorderizability, plural quantifiers, Frege, Dedekind, Cantor, Russell 그리고 논리와 proof theory 주제의 논문과 괴델의 정리에 관한 논문을 포함한다.
Plural quantification
불로스의 생각은 monadic second-order logic 이 어떠한 ontological commitments 도 가지지 않는 것으로 해석될수 있다 (to entities other than those the first-order variables range over by thinking of second-order variables as plural terms). 이러한 생각은 나중에 David Lewis 에 의해 Parts of Classes 에서 집합이론의 새로운 공리화 (axiomatization) 를 정당화하기 위해 사용되었다. 보통 불로스가 그 생각을 최초로 주장하였다고 하지만, Peter Simons 은 History and Philosophy of Logic, (1982) 의 "On understanding Lesniewski," 에서 그 생각은 Stanislaw Lesniewski 이 처음 주장한 것이라고 주장했다. ............... (Wikipedia : George Boolos)
term :
George S. Boolos 계산가능성 이론 (Computability Theory) 논리학 (Logic) 양상논리 (Modal Logic) Gottlob Frege 일차논리 (First-order Predicate Calculus)
site :
paper :