논리(logic)에서, 용어 명제(statement)는 다음 중 하나를 의미하는 것으로 다양하게 이해됩니다:
- (a) 참(true) 또는 거짓(false)인 의미있는 선언적 문장(declarative sentence), 또는
- (b) 참 또는 거짓 선언적 문장(sentence)에 의한 만들어진 주장(assertion).
후자의 경우에서, 명제는 문장(sentence)이 명제의 오직 하나의 공식화(formulation)에 반하여, 같은 명제를 표현하는 다른 많은 공식화를 가질 수 있는 것에서 문장과 구별됩니다.
Overview
언어의 철학자(Philosopher of language), 피터 스트로슨(Peter Strawson)은 제안(proposition)보다 우선적으로 용어 "명제"의 사용을 옹호했습니다. 스트로슨은 용어 "명제"를 두 선언적 문장이 만약 그들이 서로 다른 방식에서 같은 것을 말하면 같은 명제를 만들 수 있다고 점을 만들기 위해 사용했습니다. 따라서 스트로슨에 의해 옹호된 사용법에서, "모든 사람은 필멸이다." 및 "모든 각 사람은 필멸니다."는 같은 명제를 만드는 두 다른 문장입니다.
두 경우 모두에서 명제는 진실의 소지자(truth bearer)로 보입니다.
명제인 (또는 명제를 만드는) 문장의 예제:
- "소크라테스는 남자입니다."
- "삼각형은 세 변을 가집니다."
- "마드리드는 스페인의 수도입니다."
명제가 아닌 (또는 만들지 못하는) 문자의 예제:
- "누구세요?"
- "달려!"
- "Greenness perambulates."
- "I had one grunch but the eggplant over there."
- "프랑스의 왕은 현명합니다."
- "브로콜리는 맛있습니다."
- "페가수스가 존재합니다."
처음 두 예제는 선언적 문자이 아니고 따라서 명제가 아닙니다 (또는 만들지 못합니다). 두 번째 및 네 번째는 선언적 문장이 아니지만, 의미하는 것이 부족하며, 참도 아니고 거짓도 아니고 따라서 명제가 아닙니다 (또는 만들지 못합니다). 다섯 번째와 여섯 번째 예제는 의미있는 선언적 문장이지만, 명제가 아니지만 꽤 의견 또는 기호의 문제입니다. 문장 "페가수스가 존재합니다"가 명제인지 아닌지 여부는 철학자들 사이에서 논쟁의 대상입니다. 버트런드 러셀(Bertrand Russell)은 그것이 (거짓) 명제라고 주장했습니다. 스트로슨은 그것이 전혀 명제가 아니라고 주장했습니다.
As an abstract entity
일부 취급에서 "명제"는 그것의 정보적 내용으로부터 문자을 구별하기 위해 도입되었습니다. 명제는 정보-품은 문장의 정보 내용으로 여겼습니다. 따라서, 문장은 그것이 참조하는 숫자의 숫자 시스템과 같은 그것을 품은 명제와 관련이 있습니다. 명제는 추상적 논리적 엔터디(logical entities)이지만, 문장은 문법적 엔터디(grammatical entities)입니다.
References
- A. G. Hamilton, Logic for Mathematicians, Cambridge University Press, 1980, ISBN 0-521-29291-3.
- Rouse, David L., "Sentences, Statements and Arguments", A Practical Introduction to Formal Logic. (PDF)
- Ruzsa, Imre (2000), Bevezetés a modern logikába, Osiris tankönyvek, Budapest: Osiris, ISBN 963-379-978-3
- Xenakis, Jason (1956). "Sentence and Statement: Prof. Quine on Mr. Strawson". Analysis. 16 (4): 91–4. doi:10.2307/3326478. ISSN 1467-8284. JSTOR 3326478 – via JSTOR.
- Peter Millican, "Statements and Modality: Strawson, Quine and Wolfram", http://philpapers.org/rec/MILSAM-2/
- P. F. Strawson, "On Referring" in Mind, Vol 59 No 235 (Jul 1950) P. F. Strawson (http://www.sol.lu.se/common/courses/LINC04/VT2010/Strawson1950.pdf/)
