Russell's hidden substitutional theory:
In The Principles of Mathematics, Bertrand Russell set forth his logicist thesis that the concepts of non-applied mathematics are those of pure logic. In this revisionist interpretation. Gregory Landini explores an important central thread that unifies Russell's thoughts on logic in the two wor...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Oxford Univ. Press
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | In The Principles of Mathematics, Bertrand Russell set forth his logicist thesis that the concepts of non-applied mathematics are those of pure logic. In this revisionist interpretation. Gregory Landini explores an important central thread that unifies Russell's thoughts on logic in the two works. The heart of Landini's book is a careful presentation and exploration of Russell's largely unpublished "substitutional" theory of propositions. |
| Beschreibung: | XI, 337 S. |
| ISBN: | 0195116836 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012130278 | ||
| 003 | DE-604 | ||
| 005 | 19981116 | ||
| 007 | t | ||
| 008 | 980831s1998 |||| 00||| eng d | ||
| 020 | |a 0195116836 |9 0-19-511683-6 | ||
| 035 | |a (OCoLC)37246630 | ||
| 035 | |a (DE-599)BVBBV012130278 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-12 | ||
| 050 | 0 | |a B1649.R94 | |
| 082 | 0 | |a 160/.92 |2 21 | |
| 084 | |a CI 6617 |0 (DE-625)18549:11616 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Landini, Gregory |d 1955- |e Verfasser |0 (DE-588)139991123 |4 aut | |
| 245 | 1 | 0 | |a Russell's hidden substitutional theory |c Gregory Landini |
| 264 | 1 | |a New York [u.a.] |b Oxford Univ. Press |c 1998 | |
| 300 | |a XI, 337 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a In The Principles of Mathematics, Bertrand Russell set forth his logicist thesis that the concepts of non-applied mathematics are those of pure logic. In this revisionist interpretation. Gregory Landini explores an important central thread that unifies Russell's thoughts on logic in the two works. The heart of Landini's book is a careful presentation and exploration of Russell's largely unpublished "substitutional" theory of propositions. | |
| 600 | 1 | 4 | |a Russell, Bertrand <1872-1970> |
| 600 | 1 | 7 | |a Russell, Bertrand <1872-1970> |2 ram |
| 600 | 1 | 4 | |a Russell, Bertrand <1872-1970> |
| 600 | 1 | 7 | |a Russell, Bertrand |d 1872-1970 |0 (DE-588)118604287 |2 gnd |9 rswk-swf |
| 648 | 4 | |a Geschichte 1900-2000 | |
| 650 | 7 | |a Filosofia da matemática |2 larpcal | |
| 650 | 7 | |a Logique symbolique et mathématique - 20e siècle |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique - Histoire - 20e siècle | |
| 650 | 7 | |a Lógica |2 larpcal | |
| 650 | 7 | |a Propositielogica |2 gtt | |
| 650 | 4 | |a Proposition (Logique) - Histoire - 20e siècle | |
| 650 | 7 | |a Proposition (logique) - 20e siècle |2 ram | |
| 650 | 7 | |a Wiskunde |2 gtt | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Logic, Symbolic and mathematical |x History |y 20th century | |
| 650 | 4 | |a Proposition (Logic) |x History |y 20th century | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Russell, Bertrand |d 1872-1970 |0 (DE-588)118604287 |D p |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008215177&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008215177 | ||
Datensatz im Suchindex
| _version_ | 1804126737805606912 |
|---|---|
| adam_text | Russell s Hidden
Substitutional Theory
GREGORY LANDINI
New York Oxford
Oxford University Press
Contents
Introduction 3
Quodlibet Ens Est Unum 3
Overview 7
PARTI THE UNRESTRICTED VARIABLE
1 Russell s Logicist Program 13
Two Conceptions of Logicism: Frege and Russell 13
Arithmetization 17
Russell s Principle of Abstraction 21
Logic as a Science 30
2 The Logic of The Principles of Mathematics 42
The Calculus for the Logic Propositions 42
Russell s Definitions 48
The Theory of Implication 52
Quodlibet Ens Est Unum 54
Denoting Concepts 57
The Analysis of the Variable 63
3 The New Theory of the Variable 69
On Fundamentals Against Denoting Concepts 72
An Argument Against Frege? 80
The Variable as Primitive 82
The Road to Substitution 89
PART II TYPES AS LOGICAL GRAMMAR
4 The Logic of Substitution 97
Russell s Original Principles of Substitution 98
The Basic Logic of Propositions 102
Substitutional Principles 106
Identity 109
Proofs of Propositional Identities 112
5 The No Propositional Functions Theory 127
Substitution and Definite Descriptions 128
Multiple Substitutions 132
Comprehension and Identity 135
Types as Logical Grammar 140
6 The No-Classes Theory 146
Classes as Extensional Propositional Functions 147
Complex Prototypes and Extensionality 149
The General Theory of Classes 152
Comparison with Pnncipia Mathematica 165
7 The No-Relationse Theory 176
Relations-in-Extension in Principia Mathematica 177
Relations-in-Extension in the Substitutional Theory 179
Cantor s Paradox of the Greatest Cardinal 183
The Burali-Forti Paradox 190
PART III RAMIFICATION
8 Les Paradoxes de la Logique 199
Three Paradoxes of Propositions 201
Substitutional Manuscripts of April/May 1906 206
Poincare s Vicious Circle Principle 213
Logic without General Propositions 216
The Statement Liar 220
The Konig, Dixon, Berry, Richard, and Grelling Paradoxes 224
Russell s Mitigating Axiom 227
The Demise of Les Paradoxes 231
Contents xi
9 Mathematical Logic as Based on the Theory of Types 234
Orders of Propositions 235
Substitutional Logic cum Orders of Propositions 240
Predicativity and Reducibility 246
Paradoxes of Propositions Avoided 251
10 The Logic of Principia Mathematica 255
The Formal System of Principia (cum *10) 255
The Perils of Typical Ambiguity 258
Orders within Types or Types within Orders? 267
The Doctrine of the Unlimited Variable 272
Poincare s Vicious Circle Principle 275
The Philosophical Justification of the Type Part of an Order/Type
Index 279
The Philosophical Justification of the Order Part of an Order/Type
Index 281
The Multiple-Relation Theory of Judgment 287
What Is Logic? 291
What Logic Is Not 294
Appendix A: Proof of the Peano Postulates 299
Appendix B: Axioms, Theorems, and Definitions 314
Bibliography 325
Index 333
|
| any_adam_object | 1 |
| author | Landini, Gregory 1955- |
| author_GND | (DE-588)139991123 |
| author_facet | Landini, Gregory 1955- |
| author_role | aut |
| author_sort | Landini, Gregory 1955- |
| author_variant | g l gl |
| building | Verbundindex |
| bvnumber | BV012130278 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B1649 |
| callnumber-raw | B1649.R94 |
| callnumber-search | B1649.R94 |
| callnumber-sort | B 41649 R94 |
| callnumber-subject | B - Philosophy |
| classification_rvk | CI 6617 |
| ctrlnum | (OCoLC)37246630 (DE-599)BVBBV012130278 |
| dewey-full | 160/.92 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160/.92 |
| dewey-search | 160/.92 |
| dewey-sort | 3160 292 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| era | Geschichte 1900-2000 |
| era_facet | Geschichte 1900-2000 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02664nam a2200577 c 4500</leader><controlfield tag="001">BV012130278</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980831s1998 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195116836</subfield><subfield code="9">0-19-511683-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37246630</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012130278</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B1649.R94</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160/.92</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6617</subfield><subfield code="0">(DE-625)18549:11616</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Landini, Gregory</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139991123</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Russell's hidden substitutional theory</subfield><subfield code="c">Gregory Landini</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 337 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">In The Principles of Mathematics, Bertrand Russell set forth his logicist thesis that the concepts of non-applied mathematics are those of pure logic. In this revisionist interpretation. Gregory Landini explores an important central thread that unifies Russell's thoughts on logic in the two works. The heart of Landini's book is a careful presentation and exploration of Russell's largely unpublished "substitutional" theory of propositions.</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Russell, Bertrand <1872-1970></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Russell, Bertrand <1872-1970></subfield><subfield code="2">ram</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Russell, Bertrand <1872-1970></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Russell, Bertrand</subfield><subfield code="d">1872-1970</subfield><subfield code="0">(DE-588)118604287</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="648" ind1=" " ind2="4"><subfield code="a">Geschichte 1900-2000</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofia da matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - 20e siècle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Histoire - 20e siècle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Propositielogica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proposition (Logique) - Histoire - 20e siècle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proposition (logique) - 20e siècle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="x">History</subfield><subfield code="y">20th century</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proposition (Logic)</subfield><subfield code="x">History</subfield><subfield code="y">20th century</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Russell, Bertrand</subfield><subfield code="d">1872-1970</subfield><subfield code="0">(DE-588)118604287</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008215177&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008215177</subfield></datafield></record></collection> |
| id | DE-604.BV012130278 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:22:13Z |
| institution | BVB |
| isbn | 0195116836 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008215177 |
| oclc_num | 37246630 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-12 |
| owner_facet | DE-739 DE-29 DE-12 |
| physical | XI, 337 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Landini, Gregory 1955- Verfasser (DE-588)139991123 aut Russell's hidden substitutional theory Gregory Landini New York [u.a.] Oxford Univ. Press 1998 XI, 337 S. txt rdacontent n rdamedia nc rdacarrier In The Principles of Mathematics, Bertrand Russell set forth his logicist thesis that the concepts of non-applied mathematics are those of pure logic. In this revisionist interpretation. Gregory Landini explores an important central thread that unifies Russell's thoughts on logic in the two works. The heart of Landini's book is a careful presentation and exploration of Russell's largely unpublished "substitutional" theory of propositions. Russell, Bertrand <1872-1970> Russell, Bertrand <1872-1970> ram Russell, Bertrand 1872-1970 (DE-588)118604287 gnd rswk-swf Geschichte 1900-2000 Filosofia da matemática larpcal Logique symbolique et mathématique - 20e siècle ram Logique symbolique et mathématique - Histoire - 20e siècle Lógica larpcal Propositielogica gtt Proposition (Logique) - Histoire - 20e siècle Proposition (logique) - 20e siècle ram Wiskunde gtt Geschichte Mathematik Logic, Symbolic and mathematical History 20th century Proposition (Logic) History 20th century Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Russell, Bertrand 1872-1970 (DE-588)118604287 p Mathematische Logik (DE-588)4037951-6 s DE-604 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008215177&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Landini, Gregory 1955- Russell's hidden substitutional theory Russell, Bertrand <1872-1970> Russell, Bertrand <1872-1970> ram Russell, Bertrand 1872-1970 (DE-588)118604287 gnd Filosofia da matemática larpcal Logique symbolique et mathématique - 20e siècle ram Logique symbolique et mathématique - Histoire - 20e siècle Lógica larpcal Propositielogica gtt Proposition (Logique) - Histoire - 20e siècle Proposition (logique) - 20e siècle ram Wiskunde gtt Geschichte Mathematik Logic, Symbolic and mathematical History 20th century Proposition (Logic) History 20th century Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)118604287 (DE-588)4037951-6 |
| title | Russell's hidden substitutional theory |
| title_auth | Russell's hidden substitutional theory |
| title_exact_search | Russell's hidden substitutional theory |
| title_full | Russell's hidden substitutional theory Gregory Landini |
| title_fullStr | Russell's hidden substitutional theory Gregory Landini |
| title_full_unstemmed | Russell's hidden substitutional theory Gregory Landini |
| title_short | Russell's hidden substitutional theory |
| title_sort | russell s hidden substitutional theory |
| topic | Russell, Bertrand <1872-1970> Russell, Bertrand <1872-1970> ram Russell, Bertrand 1872-1970 (DE-588)118604287 gnd Filosofia da matemática larpcal Logique symbolique et mathématique - 20e siècle ram Logique symbolique et mathématique - Histoire - 20e siècle Lógica larpcal Propositielogica gtt Proposition (Logique) - Histoire - 20e siècle Proposition (logique) - 20e siècle ram Wiskunde gtt Geschichte Mathematik Logic, Symbolic and mathematical History 20th century Proposition (Logic) History 20th century Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Russell, Bertrand <1872-1970> Russell, Bertrand 1872-1970 Filosofia da matemática Logique symbolique et mathématique - 20e siècle Logique symbolique et mathématique - Histoire - 20e siècle Lógica Propositielogica Proposition (Logique) - Histoire - 20e siècle Proposition (logique) - 20e siècle Wiskunde Geschichte Mathematik Logic, Symbolic and mathematical History 20th century Proposition (Logic) History 20th century Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008215177&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT landinigregory russellshiddensubstitutionaltheory |