존 L. 폴록

존 L. 폴록
태어난	1940 (1940) 미국 캔자스주 애치슨
죽은	2009년(68~69세)
모교	버클리 캘리포니아 대학교
지역	서양 철학
학교	분석적
주된 관심사	인식론, 철학적 논리, 인지과학

존 L. 폴록(1940~2009년)은 인식론, 철학적 논리학, 인지과학, 인공지능 분야에서 영향력이 있는 것으로 알려진 미국의 철학자였다.

인생과 경력

1940년 1월 28일 캔자스 애치슨에서 태어난 폴록은 1961년 미네소타 대학에서 3중 전공 물리학, 수학, 철학 학위를 취득했다. 1965년 버클리 캘리포니아 대학의 박사학위 논문 '분석성과 시사성'은 어니스트 애덤스(Ernest Nagel and Patrick Suppes를 통해 폴락은 고트프리드 라이프니즈와 임마누엘 칸트의 지적 후예로 삼음)로부터 조언을 받았다.^[1] 이 논문은 결국 철학에 대한 그의 주요 공헌으로 꽃을 피울 배변적 추리에 대한 부록을 포함하고 있었다.

폴록은 SUNY 버팔로, 로체스터 대학, 미시건 대학, 애리조나 대학에서 교수직을 맡았는데, 그곳에서 대부분의 경력을 보냈다. 애리조나에서 그는 인지과학 프로그램을 만드는 것을 도왔다. 그는 열렬한 산악자전거 선수였고 남부 애리조나에서 승마 클럽을 설립했다.

철학작품

지식과 정당성

지식과 정당성은 인식론에서 폴록을 확립한 책이다.collock)을 확립한 책이다. 그것은 미국 철학, 특히 미국의 인식론이 무엇인가를 안다는 것이 무엇을 의미하는지에 대한 분석에 집착하던 시기에 나타났다. 예를 들어, 오늘날 가장 자주 논의되는 문제들 중 하나인 겟티어 문제는 왜 x가 x를 아는 것과 같지 않다는 "정당한 진실된 믿음"을 갖는 것이냐고 묻는다.폴록의 책은 지식의 필요하고도 충분한 조건을 구성하는 "분석적 기준"을 찾으려고 애쓰는 것에서 한 발짝 물러난다. 그의 인식론적 규범들은 배변할 수 있는 추론에 의해 지배된다; 그것들은 예외를 인정할 수 있는 세테리스 파리버스 조건이다. 아리조나의 동료인 키스 레러뿐만 아니라 몇몇 다른 인식론자들(어니스트 소사, 특히 로데릭 치솔름과 같은 브라운 대학에서)도 배변과 인식론에 대해 글을 썼다. 그러나 넓은 범위와 중대한 혁신을 결합한 폴록의 책은 그 사상을 철학적 주류로 가져왔다.

배변 가능한 추리

폴록은 죽기 전 20년 동안 철학자들 사이에서 "배변할 수 있는 추리"로 알려지게 되었다. 비단조적 추리가 지적 격변을 일으켰던 인공지능에서 폴록의 작품에 동조하는 학자들은 그의 초기 헌신과 명료함을 크게 존중했다. 폴록이 가장 직접적으로 밝힌 것은 1987년 인지과학에서 그의 비합리적 사상이 지식과 정당성에서 거의 완전히 성숙했음에도 불구하고 "실효할 수 없는 추리"라는 논문이다. 폴록은 인식론에 관한 첫 논문인 "크리스테리아와 물질 세계에 대한 우리의 지식"을 1967년 철학적 리뷰 76, 1967년 철학적 리뷰 76, 1967년, 폴록과 크루즈의 각주, 현대 지식의 이론, 1999, 36, 노트 37, 그 밖의 다른 곳에서 자신의 사고의 역사를 추적했다. 그는 로데릭 치솔름이 그 주제에 대한 자신의 생각에 영향을 미쳤다고 생각했지만, 루드비히 비트겐슈타인을 직접 해석하려고 시도하고 있으며, 때로는 논쟁의 주제에 대해 스티븐 툴민에게 공로를 돌리기도 했다고도 했다. 그의 작품은 인공지능과 법률 분야에 상당한 영향을 끼쳤지만 폴록 자신은 법학이나 법률적 추리 이론에 별로 관심이 없었고, H.L.A.하트를 통한 배변적 추리 유산을 인정한 적은 없었다. 폴록은 또한 비공식적인 논리학자들과 수사학자들을 멀리 떨어져서 붙잡았지만, 배변할 수 없는 추론은 논쟁에서 자연스러운 친근감을 가지고 있다.

