02918nam 2200697uu 450 991114730520332120251116141520.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(UkBuK)843393(EXLCZ)9911100436652911019990208e20231998 |y |engur|n|---|||||txtccrRussell's hidden substitutional theory /Gregory LandiniOxford University Press19981 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 Gregory887830StDuBDSUkStDuBDSZStDuBDSZBOOK9911147305203321Russell's hidden substitutional theory4873738UNINA