야코 힌티카

1953년 박사 학위 논문인 《술어 미적분학의 분배 정규 형식》은 야코 힌티카의 형식 논리 분야 경력을 시작하게 했습니다. 60년이 넘는 기간 동안 그는 인식 논리와 게임 의미론을 확립하여 분야를 재편했고, 30권이 넘는 책과 300편이 넘는 학술 논문을 통해 분석 철학의 경계를 끊임없이 확장했습니다.

학적 경력

1929년 반타에서 태어난 힌티카는 게오르크 하인리히 폰 라이트의 지도 아래 헬싱키 대학교에서 박사 학위를 취득했습니다. 그의 초기 경력에는 1956년부터 1959년까지 하버드 대학교에서 주니어 펠로우로 재직한 기간이 포함됩니다. 그는 이후 헬싱키 대학교, 스탠퍼드 대학교, 플로리다 주립 대학교에서 중요한 교수직을 역임한 후 1990년에 보스턴 대학교에 합류했습니다.

논리학에 대한 기여

힌티카의 연구는 수리 논리학, 언어 이론, 과학 철학을 아우릅니다. 그는 게임 의미론과 독립 친화 논리를 개발한 공로로 인정받으며, 분기 양화자를 사용하여 전통적인 1차 논리의 한계를 해결했습니다. 또한 그는 의미론 표를 독립적으로 발견하고 모달 논리 의미론 체계를 창설했습니다. 그의 분석 작업에는 아리스토텔레스, 이마누엘 칸트, 루트비히 비트겐슈타인, 찰스 샌더스 퍼스 등 인물에 대한 엄격한 연구가 포함됩니다.

편집 및 전문 리더십

저작 활동 외에도 힌티카는 철학계에서 광범위한 리더십 역할을 수행했습니다. 그는 1965년부터 2002년까지 학술지 《Synthese》의 편집장을 역임했습니다. 그의 행정 서비스에는 찰스 S. 퍼스 협회와 미국 철학회 태평양 지부의 회장직이 포함됩니다. 그는 또한 국제 철학 연합회(FISP)와 국제 철학 연구소(IIP)의 부회장을 역임했습니다.

무료 테스트
당신은 얼마일까요?

스무 문제, 8분 제한 시간, 그리고 응시자 전체와 비교한 백분위. 가입 없음.

IQ 테스트 하기 →

인정과 유산

그의 지적 공로는 2005년 모달 개념, 지식, 믿음에 대한 그의 업적으로 논리학과 철학 분야의 로프 슈크 상을 수상하는 등 국제적 인정을 받았습니다. 그는 미국 예술 과학 아카데미, 러시아 과학 아카데미, 헝가리 과학 아카데미를 포함한 수많은 명망 기관의 회원이었습니다. 2011년 그는 핀란드 사자 훈장 대십자장을 받았습니다. 힌티카는 2015년 포르보에서 사망했습니다.

빠른 사실

- 출생: 1929년, 핀란드 반타 - 사망: 2015년, 핀란드 포르보 - 박사 학위: 헬싱키 대학교, 1953년 - 주요 분야: 형식 인식 논리 - 편집: 《Synthese》, 1965–2002년 - 로프 슈크 상: 2005년 - 바어스 상: 2010년 - 언어: 핀란드어, 영어

독자들이 묻는 질문

### 야코 힌티카가 논리학에 대한 가장 유명한 기여는 무엇입니까?

그는 형식 인식 논리의 창시자이자 논리학에 대한 게임 의미론의 개발자로 인정받고 있습니다.

### 힌티카가 편집한 주요 철학 저널은 무엇입니까?

그는 1965년부터 2002년까지 37년간 학술지 《Synthese》의 편집장을 역임했습니다.

위인과 비교

Elon Musk vs Pyotr Ilyich TchaikovskyAda Lovelace vs Friedrich NietzscheCharles Babbage vs David HumeJohn Locke vs Sigmund Freud
순위 보기 →모든 비교 →

신동

Shakuntala DeviShakuntala DeviMultiplied two 13-digit numbers in her head in 28 secondsJeremy ShulerCornell University at 12 — Reading at 21 Months, Top-Decile SAT…Akiane KramarikSelf-Taught Painter from Age 4 — Paintings Sold for Up to…Marko ČalasanWorld's Youngest Microsoft Certified Systems Engineer — Age 8…
신동 →

플레이하고 내일 또 오세요

매일 천재 챌린지 · Genius trivia
Which mathematician proved that no consistent system can prove all truths (incompleteness)?
답을 탭하세요 ↓
나는 어떤 천재일까? 무료 IQ 테스트