An Entity of Type: Contradiction107206887, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Fitch's paradox of knowability is one of the fundamental puzzles of epistemic logic. It provides a challenge to the knowability thesis, which states that every truth is, in principle, knowable. The paradox is that this assumption implies the omniscience principle, which asserts that every truth is known. Essentially, Fitch's paradox asserts that the existence of an unknown truth is unknowable. So if all truths were knowable, it would follow that all truths are in fact known.

Property Value
dbo:abstract
  • Fitch's paradox of knowability is one of the fundamental puzzles of epistemic logic. It provides a challenge to the knowability thesis, which states that every truth is, in principle, knowable. The paradox is that this assumption implies the omniscience principle, which asserts that every truth is known. Essentially, Fitch's paradox asserts that the existence of an unknown truth is unknowable. So if all truths were knowable, it would follow that all truths are in fact known. The paradox is of concern for verificationist or anti-realist accounts of truth, for which the knowability thesis is very plausible, but the omniscience principle is very implausible. The paradox appeared as a minor theorem in a 1963 paper by Frederic Fitch, "A Logical Analysis of Some Value Concepts". Other than the knowability thesis, his proof makes only modest assumptions on the modal nature of knowledge and of possibility. He also generalised the proof to different modalities. It resurfaced in 1979 when W. D. Hart wrote that Fitch's proof was an "unjustly neglected logical gem". (en)
  • 피치의 인식 가능성의 역설(Fitch's paradox of knowability, -逆說)은 논리학의 역설 중 하나로, 미국의 논리학자 (Frederic Fitch)가 1963년 논문 "가치 개념에 대한 논리적 분석(A Logical Analysis of Some Value Concepts)"에서 처음 제시하였다. 이 역설은 다음과 같은 구조를 가지고 있다. 1. * 만약 모든 진리를 알 수 있다면, 2. * 모든 진리는 알려져 있다. 여기서 1은 인식 가능성 테제(knowability thesis)라고 하는 중요한 철학적 명제이다. 피치의 역설은 위와 같이 인식 가능성 테제는 사실 2, 즉 전지성 원리(omniscience principle)를 함축하게 된다는 것이다. 그러나 전지성 원리는 철학적으로 받아들이기 매우 힘든 원리이므로, 결국 피치의 역설을 받아들인다면 우리는 인식 가능성 테제를 부정하여 알 수 없는 진리가 있다는 것을 인정해야 한다. (ko)
  • Il paradosso della conoscibilità di Fitch, anche conosciuto come paradosso della conoscibilità di Church-Fitch, dai nomi del logico Alonzo Church che lo dimostrò per primo, e di che lo riscoprì rendendolo noto, è uno dei principali rompicapi della logica epistemica. Consiste, in sostanza, nello sfidare l'accettabilità della tesi di conoscibilità (è possibile, in principio, conoscere un fatto vero), comune a diversi indirizzi di pensiero, mostrando che implicherebbe l'onniscienza (tutti i fatti sono conosciuti, attualmente). Il paradosso è problematico specialmente per i verificazionisti e anti-realisti, poiché tendono ad accettare la tesi di conoscibilità ma a rifiutare fortemente l'onniscienza. (it)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1150215 (xsd:integer)
dbo:wikiPageLength
  • 8789 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1109385761 (xsd:integer)
dbo:wikiPageWikiLink
dbp:date
  • 2009-02-17 (xsd:date)
dbp:url
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • 피치의 인식 가능성의 역설(Fitch's paradox of knowability, -逆說)은 논리학의 역설 중 하나로, 미국의 논리학자 (Frederic Fitch)가 1963년 논문 "가치 개념에 대한 논리적 분석(A Logical Analysis of Some Value Concepts)"에서 처음 제시하였다. 이 역설은 다음과 같은 구조를 가지고 있다. 1. * 만약 모든 진리를 알 수 있다면, 2. * 모든 진리는 알려져 있다. 여기서 1은 인식 가능성 테제(knowability thesis)라고 하는 중요한 철학적 명제이다. 피치의 역설은 위와 같이 인식 가능성 테제는 사실 2, 즉 전지성 원리(omniscience principle)를 함축하게 된다는 것이다. 그러나 전지성 원리는 철학적으로 받아들이기 매우 힘든 원리이므로, 결국 피치의 역설을 받아들인다면 우리는 인식 가능성 테제를 부정하여 알 수 없는 진리가 있다는 것을 인정해야 한다. (ko)
  • Fitch's paradox of knowability is one of the fundamental puzzles of epistemic logic. It provides a challenge to the knowability thesis, which states that every truth is, in principle, knowable. The paradox is that this assumption implies the omniscience principle, which asserts that every truth is known. Essentially, Fitch's paradox asserts that the existence of an unknown truth is unknowable. So if all truths were knowable, it would follow that all truths are in fact known. (en)
  • Il paradosso della conoscibilità di Fitch, anche conosciuto come paradosso della conoscibilità di Church-Fitch, dai nomi del logico Alonzo Church che lo dimostrò per primo, e di che lo riscoprì rendendolo noto, è uno dei principali rompicapi della logica epistemica. Consiste, in sostanza, nello sfidare l'accettabilità della tesi di conoscibilità (è possibile, in principio, conoscere un fatto vero), comune a diversi indirizzi di pensiero, mostrando che implicherebbe l'onniscienza (tutti i fatti sono conosciuti, attualmente). (it)
rdfs:label
  • Fitch's paradox of knowability (en)
  • Paradosso della conoscibilità di Fitch (it)
  • 피치의 인식 가능성의 역설 (ko)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License