Collected Papers of Stig Kanger with Essays on his Life and Work

Vol. I

  • Ghita Holmström-Hintikka
  • Sten Lindström
  • Rysiek Sliwinski

Part of the Synthese Library book series (SYLI, volume 303)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Pure Logic

    1. Front Matter
      Pages 1-1
    2. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 3-7
    3. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 8-41
    4. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 42-51
    5. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 52-53
    6. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 54-57
    7. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 58-64
    8. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 65-69
    9. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 70-75
    10. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 76-81
    11. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 82-93
    12. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 94-96
  3. Applied Logic: Obligations, Rights and Action

    1. Front Matter
      Pages 97-97
    2. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 99-119
    3. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 120-145
    4. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 146-169
    5. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 170-178
    6. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 179-185
    7. Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski
      Pages 186-191

About this book

Introduction

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.

Keywords

deontic logic human rights logic logical analysis modal logic proof proof theory

Editors and affiliations

  • Ghita Holmström-Hintikka
    • 1
  • Sten Lindström
    • 2
  • Rysiek Sliwinski
    • 3
  1. 1.Boston UniversityBostonUSA
  2. 2.Umeå UniversityUmeåSweden
  3. 3.Uppsala UniversityUppsalaSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-010-0500-5
  • Copyright Information Kluwer Academic Publishers 2001
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-0022-5
  • Online ISBN 978-94-010-0500-5
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences