Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054062406> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2054062406 endingPage "326" @default.
- W2054062406 startingPage "317" @default.
- W2054062406 abstract "Two thoughts about the concept of number are incompatible: that any zero or more things have a (cardinal) number, and that any zero or more things have a number (if and) only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any (zero or more) things have a number is Frege's; the thought that things have a number only if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC. In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik . We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous." @default.
- W2054062406 created "2016-06-24" @default.
- W2054062406 creator A5008053802 @default.
- W2054062406 date "1995-09-01" @default.
- W2054062406 modified "2023-09-27" @default.
- W2054062406 title "Frege's Theorem and the Peano Postulates" @default.
- W2054062406 cites W4235871102 @default.
- W2054062406 doi "https://doi.org/10.2307/421158" @default.
- W2054062406 hasPublicationYear "1995" @default.
- W2054062406 type Work @default.
- W2054062406 sameAs 2054062406 @default.
- W2054062406 citedByCount "15" @default.
- W2054062406 countsByYear W20540624062012 @default.
- W2054062406 countsByYear W20540624062014 @default.
- W2054062406 countsByYear W20540624062015 @default.
- W2054062406 countsByYear W20540624062016 @default.
- W2054062406 countsByYear W20540624062018 @default.
- W2054062406 countsByYear W20540624062021 @default.
- W2054062406 crossrefType "journal-article" @default.
- W2054062406 hasAuthorship W2054062406A5008053802 @default.
- W2054062406 hasConcept C10138342 @default.
- W2054062406 hasConcept C111472728 @default.
- W2054062406 hasConcept C11413529 @default.
- W2054062406 hasConcept C118615104 @default.
- W2054062406 hasConcept C138885662 @default.
- W2054062406 hasConcept C153046414 @default.
- W2054062406 hasConcept C162324750 @default.
- W2054062406 hasConcept C167729594 @default.
- W2054062406 hasConcept C177264268 @default.
- W2054062406 hasConcept C180937797 @default.
- W2054062406 hasConcept C182306322 @default.
- W2054062406 hasConcept C199360897 @default.
- W2054062406 hasConcept C2524010 @default.
- W2054062406 hasConcept C2777026412 @default.
- W2054062406 hasConcept C2781302003 @default.
- W2054062406 hasConcept C33923547 @default.
- W2054062406 hasConcept C41008148 @default.
- W2054062406 hasConcept C47884741 @default.
- W2054062406 hasConcept C65148605 @default.
- W2054062406 hasConcept C97489613 @default.
- W2054062406 hasConceptScore W2054062406C10138342 @default.
- W2054062406 hasConceptScore W2054062406C111472728 @default.
- W2054062406 hasConceptScore W2054062406C11413529 @default.
- W2054062406 hasConceptScore W2054062406C118615104 @default.
- W2054062406 hasConceptScore W2054062406C138885662 @default.
- W2054062406 hasConceptScore W2054062406C153046414 @default.
- W2054062406 hasConceptScore W2054062406C162324750 @default.
- W2054062406 hasConceptScore W2054062406C167729594 @default.
- W2054062406 hasConceptScore W2054062406C177264268 @default.
- W2054062406 hasConceptScore W2054062406C180937797 @default.
- W2054062406 hasConceptScore W2054062406C182306322 @default.
- W2054062406 hasConceptScore W2054062406C199360897 @default.
- W2054062406 hasConceptScore W2054062406C2524010 @default.
- W2054062406 hasConceptScore W2054062406C2777026412 @default.
- W2054062406 hasConceptScore W2054062406C2781302003 @default.
- W2054062406 hasConceptScore W2054062406C33923547 @default.
- W2054062406 hasConceptScore W2054062406C41008148 @default.
- W2054062406 hasConceptScore W2054062406C47884741 @default.
- W2054062406 hasConceptScore W2054062406C65148605 @default.
- W2054062406 hasConceptScore W2054062406C97489613 @default.
- W2054062406 hasIssue "3" @default.
- W2054062406 hasLocation W20540624061 @default.
- W2054062406 hasOpenAccess W2054062406 @default.
- W2054062406 hasPrimaryLocation W20540624061 @default.
- W2054062406 hasRelatedWork W1184531547 @default.
- W2054062406 hasRelatedWork W1515297838 @default.
- W2054062406 hasRelatedWork W171744056 @default.
- W2054062406 hasRelatedWork W1965300620 @default.
- W2054062406 hasRelatedWork W2054062406 @default.
- W2054062406 hasRelatedWork W2141113852 @default.
- W2054062406 hasRelatedWork W2327264622 @default.
- W2054062406 hasRelatedWork W2902863915 @default.
- W2054062406 hasRelatedWork W3027428265 @default.
- W2054062406 hasRelatedWork W4213356241 @default.
- W2054062406 hasVolume "1" @default.
- W2054062406 isParatext "false" @default.
- W2054062406 isRetracted "false" @default.
- W2054062406 magId "2054062406" @default.
- W2054062406 workType "article" @default.