증명(진실)

Proof (truth)
기타 용도는 Proof를 참조하십시오.

증거는 [1][2][3][4]명제의 진실성에 대한 충분한 증거 또는 충분한 주장이다.

이 개념은 근거 또는 정당성의 성격과 충분성의 기준은 지역에 따라 달라지는 다양한 [5]분야에 적용된다.회화, 대화, 수사 등 구두 및 서면 커뮤니케이션 영역에서 증명은 [6]명제의 진실성을 보여주는 설득력 있는 변설법이다.그 가정이나 공리에 의해 정의된 수학의 어떤 영역에서, 증명은 그러한 공리와 이전에 확립된 다른 [7]이론으로부터 시작하는 인정된 추론 규칙을 통해 그 영역의 정리를 확립하는 논쟁이다.논리학, 특히 증명 이론은 형식적 [8]증명 개념을 공식화하고 연구합니다.인식론과 신학의 일부 영역에서, 정당성의 개념은 대략적인 [9]증거의 역할을 하는 반면, 법리학에서는 상응하는 용어가 철학과 법 모두에 공통된 개념으로서 "증거 책임"이라는 개념과 함께 [10]증거이다.

대부분의 학문에서는 무언가를 증명하기 위해 증거가 필요하다.과학이 [11]자연으로부터 증거를 얻고 법이 증인으로부터 증거를 얻고 법의학 [12]수사 등을 통해 증거를 얻는 등 우리 주변의 세계의 경험에서 증거를 끌어낸다.주목할 만한 예외는 수학이다. 수학의 증명은 공리로부터 시작되어 이전에 증명된 이론들에 의해 더욱 발전되고 풍부해진 수학 세계로부터 얻어진다.

정확히 어떤 증거가 어떤 것을 증명하기에 충분한지 또한 강하게 지역에 의존하며, 대개 증거가 [13][14][15]증거가 되는 충분한 절대 임계값이 없다.법률상, 한 배심원을 설득할 수 있는 동일한 증거가 다른 배심원을 설득하지 못할 수도 있다.공식적인 증거 어디 proofhood에 대한 기준 그리고 그것은 추리에서"명백한"(한 시험의 필요한 능력 있는 것을 증명하는 것, 정확하게 기호 그 증거에 사용되는 식별하는 것을 제외하고.)로는 층계를 방어할 것으로 허용할 수 없다고 엄격한 사람은 중요한 예외를 제공합니다.;[16]에 대한 정식 진출을 부분의 'caput'오말프루프, 이것은 반드시 프루프 [17]시퀀스의 이전의 잘 형성된 공식에 일부 공식의 연역적 장치의 규칙을 적용한 결과여야 한다.

증거는 고대부터 제시되어 왔다.아리스토텔레스는 자연이 기계와 같은 결정론의 균일성을 나타내지 않는다는 관찰을 우연이 자연의 [18]본질적인 부분이라는 증거로 사용했다.반면에 토마스 아퀴나스는 자연이 [19]우연에 의해 지배되지 않는다는 증거로 자연에 풍부한 패턴이 존재한다는 것을 관찰했다.

증거는 말로만 할 필요는 없다.코페르니쿠스 이전에, 사람들은 태양이 [20]지구 주위를 돈다는 증거로 하늘을 가로지르는 태양의 겉보기 운동을 받아들였다.범죄현장에 남겨진 적절한 유죄증거가 가해자의 신원을 증명하는 증거가 될 수 있다.반대로, 구두기업은 그 제안의 증거를 구성하기 위해 제안을 주장할 필요는 없다.예를 들어, 서명은 직접적 저작자 증명이 되며, 직접적으로는 수기 분석을 [21]문서 저작자 증명으로 제출할 수 있습니다.문서 내의 특권 정보는 문서 작성자가 해당 정보에 액세스할 수 있다는 증거로 사용될 수 있습니다. 이러한 접근은 특정 시간에 작성자의 위치를 파악할 수 있으며, 그러면 작성자에게 알리바이를 제공할 수 있습니다.

증거 대 증거

18세기 스코틀랜드 철학자 데이비드 흄은 아리스토텔레스의 믿음과 [22]지식의 분리에 바탕을 두고, 사람은 어떤 것이 사실이라는 것을 추론할 수 있고 따라서 증거나 추정을 통해 그것을 "믿을" 수 있는 반면, 어떤 것에 대한 직접적인 경험이 있어야만 "알 수 있다"고 말할 수 있다는 것을 인식했다.이것은 증거와 증거를 분리하는 한 가지 방법을 말해준다.

만약 누군가가 초콜릿 바를 찾지 못하고 낮잠을 자고 있는 룸메이트의 얼굴에서 초콜릿을 본다면, 이 증거는 룸메이트가 초콜릿 바를 먹었다고 믿게 만들 수 있다.하지만 그들은 룸메이트가 그것을 먹었는지 모른다.룸메이트가 사탕을 치울 때 치워둔 것으로 밝혀질지도 모르지만, 그래서 그들은 초콜릿을 먹으러 갔다.룸메이트가 그것을 먹는 증거를 직접 경험해야만, 아마도 그렇게 하는 것을 우연히 발견함으로써, 룸메이트가 그것을 했다는 것을 알 수 있다.

