02703nam 2200601Ia 450 991077871950332120230421034136.00-19-773158-91-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(Au-PeEL)EBL272638(CaPaEBR)ebr10087533(CaONFJC)MIL47029(OCoLC)935260787(MiAaPQ)EBC272638(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 centuryProposition (Logic)HistoryLogic, Symbolic and mathematicalHistory160/.92Landini Gregory887830MiAaPQMiAaPQMiAaPQBOOK9910778719503321Russell's hidden substitutional theory3820433UNINA