Matches in SemOpenAlex for { <https://semopenalex.org/work/W2556015570> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2556015570 endingPage "104" @default.
- W2556015570 startingPage "81" @default.
- W2556015570 abstract "Abstract It will be argued that Wittgenstein did not outright reject the law of excluded middle for mathematics or the proof-techniques that constructivists reject in connection with the law of excluded middle. Wittgenstein can be seen to be critical of the dogmatic claims of Brouwer and Weyl concerning how proofs should be constructed. Rather than himself laying down a requirement concerning what is and is not a proof, Wittgenstein can be read as exploring the differences between constructive and non-constructive proofs. I will read Wittgenstein as arguing that Brouwer’s rejection of excluded middle is based upon an over-extension from examples that Wittgenstein reads as special cases. Wittgenstein is certainly interested in the difference between constructive and non-constructive proof but only for the purposes of exploring the easily-missed differences between the two, not in order to reject non-constructive approaches." @default.
- W2556015570 created "2016-11-30" @default.
- W2556015570 creator A5033584591 @default.
- W2556015570 date "2016-02-01" @default.
- W2556015570 modified "2023-09-24" @default.
- W2556015570 title "Was Wittgenstein really a Constructivist about Mathematics?" @default.
- W2556015570 doi "https://doi.org/10.1515/witt-2016-0107" @default.
- W2556015570 hasPublicationYear "2016" @default.
- W2556015570 type Work @default.
- W2556015570 sameAs 2556015570 @default.
- W2556015570 citedByCount "0" @default.
- W2556015570 crossrefType "journal-article" @default.
- W2556015570 hasAuthorship W2556015570A5033584591 @default.
- W2556015570 hasConcept C10138342 @default.
- W2556015570 hasConcept C108710211 @default.
- W2556015570 hasConcept C111472728 @default.
- W2556015570 hasConcept C111919701 @default.
- W2556015570 hasConcept C118615104 @default.
- W2556015570 hasConcept C133281099 @default.
- W2556015570 hasConcept C13355873 @default.
- W2556015570 hasConcept C137155000 @default.
- W2556015570 hasConcept C138885662 @default.
- W2556015570 hasConcept C162324750 @default.
- W2556015570 hasConcept C17744445 @default.
- W2556015570 hasConcept C182306322 @default.
- W2556015570 hasConcept C199343813 @default.
- W2556015570 hasConcept C199360897 @default.
- W2556015570 hasConcept C199539241 @default.
- W2556015570 hasConcept C202854965 @default.
- W2556015570 hasConcept C2524010 @default.
- W2556015570 hasConcept C2777686260 @default.
- W2556015570 hasConcept C2778029271 @default.
- W2556015570 hasConcept C2778701210 @default.
- W2556015570 hasConcept C33923547 @default.
- W2556015570 hasConcept C34355311 @default.
- W2556015570 hasConcept C41008148 @default.
- W2556015570 hasConcept C71924100 @default.
- W2556015570 hasConcept C94625758 @default.
- W2556015570 hasConcept C98045186 @default.
- W2556015570 hasConceptScore W2556015570C10138342 @default.
- W2556015570 hasConceptScore W2556015570C108710211 @default.
- W2556015570 hasConceptScore W2556015570C111472728 @default.
- W2556015570 hasConceptScore W2556015570C111919701 @default.
- W2556015570 hasConceptScore W2556015570C118615104 @default.
- W2556015570 hasConceptScore W2556015570C133281099 @default.
- W2556015570 hasConceptScore W2556015570C13355873 @default.
- W2556015570 hasConceptScore W2556015570C137155000 @default.
- W2556015570 hasConceptScore W2556015570C138885662 @default.
- W2556015570 hasConceptScore W2556015570C162324750 @default.
- W2556015570 hasConceptScore W2556015570C17744445 @default.
- W2556015570 hasConceptScore W2556015570C182306322 @default.
- W2556015570 hasConceptScore W2556015570C199343813 @default.
- W2556015570 hasConceptScore W2556015570C199360897 @default.
- W2556015570 hasConceptScore W2556015570C199539241 @default.
- W2556015570 hasConceptScore W2556015570C202854965 @default.
- W2556015570 hasConceptScore W2556015570C2524010 @default.
- W2556015570 hasConceptScore W2556015570C2777686260 @default.
- W2556015570 hasConceptScore W2556015570C2778029271 @default.
- W2556015570 hasConceptScore W2556015570C2778701210 @default.
- W2556015570 hasConceptScore W2556015570C33923547 @default.
- W2556015570 hasConceptScore W2556015570C34355311 @default.
- W2556015570 hasConceptScore W2556015570C41008148 @default.
- W2556015570 hasConceptScore W2556015570C71924100 @default.
- W2556015570 hasConceptScore W2556015570C94625758 @default.
- W2556015570 hasConceptScore W2556015570C98045186 @default.
- W2556015570 hasIssue "1" @default.
- W2556015570 hasLocation W25560155701 @default.
- W2556015570 hasOpenAccess W2556015570 @default.
- W2556015570 hasPrimaryLocation W25560155701 @default.
- W2556015570 hasRelatedWork W1589204344 @default.
- W2556015570 hasRelatedWork W164115260 @default.
- W2556015570 hasRelatedWork W2063422058 @default.
- W2556015570 hasRelatedWork W2352606227 @default.
- W2556015570 hasRelatedWork W2556015570 @default.
- W2556015570 hasRelatedWork W2949665548 @default.
- W2556015570 hasRelatedWork W2967502375 @default.
- W2556015570 hasRelatedWork W2989681777 @default.
- W2556015570 hasRelatedWork W350561797 @default.
- W2556015570 hasRelatedWork W4236161323 @default.
- W2556015570 hasVolume "7" @default.
- W2556015570 isParatext "false" @default.
- W2556015570 isRetracted "false" @default.
- W2556015570 magId "2556015570" @default.
- W2556015570 workType "article" @default.