MARC details
000 -LEADER |
fixed length control field |
07081cam a2200901Ma 4500 |
001 - CONTROL NUMBER |
control field |
ocm45842545 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220712160447.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
010106s1998 nyu ob 001 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
Canceled/invalid LC control number |
97022750 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
N$T |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
N$T |
Modifying agency |
OCL |
-- |
OCLCQ |
-- |
OCLCG |
-- |
OCLCQ |
-- |
TUU |
-- |
OCLCQ |
-- |
TNF |
-- |
OCLCQ |
-- |
QE2 |
-- |
IDEBK |
-- |
MERUC |
-- |
CCO |
-- |
E7B |
-- |
YDXCP |
-- |
MT4IT |
-- |
DKDLA |
-- |
QT5 |
-- |
MHW |
-- |
OCLCO |
-- |
OCLCQ |
-- |
T2N |
-- |
DEBSZ |
-- |
NHA |
-- |
OCLCQ |
-- |
NLGGC |
-- |
OCLCQ |
-- |
OCLCF |
-- |
OCLCQ |
-- |
OCL |
-- |
AZK |
-- |
OCLCQ |
-- |
MWM |
-- |
COCUF |
-- |
AGLDB |
-- |
MOR |
-- |
PIFBR |
-- |
OTZ |
-- |
OCLCQ |
-- |
SAV |
-- |
OCLCQ |
-- |
QT7 |
-- |
OCLCO |
-- |
U3W |
-- |
LUE |
-- |
STF |
-- |
WRM |
-- |
OCLCA |
-- |
OCLCQ |
-- |
VTS |
-- |
CEF |
-- |
NRAMU |
-- |
OCLCQ |
-- |
OCLCO |
-- |
INT |
-- |
REC |
-- |
VT2 |
-- |
TOF |
-- |
OCLCQ |
-- |
OCLCO |
-- |
LHU |
-- |
FVL |
-- |
WYU |
-- |
YOU |
-- |
CANPU |
-- |
TKN |
-- |
CNTRU |
-- |
M8D |
-- |
UKCRE |
-- |
BOL |
-- |
TUHNV |
-- |
OCLCO |
019 ## - |
-- |
191924502 |
-- |
191952985 |
-- |
252567601 |
-- |
455965995 |
-- |
474894264 |
-- |
475354068 |
-- |
533107459 |
-- |
559913921 |
-- |
613365396 |
-- |
646737718 |
-- |
722386745 |
-- |
756880727 |
-- |
814454568 |
-- |
819509904 |
-- |
821690606 |
-- |
888646036 |
-- |
961674250 |
-- |
961681731 |
-- |
962603659 |
-- |
962718271 |
-- |
988463851 |
-- |
991908905 |
-- |
994849441 |
-- |
1035656173 |
-- |
1037726722 |
-- |
1038690406 |
-- |
1045514092 |
-- |
1059788023 |
-- |
1077852268 |
-- |
1099561079 |
-- |
1114396802 |
-- |
1153489363 |
-- |
1243589518 |
-- |
1252729894 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0585329060 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780585329062 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0195353722 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780195353723 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1280470291 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781280470295 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9780195116830 |
Qualifying information |
(alk. paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
0195116836 |
Qualifying information |
(alk. paper) |
027 ## - STANDARD TECHNICAL REPORT NUMBER |
Standard technical report number |
MYILIB_CUp |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051589311 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000053240407 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043149688 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
379299399 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
42253692X |
029 1# - (OCLC) |
OCLC library identifier |
GBVCP |
System control number |
800735285 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
12031181 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000066767061 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)45842545 |
Canceled/invalid control number |
(OCoLC)191924502 |
-- |
(OCoLC)191952985 |
-- |
(OCoLC)252567601 |
-- |
(OCoLC)455965995 |
-- |
(OCoLC)474894264 |
-- |
(OCoLC)475354068 |
-- |
(OCoLC)533107459 |
-- |
(OCoLC)559913921 |
-- |
(OCoLC)613365396 |
-- |
(OCoLC)646737718 |
-- |
(OCoLC)722386745 |
-- |
(OCoLC)756880727 |
-- |
(OCoLC)814454568 |
-- |
(OCoLC)819509904 |
-- |
(OCoLC)821690606 |
-- |
(OCoLC)888646036 |
-- |
(OCoLC)961674250 |
-- |
(OCoLC)961681731 |
-- |
(OCoLC)962603659 |
-- |
(OCoLC)962718271 |
-- |
(OCoLC)988463851 |
-- |
(OCoLC)991908905 |
-- |
(OCoLC)994849441 |
-- |
(OCoLC)1035656173 |
-- |
(OCoLC)1037726722 |
-- |
(OCoLC)1038690406 |
-- |
(OCoLC)1045514092 |
-- |
(OCoLC)1059788023 |
-- |
(OCoLC)1077852268 |
-- |
(OCoLC)1099561079 |
-- |
(OCoLC)1114396802 |
-- |
(OCoLC)1153489363 |
-- |
(OCoLC)1243589518 |
-- |
(OCoLC)1252729894 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
B1649.R94 |
Item number |
L36 1998eb |
055 14 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
Classification number |
B1649.R94 |
Item number |
L36 1998eb |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PHI |
Subject category code subdivision |
011000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PBB |
Source |
bicssc |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
160/.92 |
Edition number |
21 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Landini, Gregory. |
9 (RLIN) |
166169 |
245 10 - TITLE STATEMENT |
Title |
Russell's hidden substitutional theory / |
Statement of responsibility, etc |
Gregory Landini. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
New York : |
Name of publisher, distributor, etc |
Oxford University Press, |
Date of publication, distribution, etc |
1998. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (xi, 337 pages) |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
340 ## - PHYSICAL MEDIUM |
-- |
polychrome. |
-- |
rdacc |
-- |
http://rdaregistry.info/termList/RDAColourContent/1003 |
347 ## - |
-- |
data file |
-- |
rda |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references (pages 325-332) and index. |
588 0# - |
-- |
Print version record. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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 ## - SUMMARY, ETC. |
Summary, etc |
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# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME |
Personal name |
Russell, Bertrand, |
Dates associated with a name |
1872-1970. |
9 (RLIN) |
7427 |
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME |
Personal name |
Russell, Bertrand, |
Dates associated with a name |
1872-1970. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00035776 |
9 (RLIN) |
7427 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Proposition (Logic) |
General subdivision |
History |
Chronological subdivision |
20th century. |
9 (RLIN) |
166170 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
General subdivision |
History |
Chronological subdivision |
20th century. |
9 (RLIN) |
166171 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Proposition (Logique) |
General subdivision |
Histoire |
Chronological subdivision |
20e siècle. |
9 (RLIN) |
1318195 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logique symbolique et mathématique |
General subdivision |
Histoire |
Chronological subdivision |
20e siècle. |
9 (RLIN) |
1318196 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
PHILOSOPHY |
General subdivision |
Logic. |
Source of heading or term |
bisacsh |
9 (RLIN) |
901006 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01002068 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Proposition (Logic) |
Source of heading or term |
fast |
-- |
(OCoLC)fst01079268 |
9 (RLIN) |
147999 |
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Propositielogica. |
-- |
(NL-LeOCL)078637651 |
Source of heading or term |
gtt |
9 (RLIN) |
1318197 |
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Wiskunde. |
Source of heading or term |
gtt |
9 (RLIN) |
865066 |
648 #7 - SUBJECT ADDED ENTRY--CHRONOLOGICAL TERM |
Chronological term |
1900-1999 |
Source of heading or term |
fast |
9 (RLIN) |
43774 |
655 #0 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
History. |
Source of term |
fast |
-- |
(OCoLC)fst01411628 |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
Source of term |
gtlm |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
Landini, Gregory. |
Title |
Russell's hidden substitutional theory. |
Place, publisher, and date of publication |
New York : Oxford University Press, 1998 |
International Standard Book Number |
0195116836 |
Record control number |
(DLC) 97022750 |
-- |
(OCoLC)37246630 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23531">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=23531</a> |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10087533 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
23531 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
47029 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
2769375 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
7119427 |
994 ## - |
-- |
92 |
-- |
INOPJ |