|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911147305203321 |
|
|
Autore |
Landini Gregory |
|
|
Titolo |
Russell's hidden substitutional theory / / Gregory Landini |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford University Press, 1998 |
|
|
|
|
|
|
|
ISBN |
|
0-19-773158-9 |
1-280-47029-1 |
0-19-535372-2 |
0-585-32906-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (350 p.) |
|
|
|
|
|
|
Collana |
|
Oxford scholarship online |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Proposition (Logic) - History - 20th century |
Logic, Symbolic and mathematical - History - 20th century |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliography: p325-332. - Includes index. |
Previously issued in print: 1998. |
|
|
|
|
|
|
|
|
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 |
|
Landini shows that Russell's work exhibits greater consistency than previously thought. Russell's thoughts on logic are considered to be flawed yet he nevertheless attempted to salvage the guiding idea of his principal theory on the subject. |
|
|
|
|
|
|
|