02902nam 2200685uu 450 991095877380332120251116141520.00-19-773158-91-280-47029-10-19-535372-20-585-32906-010.1093/oso/9780195116830.001.0001(CKB)111004366529110(EBL)272638(OCoLC)559913921(SSID)ssj0000240158(PQKBManifestationID)11239289(PQKBTitleCode)TC0000240158(PQKBWorkID)10252428(PQKB)10760852(Au-PeEL)EBL272638(CaPaEBR)ebr10087533(CaONFJC)MIL47029(OCoLC)935260787(MiAaPQ)EBC272638(OCoLC)1406785696(StDuBDS)9780197731581(EXLCZ)9911100436652911019990208e20231998 |y |engur|n|---|||||txtccrRussell's hidden substitutional theory /Gregory LandiniNew York ;Oxford University Press,2023.1 online resource (350 p.)Oxford scholarship onlineBibliography: p325-332. - Includes index.Previously issued in print: 1998.0-19-511683-6 Includes bibliographical references (p. 325-332) and index.Contents; Introduction; Quodlibet Ens Est Unum; Overview; 1 Russell's Logicist Program; 2 The Logic of The Principles of Mathematics; 3 The New Theory of the Variable; 4 The Logic of Substitution; 5 The ""No Propositional Functions"" Theory; 6 The ""No-Classes"" Theory; 7 The ""No-Relations[sub(e)]"" Theory; 8 Les Paradoxes de la Logique; 9 Mathematical Logic as Based on the Theory of Types; 10 The Logic of Principia Mathematica; Appendix A: Proof of the Peano Postulates; Appendix B: Axioms, Theorems, and Definitions; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; RST; U; V; W; ZLandini shows that Russell's work exhibits greater consistency than previously thought. Russell's thoughts on logic are considered to be flawed yet he nevertheless attempted to salvage the guiding idea of his principal theory on the subject.Oxford scholarship online.Proposition (Logic)History20th centuryLogic, Symbolic and mathematicalHistory20th centuryProposition (Logic)HistoryLogic, Symbolic and mathematicalHistory160/.92Landini Gregory887830StDuBDSUkStDuBDSZStDuBDSZBOOK9910958773803321Russell's hidden substitutional theory4524185UNINA