Matches in SemOpenAlex for { <https://semopenalex.org/work/W1018182802> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1018182802 endingPage "648" @default.
- W1018182802 startingPage "615" @default.
- W1018182802 abstract "This chapter presents a discussion on Skolem's paradox. In its simplest form, Skolem's Paradox involves a (seeming) conflict between two theorems of modern logic: Cantor's theorem from set theory and the Lowenheim–Skolem theorem from model theory. Cantor's theorem says that there are uncountable sets—sets that are too big to be put into one-to-one correspondence with the natural numbers. The Lowenheim–Skolem theorem says that if a countable collection of first-order sentences has a model, then it has a model whose domain is only countable. Skolem's Paradox arises when it is noted that the standard axioms of set theory are themselves a countable collection of first-order sentences. This chapter formulates a simple version of Skolem's paradox and attempts to disentangle the roles that set theory, model theory, and philosophy play in making it look plausible. It sketches a generic solution to Skolem's paradox—a solution that explains, in rough outline, why no version of the paradox generates a genuine contradiction. This chapter examines different ways of “filling out” this generic solution. This chapter focuses on the role quantification sometimes plays in Skolem's paradox and includes a discussion of the so-called transitive submodel version of the paradox. Some cases are discussed where quantification does not help to explain Skolem's Paradox." @default.
- W1018182802 created "2016-06-24" @default.
- W1018182802 creator A5034119984 @default.
- W1018182802 date "2007-01-01" @default.
- W1018182802 modified "2023-09-27" @default.
- W1018182802 title "The Mathematics of Skolem's Paradox" @default.
- W1018182802 cites W1580489373 @default.
- W1018182802 cites W1999410400 @default.
- W1018182802 cites W2008870558 @default.
- W1018182802 cites W2040511573 @default.
- W1018182802 cites W2070815955 @default.
- W1018182802 cites W2071447011 @default.
- W1018182802 cites W2106141614 @default.
- W1018182802 cites W2327054499 @default.
- W1018182802 cites W4673710 @default.
- W1018182802 cites W185053622 @default.
- W1018182802 doi "https://doi.org/10.1016/b978-044451541-4/50019-1" @default.
- W1018182802 hasPublicationYear "2007" @default.
- W1018182802 type Work @default.
- W1018182802 sameAs 1018182802 @default.
- W1018182802 citedByCount "4" @default.
- W1018182802 countsByYear W10181828022014 @default.
- W1018182802 countsByYear W10181828022016 @default.
- W1018182802 countsByYear W10181828022022 @default.
- W1018182802 crossrefType "book-chapter" @default.
- W1018182802 hasAuthorship W1018182802A5034119984 @default.
- W1018182802 hasConcept C10138342 @default.
- W1018182802 hasConcept C110729354 @default.
- W1018182802 hasConcept C114614502 @default.
- W1018182802 hasConcept C118615104 @default.
- W1018182802 hasConcept C142399903 @default.
- W1018182802 hasConcept C144237770 @default.
- W1018182802 hasConcept C153046414 @default.
- W1018182802 hasConcept C162324750 @default.
- W1018182802 hasConcept C167729594 @default.
- W1018182802 hasConcept C177264268 @default.
- W1018182802 hasConcept C182306322 @default.
- W1018182802 hasConcept C191399111 @default.
- W1018182802 hasConcept C199360897 @default.
- W1018182802 hasConcept C2524010 @default.
- W1018182802 hasConcept C33923547 @default.
- W1018182802 hasConcept C41008148 @default.
- W1018182802 hasConceptScore W1018182802C10138342 @default.
- W1018182802 hasConceptScore W1018182802C110729354 @default.
- W1018182802 hasConceptScore W1018182802C114614502 @default.
- W1018182802 hasConceptScore W1018182802C118615104 @default.
- W1018182802 hasConceptScore W1018182802C142399903 @default.
- W1018182802 hasConceptScore W1018182802C144237770 @default.
- W1018182802 hasConceptScore W1018182802C153046414 @default.
- W1018182802 hasConceptScore W1018182802C162324750 @default.
- W1018182802 hasConceptScore W1018182802C167729594 @default.
- W1018182802 hasConceptScore W1018182802C177264268 @default.
- W1018182802 hasConceptScore W1018182802C182306322 @default.
- W1018182802 hasConceptScore W1018182802C191399111 @default.
- W1018182802 hasConceptScore W1018182802C199360897 @default.
- W1018182802 hasConceptScore W1018182802C2524010 @default.
- W1018182802 hasConceptScore W1018182802C33923547 @default.
- W1018182802 hasConceptScore W1018182802C41008148 @default.
- W1018182802 hasLocation W10181828021 @default.
- W1018182802 hasOpenAccess W1018182802 @default.
- W1018182802 hasPrimaryLocation W10181828021 @default.
- W1018182802 hasRelatedWork W139649048 @default.
- W1018182802 hasRelatedWork W1559682655 @default.
- W1018182802 hasRelatedWork W1838906185 @default.
- W1018182802 hasRelatedWork W1971668723 @default.
- W1018182802 hasRelatedWork W1992510955 @default.
- W1018182802 hasRelatedWork W2024769114 @default.
- W1018182802 hasRelatedWork W2224411976 @default.
- W1018182802 hasRelatedWork W24519920 @default.
- W1018182802 hasRelatedWork W2601479774 @default.
- W1018182802 hasRelatedWork W2938315078 @default.
- W1018182802 isParatext "false" @default.
- W1018182802 isRetracted "false" @default.
- W1018182802 magId "1018182802" @default.
- W1018182802 workType "book-chapter" @default.