Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078298002> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2078298002 endingPage "32" @default.
- W2078298002 startingPage "25" @default.
- W2078298002 abstract "The main purpose of this paper is to present a formal system P in which we enjoy a smooth-running technique and which countenances a universe of classes which is symmetrical as between large and small. More exactly, P is a system which differs from the inconsistent system of [ 1 ] only in the introduction of a rather natural new restrictive condition on the defining formulas of the elements (sets, membership-eligible classes). It will be proved that if the weaker system of [ 2 ] is consistent, then P is also consistent. After the discovery of paradoxes, it may be recalled, Russell and Zermelo in the same year proposed two different ways of safeguarding logic against contradictions (see [ 3 ], [ 4 ]). Since then various simplifications and refinements of these systems have been made. However, in the resulting systems of Zermelo set theory, generation of classes still tends to be laborious and uncertain; and in the systems of Russell's theory of types, complications in the matter of reduplication of classes and meaningfulness of formulas remain. In [ 2 ], Quine introduced a system which seems to be free from all these complications. But later it was found out that in it there appears to be an unavoidable difficulty connected with mathematical induction. Indeed, we encounter the curious situation that although we can prove in it the existence of a class V of all classes, and we can also prove particular existence theorems for each of infinitely many classes, nobody has so far contrived to prove in it that V is an infinite class or that there exists an infinite class at all." @default.
- W2078298002 created "2016-06-24" @default.
- W2078298002 creator A5080102032 @default.
- W2078298002 date "1950-03-01" @default.
- W2078298002 modified "2023-09-26" @default.
- W2078298002 title "A formal system of logic " @default.
- W2078298002 cites W1970352212 @default.
- W2078298002 cites W1991697528 @default.
- W2078298002 cites W2331346174 @default.
- W2078298002 cites W4246852004 @default.
- W2078298002 cites W4249355983 @default.
- W2078298002 doi "https://doi.org/10.2307/2268438" @default.
- W2078298002 hasPublicationYear "1950" @default.
- W2078298002 type Work @default.
- W2078298002 sameAs 2078298002 @default.
- W2078298002 citedByCount "30" @default.
- W2078298002 countsByYear W20782980022014 @default.
- W2078298002 countsByYear W20782980022017 @default.
- W2078298002 countsByYear W20782980022018 @default.
- W2078298002 countsByYear W20782980022019 @default.
- W2078298002 countsByYear W20782980022020 @default.
- W2078298002 crossrefType "journal-article" @default.
- W2078298002 hasAuthorship W2078298002A5080102032 @default.
- W2078298002 hasConcept C102315432 @default.
- W2078298002 hasConcept C111472728 @default.
- W2078298002 hasConcept C111919701 @default.
- W2078298002 hasConcept C118615104 @default.
- W2078298002 hasConcept C121332964 @default.
- W2078298002 hasConcept C138885662 @default.
- W2078298002 hasConcept C144237770 @default.
- W2078298002 hasConcept C145420912 @default.
- W2078298002 hasConcept C153046414 @default.
- W2078298002 hasConcept C177264268 @default.
- W2078298002 hasConcept C183140480 @default.
- W2078298002 hasConcept C199343813 @default.
- W2078298002 hasConcept C199360897 @default.
- W2078298002 hasConcept C202444582 @default.
- W2078298002 hasConcept C2777212361 @default.
- W2078298002 hasConcept C2777686260 @default.
- W2078298002 hasConcept C33923547 @default.
- W2078298002 hasConcept C36914074 @default.
- W2078298002 hasConcept C41008148 @default.
- W2078298002 hasConcept C44870925 @default.
- W2078298002 hasConcept C71924100 @default.
- W2078298002 hasConcept C84999194 @default.
- W2078298002 hasConcept C9270016 @default.
- W2078298002 hasConceptScore W2078298002C102315432 @default.
- W2078298002 hasConceptScore W2078298002C111472728 @default.
- W2078298002 hasConceptScore W2078298002C111919701 @default.
- W2078298002 hasConceptScore W2078298002C118615104 @default.
- W2078298002 hasConceptScore W2078298002C121332964 @default.
- W2078298002 hasConceptScore W2078298002C138885662 @default.
- W2078298002 hasConceptScore W2078298002C144237770 @default.
- W2078298002 hasConceptScore W2078298002C145420912 @default.
- W2078298002 hasConceptScore W2078298002C153046414 @default.
- W2078298002 hasConceptScore W2078298002C177264268 @default.
- W2078298002 hasConceptScore W2078298002C183140480 @default.
- W2078298002 hasConceptScore W2078298002C199343813 @default.
- W2078298002 hasConceptScore W2078298002C199360897 @default.
- W2078298002 hasConceptScore W2078298002C202444582 @default.
- W2078298002 hasConceptScore W2078298002C2777212361 @default.
- W2078298002 hasConceptScore W2078298002C2777686260 @default.
- W2078298002 hasConceptScore W2078298002C33923547 @default.
- W2078298002 hasConceptScore W2078298002C36914074 @default.
- W2078298002 hasConceptScore W2078298002C41008148 @default.
- W2078298002 hasConceptScore W2078298002C44870925 @default.
- W2078298002 hasConceptScore W2078298002C71924100 @default.
- W2078298002 hasConceptScore W2078298002C84999194 @default.
- W2078298002 hasConceptScore W2078298002C9270016 @default.
- W2078298002 hasIssue "01" @default.
- W2078298002 hasLocation W20782980021 @default.
- W2078298002 hasOpenAccess W2078298002 @default.
- W2078298002 hasPrimaryLocation W20782980021 @default.
- W2078298002 hasRelatedWork W1993159501 @default.
- W2078298002 hasRelatedWork W2007735529 @default.
- W2078298002 hasRelatedWork W2039812977 @default.
- W2078298002 hasRelatedWork W2078298002 @default.
- W2078298002 hasRelatedWork W2131525765 @default.
- W2078298002 hasRelatedWork W2215197874 @default.
- W2078298002 hasRelatedWork W2580851395 @default.
- W2078298002 hasRelatedWork W3122821614 @default.
- W2078298002 hasRelatedWork W4287870525 @default.
- W2078298002 hasRelatedWork W3151462892 @default.
- W2078298002 hasVolume "15" @default.
- W2078298002 isParatext "false" @default.
- W2078298002 isRetracted "false" @default.
- W2078298002 magId "2078298002" @default.
- W2078298002 workType "article" @default.