000 -LEADER |
fixed length control field |
04224nam a22004935i 4500 |
001 - CONTROL NUMBER |
control field |
978-1-4020-4265-2 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20161121230724.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100301s2007 ne | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781402042652 |
-- |
978-1-4020-4265-2 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-1-4020-4265-2 |
Source of number or code |
doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA1-939 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PB |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
MAT000000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
510 |
Edition number |
23 |
245 14 - TITLE STATEMENT |
Title |
The Arché Papers on the Mathematics of Abstraction |
Medium |
[electronic resource] / |
Statement of responsibility, etc. |
edited by Roy T. Cook. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Dordrecht : |
Name of producer, publisher, distributor, manufacturer |
Springer Netherlands, |
Date of production, publication, distribution, manufacture, or copyright notice |
2007. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XXXVIII, 454 p. |
Other physical details |
online resource. |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 1# - SERIES STATEMENT |
Series statement |
The Western Ontario Series in Philosophy of Science, |
International Standard Serial Number |
1566-659X ; |
Volume/sequential designation |
71 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
The Philosophy and Mathematics of Hume’s Principle -- Is Hume’s Principle Analytic? -- Is Hume’s Principle Analytic? -- Frege, Neo-Logicism and Applied Mathematics -- Finitude and Hume’s Principle -- On Finite Hume -- Could Nothing Matter? -- On the Philosophical Interest of Frege Arithmetic -- The Logic of Abstraction -- “Neo-Logicist” Logic is not Epistemically Innocent -- Aristotelian Logic, Axioms, and Abstraction -- Frege’s Unofficial Arithmetic -- Abstraction and the Continuum -- Reals by Abstraction -- The State of the Economy: Neo-Logicism and Inflation -- Frege Meets Dedekind: A Neo-Logicist Treatment of Real Analysis -- Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege’s Constraint -- Basic Law V and Set Theory -- New V, ZF, and Abstraction -- Well- and Non-Well-Founded Fregean Extensions -- Abstraction & Set Theory -- Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility -- Neo-Fregeanism: An Embarrassment of Riches -- Iteration one More Time. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This volume collects together a number of important papers concerning both the method of abstraction generally and the use of particular abstraction principles to reconstruct central areas of mathematics along logicist lines. Gottlob Frege's original logicist project was, in effect, refuted by Russell's paradox. Crispin Wright has recently revived Frege’s enterprise, however, providing a philosophical and technical framework within which a reconstruction of arithmetic is possible. While the Neo-Fregean project has recieved extensive attention and discussion, the present volume is unique in presenting a thorough going examination of the mathematical aspects of the neo-logicist project (and the particular philosophical issues arising from these technical concerns). Attention is focused on extending the Neo-Fregean treatment to all of mathematics, with the reconstruction of real analysis from various cut - or cauchy-sequence-related abstraction principles and the reconstruction of set theory from various restricted versions of Basic Law V as case studies. As a result, the volume provides a test of the scope and limits of the neo-logicist project, detailing what has been accomplished and outlining the desiderata still outstanding. All papers in the anthology have their origins in presentations at Arché events, thus providing a volume that is both a survey of the cutting edge in research on the technical aspects of abstraction and a catalogue of the work in this area that has been supported in various ways by Arché. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematics. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Philosophy and science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematical logic. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematics. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematics, general. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Philosophy of Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Mathematical Logic and Foundations. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Cook, Roy T. |
Relator term |
editor. |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9781402042645 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
The Western Ontario Series in Philosophy of Science, |
International Standard Serial Number |
1566-659X ; |
Volume/sequential designation |
71 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-1-4020-4265-2 |
912 ## - |
-- |
ZDB-2-SHU |