The Arché Papers on the Mathematics of Abstraction / edited by Roy T. Cook
データ種別 | 電子書籍 |
---|---|
出版者 | Dordrecht : Springer Netherlands |
出版年 | 2007 |
書誌詳細を非表示
書誌ID | OB01023408 |
---|---|
本文言語 | 英語 |
一般注記 | License restrictions may limit access Summary: 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é |
著者標目 | *Cook, Roy T SpringerLink (Online service) |
統一書名標目 | The Western Ontario Series in Philosophy of Science, |
件 名 | LCSH:Philosophy (General) LCSH:Logic LCSH:Science -- Philosophy 全ての件名で検索 LCSH:Logic, Symbolic and mathematical FREE:Philosophy FREE:Philosophy of Science FREE:Logic FREE:Mathematical Logic and Foundations |
分 類 | LCC:B67 DC23:501 |
巻冊次 | ISBN:9781402042652 RefWorks出力(各巻) print ; ISBN:9781402042645 RefWorks出力(各巻) |
資料種別 | 機械可読データファイル |
所蔵情報へのリンク | The Arché papers on the mathematics of abstraction / edited by Roy T. Cook |
目次・あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数:1回
※2020年8月16日以降