|
|
|
|
| LEADER |
02886nam a2200349 a 4500 |
| 001 |
1888363 |
| 005 |
20171111234714.0 |
| 008 |
010106s1998 nyu ob 001 0 eng d |
| 020 |
|
|
|a 0585329060
|q (electronic bk.)
|
| 020 |
|
|
|a 9780585329062
|q (electronic bk.)
|
| 020 |
|
|
|a 0195353722
|
| 020 |
|
|
|a 9780195353723
|
| 020 |
|
|
|a 1280470291
|
| 020 |
|
|
|a 9781280470295
|q (alk. paper)
|z 9780195116830
|q (alk. paper)
|
| 040 |
|
|
|a N$T
|b eng
|e pn
|z 0195116836
|
| 050 |
|
4 |
|a B1649.R94
|b L36 1998eb
|
| 100 |
1 |
|
|a Landini, Gregory.
|
| 245 |
1 |
0 |
|a Russell's hidden substitutional theory /
|c Gregory Landini.
|
| 260 |
|
|
|a New York :
|b Oxford University Press,
|c 1998.
|
| 300 |
|
|
|a 1 online resource (xi, 337 pages)
|
| 504 |
|
|
|a Includes bibliographical references (pages 325-332) and index.
|
| 505 |
0 |
|
|a The unrestricted variable -- Russell's logicist program -- Two conceptions of logicism: Frege and Russell -- Arithmetization -- Russell's principle of abstraction -- Logic as a science -- 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 -- The new theory of the variable -- "On fundamentals" against denoting concepts -- An argument against Frege? -- The variable as primitive -- The road to substitution -- Types as logical grammar -- The logic of substitution -- Russell's original principles of substitution -- The basic logic of propositions -- Substitutional principles -- Identity -- Proofs of propositional identities -- The "no propositional functions" theory -- Substitution and definite descriptions -- Multiple substitutions -- Comprehension and identity -- Types as logical grammar -- The "no-classes" theory -- Classes as extensional propositional functions -- Complex prototypes and extensionality -- The general theory of classes -- Comparison with Principia mathematica -- The "no-relations[subscript e]" theory -- Relations-in-extension in Principia mathematica -- Relations-in-extension in the substitutional theory -- Cantor's paradox of the greatest cardinal -- The Burali-Forti paradox -- Ramification -- Les paradoxes de la logique -- Three paradoxes of propositions -- Substitutional manuscripts of April/May 1906 -- Poincare's vicious circle principle.
|
| 600 |
1 |
0 |
|a Russell, Bertrand,
|d 1872-1970.
|
| 600 |
1 |
7 |
|a Russell, Bertrand,
|d 1872-1970.
|
| 650 |
|
0 |
|a Proposition (Logic)
|x History
|y 20th century.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x History
|y 20th century.
|
| 650 |
|
7 |
|a PHILOSOPHY
|x Logic.
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
7 |
|a Proposition (Logic)
|
| 650 |
1 |
7 |
|a Propositielogica.
|
| 856 |
4 |
0 |
|a Wiskunde.
|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23531
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0463b16c5ad14ac1ee9e31
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
