Handbook of Philosophical Logic Volume 16
This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier S
- PDF / 3,101,263 Bytes
- 321 Pages / 439.37 x 666.142 pts Page_size
- 21 Downloads / 210 Views
HANDBOOK OF PHILOSOPHICAL LOGIC 2nd Edition Volume 16 edited by D.M. Gabbay and F. Guenthner
Volume 1 – ISBN 0-7923-7018-X Volume 2 – ISBN 0-7923-7126-7 Volume 3 – ISBN 0-7923-7160-7 Volume 4 – ISBN 1-4020-0139-8 Volume 5 – ISBN 1-4020-0235-1 Volume 6 – ISBN 1-4020-0583-0 Volume 7 – ISBN 1-4020-0599-7 Volume 8 – ISBN 1-4020-0665-9 Volume 9 – ISBN 1-4020-0699-3 Volume 10 – ISBN 1-4020-1644-1 Volume 11 – ISBN 1-4020-1966-1 Volume 12 – ISBN 1-4020-3091-6 Volume 13 – ISBN 978-1-4020-3520-3 Volume 14 – ISBN 978-1-4020-6323-7 Volume 15 – ISBN 978-94-007-0484-8
HANDBOOK OF PHILOSOPHICAL LOGIC 2nd EDITION VOLUME 16 Edited by D.M. GABBAY King’s College, London, U.K. and
F. GUENTHNER Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität München, Germany
123
Editors Prof. Dr. Dov M. Gabbay King’s College London Dept. Computer Science London United Kingdom [email protected]
Franz Guenthner University of Munich Centrüm für Informations- und Sprachverarbeitung Oettingenstr. 67 80538 Munich Germany [email protected]
ISBN 978-94-007-0478-7 e-ISBN 978-94-007-0479-4 DOI 10.1007/978-94-007-0479-4 Springer Dordrecht Heidelberg London New York c Springer Science+Business Media B.V. 2011 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
CONTENTS
Editorial Preface Dov M. Gabbay Belief Revision Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo
vii 1
Refutation Systems in Propositional Logic Tomasz Skura
115
Quantifier Scope in Formal Linguistics E.G. Ruys and Yoad Winter
159
Non-deterministic Semantics for Logical Systems Arnon Avron and Anna Zamansky
227
Index
305
PREFACE TO THE SECOND EDITION It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as ‘the best starting point for exploring any of the topics in logic’. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic community. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983–1989 came
Data Loading...