절대적인 의미에서, 17세기 철학자 [23]존 로크가 지적한 것처럼, 사람은 자신의 생각의 존재를 제외한 어떤 것도 "알지" 않는다고 주장할 수 있다.앞서 데카르트는 cogito, ergo sum(나는 생각한다, 그러므로 나는 존재한다)을 말할 때 이렇게 말했다.데카르트가 세상이 존재한다는 것을 논리적으로 증명하려고 노력한 반면, 그렇게 함으로써 그의 유산은 한 사람의 모든 인식이 거짓일 수 있기 때문에 그러한 증거를 가질 수 없다는 것을 보여주었다.하지만 적어도 자신의 생각이 존재한다는 증거와 세상이 존재한다는 강력한 증거를 가지고 있다. 비록 항상 객관적으로 확인하기에는 간접적이고 불가능하지만, 실용적인 기준에 의해 "증명"으로 간주될 만큼 말이다.

「 」를 참조해 주세요.

Wiki 인용문에는 Proof와 관련된 인용문이 있습니다.

레퍼런스

  1. ^ 증명과 다른 딜레마: 보니 골드의 수학과 철학, 로저 A.Simons 2008 ISBN0883855674 (12-20페이지)
  2. ^ 철학 논문, 2권 임레 라카토스, 존 워럴, 그레고리 퀴리, ISBN 철학 논문, 2권 임레 라카토스, 존 워럴, 그레고리 퀴리 1980 ISBN 0521280303 60~63쪽
  3. ^ 증거, 증거 및 사실: Peter Murphy 2003 ISBN 0199261954 페이지 1-2
  4. ^ 신학의 논리 – 그리고 아이작 테일러의 기타 에세이 2010 ISBN 1445530139 페이지 5-15
  5. ^ 비교 1 테살로니안 5장 21절: "모든 것을 증명하라 [...]"
  6. ^ 존 랭쇼 오스틴:말로 하는 방법케임브리지 (매스) 1962 – 페이퍼백:Harvard University Press, 제2판, 2005년, ISBN 0-674-41152-8.
  7. ^ 큐필라리, 안토넬라너트와 볼트 오브 프루프.학술 출판사, 2001.3페이지.
  8. ^ Alfred Tarski, 논리학 입문 및 연역과학 방법론(ed.얀 타르스키).제4판옥스퍼드 로직 가이드 24호뉴욕과 옥스퍼드:옥스포드 대학 출판부, 1994, xxiv + 229 페이지.ISBN 0-19-504472-X
  9. ^ "Foundationalist Theories of Epistemic Justification". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2018.
  10. ^ "Definition of proof Dictionary.com". www.dictionary.com.
  11. ^ 과학적 근거에 관한 참조 매뉴얼, 제2판(2000년), 페이지 71.2007년 5월 13일에 액세스.
  12. ^ 존 헨리 위그모어, 1915년 보스턴 리틀, 브라운, 주식회사, 커먼 로 재판에서의 증거 체계에 관한 논문, 제2판
  13. ^ Simon, Rita James & Mahan, Linda. (1971). "Quantifying Burdens of Proof—A View from the Bench, the Jury, and the Classroom". Law and Society Review. 5 (3): 319–330. doi:10.2307/3052837. JSTOR 3052837.
  14. ^ Katie Evans; David Osthus; Ryan G. Spurrier. "Distributions of Interest for Quantifying Reasonable Doubt and Their Applications" (PDF). Archived from the original (PDF) on 2013-03-17. Retrieved 2007-01-14.
  15. ^ 충분한 이유의 원리: 알렉산더 R. 프루스의 재평가
  16. ^ A. S. Troelstra, H. Schwichtenberg(1996)기본 증명 이론시리즈 Cambridge Tracts in Theological Computer Science, Cambridge University Press, ISBN 0-521-77911-1.
  17. ^ 헌터, 제프리, 메탈로직:캘리포니아 대학교 프레스의 1차 논리 표준 메타토리 소개, 1971년
  18. ^ 아리스토텔레스의 물리학: 안내 연구, 조 삭스, 1995년 ISBN 0813521920 페이지 70
  19. ^ 신성에 관한 논문: Summa Thomas Aquinas, Brian J. Shanley, 2006 ISBN 0872208052 페이지 198에 의한 신학적 요약 I.
  20. ^ 토마스 S.쿤, 코페르니쿠스 혁명, 5-20페이지
  21. ^ Stephen A에 의한 시험 전술. Saltzburg, 2007 ISBN 159031767X 47페이지
  22. ^ 데이비드 흄
  23. ^ 로크: 외부 세계에 대한 지식