프레게의 정리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 프레게의 논리주의와 기본 법칙 V
- 2.1. 기본 법칙 V와 러셀의 역설
- 2.2. 프레게의 정리와 그 의의
3. 명제 논리에서의 프레게의 정리
- 3.1. 진리표를 통한 증명
참조

1. 개요

프레게의 정리는 프레게가 논리주의를 옹호하며 산술의 모든 법칙을 도출하려 시도한 과정에서 나타난 개념이다. 프레게는 《산술의 기초》와 《산술의 기본 법칙》에서 논리적인 공리로부터 산술의 법칙을 이끌어내려 했고, 이 과정에서 '기본 법칙 V'를 제시했으나, 이는 러셀의 역설로 인해 모순임이 증명되었다. 하지만 이 과정에서 프레게의 업적은 '프레게의 정리'로 불리며, 명제 논리에서 특정 항진명제를 가리키는 것으로 정의된다.

2. 프레게의 논리주의와 기본 법칙 V

《산술의 기초》(1884)와 《산술의 기본 법칙》(제1권, 1893년; 제2권, 1903년)에서 프레게는 자신이 논리적인 것으로 주장한 공리로부터 산술의 모든 법칙을 도출하려 시도했다(논리주의 참조). 이 공리들 대부분은 그의 《개념 표기법》에서 가져온 것이었다. 새로운 원리라고 할 수 있는 것은 그가 '''기본 법칙 V'''^[2](현재는 무제한 이해의 공리 도식으로 알려짐)라고 부르는 것이었다.^[3] 이 법칙에 따르면, 함수 ''f''(''x'')의 "값 범위"는 ∀''x''[''f''(''x'') = ''g''(''x'')']인 경우에만 함수 ''g''(''x'')의 "값 범위"와 같다.

그러나 기본 법칙 V는 논리 명제가 아니었고, 그 결과로 나온 체계는 러셀의 역설에 적용되어 모순임이 증명되었다.^[4] 에드워드 잘타에 따르면, 《기본 법칙》은 "단일한 일관된 원리로부터 산술의 기본적인 명제들을 (2차 논리에서) 유효하게 증명하는 데 필요한 모든 본질적인 단계를 포함하고 있다."^[4] 이러한 업적은 프레게의 정리로 알려지게 되었다.^[4]^[5]

2. 1. 기본 법칙 V와 러셀의 역설

프레게는 《산술의 기초》(1884)와 《산술의 기본 법칙》(제1권, 1893년; 제2권, 1903년)에서 자신이 논리적인 것으로 주장한 공리로부터 산술의 모든 법칙을 도출하려 시도했다(논리주의 참조). 이 공리들의 대부분은 그의 《개념 표기법》에서 가져온 것이었다. 실제로 새로운 원리라고 할 수 있는 것은 그가 '''기본 법칙 V'''^[2](현재는 무제한 이해의 공리 도식으로 알려짐)라고 부르는 것이었다.^[3] 함수 ''f''(''x'')의 "값 범위"는 ∀''x''[''f''(''x'') = ''g''(''x'')']인 경우에만 함수 ''g''(''x'')의 "값 범위"와 같다. 그러나 기본 법칙 V는 논리 명제가 아닐 뿐만 아니라, 그 결과로 나온 체계는 러셀의 역설에 적용되어 모순임이 증명되었다.^[4]

프레게의 《기본 법칙》에서의 모순은 프레게의 업적을 가렸다.

2. 2. 프레게의 정리와 그 의의

프레게는 《산술의 기초》(1884)와 《산술의 기본 법칙》(제1권, 1893년; 제2권, 1903년)에서 자신이 논리적인 것으로 주장한 공리로부터 산술의 모든 법칙을 도출하려 시도했다(논리주의 참조). 이 공리들 대부분은 그의 《개념 표기법》에서 가져온 것이었다. 새로운 원리라고 할 수 있는 것은 그가 '''기본 법칙 V'''^[2](현재는 무제한 이해의 공리 도식으로 알려짐)라고 부르는 것이었다.^[3] 함수 ''f''(''x'')의 "값 범위"는 ∀''x''[''f''(''x'') = ''g''(''x'')']인 경우에만 함수 ''g''(''x'')의 "값 범위"와 같다. 그러나 기본 법칙 V는 논리 명제가 아닐 뿐만 아니라, 그 결과로 나온 체계는 러셀의 역설에 적용되어 모순임이 증명되었다.^[4]

프레게의 《기본 법칙》에서의 모순은 프레게의 업적을 가렸다. 에드워드 잘타에 따르면, 《기본 법칙》은 "단일한 일관된 원리로부터 산술의 기본적인 명제들을 (2차 논리에서) 유효하게 증명하는 데 필요한 모든 본질적인 단계를 포함하고 있다."^[4] 이러한 업적은 프레게의 정리로 알려지게 되었다.^[4]^[5]

3. 명제 논리에서의 프레게의 정리

명제 논리에서 프레게의 정리는 다음 항진명제를 나타낸다.

: (''P'' → (''Q''→''R'')) → ((''P''→''Q'') → (''P''→''R''))

이 정리는 가장 약한 논리 중 하나인 구성적 함축 미적분에서도 성립한다. 브라우어-헤이팅-콜모고로프 해석에 따른 증명은 $f \mapsto g\mapsto p\mapsto (f(p)\circ g)(p)$ 이다.

이를 풀어서 설명하면 다음과 같다. "''f''를 ''P''가 ''Q''를 거쳐 ''R''을 함축한다는 명제로 정의하고, ''g''를 ''P''가 ''Q''를 함축한다는 명제로 정의한다. ''f''와 ''g'', 그리고 ''P''의 증명 ''p''가 주어지면, ''g''에 의해 ''Q''가 성립하고 ''f''에 의해 ''Q''는 ''R''을 함축함을 알 수 있다. 따라서 ''R''이 성립한다."

3. 1. 진리표를 통한 증명

명제 논리에서 프레게의 정리는 다음 항진명제를 가리킨다.

: (''P'' → (''Q''→''R'')) → ((''P''→''Q'') → (''P''→''R''))

이 정리는 이미 가장 약한 논리 중 하나인 구성적 함축 미적분에서도 성립한다.

오른쪽의 진리표는 의미론적 증명을 제공한다. ''P'', ''Q'', ''R''에 대해 가능한 모든 ''거짓'' 또는 ''참''의 할당(열 1, 3, 5)에 대해, 각 하위 공식은 조건문에 대한 규칙에 따라 평가되며, 그 결과는 주요 연산자 아래에 표시된다. 열 6은 전체 공식이 모든 경우에 ''참''으로 평가된다는 것을 보여주며, 즉 그것이 항진명제임을 의미한다. 실제로 그 전건(열 2)과 후건 (열 10)은 심지어 동치이다.

P	→	Q	→	R	→	P	→	Q	→	P	→	R








1	2	3	4	5	6	7	8	9	10	11	12	13

참조

_[1] 서적 Die Grundlagen der Arithmetik Verlag von Wilhelm Koebner
_[2] 서적 Grundgesetze der Arithmetik Verlag Hermann Pohle
_[3] 간행물 Basic set theory https://www.mcmp.phi[...] 2012-01-26
_[4] 논문 Stanford Encyclopedia of Philosophy
_[5] 서적 Logic, Logic, and Logic https://archive.org/[...] Harvard University Press 1998
_[6] 웹인용 《산술의 기초》 원문 http://www.ac-nancy-[...] 2011-11-05

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com