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 theory3820433UNINA01569nam0 22004093i 450 CFI004056420251003044114.0880801458419960905d1987 ||||0itac50 baitaitaitz01i xxxe z01nz01ncRDAcarrierˆIl ‰globo terrestre e la sua evoluzioneBruno Accordi, Elvidio Lupia Palmiericon la collaborazione di Maurizio Parotto3. edBolognaZanichelli1987VII, 506 p.ill27 cm.ˆIl ‰globo terrestre e la sua evoluzioneVEA1336233CFIV02543293522551GEOLOGIA, METEOROLOGIA, IDROLOGIA GENERALE19551.121910.0221Accordi, BrunoCFIV02542707035938Lupia Palmieri, ElvidioCFIV025432070269394Parotto, MaurizioCFIV025433Accordi, B. <1916-1986>RT1V045124Accordi, BrunoLupia Palmieri, E. <geologo>RT1V046695Lupia Palmieri, ElvidioLupia-Palmieri, ElvidioSBNV057147Lupia Palmieri, ElvidioLupia Palmieri, E.SBNV057148Lupia Palmieri, ElvidioParotto, M. <1940->RT1V025551Parotto, MaurizioITIT-00000019960905IT-CE0017 NAP 48ARMADI $CFI0040564 01 48 AI BUGlobo terrestre e la sua evoluzione93522UNISANNIO