Handbook of Philosophical Logic Volume II: Extensions of Classical L
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned ou
- PDF / 69,794,660 Bytes
- 781 Pages / 430.87 x 649.12 pts Page_size
- 11 Downloads / 287 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, Rorida State University, Tallahassee
Editors: DON A L D D A V IDS 0 N, University of California, Berkeley GABRIEL NUCHELMANS, University of Leyden WE S LEY C. SAL M 0 N, University of Pittsburgh
VOLUME 165
HANDBOOK OF PHILOSOPHICAL LOGIC Volume II: Extensions of Classical Logic haited 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: Handbook of philosophical logic. (Synthese library; v. 164Includes bibliographies and indexes. Contents: v.I. Elements of ciassicallogic v. 2. Extensions of ciassicallogic. I. Gabbay, Dov M., 1. Logic-Addresses, essays, lectures. 1945II. Guenther, Franz. 1Il. Series. BC6.H36 1983 160 83-4277 ISBN-13: 978-94-009-6261-3 001: 10.1007/978-94-009-6259-0
e-ISBN-13: 978-94-009-6259-0
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.
All Rights Reserved © 1984 by D. Reidel Publishing Company Softcover" reprint of the hardcover 1sf edition 1984
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 II
ACKNOWLEDGEMENTS
~
PREFACE
~
A NOTE ON NOTATION
xi
11.1.
ROB E R T A. B U L Land K R 1ST E R S E G E R BE R G / Basic ~~~~
11.2. JOHNP.BURGESS/BasicTenseLogic 11.3. RICHMOND H. THOMASON /Combinations of Tense and
1 89 135 167 249
Modality JOHAN VAN BENTHEM /CorrespondenceTheory JAM E S W. GAR SON / Quantification in Modal ~gic N IN 0 B. CO C CHI ARE L LA / Philosophical Perspectives on Quantification in Tense and Modal ~gic 11.7. C. ANTHONY ANDERSON / General Intensional ~gic 11.8. DONALD NUTE /Conditional ~gic 11.9. C R A I G S M 0 R Y NSKI/Modal ~gic and Self-reference 11.1 O. D A V ID H ARE L / Dynamic ~gic II.lI. LEN N ART AQV 1ST / Deontic ~gic 11.12. DAVID HARRAH /The~gicofQuestions
309 355 387 441 497 605 715
NAME INDEX
765
SUBJECT INDEX
771
11.4. 11.5. 11.6.
TABLE OF CONTENTS TO VOLUMES I, III, AND IV
ACKNOWLEDGEMENTS
The preparation of the Handbook of Philosophical Logic was generously supported by the Lady Davis Fund at Bar-Han 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
