논리주의자 편집하기
최신판 | 당신의 편집 | ||
1번째 줄: | 1번째 줄: | ||
− | '''논리주의자'''<!--논리주의자, 논리주의-->(論理主義者)<!--論理主義者-->는 | + | '''논리주의자'''<!--논리주의자, 논리주의-->(論理主義者)<!--論理主義者-->는 논리주의를 따르거나 주장하는 사람을 말한다. |
== 개요 == | == 개요 == | ||
− | + | 논리주의란 직관주의(直觀主義), 형식주의(形式主義)와 함께 1920∼1930년대에 수학 기초이론의 세 가지 대표적인 견해 중 논쟁의 중심이 되었던 한 입장이다. | |
+ | |||
+ | 영국의 버트런드 러셀(Bertrand Arthur William Russell)이 그 대표이다. 일찍부터 G.프레게, G.페아노에 의해서 논리학도 포함한 수학 전체의 기호화(記號化)가 가능하다는 사실이 제시되었다. 프레게의 저술이 러셀에 의해서 재발견되지 않았더라면 이와 같은 생각은 햇빛을 보지 못할 상태에 있었다. | ||
러셀은 그의 저서 《수학원리: Principia Mathematica》에서 집합론을 포함한 수학의 범위를 완전히 기호논리로서 형성하였다. 그 때 무한집합 존재의 공리(公理), 집합론에서의 선출원리(選出原理), 러셀이 창안한 환원(還元)의 공리는 프린키피아 이후에 해결되지 않은 문제를 남기게 되었다. | 러셀은 그의 저서 《수학원리: Principia Mathematica》에서 집합론을 포함한 수학의 범위를 완전히 기호논리로서 형성하였다. 그 때 무한집합 존재의 공리(公理), 집합론에서의 선출원리(選出原理), 러셀이 창안한 환원(還元)의 공리는 프린키피아 이후에 해결되지 않은 문제를 남기게 되었다. |