Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060059664> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2060059664 abstract "My aim is to examine logical types in Principia Mathematica from two (partly independent) perspectives. The first one pertains to the ambiguity of the notion of logical type as introduced in the Introduction (to the first edition). I claim that a distinction has to be made between types as called for in the context of paradoxes, and types as logical prototypes. The second perspective bears on typical ambiguity as described in Russell and Whitehead’s Prefatory Statement of Symbolic Conventions, inasmuch as it lends itself to a comparison with specific systems of modern typed lambda-calculus. In particular, a recent paper shows that the theory of logical types can be formalized in the way of a lambda-calculus. This opens the way to an interesting reconciliation between type theories in the Russellian sense of the word, and type theories in the modern sense. But typical ambiguity is not taken into account in that paper. I would like to take up that question of typical ambiguity, by extending the typed lambda-calculus to be used." @default.
- W2060059664 created "2016-06-24" @default.
- W2060059664 creator A5048040232 @default.
- W2060059664 date "2011-05-14" @default.
- W2060059664 modified "2023-09-25" @default.
- W2060059664 title "Generality of Logical Types" @default.
- W2060059664 cites W10638946 @default.
- W2060059664 cites W106622167 @default.
- W2060059664 cites W1501105589 @default.
- W2060059664 cites W1520893111 @default.
- W2060059664 cites W1549406551 @default.
- W2060059664 cites W1984581448 @default.
- W2060059664 cites W1998834275 @default.
- W2060059664 cites W2014836228 @default.
- W2060059664 cites W2074843414 @default.
- W2060059664 cites W223002628 @default.
- W2060059664 cites W2479020114 @default.
- W2060059664 doi "https://doi.org/10.15173/russell.v31i1.2207" @default.
- W2060059664 hasPublicationYear "2011" @default.
- W2060059664 type Work @default.
- W2060059664 sameAs 2060059664 @default.
- W2060059664 citedByCount "0" @default.
- W2060059664 crossrefType "journal-article" @default.
- W2060059664 hasAuthorship W2060059664A5048040232 @default.
- W2060059664 hasBestOaLocation W20600596641 @default.
- W2060059664 hasConcept C111472728 @default.
- W2060059664 hasConcept C12713177 @default.
- W2060059664 hasConcept C138885662 @default.
- W2060059664 hasConcept C151730666 @default.
- W2060059664 hasConcept C154945302 @default.
- W2060059664 hasConcept C15744967 @default.
- W2060059664 hasConcept C18903297 @default.
- W2060059664 hasConcept C199343813 @default.
- W2060059664 hasConcept C199360897 @default.
- W2060059664 hasConcept C20693621 @default.
- W2060059664 hasConcept C21847791 @default.
- W2060059664 hasConcept C2777026412 @default.
- W2060059664 hasConcept C2777299769 @default.
- W2060059664 hasConcept C2777686260 @default.
- W2060059664 hasConcept C2779343474 @default.
- W2060059664 hasConcept C2780522230 @default.
- W2060059664 hasConcept C2780767217 @default.
- W2060059664 hasConcept C33923547 @default.
- W2060059664 hasConcept C41008148 @default.
- W2060059664 hasConcept C542102704 @default.
- W2060059664 hasConcept C71924100 @default.
- W2060059664 hasConcept C86803240 @default.
- W2060059664 hasConcept C93682546 @default.
- W2060059664 hasConceptScore W2060059664C111472728 @default.
- W2060059664 hasConceptScore W2060059664C12713177 @default.
- W2060059664 hasConceptScore W2060059664C138885662 @default.
- W2060059664 hasConceptScore W2060059664C151730666 @default.
- W2060059664 hasConceptScore W2060059664C154945302 @default.
- W2060059664 hasConceptScore W2060059664C15744967 @default.
- W2060059664 hasConceptScore W2060059664C18903297 @default.
- W2060059664 hasConceptScore W2060059664C199343813 @default.
- W2060059664 hasConceptScore W2060059664C199360897 @default.
- W2060059664 hasConceptScore W2060059664C20693621 @default.
- W2060059664 hasConceptScore W2060059664C21847791 @default.
- W2060059664 hasConceptScore W2060059664C2777026412 @default.
- W2060059664 hasConceptScore W2060059664C2777299769 @default.
- W2060059664 hasConceptScore W2060059664C2777686260 @default.
- W2060059664 hasConceptScore W2060059664C2779343474 @default.
- W2060059664 hasConceptScore W2060059664C2780522230 @default.
- W2060059664 hasConceptScore W2060059664C2780767217 @default.
- W2060059664 hasConceptScore W2060059664C33923547 @default.
- W2060059664 hasConceptScore W2060059664C41008148 @default.
- W2060059664 hasConceptScore W2060059664C542102704 @default.
- W2060059664 hasConceptScore W2060059664C71924100 @default.
- W2060059664 hasConceptScore W2060059664C86803240 @default.
- W2060059664 hasConceptScore W2060059664C93682546 @default.
- W2060059664 hasIssue "1" @default.
- W2060059664 hasLocation W20600596641 @default.
- W2060059664 hasOpenAccess W2060059664 @default.
- W2060059664 hasPrimaryLocation W20600596641 @default.
- W2060059664 hasRelatedWork W1977820295 @default.
- W2060059664 hasRelatedWork W2029404646 @default.
- W2060059664 hasRelatedWork W2060059664 @default.
- W2060059664 hasRelatedWork W2128465391 @default.
- W2060059664 hasRelatedWork W2152655108 @default.
- W2060059664 hasRelatedWork W2366266863 @default.
- W2060059664 hasRelatedWork W3084769501 @default.
- W2060059664 hasRelatedWork W3171769836 @default.
- W2060059664 hasRelatedWork W4287126609 @default.
- W2060059664 hasRelatedWork W4366809696 @default.
- W2060059664 hasVolume "31" @default.
- W2060059664 isParatext "false" @default.
- W2060059664 isRetracted "false" @default.
- W2060059664 magId "2060059664" @default.
- W2060059664 workType "article" @default.