02707nam 2200601Ia 450 991045572200332120200520144314.01-280-47029-10-19-535372-20-585-32906-0(CKB)111004366529110(EBL)272638(OCoLC)559913921(SSID)ssj0000240158(PQKBManifestationID)11239289(PQKBTitleCode)TC0000240158(PQKBWorkID)10252428(PQKB)10760852(MiAaPQ)EBC272638(Au-PeEL)EBL272638(CaPaEBR)ebr10087533(CaONFJC)MIL47029(OCoLC)935260787(EXLCZ)9911100436652911019970625d1998 uy 0engur|n|---|||||txtccrRussell's hidden substitutional theory[electronic resource] /Gregory LandiniNew York Oxford University Press19981 online resource (350 p.)Description based upon print version of record.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; ZExplores a central thread unifying Russell's thoughts on logic in two works considered at odds with each other: ""Principles of Mathematics"" and ""Principia Mathematica"". The thread states that logic is an absolutely general science and any calculus for it must embrace unrestricted variables.Proposition (Logic)History20th centuryLogic, Symbolic and mathematicalHistory20th centuryElectronic books.Proposition (Logic)HistoryLogic, Symbolic and mathematicalHistory160/.92Landini Gregory887830MiAaPQMiAaPQMiAaPQBOOK9910455722003321Russell's hidden substitutional theory1983202UNINA