大葉大學圖書館 |

Frege's notations[electronic resource] :what they are and how they mean /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3/6
書名/作者:	Frege's notations : what they are and how they mean // Gregory Landini.
作者:	Landini, Gregory.
出版者:	Houndmills, Basingstoke, Hampshire ; : Palgrave Macmillan,, 2012.
面頁冊數:	1 online resource.
標題:	Proof theory.
標題:	Mathematical notation.
標題:	Logic, Symbolic and mathematical.
標題:	MATHEMATICS / Infinity
標題:	MATHEMATICS / Logic
ISBN:	9780230360150 (electronic bk.)
ISBN:	0230360157 (electronic bk.)
ISBN:	9780230247741 (Cloth)
ISBN:	0230247741 (Cloth)
ISBN:	9786613440099
ISBN:	6613440094
書目註:	Includes bibliographical references and index.
內容註:	Series Editor's Foreword -- Preface -- Author's Note on the Use of Modern Logical Notations -- Abbreviations of Works by Gottlob Frege -- Introduction -- Frege's Basic Logics (without Wertverlaufe) -- The Ancestral -- Wertverlaufe -- Analysis and Recomposition -- Engaging Problems -- References -- Further Reading -- Index.
摘要、提要註:	Frege's Grundgesetze (1893) hoped to provide a foundation for arithmetic in logic. The book offers a new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are disjoint syntactic categories. Where ? is any function term (open or closed), Frege's +? is a well-formed formula. On this new approach, we can at last read Frege's notations in their original form. And when we do, striking new solutions to many of the outstanding problems of interpreting his philosophy are revealed. The book argues that Frege's wertver�lufe are function-correlates. Function correlation must be given by an identity. Its import is lost in its translation as biconditional, but it is the conceptual linchpin of Frege's philosophy of arithmetic. When faced with Russell's 1901 paradox of the class of all classes not members of themselves, Frege proposed a way out and published it in an appendix to Grungesetze's second Volume. The proposal has bewildered readers ever since, and it seems incompatible with the notion of a class in the logical sense (as an extension). The book argues that the bewilderment is produced by unfaithful translations of the logic of Frege's conceptual-notation. Though Frege's way out fails, his theory of function-correlation is not a theory of classes, and logical restrictions on correlation can be found. Function-correlation, though it has been lost and forgotten in modern translations of Frege's work, is the key to unraveling the many outstanding problems of interpreting Frege's philosophy of arithmetic.
電子資源:	http://www.palgraveconnect.com/doifinder/10.1057/9780230360150

Frege's notations[electronic resource] :what they are and how they mean /
Landini, Gregory.

Frege's notationswhat they are and how they mean /[electronic resource] :Gregory Landini. - Houndmills, Basingstoke, Hampshire ;Palgrave Macmillan,2012. - 1 online resource. - History of analytic philosophy. - History of analytic philosophy..

Includes bibliographical references and index.

Series Editor's Foreword -- Preface -- Author's Note on the Use of Modern Logical Notations -- Abbreviations of Works by Gottlob Frege -- Introduction -- Frege's Basic Logics (without Wertverlaufe) -- The Ancestral -- Wertverlaufe -- Analysis and Recomposition -- Engaging Problems -- References -- Further Reading -- Index.

Frege's Grundgesetze (1893) hoped to provide a foundation for arithmetic in logic. The book offers a new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are disjoint syntactic categories. Where ? is any function term (open or closed), Frege's +? is a well-formed formula. On this new approach, we can at last read Frege's notations in their original form. And when we do, striking new solutions to many of the outstanding problems of interpreting his philosophy are revealed. The book argues that Frege's wertver�lufe are function-correlates. Function correlation must be given by an identity. Its import is lost in its translation as biconditional, but it is the conceptual linchpin of Frege's philosophy of arithmetic. When faced with Russell's 1901 paradox of the class of all classes not members of themselves, Frege proposed a way out and published it in an appendix to Grungesetze's second Volume. The proposal has bewildered readers ever since, and it seems incompatible with the notion of a class in the logical sense (as an extension). The book argues that the bewilderment is produced by unfaithful translations of the logic of Frege's conceptual-notation. Though Frege's way out fails, his theory of function-correlation is not a theory of classes, and logical restrictions on correlation can be found. Function-correlation, though it has been lost and forgotten in modern translations of Frege's work, is the key to unraveling the many outstanding problems of interpreting Frege's philosophy of arithmetic.

ISBN: 9780230360150 (electronic bk.)

Standard No.: 9786613440099

