skip to content
Russell's hidden substitutional theory Preview this item
ClosePreview this item
Checking...

Russell's hidden substitutional theory

Author: Gregory Landini
Publisher: New York : Oxford University Press, 1998.
Edition/Format:   eBook : EnglishView all editions and formats
Database:WorldCat
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
History
Additional Physical Format: Print version:
Landini, Gregory.
Russell's hidden substitutional theory.
New York : Oxford University Press, 1998
(DLC) 97022750
(OCoLC)37246630
Named Person: Bertrand Russell; Bertrand Russell
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Gregory Landini
ISBN: 0585329060 9780585329062 0195353722 9780195353723 1280470291 9781280470295
OCLC Number: 45842545
Description: 1 online resource (xi, 337 pages)
Contents: 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.
Responsibility: Gregory Landini.
More information:

Abstract:

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  Read more...

Reviews

Editorial reviews

Publisher Synopsis

The author provides deep insights into a very dynamic period of Russell's tackling with logical systems by stressing the unifying role of the substitutional theory. V.Peckhaus, MATH, Vol.933 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/45842545> # Russell's hidden substitutional theory
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "45842545" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Topic/logic_symbolic_and_mathematical_history_20th_century> ; # Logic, Symbolic and mathematical--History--20th century
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Topic/propositielogica> ; # Propositielogica
    schema:about <http://viaf.org/viaf/36924137> ; # Bertrand Russell
    schema:about <http://id.worldcat.org/fast/1079268> ; # Proposition (Logic)
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/160.92/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Topic/proposition_logic_history_20th_century> ; # Proposition (Logic)--History--20th century
    schema:about <http://id.loc.gov/authorities/classification/B1649> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Topic/philosophy_logic> ; # PHILOSOPHY--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Topic/wiskunde> ; # Wiskunde
    schema:about <http://experiment.worldcat.org/entity/work/data/597382#Event/1900_1999> ; # 1900 - 1999
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/10009677> ; # Gregory Landini
    schema:datePublished "1998" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/597382> ;
    schema:genre "History"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/37246630> ;
    schema:name "Russell's hidden substitutional theory"@en ;
    schema:productID "45842545" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45842545#PublicationEvent/new_york_oxford_university_press_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/597382#Agent/oxford_university_press> ; # Oxford University Press
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=272638> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=23531> ;
    schema:url <http://www.myilibrary.com?id=47029> ;
    schema:url <http://site.ebrary.com/id/10087533> ;
    schema:url <http://www.myilibrary.com?id=47029&ref=toc> ;
    schema:workExample <http://worldcat.org/isbn/9780585329062> ;
    schema:workExample <http://worldcat.org/isbn/9780195353723> ;
    schema:workExample <http://worldcat.org/isbn/9781280470295> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45842545> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
    schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Event/1900_1999> # 1900 - 1999
    a schema:Event ;
    schema:name "1900 - 1999" ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Topic/logic_symbolic_and_mathematical_history_20th_century> # Logic, Symbolic and mathematical--History--20th century
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ;
    schema:name "Logic, Symbolic and mathematical--History--20th century"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Topic/philosophy_logic> # PHILOSOPHY--Logic
    a schema:Intangible ;
    schema:name "PHILOSOPHY--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Topic/propositielogica> # Propositielogica
    a schema:Intangible ;
    schema:name "Propositielogica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/597382#Topic/proposition_logic_history_20th_century> # Proposition (Logic)--History--20th century
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85107552> ;
    schema:name "Proposition (Logic)--History--20th century"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1079268> # Proposition (Logic)
    a schema:Intangible ;
    schema:name "Proposition (Logic)"@en ;
    .

<http://viaf.org/viaf/10009677> # Gregory Landini
    a schema:Person ;
    schema:familyName "Landini" ;
    schema:givenName "Gregory" ;
    schema:name "Gregory Landini" ;
    .

<http://viaf.org/viaf/36924137> # Bertrand Russell
    a schema:Person ;
    schema:birthDate "1872" ;
    schema:deathDate "1970" ;
    schema:familyName "Russell" ;
    schema:givenName "Bertrand" ;
    schema:name "Bertrand Russell" ;
    .

<http://worldcat.org/isbn/9780195353723>
    a schema:ProductModel ;
    schema:isbn "0195353722" ;
    schema:isbn "9780195353723" ;
    .

<http://worldcat.org/isbn/9780585329062>
    a schema:ProductModel ;
    schema:isbn "0585329060" ;
    schema:isbn "9780585329062" ;
    .

<http://worldcat.org/isbn/9781280470295>
    a schema:ProductModel ;
    schema:isbn "1280470291" ;
    schema:isbn "9781280470295" ;
    .

<http://www.worldcat.org/oclc/37246630>
    a schema:CreativeWork ;
    rdfs:label "Russell's hidden substitutional theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/45842545> ; # Russell's hidden substitutional theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.