스테이트먼트(로직)

Statement (logic)

논리학에서 스테이트먼트라는 용어는 다음 중 하나를 의미하는 것으로 다양하게 이해된다.

  1. 참 또는 거짓인 의미 있는 선언문 또는
  2. 명제참 또는 거짓 선언문에 의해 만들어진 주장입니다.

후자의 경우, 진술은 문장이 진술의 하나의 공식일 뿐인 반면, 동일한 진술을 표현하는 다른 공식들이 많이 있을 수 있다는 점에서 문장과는 구별된다.

개요

언어의 철학자인 피터 스트로슨은 명제보다 "표현"이라는 용어의 의미에서의 사용을 지지했다.스트로슨은 두 선언문이 같은 것을 다른 방식으로 말할 경우 같은 진술을 할 수 있다는 점을 강조하기 위해 "Statement"라는 용어를 사용했다.따라서 스트로슨이 주창하는 용법에서 "모든 사람은 죽는다"와 "모든 사람은 죽는다"는 말은 같은 말을 하는 두 개의 다른 문장이다.

어느 경우든 진술은 진실된 전달자로 간주된다.

참된 진술(또는 진술)인 문장의 예:

  • '소크라테스는 남자다'
  • "삼각형은 세 변을 가지고 있다."
  • "마드리드는 스페인의 수도입니다."

사실이 아닌 경우에도 진술인 문장의 예는 다음과 같습니다.

  • "토스터는 모두 순금으로 만들어졌습니다."
  • "2 더하기 2는 5"

진술이 아닌(또는 진술하지 않는) 문장의 예:

  1. "누구세요?"
  2. "달려라!"
  3. "녹음이 퍼앰불레이트"
  4. "그렁그렁한 거 하나 먹었는데 저기 있는 가지"
  5. "영국의 여왕은 현명하다."
  6. "브로콜리 맛있다"
  7. 페가수스는 존재한다.

처음 두 예는 선언문이 아니기 때문에 진술이 아니다(또는 진술하지 않는다).세 번째와 네 번째 문장은 선언문이지만 의미가 없는 문장은 참도 거짓도 아니기 때문에 진술이 아니다(또는 진술하지 않는다).다섯 번째와 여섯 번째 예는 의미 있는 선언문이지만, 진술이 아니라 의견이나 취향의 문제이다.페가수스가 존재하는지 아닌지는 철학자들 사이에서 논쟁의 대상이다.버트런드 러셀은 그것이 거짓 [citation needed]진술이라고 주장했다.Strawson은 [citation needed]그것이 전혀 진술이 아니라고 말했다.

추상적인 실체로서

일부 치료법에서는 문장과 정보 내용을 구별하기 위해 "성명"이 도입된다.진술은 정보를 포함하는 문장의 정보 내용으로 간주됩니다.그래서 문장은 그것이 가리키는 숫자에 숫자처럼 붙어있는 문장과 관련이 있다.서술은 추상적인 [1][2]논리 실체이고, 문장은 문법적 실체이다.

「 」를 참조해 주세요.

메모들

  1. ^ 깨우다
  2. ^ Ruzsa 2000, 페이지 16

레퍼런스

  • A. G. 해밀턴, 수학자를 위한 논리학, 케임브리지 대학 출판부, 1980, ISBN0-521-2991-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 Milican, "문장과 촬영장비:Strawson, Quine and Wolfram", http://philpapers.org/rec/MILSAM-2/
  • P. F. Strawson, 참고, Vol 59 No 235 (Jul 1950) (Wayback Machine에서 2011-07-23)