|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910455722003321 |
|
|
Autore |
Landini Gregory |
|
|
Titolo |
Russell's hidden substitutional theory [[electronic resource] /] / Gregory Landini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Oxford University Press, 1998 |
|
|
|
|
|
|
|
ISBN |
|
1-280-47029-1 |
0-19-535372-2 |
0-585-32906-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (350 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Proposition (Logic) - History - 20th century |
Logic, Symbolic and mathematical - History - 20th century |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|