Cargando…
Russell's hidden substitutional theory /
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 unrestr...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press,
1998.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm45842545 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 010106s1998 nyu ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCL |d OCLCQ |d OCLCG |d OCLCQ |d TUU |d OCLCQ |d TNF |d OCLCQ |d QE2 |d IDEBK |d MERUC |d CCO |d E7B |d YDXCP |d MT4IT |d DKDLA |d QT5 |d MHW |d OCLCO |d OCLCQ |d T2N |d DEBSZ |d NHA |d OCLCQ |d NLGGC |d OCLCQ |d OCLCF |d OCLCQ |d OCL |d AZK |d OCLCQ |d MWM |d COCUF |d AGLDB |d MOR |d PIFBR |d OTZ |d OCLCQ |d SAV |d OCLCQ |d QT7 |d OCLCO |d U3W |d LUE |d STF |d WRM |d OCLCA |d OCLCQ |d VTS |d CEF |d NRAMU |d OCLCQ |d OCLCO |d INT |d REC |d VT2 |d TOF |d OCLCQ |d OCLCO |d LHU |d FVL |d WYU |d YOU |d CANPU |d TKN |d CNTRU |d M8D |d UKCRE |d BOL |d TUHNV |d OCLCO |d OCLCQ |d INARC |d YDX | ||
| 019 | |a 191924502 |a 191952985 |a 252567601 |a 455965995 |a 474894264 |a 475354068 |a 533107459 |a 559913921 |a 613365396 |a 646737718 |a 722386745 |a 756880727 |a 814454568 |a 819509904 |a 821690606 |a 888646036 |a 961674250 |a 961681731 |a 962603659 |a 962718271 |a 988463851 |a 991908905 |a 994849441 |a 1035656173 |a 1037726722 |a 1038690406 |a 1045514092 |a 1059788023 |a 1077852268 |a 1099561079 |a 1114396802 |a 1153489363 |a 1243589518 |a 1252729894 | ||
| 020 | |a 0585329060 |q (electronic bk.) | ||
| 020 | |a 9780585329062 |q (electronic bk.) | ||
| 020 | |a 0195353722 | ||
| 020 | |a 9780195353723 | ||
| 020 | |a 1280470291 | ||
| 020 | |a 9781280470295 | ||
| 020 | |z 9780195116830 |q (alk. paper) | ||
| 020 | |z 0195116836 |q (alk. paper) | ||
| 027 | |a MYILIB_CUp | ||
| 029 | 1 | |a AU@ |b 000051589311 | |
| 029 | 1 | |a AU@ |b 000053240407 | |
| 029 | 1 | |a AU@ |b 000066767061 | |
| 029 | 1 | |a DEBBG |b BV043149688 | |
| 029 | 1 | |a DEBSZ |b 379299399 | |
| 029 | 1 | |a DEBSZ |b 42253692X | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999935433605765 | |
| 029 | 1 | |a GBVCP |b 800735285 | |
| 029 | 1 | |a NZ1 |b 12031181 | |
| 035 | |a (OCoLC)45842545 |z (OCoLC)191924502 |z (OCoLC)191952985 |z (OCoLC)252567601 |z (OCoLC)455965995 |z (OCoLC)474894264 |z (OCoLC)475354068 |z (OCoLC)533107459 |z (OCoLC)559913921 |z (OCoLC)613365396 |z (OCoLC)646737718 |z (OCoLC)722386745 |z (OCoLC)756880727 |z (OCoLC)814454568 |z (OCoLC)819509904 |z (OCoLC)821690606 |z (OCoLC)888646036 |z (OCoLC)961674250 |z (OCoLC)961681731 |z (OCoLC)962603659 |z (OCoLC)962718271 |z (OCoLC)988463851 |z (OCoLC)991908905 |z (OCoLC)994849441 |z (OCoLC)1035656173 |z (OCoLC)1037726722 |z (OCoLC)1038690406 |z (OCoLC)1045514092 |z (OCoLC)1059788023 |z (OCoLC)1077852268 |z (OCoLC)1099561079 |z (OCoLC)1114396802 |z (OCoLC)1153489363 |z (OCoLC)1243589518 |z (OCoLC)1252729894 | ||
| 050 | 4 | |a B1649.R94 |b L36 1998eb | |
| 055 | 1 | 3 | |a B1649.R94 |b L36 1998eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 7 | |a PBB |2 bicssc | |
| 082 | 0 | 4 | |a 160/.92 |2 21 |
| 049 | |a UAMI | ||
| 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) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 340 | |g polychrome. |2 rdacc |0 http://rdaregistry.info/termList/RDAColourContent/1003 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 325-332) and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a 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. | ||
| 520 | |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 | ||
| 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. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 600 | 1 | 0 | |a Russell, Bertrand, |d 1872-1970. |
| 600 | 1 | 7 | |a Russell, Bertrand, |d 1872-1970. |2 fast |0 (OCoLC)fst00035776 |
| 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 PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Proposition (Logic) |2 fast |0 (OCoLC)fst01079268 | |
| 650 | 1 | 7 | |a Propositielogica. |0 (NL-LeOCL)078637651 |2 gtt |
| 650 | 1 | 7 | |a Wiskunde. |2 gtt |
| 648 | 7 | |a 1900-1999 |2 fast | |
| 655 | 7 | |a History. |2 fast |0 (OCoLC)fst01411628 | |
| 776 | 0 | 8 | |i Print version: |a Landini, Gregory. |t Russell's hidden substitutional theory. |d New York : Oxford University Press, 1998 |z 0195116836 |w (DLC) 97022750 |w (OCoLC)37246630 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23531 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a YBP Library Services |b YANK |n 20447265 | ||
| 938 | |a Internet Archive |b INAR |n russellshiddensu0000land | ||
| 938 | |a ebrary |b EBRY |n ebr10087533 | ||
| 938 | |a EBSCOhost |b EBSC |n 23531 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 47029 | ||
| 938 | |a YBP Library Services |b YANK |n 2769375 | ||
| 938 | |a YBP Library Services |b YANK |n 7119427 | ||
| 994 | |a 92 |b IZTAP | ||