Source: 393431Palgrave Macmillanhttp://www.palgraveconnect.comSubjects--Personal Names:

473925
Frege, Gottlob,
1848-1925.Subjects--Topical Terms:

433980
Proof theory.
Index Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: QA9.54 / .L36 2012

Dewey Class. No.: 511.3/6

Frege's notations[electronic resource] :what they are and how they mean /
LDR:03547cam 2200433Ka 4500 001 364482
003 OCoLC
005 20120502024500.0
006 m d
007 cr cn|||||||||
008 120814s2012 enk ob 001 0 eng d
019 $a 775862058 $a 776111021 $a 785779487
020 $a 9780230360150 (electronic bk.)
020 $a 0230360157 (electronic bk.)
020 $a 9780230247741 (Cloth)
020 $a 0230247741 (Cloth)
020 $a 9786613440099
020 $a 6613440094
024 8 $a 9786613440099
029 1 $a AU@ $b 000049050048
035 $a (OCoLC)774695375 $z (OCoLC)775862058 $z (OCoLC)776111021 $z (OCoLC)785779487
035 $a ocn774695375
037 $a 393431 $b Palgrave Macmillan $n http://www.palgraveconnect.com
040 $a UKPGM $b eng $c UKPGM $d EBLCP $d N$T $d CDX $d IDEBK $d YDXCP $d E7B
049 $a TEFA
050 1 4 $a QA9.54 $b .L36 2012
072 7 $a MAT $x 016000 $2 bisacsh
072 7 $a MAT $x 018000 $2 bisacsh
072 7 $a HPCF $2 bicssc
082 0 4 $a 511.3/6 $2 23
100 1 $a Landini, Gregory. $3 414894
245 1 0 $a Frege's notations $h [electronic resource] : $b what they are and how they mean / $c Gregory Landini.
260 $a Houndmills, Basingstoke, Hampshire ; $a New York : $b Palgrave Macmillan, $c 2012.
300 $a 1 online resource.
490 1 $a History of analytic philosophy
504 $a Includes bibliographical references and index.
505 0 $a Series Editor's Foreword -- Preface -- Author's Note on the Use of Modern Logical Notations -- Abbreviations of Works by Gottlob Frege -- Introduction -- Frege's Basic Logics (without Wertverlaufe) -- The Ancestral -- Wertverlaufe -- Analysis and Recomposition -- Engaging Problems -- References -- Further Reading -- Index.
520 $a Frege's Grundgesetze (1893) hoped to provide a foundation for arithmetic in logic. The book offers a new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are disjoint syntactic categories. Where ? is any function term (open or closed), Frege's +? is a well-formed formula. On this new approach, we can at last read Frege's notations in their original form. And when we do, striking new solutions to many of the outstanding problems of interpreting his philosophy are revealed. The book argues that Frege's wertver�lufe are function-correlates. Function correlation must be given by an identity. Its import is lost in its translation as biconditional, but it is the conceptual linchpin of Frege's philosophy of arithmetic. When faced with Russell's 1901 paradox of the class of all classes not members of themselves, Frege proposed a way out and published it in an appendix to Grungesetze's second Volume. The proposal has bewildered readers ever since, and it seems incompatible with the notion of a class in the logical sense (as an extension). The book argues that the bewilderment is produced by unfaithful translations of the logic of Frege's conceptual-notation. Though Frege's way out fails, his theory of function-correlation is not a theory of classes, and logical restrictions on correlation can be found. Function-correlation, though it has been lost and forgotten in modern translations of Frege's work, is the key to unraveling the many outstanding problems of interpreting Frege's philosophy of arithmetic.
600 1 0 $a Frege, Gottlob, $d 1848-1925. $3 473925
650 0 $a Proof theory. $3 433980
650 0 $a Mathematical notation. $3 473926
650 0 $a Logic, Symbolic and mathematical. $3 381130
650 7 $a MATHEMATICS / Infinity $2 bisacsh $3 473927
650 7 $a MATHEMATICS / Logic $2 bisacsh $3 473928
655 4 $a Electronic books. $2 local $3 336502
710 2 $a Palgrave Connect (Online Service) $3 472147
776 0 8 $i Print version: $a Landini, Gregory. $t Frege's notations. $d Houndmills, Basingstoke, Hampshire ; New York : Palgrave Macmillan, 2012 $z 9780230247741 $w (DLC) 2011048086 $w (OCoLC)669751264
830 0 $a History of analytic philosophy. $3 473880
856 4 0 $3 Palgrave Connect $u http://www.palgraveconnect.com/doifinder/10.1057/9780230360150
994 $a C0 $b TEF