폴록의 "언더컷 패배"와 "리버팅 패배"는 이제 배변할 수 있는 추리 문학의 고정물이 되었다. 그는 이후 "자책감"과 다른 종류의 패배 메커니즘을 추가했지만, 원래의 구별은 가장 인기 있는 것으로 남아 있다.

비록 AI의 강한 미풍과 소수의 현대적인 정신 철학자들(예: 도날드 누트, 니콜라스 애셔, 밥 코지)에 의해 도움을 받았으나, 배변적 추론이 존 폴록 때문에 철학계의 모호함에서 주류로, 지식 및 정당성의 출판과 제2의 e사이에 짧은 시간 내에 갔다는 것은 확실하다.현대 지식 이론의 이론

오스카 / 사람 만드는 법

폴록은 나중에 그가 "기술"이라고 부르는 인공지능 소프트웨어 프로토타입인 OSCOR라는 소프트웨어 프로젝트에 상당한 시간을 할애했다. Oscar는 대체로 배변할 수 없는 추리에 대한 폴록의 아이디어를 구현한 것이지만, 의도, 관심사, 문제 해결을 위한 전략 및 기타 인지적 건축 설계에 대한 덜 알려져 있고 종종 발표되지 않는 그의 아이디어도 구체화했다. 오스카는 LISP에 기반을 둔 프로그램으로 "이해성"을 바탕으로 한 프로그램이었다. 폴록은 그의 정리-프로바이더의 효율성은 "흥미 없는" 결론을 도출하는 것을 꺼린 것에 근거했다고 주장했다. 비록 오스카는 다수의 전문 프로그래머들의 기여로 이득을 얻지는 못했지만, 발명가의 야망을 위해서는 CyC, Sais(인지적 건축), 노바멘트와 비교되어야 한다.

폴록은 오스카의 주요 특징들을 지각, 변화 및 지속성, 인과관계, 확률, 계획 구성과 평가, 그리고 결정에 대해 분명하게 추론할 수 있는 능력이라고 묘사했다.^[2] 그는 책에서 오스카 우화에 나오는 오스카의 진화를 묘사했다.

오스카는 '사람을 만드는 법'에 관한 '프로로게메나'에서 성장했는데, 당시 동료들은 이를 인간성의 기발한 사용이라고 짐작했을 것이다. 그러나, 폴록 자신의 OSCOR에 대한 태도는 더 기계적이었다. 그는 오스카를 합법적인 의인화된 형태로 너그럽게 분류할 미래의 인지 분류법을 기대했다.

노믹 확률

노믹 확률과 옥스포드 인덕션의 기초, 1990년은 폴록이 배변 가능한 추론과 주파수로부터의 확률의 추정 사이의 관계에 대한 심층적인 조사였다(확률의 직접적인 추론). 그것은 1983년 이론과 결정 논문에서 처음 발견된 아이디어들의 성숙이다. 폴록은 그가 더 다양한 통계적 추론에 대해 이론을 세우고 있다고 믿었지만, 이 연구는 반드시 헨리 E. 키버그의 확률 이론과 비교되어야 한다.

출판물

책들

• 1969년 Holt Rinehart Winston 심볼 로직 소개.
• 지식과 정당성, 프린스턴, 1974년
• Springer, Subjunctive Reasoning, 1976.
• 1982년 프린스턴의 언어와 생각.
• 1984년 프린스턴의 철학적 의미론의 기초.
• 현대 지식 이론 초판, Rowman-Littlefield, 1987.
• 사람을 만드는 방법: 1989년 MIT 출판부의 프로레고멘론.
• 1990년 Westview 철학의 기술적 방법.
• 1990년 옥스포드 인덕션의 노믹 확률과 기초
• 철학과 AI: 인터페이스에서의 에세이, R. Cummins, MIT Press, 1995.
• 인지 목공: 사람을 어떻게 건설할 것인가에 대한 청사진 MIT Press, 1995.
• 현대 지식 이론들, J. Cruz, 2판 Rowman-Littlefield, 1999.
• 연기에 대해 생각하는 것: 옥스포드, 2006년 이성적 의사결정을 위한 논리적 기초.

선택지

