Matches in SemOpenAlex for { <https://semopenalex.org/work/W4236408694> ?p ?o ?g. }
- W4236408694 endingPage "110" @default.
- W4236408694 startingPage "97" @default.
- W4236408694 abstract "Abstract Russell’s attempt to obey the Vicious Circle Principle must lead to the conclusion that there are only countably many propositional functions, but this conflicts with his axiom of reducibility. So we do better to reject the ramified type theory, and thereby dispense with both. The simple type theory still has problems in deducing mathematics, e.g. over the axiom of infinity, and problems too over what this chapter calls ‘type-neutral’ predicates. A remedy for both of these points may be available, but it would take us into uncharted waters. One may observe that the axiom of choice (which Russell calls the ‘multiplicative’ axiom) is needed for the classical theory of infinite sets." @default.
- W4236408694 created "2022-05-12" @default.
- W4236408694 creator A5063397636 @default.
- W4236408694 date "2012-04-19" @default.
- W4236408694 modified "2023-10-16" @default.
- W4236408694 title "Problems" @default.
- W4236408694 cites W178384805 @default.
- W4236408694 cites W1969441665 @default.
- W4236408694 cites W1970208999 @default.
- W4236408694 cites W1973035294 @default.
- W4236408694 cites W1980339904 @default.
- W4236408694 cites W1982714651 @default.
- W4236408694 cites W1991697528 @default.
- W4236408694 cites W1997476746 @default.
- W4236408694 cites W2000073644 @default.
- W4236408694 cites W2004579236 @default.
- W4236408694 cites W2008663722 @default.
- W4236408694 cites W2012456091 @default.
- W4236408694 cites W2012631108 @default.
- W4236408694 cites W2017514491 @default.
- W4236408694 cites W2022681223 @default.
- W4236408694 cites W2031651455 @default.
- W4236408694 cites W2036068203 @default.
- W4236408694 cites W2037832270 @default.
- W4236408694 cites W2038020882 @default.
- W4236408694 cites W2043689228 @default.
- W4236408694 cites W2045974932 @default.
- W4236408694 cites W2050971606 @default.
- W4236408694 cites W2053524792 @default.
- W4236408694 cites W2062767542 @default.
- W4236408694 cites W2064028777 @default.
- W4236408694 cites W2067132800 @default.
- W4236408694 cites W2068218109 @default.
- W4236408694 cites W2070071796 @default.
- W4236408694 cites W2076102828 @default.
- W4236408694 cites W2079803157 @default.
- W4236408694 cites W2086112402 @default.
- W4236408694 cites W2093887494 @default.
- W4236408694 cites W2111934705 @default.
- W4236408694 cites W2133533044 @default.
- W4236408694 cites W2138785765 @default.
- W4236408694 cites W2140792783 @default.
- W4236408694 cites W2143162796 @default.
- W4236408694 cites W2147686996 @default.
- W4236408694 cites W2164789723 @default.
- W4236408694 cites W2315157806 @default.
- W4236408694 cites W2317115146 @default.
- W4236408694 cites W2317481530 @default.
- W4236408694 cites W2317734467 @default.
- W4236408694 cites W2325677363 @default.
- W4236408694 cites W2328141028 @default.
- W4236408694 cites W2331346174 @default.
- W4236408694 cites W2333767410 @default.
- W4236408694 cites W2335807927 @default.
- W4236408694 cites W2496540450 @default.
- W4236408694 cites W2501891528 @default.
- W4236408694 cites W2503803226 @default.
- W4236408694 cites W3137603757 @default.
- W4236408694 cites W386289906 @default.
- W4236408694 cites W4210953275 @default.
- W4236408694 cites W4211245804 @default.
- W4236408694 cites W4214906388 @default.
- W4236408694 cites W4234684401 @default.
- W4236408694 cites W4238451886 @default.
- W4236408694 cites W4239447255 @default.
- W4236408694 cites W4243050438 @default.
- W4236408694 cites W4243062032 @default.
- W4236408694 cites W4246852004 @default.
- W4236408694 cites W4247254250 @default.
- W4236408694 cites W4248621509 @default.
- W4236408694 cites W4249355983 @default.
- W4236408694 cites W4251111119 @default.
- W4236408694 cites W4251797220 @default.
- W4236408694 cites W4254030878 @default.
- W4236408694 cites W4256369010 @default.
- W4236408694 cites W4296611970 @default.
- W4236408694 cites W46517763 @default.
- W4236408694 cites W74950275 @default.
- W4236408694 cites W87519738 @default.
- W4236408694 cites W941998064 @default.
- W4236408694 doi "https://doi.org/10.1093/acprof:oso/9780199651443.003.0006" @default.
- W4236408694 hasPublicationYear "2012" @default.
- W4236408694 type Work @default.
- W4236408694 citedByCount "0" @default.
- W4236408694 crossrefType "book-chapter" @default.
- W4236408694 hasAuthorship W4236408694A5063397636 @default.
- W4236408694 hasConcept C111472728 @default.
- W4236408694 hasConcept C118615104 @default.
- W4236408694 hasConcept C134306372 @default.
- W4236408694 hasConcept C138885662 @default.
- W4236408694 hasConcept C144237770 @default.
- W4236408694 hasConcept C151797676 @default.
- W4236408694 hasConcept C153046414 @default.
- W4236408694 hasConcept C167729594 @default.
- W4236408694 hasConcept C177264268 @default.
- W4236408694 hasConcept C18903297 @default.
- W4236408694 hasConcept C199343813 @default.
- W4236408694 hasConcept C199360897 @default.