Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini

• Autore: Landini Gregory
• Pubblicazione: New York, : Oxford University Press, 1998
• Descrizione fisica: 1 online resource (350 p.)
• Disciplina: 160/.92
• Soggetto topico: Proposition (Logic) - History - 20th century; Logic, Symbolic and mathematical - History - 20th century
• Soggetto genere / forma: Electronic books.
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. 325-332) and index.
• Nota di contenuto: 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; R ; ST; U; V; W; Z
• Sommario/riassunto: Explores 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.
• Titolo autorizzato: Russell's hidden substitutional theory
• ISBN: 1-280-47029-1; 0-19-535372-2; 0-585-32906-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910455722003321
• Lo trovi qui: Univ. Federico II