0415023351.Routledge.Proof.Logic.and.Formalization.Feb.1992.pdf

(1537 KB) Pobierz
PROOF, LOGIC AND FORMALIZATION
This book addresses various problems associated with finding a philosophically satisfying account of mathematical proof. It
brings together many of the most notable figures currently writing in the philosophy of mathematics in an attempt to explain
why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that
arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place
of experience in proof and the possibility of eliminating impredicative reasoning from proof.
The editor, Michael Detlefsen, has brought together an outstanding collection of essays, only two of which have previously
appeared. Essential for philosophers and historians of mathematics, it is also recommended for philosophically inclined
logicians and philosophers interested in the nature of reasoning and justification. A companion volume entitled
Proof and
Knowledge in Mathematics,
edited by Michael Detlefsen, is also available from Routledge.
PROOF, LOGIC AND FORMALIZATION
PROOF, LOGIC AND FORMALIZATION
Edited by
Michael Detlefsen
London and New York
First published 1992
by Routledge
11 New Fetter Lane, London EC4P 4EE
This edition published in the Taylor & Francis e-Library, 2005.
“To purchase your own copy of this or any of Taylor & Francis or Routledge’s collection of thousands of eBooks please go to www.eBookstore.tandf.co.uk.”
Simultaneously published in the USA and Canada
by Routledge
a division of Routledge, Chapman and Hall, Inc.
29 West 35th Street, New York, NY 10001
Selection and introductory material © 1992 Michael Detlefsen
Individual chapters © 1992 the respective authors.
All rights reserved. No part of this book may be reprinted or
reproduced or utilized in any form or by any electronic,
mechanical, or other means, now known or hereafter
invented, including photocopying and recording, or in any
information storage or retrieval system, without permission in
writing from the publishers.
British Library Cataloguing in Publication Data
Proof, logic and formalization
1. Mathematics
I. Detlefsen, Michael
511.3
Library of Congress Cataloging in Publication Data
Proof, logic and formalization/edited by Michael Detlefsen.
p. cm.
Includes bibliographical references.
1. Proof theory. 2. Logic, Symbolic and mathematical.
I. Detlefsen, Michael.
QA9.54.P77 1992
511.3–dc20
91–17469
ISBN 0-203-98025-5 Master e-book ISBN
ISBN 0-415-02335-1 (Print Edition)

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin