Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110194313> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2110194313 endingPage "10" @default.
- W2110194313 startingPage "1" @default.
- W2110194313 abstract "First-order Peano Arithmetic (PA) is incomplete. So the question naturally arises: what kinds of sentences belonging to PA's language LA can we actually establish to be true even though they are unprovable in PA? There are two familiar classes of cases. First, there are sentences like the canonical Godel sentence for PA. Second, there are sentences like the arithmetization of Good- stein's Theorem. In the first sort of case, we can come to appreciate the truth of the Godelian undecidable sentences by reflecting on PA's consistency or by coming to accept the instances of the 1 reflection schema for PA. And those routes involve deploying ideas beyond those involved in accepting PA as true. To reason to the truth of the Godel sentence, we need not just to be able to do basic arithmetic, but to be able to reflect on our practice. In the second sort of case, we come to appreciate the truth of the sentences which are undecidable in PA by deploying transfinite induction or other infinitary ideas. So the reasoning again involves ideas which go beyond what's involved in grasping basic arithmetic. Thinking about these sorts of cases suggests a plausible general conjecture. Given the arguments of Daniel Isaacson (1987, 1992), let's call it" @default.
- W2110194313 created "2016-06-24" @default.
- W2110194313 creator A5084114285 @default.
- W2110194313 date "2008-01-01" @default.
- W2110194313 modified "2023-09-22" @default.
- W2110194313 title "Ancestral arithmetic and Isaacson's Thesis" @default.
- W2110194313 cites W1513919859 @default.
- W2110194313 cites W1616114834 @default.
- W2110194313 cites W2027226050 @default.
- W2110194313 cites W2041273376 @default.
- W2110194313 cites W2055655687 @default.
- W2110194313 cites W2073962804 @default.
- W2110194313 cites W2102816475 @default.
- W2110194313 cites W2129133014 @default.
- W2110194313 cites W67269200 @default.
- W2110194313 doi "https://doi.org/10.1111/j.1467-8284.2007.00719.x" @default.
- W2110194313 hasPublicationYear "2008" @default.
- W2110194313 type Work @default.
- W2110194313 sameAs 2110194313 @default.
- W2110194313 citedByCount "1" @default.
- W2110194313 countsByYear W21101943132019 @default.
- W2110194313 crossrefType "journal-article" @default.
- W2110194313 hasAuthorship W2110194313A5084114285 @default.
- W2110194313 hasConcept C111472728 @default.
- W2110194313 hasConcept C118615104 @default.
- W2110194313 hasConcept C119857082 @default.
- W2110194313 hasConcept C138885662 @default.
- W2110194313 hasConcept C147358099 @default.
- W2110194313 hasConcept C153269930 @default.
- W2110194313 hasConcept C180937797 @default.
- W2110194313 hasConcept C192034797 @default.
- W2110194313 hasConcept C2777530160 @default.
- W2110194313 hasConcept C2780990831 @default.
- W2110194313 hasConcept C2781302003 @default.
- W2110194313 hasConcept C33923547 @default.
- W2110194313 hasConcept C39308869 @default.
- W2110194313 hasConcept C41008148 @default.
- W2110194313 hasConcept C41895202 @default.
- W2110194313 hasConcept C52146309 @default.
- W2110194313 hasConcept C88548561 @default.
- W2110194313 hasConcept C94375191 @default.
- W2110194313 hasConcept C97489613 @default.
- W2110194313 hasConceptScore W2110194313C111472728 @default.
- W2110194313 hasConceptScore W2110194313C118615104 @default.
- W2110194313 hasConceptScore W2110194313C119857082 @default.
- W2110194313 hasConceptScore W2110194313C138885662 @default.
- W2110194313 hasConceptScore W2110194313C147358099 @default.
- W2110194313 hasConceptScore W2110194313C153269930 @default.
- W2110194313 hasConceptScore W2110194313C180937797 @default.
- W2110194313 hasConceptScore W2110194313C192034797 @default.
- W2110194313 hasConceptScore W2110194313C2777530160 @default.
- W2110194313 hasConceptScore W2110194313C2780990831 @default.
- W2110194313 hasConceptScore W2110194313C2781302003 @default.
- W2110194313 hasConceptScore W2110194313C33923547 @default.
- W2110194313 hasConceptScore W2110194313C39308869 @default.
- W2110194313 hasConceptScore W2110194313C41008148 @default.
- W2110194313 hasConceptScore W2110194313C41895202 @default.
- W2110194313 hasConceptScore W2110194313C52146309 @default.
- W2110194313 hasConceptScore W2110194313C88548561 @default.
- W2110194313 hasConceptScore W2110194313C94375191 @default.
- W2110194313 hasConceptScore W2110194313C97489613 @default.
- W2110194313 hasIssue "1" @default.
- W2110194313 hasLocation W21101943131 @default.
- W2110194313 hasOpenAccess W2110194313 @default.
- W2110194313 hasPrimaryLocation W21101943131 @default.
- W2110194313 hasRelatedWork W113030454 @default.
- W2110194313 hasRelatedWork W1973399667 @default.
- W2110194313 hasRelatedWork W1978184001 @default.
- W2110194313 hasRelatedWork W1998467296 @default.
- W2110194313 hasRelatedWork W2021593542 @default.
- W2110194313 hasRelatedWork W2036979854 @default.
- W2110194313 hasRelatedWork W2040130276 @default.
- W2110194313 hasRelatedWork W2057420885 @default.
- W2110194313 hasRelatedWork W2060162003 @default.
- W2110194313 hasRelatedWork W2110992436 @default.
- W2110194313 hasRelatedWork W2140103796 @default.
- W2110194313 hasRelatedWork W2151008381 @default.
- W2110194313 hasRelatedWork W2252519798 @default.
- W2110194313 hasRelatedWork W2327509323 @default.
- W2110194313 hasRelatedWork W2469579960 @default.
- W2110194313 hasRelatedWork W2573312004 @default.
- W2110194313 hasRelatedWork W2765559818 @default.
- W2110194313 hasRelatedWork W3197567028 @default.
- W2110194313 hasRelatedWork W49631426 @default.
- W2110194313 hasRelatedWork W2096553066 @default.
- W2110194313 hasVolume "68" @default.
- W2110194313 isParatext "false" @default.
- W2110194313 isRetracted "false" @default.
- W2110194313 magId "2110194313" @default.
- W2110194313 workType "article" @default.