• "크라이테리아와 물질 세계에 대한 우리의 지식" 1967년 철학적 리뷰.
• "기본모달 논리학", 1967년 Symbolic Logic 저널.
• " 인식론적 문제란 무엇인가? 미국 철학 계간지, 1968년
• "인식학적 정당성의 구조," American Tylical Quarternal, 1970년.
• "지각적 지식" 철학 리뷰, 1971.
• 1972년 과학철학, "실행성의 논리"
• "하위 일반화", 1974년 신디멘스.
• "4가지 종류의 조건", 미국 철학 계간지, 1975년.
• 1976년 철학적 연구는 "가능한 세계"의 반사실적 분석.
• 1980년 중서부 철학 연구 "물체에 대해 생각하기"
• 1981년, "반사실무근의 정제된 이론".
• "Epistemology and probability," 1983년 Synthetse.
• "기대 가치를 극대화하는 방법은?" 아니, 1983년.
• "직접 추론 이론," 이론과 결정, 1983.
• 1984년 "유도 문제에 대한 해결책"
• "신뢰성과 정당화된 믿음" 캐나다 철학 저널, 1984.
• "도덕적 추리의 이론" 윤리학, 1986.
• "서문의 역설," 과학철학, 1986.
• 1987년 신디센스 "Epistic 규범"
• 인지과학, 1987년 "실패할 수 없는 추리.
• "사람을 만드는 방법: 정신의 물리적 기반," 철학적 관점, 1987.
• 1988년 "오빠, 기계"
• "OSCAR: 합리성의 일반 이론," 1989년 실험 및 이론 인공지능 저널.
• "관심 중심의 가정 추론" 1990년 잡지 자동 추론.
• "자기 패배의 주장," 마인드와 머신, 1991년.
• "배변할 수 있는 추리 이론," 국제 지능형 시스템 저널, 1991.
• "실용적 추론을 위한 새로운 기반," 마인드와 머신, 1992년.
• 인공지능은 1992년 "어떻게 하면 배변적으로 추리할 수 있을까"라고 말했다.
• "유명 확률론," 1992년 신디센스.
• 인지과학, 1993년 "합리성의 단계적 발전"
• "직접 추론을 위한 기초", 이론과 결정, 1994.
• "명분과 패배", 인공지능, 1994.
• "투영성 제약" 그뤼에서! 새로운 유도 수수께끼, 에드. 더글러스 스토커, 오픈 코트, 1994년
• "배변 가능한 추론 구현," 컴퓨터 변증법 워크숍 - FAPR, 1996.
• "Oscar - 범용 배변 가능 논리학자", Journal of Applied Nonclassical Logics, 1996.
• "하나님의 비존재를 증명한다" 조사 : 학제간 철학저널, 1996.
• "인식을 심각하게 받아들이고 있다." 1997년 제1회 자치단체 국제회의의 의사록.
• "변화와 지속성에 대한 합리화: 프레임 문제에 대한 해결책," Nous, 1997.
• 인공지능(AI)은 1998년 "자율적 에이전트에서 목표 회복 계획의 논리적 토대"라고 말했다.
• "변화하는 세계에 대한 이해와 추론" 1998년 Computing Intelligence.
• 디지털 피닉스의 "절차적 인식론": 컴퓨터가 철학을 어떻게 변화시키고 있는가, 바이넘과 무어, 에드, 와일리, 1998.
• Rational Agency의 Foundations에 있는 "Planning Agents," ed. Rao and Wowoldridge, Kluwer, 1999.
• "믿음 수정과 인식론" (AS Gillies, Synthetse, 2000년)과 함께.
• "오스카에서의 이성적 인식," 컴퓨터 과학의 강의 노트, 2000.
• 인공지능(AI)은 2001년 "변동적인 수준의 정당성을 갖춘 실현 불가능한 추론"이라고 평가했다.
• "Cause probability," Synthetse, 2002.
• "평균-끝 추론의 논리적 기초," 상식, 추론, & 합리성, 2002년.
• "합리적 선택과 행동의 전지전능함," 철학적 리뷰, 2002.
• "계획과 결정", 이론과 결정, 2004.
• "내가 뭔데? 가상 머신과 정신/신체 문제," 철학 및 현상학 연구, 2008.

참조

외부 링크

• 존 폴록의 작품이 들어 있는 사이트.
• 폴록의 홈 페이지.
• 폴록의 작품 요약.
• 애리조나 대학교 추모예고
• 철학부 추모예고