Collected Papers of Stig Kanger With Essays on His Life and Work

by Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek

• ISBN13: 9781402001123
• ISBN10: 1402001126
• Format: Paperback
• Copyright: 2002-01-01
• Publisher: Kluwer Academic Pub

Summary

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 Åqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Sören Halldén, Kaj Børge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmström-Hintikka, Lars Lindahl, Sten Lindström, Ingmar Pörn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Sören Stenlund, Göran Sundholm, and Andrei Voronkov have contributed to this volume.

Table of Contents

Introduction	p. vii
Stig Kanger as We Remember Him: Nine Biographical Sketches edited by Krister Segerberg with contributions	p. 3
Soren Hallden	p. 11
Jan Berg	p. 13
Soren Stenlund	p. 17
Ingmar Porn	p. 19
Lars Gustafsson	p. 23
Lennart Aqvist	p. 25
Kaj B0rge Hansen	p. 29
The Proof Theory of Stig Kanger: A Personal Recollection	p. 31
A Note on Kanger's Work on Efficient Proof Procedures	p. 43
Kanger's Choices in Auto¼ mated Reasoning	p. 53
Kanger's Ideas on Non-Well-Founded Sets: Some Remarks	p. 69
The Proper Treatment of Quantifiers in Ordinary Logic	p. 87
An Exposition and Development of Kanger's Early Semantics for Modal Logic	p. 97
Stig Kanger on Deontic Logic	p. 131
Stig Kanger's Theory of Rights	p. 151
Stig Kanger's Theory of Rights: Bearers and Counterparties, Sources-Of-Law, and the Hansson Petaluma Example	p. 173
Stig Kanger's Actions and Influence	p. 185
Kanger's Theory of Preference and Choice	p. 205
Preference Logic and Radical Interpretation: Kanger Meets Davidson	p. 221
Non-Binary Choice and Preference: A Tribute to Stig Kanger	p. 243
Notes on the Contributors	p. 255
Index of Names	p. 261
Subject Index	p. 265
Table of Contents provided by Publisher. All Rights Reserved.