진릿값 편집하기 (부분)

== 역사 ==

=== 고대 그리스 시대 ===
진릿값의 개념은 고대 그리스 철학자들에게서 그 기원을 찾을 수 있다. [[아리스토텔레스]]는 《논리학》에서 모든 명제는 참 또는 거짓 중 하나의 값을 가져야 한다는 '''배중률'''(排中律, Law of Excluded Middle)을 확립했다. 이는 후에 '''이항 논리'''(Binary Logic)의 기초가 되었다.<ref>아리스토텔레스의 배중률은 "A이거나 A가 아니다"라는 형태로 표현되며, 이는 모든 명제가 참 또는 거짓 중 하나여야 한다는 것을 의미한다.</ref>

=== 중세 시대 ===
중세 스콜라 철학자들은 아리스토텔레스의 논리학을 발전시켜 더욱 정교한 논리 체계를 구축했다. 특히 [[토마스 아퀴나스]]는 신학적 논증에서 진릿값의 개념을 체계적으로 활용했으며, 이는 후에 [[형식 논리학]]의 발전에 큰 영향을 미쳤다.

=== 근세 시대 ===
[[르네 데카르트]]와 [[바뤼흐 스피노자]] 같은 근세 철학자들은 수학적 방법론을 철학에 도입하면서 진릿값의 개념을 더욱 엄밀하게 정의하려 시도했다. 특히 데카르트의 '''방법론적 회의'''는 확실한 진리를 찾기 위한 체계적 접근법으로서 진릿값 개념의 발전에 기여했다.

=== 현대 논리학의 탄생 ===
19세기 말과 20세기 초, [[조지 불]], [[고틀로프 프레게]], [[버트런드 러셀]] 등에 의해 현대적인 의미의 진릿값 개념이 확립되었다.

==== 조지 불의 불 대수 ====
[[조지 불]](George Boole)은 1854년 《사고 법칙의 연구》에서 '''불 대수'''(Boolean Algebra)를 창안했다. 이는 진릿값을 수학적으로 다룰 수 있는 최초의 체계적 방법론이었으며, 현재 [[컴퓨터 과학]]의 기초가 되고 있다.

불 대수에서는:
* <code>1</code> = <code>참(True)</code>
* <code>0</code> = <code>거짓(False)</code>
* <code>AND</code> 연산: <code>∧</code> 또는 <code>·</code>
* <code>OR</code> 연산: <code>∨</code> 또는 <code>+</code>
* <code>NOT</code> 연산: <code>¬</code> 또는 <code>'</code>

<math>P ∧ Q = 1 ⟺ P = 1 그리고 Q = 1</math><br>
<math>P ∨ Q = 0 ⟺ P = 0 그리고 Q = 0</math><br>
<math>¬P = 1 ⟺ P = 0</math>

==== 프레게의 논리학 ====
[[고틀로프 프레게]]는 《개념 표기법》(1879)에서 현대 [[술어 논리]]의 기초를 마련했다. 프레게는 진릿값을 '''진리치'''(Wahrheitswert)라고 불렀으며, 이를 함수의 값으로 이해했다. 그에 따르면 모든 문장은 하나의 진릿값을 가리키는 '''고유명사'''라고 볼 수 있다.

{{인용문|모든 참인 문장은 동일한 것, 즉 '참'을 가리키며, 모든 거짓인 문장은 '거짓'을 가리킨다.|고틀로프 프레게|《의미와 지시에 대하여》}}

=== 20세기의 발전 ===

==== 다치 논리학의 등장 ====
20세기에 들어서면서 [[얀 우카시에비치|얀 우카시에비치 (Łukasiewicz)]]와 [[에밀 포스트]]에 의해 '''삼치 논리'''(Three-valued Logic)가 개발되었다. 이는 기존의 참/거짓 외에 '''미정'''(Indeterminate) 또는 '''가능'''(Possible)이라는 제3의 진릿값을 도입한 것이다.

우카시에비치의 삼치 논리에서:
* <code>1</code> = <code>참</code>
* <code>1/2</code> = <code>미정</code>
* <code>0</code> = <code>거짓</code>

==== 퍼지 논리의 개발 ====
1965년 [[로트피 자데]]가 '''퍼지 집합'''(Fuzzy Set) 이론을 발표하면서 '''퍼지 논리'''가 탄생했다. 퍼지 논리에서는 진릿값이 <code>0</code>과 <code>1</code> 사이의 연속적인 값을 가질 수 있다.

예를 들어:
* "키가 크다"라는 명제의 진릿값은 <code>0.7</code>일 수 있음
* "날씨가 좋다"라는 명제의 진릿값은 <code>0.85</code>일 수 있음