Collected papers of Stig Kanger with essays on his life and work
Author(s)
Bibliographic Information
Collected papers of Stig Kanger with essays on his life and work
(Synthese library, v. 303-304)
Kluwer Academic Publishers, c2001
- v. 1
- v. 2
Available at 13 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Faculty of Letters Library, University of Tokyo哲学
v. 1NL:150514816625158,
v. 2NL:150524816625141 -
Doshisha University Library (Imadegawa)
v. 1Z116;H9258;12D;0222012996,
v. 2Z116;H9258;22D;0222006759
Note
Includes bibliographies and indexes
Description and Table of Contents
- Volume
-
v. 1 ISBN 9781402000218
Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement.
This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
Table of Contents
Introduction. Pure Logic. A Note on Partial Postulate Sets for Propositional Logic. Provability in Logic. The Morning Star Paradox. A Note on Quantification and Modalities. On the Characterization of Modalities. A Simplified Proof Method for Elementary Logic. Equivalent Theories. An Algebraic Logic Calculus. Equational Calculi and Automatic Demonstration. Entailment. The Paradox of the Unexpected Hanging, Regained Again. Applied Logic: Obligations, Rights and Action. New Foundations for Ethical Theory. Rights and Parliamentarism. Law and Logic. Some Aspects on the Concept of Influence. On Realization of Human Rights. Unavoidability. Unavoidability. Appendix. Applied Logic: Preference and Choice. Preference Logic. A Note on Preference-Logic. Choice and Modality. Choice Based on Preference. Decision by Democratic Procedure. Philosophy of Science. Measurement: An Essay in Philosophy of Science. The Notion of a Phoneme. Published Writings of Stig Kanger. Index of Names. Subject Index.
- Volume
-
v. 2 ISBN 9781402001116
Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as well as some biographical sketches. Lennart Aqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Soren Hallden, Kaj Borge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmstrom-Hintikka, Lars Lindahl, Sten Lindstrom, Ingmar Porn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Soren Stenlund, Goran Sundholm, and Andrei Voronkov have contributed to this volume.
Table of Contents
- Stig Kanger as we Remember Him: Nine Biographical Sketches edited by K. Segerberg, with contributions by K. Segerberg, S. Hallden, J. Berg, S. Stenlund, I. Poern, L. Gustafsson, B.F. Chellas, L. Aqvist, K.B. Hansen. The Proof Theory of Stig Kanger: A Personal Recollection
- G. Sundholm. A Note on Kanger's Work on Efficient Proof Procedures
- D. Prawitz. Kanger's Choices in Automated Reasoning
- A. Degtyarev, A. Voronkov. Kanger's Ideas on Non-Well-Founded Sets: Some Remarks
- K.B. Hansen. The Proper Treatment of Quantifiers in Ordinary Logic
- J. Hintikka. An Exposition and Development of Kanger's Early Semantics for Modal Logic
- S. Lindstroem. Stig Kanger on Deontic Logic
- R. Hilpinen. Stig Kanger's Theory of Rights
- L. Lindahl. Stig Kanger's Theory of Rights: Bearers and Counterparties, Sources-Of-Law, and the Hansson Petaluma Example
- L. Aqvist. Stig Kanger's Actions and Influence
- G. Holmstroem-Hintikka. Kanger's Theory of Preference and Choice
- S.O. Hansson. Preference Logic and Radical Interpretation: Kanger Meets Davidson
- W. Rabinowicz. Non-Binary Choice and Preference: A Tribute to Stig Kanger
- A. Sen. Notes on the Contributors. Index of Names. Subject Index.
by "Nielsen BookData"