Collected Papers of Stig Kanger with Essays on His Life and Work Vol
- PDF / 27,568,169 Bytes
- 282 Pages / 453.534 x 680.298 pts Page_size
- 82 Downloads / 197 Views
Vol. II
SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE
Managing Editor:
JAAKKO HINTIKKA, Boston University, U.S.A.
Editors: DIRK VAN DALEN, University of Utrecht, The Netherlands DONALD DAVIDSON, University of California. Berkeley, U.S.A. THEa A.F. KUIPERS , University of Groningen, The Netherlands PATRICK SUPPES, Stanford University. California, U.S.A. JAN waLEN-sKI, Jagiellonian University, Krakow, Poland
VOLUME 304
COLLECTED PAPERS OF STIG KANGER WITH ESSAYS ON HIS LIFE ANDWORK VoI. II Edited by
GHITA HOLMSTROM-HINTIKKA Boston University, Boston, U.S.A.
STEN LINDSTROM Umeă
University,
Umeă,
Sweden
and RYSIEK SLIWINSKI Uppsala University, Uppsala, Sweden
" ~.
SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-1-4020-0112-3 ISBN 978-94-010-0630-9 (eBook) DOI 10.1007/978-94-010-0630-9
Printed on acid-free paper
All Rights Reserved © 2001 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2001 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, inc1uding photocopying, recording or by any information storage and retrieval system, without written permis sion from the copyright owner.
TABLE OF CONTENTS
Introduction
VII
Stig Kanger as We Remember Him: Nine Biographical Sketches edited by Krister Segerberg with contributions by Krister Segerberg Soren Hallden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Jan Berg Soren Stenlund Ingmar Porn Lars Gustafsson Brian F. Chellas Lennart Aqvist Kaj Berge Hansen. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
3 11 13 17 19 21 23 25 29
Goran Sundholm: The Proof Theory of Stig Kanger: A Personal Recollection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Dag Prawitz: A Note on Kanger's Work on Efficient Proof Procedures Anatoli Degtyarev and Andrei Voronkov : Kanger's Choices in Automated Reasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. Kaj Berge Hansen: Kanger's Ideas on Non-Well-Founded Sets: Some Remarks Jaakko Hintikka: The Proper Treatment of Quantifiers in Ordinary Logic Sten Lindstrom: An Exposition and Development of Kanger's Early Semantics for Modal Logic Risto Hilpinen: Stig Kanger on Deontic Logic Lars Lindahl: Stig Kanger's Theory of Rights Lennart Aqvist : Stig Kanger's Theory of Rights : Bearers and Counterparties, Sources-Of-Law, and the Hansson Petaluma Example Ghita Holmstrom-Hintikka: Stig Kanger's Actions and Influence Sven Ove Hansson: Kanger's Theory of Preference and Choice
31 43 53 69 87 97 131 151 173 185 205
vi Wlodek Rabinowicz: Preference Logic and Radical Interpretation: Kanger Meets Davidson 221 Amartya Sen: Non-Binary Choice and Preference: A Tribute to Stig Kanger 243 Notes on the Contributors 255 Index of Names 261 Subject
