Matches in SemOpenAlex for { <https://semopenalex.org/work/W3168148644> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3168148644 abstract "This paper is divided into two parts, the first being a point of departure for the second. I will begin by discussing a well-known negative argument due to Mark Lange concerning the explanatory role of mathematical induction. In the first part of the paper, I offer yet another response to Lange’s argument and attempt to characterize the sort of explanatory role played by inductive proofs. That account depends on two structural principles about explanatory proof that look like a fragment of a constructive semantics for that concept. The remainder of the paper fills out this semantics and explores its consequences. It will be clear that this framework does not constitute a fully general characterization of the concept of mathematical proof; the question will be whether there is a natural class of proofs that it does characterize. My answer will be that it nicely describes what I shall call grounding explanatory proofs. A proof of this sort explains the sentence proved in terms of the grounds of the fact that it describes. I will conclude by briefly exploring the connections between grounding proofs and the notion of purity." @default.
- W3168148644 created "2021-06-22" @default.
- W3168148644 creator A5053697446 @default.
- W3168148644 date "2021-01-01" @default.
- W3168148644 modified "2023-09-23" @default.
- W3168148644 title "Induction, Constructivity, and Grounding" @default.
- W3168148644 cites W126568045 @default.
- W3168148644 cites W162931075 @default.
- W3168148644 cites W1983387205 @default.
- W3168148644 cites W2020422308 @default.
- W3168148644 cites W2085644387 @default.
- W3168148644 cites W2086889208 @default.
- W3168148644 cites W2091208636 @default.
- W3168148644 cites W2093515094 @default.
- W3168148644 cites W2103924086 @default.
- W3168148644 cites W2318919315 @default.
- W3168148644 cites W2320598163 @default.
- W3168148644 cites W2476100310 @default.
- W3168148644 cites W2477777149 @default.
- W3168148644 cites W4235065294 @default.
- W3168148644 cites W4300985985 @default.
- W3168148644 cites W588695281 @default.
- W3168148644 doi "https://doi.org/10.1215/00294527-2021-0004" @default.
- W3168148644 hasPublicationYear "2021" @default.
- W3168148644 type Work @default.
- W3168148644 sameAs 3168148644 @default.
- W3168148644 citedByCount "0" @default.
- W3168148644 crossrefType "journal-article" @default.
- W3168148644 hasAuthorship W3168148644A5053697446 @default.
- W3168148644 hasConcept C108710211 @default.
- W3168148644 hasConcept C111472728 @default.
- W3168148644 hasConcept C134752490 @default.
- W3168148644 hasConcept C138885662 @default.
- W3168148644 hasConcept C144237770 @default.
- W3168148644 hasConcept C154945302 @default.
- W3168148644 hasConcept C184337299 @default.
- W3168148644 hasConcept C185592680 @default.
- W3168148644 hasConcept C199343813 @default.
- W3168148644 hasConcept C199360897 @default.
- W3168148644 hasConcept C206743973 @default.
- W3168148644 hasConcept C2524010 @default.
- W3168148644 hasConcept C2777212361 @default.
- W3168148644 hasConcept C2777530160 @default.
- W3168148644 hasConcept C2777686260 @default.
- W3168148644 hasConcept C2778701210 @default.
- W3168148644 hasConcept C33923547 @default.
- W3168148644 hasConcept C41008148 @default.
- W3168148644 hasConcept C55493867 @default.
- W3168148644 hasConcept C71924100 @default.
- W3168148644 hasConcept C88548561 @default.
- W3168148644 hasConcept C94375191 @default.
- W3168148644 hasConcept C98045186 @default.
- W3168148644 hasConcept C98184364 @default.
- W3168148644 hasConceptScore W3168148644C108710211 @default.
- W3168148644 hasConceptScore W3168148644C111472728 @default.
- W3168148644 hasConceptScore W3168148644C134752490 @default.
- W3168148644 hasConceptScore W3168148644C138885662 @default.
- W3168148644 hasConceptScore W3168148644C144237770 @default.
- W3168148644 hasConceptScore W3168148644C154945302 @default.
- W3168148644 hasConceptScore W3168148644C184337299 @default.
- W3168148644 hasConceptScore W3168148644C185592680 @default.
- W3168148644 hasConceptScore W3168148644C199343813 @default.
- W3168148644 hasConceptScore W3168148644C199360897 @default.
- W3168148644 hasConceptScore W3168148644C206743973 @default.
- W3168148644 hasConceptScore W3168148644C2524010 @default.
- W3168148644 hasConceptScore W3168148644C2777212361 @default.
- W3168148644 hasConceptScore W3168148644C2777530160 @default.
- W3168148644 hasConceptScore W3168148644C2777686260 @default.
- W3168148644 hasConceptScore W3168148644C2778701210 @default.
- W3168148644 hasConceptScore W3168148644C33923547 @default.
- W3168148644 hasConceptScore W3168148644C41008148 @default.
- W3168148644 hasConceptScore W3168148644C55493867 @default.
- W3168148644 hasConceptScore W3168148644C71924100 @default.
- W3168148644 hasConceptScore W3168148644C88548561 @default.
- W3168148644 hasConceptScore W3168148644C94375191 @default.
- W3168148644 hasConceptScore W3168148644C98045186 @default.
- W3168148644 hasConceptScore W3168148644C98184364 @default.
- W3168148644 hasIssue "1" @default.
- W3168148644 hasLocation W31681486441 @default.
- W3168148644 hasOpenAccess W3168148644 @default.
- W3168148644 hasPrimaryLocation W31681486441 @default.
- W3168148644 hasRelatedWork W1636256915 @default.
- W3168148644 hasRelatedWork W1971479478 @default.
- W3168148644 hasRelatedWork W2103924086 @default.
- W3168148644 hasRelatedWork W2201549953 @default.
- W3168148644 hasRelatedWork W2330203176 @default.
- W3168148644 hasRelatedWork W2567337193 @default.
- W3168148644 hasRelatedWork W2795506401 @default.
- W3168148644 hasRelatedWork W2898139137 @default.
- W3168148644 hasRelatedWork W3168148644 @default.
- W3168148644 hasRelatedWork W4224303647 @default.
- W3168148644 hasVolume "62" @default.
- W3168148644 isParatext "false" @default.
- W3168148644 isRetracted "false" @default.
- W3168148644 magId "3168148644" @default.
- W3168148644 workType "article" @default.