Cargando…
Russell's Hidden Substitutional Theory.
This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general scien...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cary :
Oxford University Press,
1998.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn935260787 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 160123s1998 xx o 000 0 eng d | ||
| 010 | |z 97022750 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d MERUC |d ZCU |d ICG |d OCLCO |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d DKC |d OCLCQ |d OCLCO |d VLY |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1162015118 |a 1241752455 |a 1290074008 | ||
| 020 | |a 9780195353723 | ||
| 020 | |a 0195353722 | ||
| 020 | |a 1280470291 | ||
| 020 | |a 9781280470295 | ||
| 020 | |a 0585329060 | ||
| 020 | |a 9780585329062 | ||
| 029 | 1 | |a AU@ |b 000059576352 | |
| 029 | 1 | |a DEBBG |b BV044120832 | |
| 035 | |a (OCoLC)935260787 |z (OCoLC)1162015118 |z (OCoLC)1241752455 |z (OCoLC)1290074008 | ||
| 050 | 4 | |a B1649.R94 ǂb L36 1998eb | |
| 082 | 0 | 4 | |a 160/.92 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Landini, Gregory. | |
| 245 | 1 | 0 | |a Russell's Hidden Substitutional Theory. |
| 260 | |a Cary : |b Oxford University Press, |c 1998. | ||
| 300 | |a 1 online resource (350 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Introduction; Quodlibet Ens Est Unum; Overview; PART I: THE UNRESTRICTED VARIABLE; 1 Russell's Logicist Program; Two Conceptions of Logicism: Frege and Russell; Arithmetization; Russell's Principle of Abstraction; Logic as a Science; 2 The Logic of The Principles of Mathematics; The Calculus for the Logic Propositions; Russell's Definitions; The Theory of Implication; Quodlibet Ens Est Unum; Denoting Concepts; The Analysis of the Variable; 3 The New Theory of the Variable; ""On Fundamentals"" Against Denoting Concepts; An Argument Against Frege?; The Variable as Primitive. | |
| 505 | 8 | |a The Road to SubstitutionPART II: TYPES AS LOGICAL GRAMMAR; 4 The Logic of Substitution; Russell's Original Principles of Substitution; The Basic Logic of Propositions; Substitutional Principles; Identity; Proofs of Propositional Identities; 5 The ""No Propositional Functions"" Theory; Substitution and Definite Descriptions; Multiple Substitutions; Comprehension and Identity; Types as Logical Grammar; 6 The ""No-Classes"" Theory; Classes as Extensional Propositional Functions; Complex Prototypes and Extensionality; The General Theory of Classes; Comparison with Principia Mathematica. | |
| 505 | 8 | |a 7 The No-Relations[sub(e)] TheoryRelations-in-Extension in Principia Mathematica; Relations-in-Extension in the Substitutional Theory; Cantor's Paradox of the Greatest Cardinal; The Burali-Forti Paradox; PART III: RAMIFICATION; 8 Les Paradoxes de la Logique; Three Paradoxes of Propositions; Substitutional Manuscripts of April/May 1906; Poincaré's Vicious Circle Principle; Logic without General Propositions; The Statement Liar; The König, Dixon, Berry, Richard, and Grelling Paradoxes; Russell's Mitigating Axiom -- The Demise of Les Paradoxes | |
| 505 | 8 | |a 9 Mathematical Logic as Based on the Theory of TypesOrders of Propositions; Substitutional Logic cum Orders of Propositions; Predicativity and Reducibility; Paradoxes of Propositions Avoided; 10 The Logic of Principia Mathematica; The Formal System of Principia (cum *10); The Perils of Typical Ambiguity; Orders within Types or Types within Orders?; The Doctrine of the Unlimited Variable; Poincaré's Vicious Circle Principle; The Philosophical Justification of the Type Part of an Order/'Type Index; The Philosophical Justification of the Order Part of an Order/Type Index. | |
| 505 | 8 | |a The Multiple-Relation Theory of JudgmentWhat Is Logic?; What Logic Is Not; 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; S; T; U; V; W; Z. | |
| 520 | |a This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general scienceand that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished ""substitutional"" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's philosophy of logic and offers newavenues for. | ||
| 504 | |a Includes bibliographical references (p. 325-332) and index. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 600 | 1 | 0 | |a Russell, Bertrand, |d 1872-1970. |
| 600 | 1 | 7 | |a Russell, Bertrand, |d 1872-1970 |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJdWHHp4wmT6Yh4RkthmBP |
| 650 | 0 | |a Proposition (Logic) |x History |y 20th century. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x History |y 20th century. | |
| 650 | 6 | |a Proposition (Logique) |x Histoire |y 20e siècle. | |
| 650 | 6 | |a Logique symbolique et mathématique |x Histoire |y 20e siècle. | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Proposition (Logic) |2 fast | |
| 648 | 7 | |a 1900-1999 |2 fast | |
| 655 | 7 | |a History |2 fast | |
| 758 | |i has work: |a Russell's hidden substitutional theory (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGbW9qHF7mpvcqD9f8CQmd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Landini, Gregory. |t Russell's Hidden Substitutional Theory. |d Cary : Oxford University Press, ©1998 |z 9780195116830 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=272638 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL272638 | ||
| 994 | |a 92 |b IZTAP | ||