MARC Record from marc_columbia

LEADER: 02178mam a2200313 a 4500
001 2156104
005 20220615215725.0
008 970625s1998 nyua b 001 0 eng
010 $a 97022750
020 $a0195116836 (alk. paper)
035 $a(OCoLC)ocm37246630
035 $9ANM0639CU
035 $a2156104
040 $aDLC$cDLC$dYDX$dOrLoB-B
050 00 $aB1649.R94$bL36 1998
082 00 $a160/.92$221
100 1 $aLandini, Gregory.$0http://id.loc.gov/authorities/names/n85247086
245 10 $aRussell's hidden substitutional theory /$cGregory Landini.
260 $aNew York :$bOxford University Press,$c1998.
300 $axi, 337 pages :$billustrations ;$c25 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. 325-332) and index.
505 00 $tQuodlibet Ens Est Unum --$gPt. I.$tThe Unrestricted Variable.$g1.$tRussell's Logicist Program.$g2.$tThe Logic of The Principles of Mathematics.$g3.$tThe New Theory of the Variable --$gPt. II.$tTypes as Logical Grammar.$g4.$tThe Logic of Substitution.$g5.$tThe "No Propositional Functions" Theory.$g6.$tThe "No-Classes" Theory.$g7.$tThe "No-Relations[subscript e]" Theory --$gPt. III.$tRamification.$g8.$tLes Paradoxes de la Logique.$g9.$tMathematical Logic as Based on the Theory of Types.$g10.$tThe Logic of Principia Mathematica.$gApp. A.$tProof of the Peano Postulates --$gApp. B.$tAxioms, Theorems, and Definitions.
520 $aIn 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 10 $aRussell, Bertrand,$d1872-1970.$0http://id.loc.gov/authorities/names/n79056054
650 0 $aProposition (Logic)$xHistory$y20th century.
650 0 $aLogic, Symbolic and mathematical$xHistory$y20th century.
852 00 $boff,glx$hB1649.R94$iL36 1998