Handbook of Philosophical Logic Volume I: Elements of Classical Logi
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to pr
- PDF / 43,467,978 Bytes
- 503 Pages / 431 x 632 pts Page_size
- 28 Downloads / 222 Views
SYNTHESE LIBRARY
STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE
Managing Editor: J A A K K 0 HI N T I K K A, Florida State University, Tallahassee
Editors: DON A L D D A V I D SON, University of California, BerkeZey GABRIEL NUCHELMANS, University of Leyden WE S LE Y C. SAL M 0 N, University of Pittsburgh
VOLUME 164
HANDBOOK OF PHILOSOPHICAL LOGIC Volume I: Elements of Classical Logic Edited by
D. GABBAY Department of Mathematics and Computer Science, Bar-Ilan University, Israel
and
F. GUENTHNER Neuphilologische Fakultaet, University of Tuebingen, West Germany
D. REIDEL PUBLISHING COMPANY A MEMBER OF THE KLUWER . . . ACADEMIC PUBLISHERS GROUP
DORDRECHT/BOSTON/LANCASTER
Library of Congress Cataloging in Publication Data Main entry under title: Elements of classical logic. (Handbook of philosophicallogicj v. 1) (Synthese libraryj v. 164) Bibliography: p. Includes indexes. 1. Logic-Addresses, essays, lectures. I. Gabbay, Dov M., 1945- . 11. Guenthner, Franz. Ill. Series. BC6.H36 1983 vol. 1 (BC71] 160s (160] 83-4276
Published by D. Reidel Publishing Company, P.O. Box 17,3300 AA Dordrecht, Holland. Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 190 Old Derby Street, Hingham, MA 02043, U.S.A. In all other countries, sold and distributed by Kluwer Academic Publishers Group, P.O. Box 322, 3300 AH Dordrecht, Holland. ISBN-I 3:978-94-009-7068-7 DOl: 10.1007/978-94-009-7066-3
eISBN-13:978-94-009-7066-3
4-1290-300 ts
All Rights Reserved © 1983 by D. Reidel Publishing Company
No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner
CONTENTS TO VOLUME I
ACKNOWLEDGEMENTS PREFACE
ri ~
A NOTE ON NOTATION
xiii
1.1. W I L F RID HOD G E S / Elementary Predicate Logic 1.2. GO RAN S U ND HOLM / Systems of Deduction 1.3. HUG U E S LE B LA N C / Alternatives to Standard First-order Semantics 1.4. JO HA N VA N B ENT HEM and KEES DO ETS / Higher-order Logic 1.5. ALLEN HAZEN / Predicative Logics 1.6. DIRK V AN DALEN / Algorithms and Decision Problems: A Crash Course in Recursion Theory
1 133
NAMEINDEX
~9
SUB JE C TIN D EX
485
TABLE OF CONTENTS TO VOLUMES 11, Ill, AND IV
495
189 275 331 409
ACKNOWLEDGEMENTS
The preparation of the Handbook of Philosophical Logic was generously supported by the Lady Davis Fund at Bar-Ilan University, Ramat-Gan, Israel and the Werner-Reimers-Stiftung, Bad Homburg, West Germany, which provided us· with the chance of discussing the chapters in the Handbook at various workshops with the contributors. It is a great pleasure to acknowledge the assistance of these institutions during the preparation of this collection. We benefitted further from the editorial and personal advice and help from the publisher. Most important of all, we would like to express our thanks to all the contributors to the Handbook for
