Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Landini Gregory
|
| Titolo: |
Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini
|
| 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 | |
| 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: | 0-19-773158-9 |
| 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.: | 9910778719503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |