Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912453066> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2912453066 abstract "The Kinds of Mathematical Objects is an exploration of the taxonomy of the mathematical realm and the metaphysics of mathematical objects. I defend antireductionism about cardinals and ordinals: the view that no cardinal number and no ordinal number is a set. Instead, I suggest, cardinals and ordinals are sui generis abstract objects, essentially linked to specific abstraction functors (higher-order functions corresponding to operators in abstraction principles). Sets, in contrast, are not essentially values of abstraction functors: the best explanation of the nature of sethood is given by a variation on the standard iterative account. I further defend the theses that no cardinal number is an ordinal number and that the natural numbers are, as Frege maintained, all and only the finite cardinal numbers. My case for these conclusions relies not on the well-known antireductionist argument developed by Paul Benacerraf, but on considerations about ontological dependence. I argue that, given generally accepted principles about the dependence of a set on its elements, ordinal and cardinal numbers have dependence profiles that are not compatible with any version of set-theoretic ontological reductionism. In addition, a formal framework for set theory with sui generis abstract objects is developed on a type-theoretical basis. I give a philosophical defence of the choice of type theory and discuss various questions relating to the nature of its models." @default.
- W2912453066 created "2019-02-21" @default.
- W2912453066 creator A5084546176 @default.
- W2912453066 date "2017-01-01" @default.
- W2912453066 modified "2023-09-22" @default.
- W2912453066 title "The kinds of mathematical objects" @default.
- W2912453066 hasPublicationYear "2017" @default.
- W2912453066 type Work @default.
- W2912453066 sameAs 2912453066 @default.
- W2912453066 citedByCount "0" @default.
- W2912453066 crossrefType "dissertation" @default.
- W2912453066 hasAuthorship W2912453066A5084546176 @default.
- W2912453066 hasConcept C111472728 @default.
- W2912453066 hasConcept C118615104 @default.
- W2912453066 hasConcept C124304363 @default.
- W2912453066 hasConcept C136119220 @default.
- W2912453066 hasConcept C138885662 @default.
- W2912453066 hasConcept C156772000 @default.
- W2912453066 hasConcept C177264268 @default.
- W2912453066 hasConcept C182744844 @default.
- W2912453066 hasConcept C184264201 @default.
- W2912453066 hasConcept C185592680 @default.
- W2912453066 hasConcept C199360897 @default.
- W2912453066 hasConcept C202444582 @default.
- W2912453066 hasConcept C33923547 @default.
- W2912453066 hasConcept C41008148 @default.
- W2912453066 hasConcept C55493867 @default.
- W2912453066 hasConcept C98184364 @default.
- W2912453066 hasConceptScore W2912453066C111472728 @default.
- W2912453066 hasConceptScore W2912453066C118615104 @default.
- W2912453066 hasConceptScore W2912453066C124304363 @default.
- W2912453066 hasConceptScore W2912453066C136119220 @default.
- W2912453066 hasConceptScore W2912453066C138885662 @default.
- W2912453066 hasConceptScore W2912453066C156772000 @default.
- W2912453066 hasConceptScore W2912453066C177264268 @default.
- W2912453066 hasConceptScore W2912453066C182744844 @default.
- W2912453066 hasConceptScore W2912453066C184264201 @default.
- W2912453066 hasConceptScore W2912453066C185592680 @default.
- W2912453066 hasConceptScore W2912453066C199360897 @default.
- W2912453066 hasConceptScore W2912453066C202444582 @default.
- W2912453066 hasConceptScore W2912453066C33923547 @default.
- W2912453066 hasConceptScore W2912453066C41008148 @default.
- W2912453066 hasConceptScore W2912453066C55493867 @default.
- W2912453066 hasConceptScore W2912453066C98184364 @default.
- W2912453066 hasLocation W29124530661 @default.
- W2912453066 hasOpenAccess W2912453066 @default.
- W2912453066 hasPrimaryLocation W29124530661 @default.
- W2912453066 hasRelatedWork W131084660 @default.
- W2912453066 hasRelatedWork W1501966233 @default.
- W2912453066 hasRelatedWork W1552227949 @default.
- W2912453066 hasRelatedWork W1558226668 @default.
- W2912453066 hasRelatedWork W1926981557 @default.
- W2912453066 hasRelatedWork W1928033153 @default.
- W2912453066 hasRelatedWork W1983045507 @default.
- W2912453066 hasRelatedWork W1999064891 @default.
- W2912453066 hasRelatedWork W2013994203 @default.
- W2912453066 hasRelatedWork W2038777248 @default.
- W2912453066 hasRelatedWork W2078703711 @default.
- W2912453066 hasRelatedWork W2087276710 @default.
- W2912453066 hasRelatedWork W2135435051 @default.
- W2912453066 hasRelatedWork W2506389962 @default.
- W2912453066 hasRelatedWork W2594440878 @default.
- W2912453066 hasRelatedWork W2938853521 @default.
- W2912453066 hasRelatedWork W2951323597 @default.
- W2912453066 hasRelatedWork W3014324506 @default.
- W2912453066 hasRelatedWork W317646377 @default.
- W2912453066 hasRelatedWork W2222203777 @default.
- W2912453066 isParatext "false" @default.
- W2912453066 isRetracted "false" @default.
- W2912453066 magId "2912453066" @default.
- W2912453066 workType "dissertation" @default.