Statement (logic)
논리(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)은 그것이 (거짓) 명제라고 주장했습니다.[citation needed] 스트로슨은 그것이 전혀 명제가 아니라고 주장했습니다.[citation needed]
As an abstract entity
일부 취급에서 "명제"는 그것의 정보적 내용으로부터 문자을 구별하기 위해 도입되었습니다. 명제는 정보-품은 문장의 정보 내용으로 여겼습니다. 따라서, 문장은 그것이 참조하는 숫자의 숫자 시스템과 같은 그것을 품은 명제와 관련이 있습니다. 명제는 추상적 논리적 엔터디(logical entities)이지만, 문장은 문법적 엔터디(grammatical entities)입니다.[1][2]
See also
Notes
- ^ Rouse
- ^ Ruzsa 2000, p. 16
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/)