문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 (문단 편집) == '명제'에 대한 [[철학]]적 정의 == 현대 [[언어철학]]이나 [[수리논리학]]에서 '명제'라는 개념이 수행하는 역할, 혹은 "__[math(x)]는 명제다__"의 [[필요조건]]으로 꼽히는 대표적인 조건들은 다음과 같다. * '''"[math(\boldsymbol x)]는 어떤 [[문장]]의 [[의미]]다"''': 즉 어떤 [[언어]]의 [[문장]]의 의미가 될 수 없는 것은 명제가 아니다. * 예. '이 더하기 이는 사와 같다'는 [[한국어]]의 문장이므로, '이 더하기 이는 사와 같다'의 의미는 명제가 될 수 있다. 반면 [[숫자]] '2'는 문장이 아니므로, '2'가 나타내는 의미인 ([[ZFC]]에 따르면) [math(\{\emptyset, \{\emptyset\}\})]는 명제가 될 수 없다.[* 엄밀히 말하자면 본 예시에서 [math(\{\emptyset, \{\emptyset\}\})]가 어떤 문장의 의미도 될 수 없다는 추가적 조건 또한 만족되어야만 한다.] * '''"[math(\boldsymbol x)]는 [[진리치]]를 갖는 것이다"''': [[참]]이거나 [[거짓]]이라는 속성을 가져야만 명제다.[* 다만 이는 이가원리(principle of bivalence)를 받아들이는 논리에서만 인정한다. 3가 이상의 논리에서는 참, 거짓 이외에 다른 진리치를 가질 수도 있다.] * 예. [[1차 술어 논리]]의 식인 '[math(\forall x (Px \vee \neg Px))]'이 표현하는 바는 [[참]]이므로, 곧 명제가 될 수 있다. 반면 우리 집 [[강아지]] 바둑이는 '털이 있다', '귀엽다' 같은 속성은 가질지 몰라도 '[[참]]', '[[거짓]]' 같은 속성은 가지지 않으므로 명제가 될 수 없다. * '''"[math(\boldsymbol x)]는 [[명제 태도]]의 대상이다"''': '[math(s)]는 [math(p)]라고 믿는다', '[math(s)]는 [math(p)]를 바란다' 같은 문장에서 '[math(p)]'가 가리키는 것이 명제다. 즉 명제에 대한 체계적 이론들은 위와 같은 조건들을 만족시키는 것을 목표해야 한다. 이런 명제에 관한 이론들 가운데 고전적인 사례들은 다음과 같다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기