+612 9045 4394
 
CHECKOUT
Collected Papers of Stig Kanger with Essays on His Life and Work Volume II : Synthese Library (Paperback) - Ghita Holmstrom-Hintikka

Collected Papers of Stig Kanger with Essays on His Life and Work Volume II

Synthese Library (Paperback)

By: Ghita Holmstrom-Hintikka (Editor), Sten Lindstrom (Editor), Rysiek Sliwinski (Editor)

Paperback

Published: 31st December 2001
Ships: 15 business days
15 business days
$116.16
or 4 easy payments of $29.04 with Learn more

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, 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.

Introductionp. vii
Stig Kanger as We Remember Him: Nine Biographical Sketches edited by Krister Segerberg with contributionsp. 3
Soren Halldenp. 11
Jan Bergp. 13
Soren Stenlundp. 17
Ingmar Pornp. 19
Lars Gustafssonp. 23
Lennart Aqvistp. 25
Kaj B0rge Hansenp. 29
The Proof Theory of Stig Kanger: A Personal Recollectionp. 31
A Note on Kanger's Work on Efficient Proof Proceduresp. 43
Kanger's Choices in Auto¼ mated Reasoningp. 53
Kanger's Ideas on Non-Well-Founded Sets: Some Remarksp. 69
The Proper Treatment of Quantifiers in Ordinary Logicp. 87
An Exposition and Development of Kanger's Early Semantics for Modal Logicp. 97
Stig Kanger on Deontic Logicp. 131
Stig Kanger's Theory of Rightsp. 151
Stig Kanger's Theory of Rights: Bearers and Counterparties, Sources-Of-Law, and the Hansson Petaluma Examplep. 173
Stig Kanger's Actions and Influencep. 185
Kanger's Theory of Preference and Choicep. 205
Preference Logic and Radical Interpretation: Kanger Meets Davidsonp. 221
Non-Binary Choice and Preference: A Tribute to Stig Kangerp. 243
Notes on the Contributorsp. 255
Index of Namesp. 261
Subject Indexp. 265
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9781402001123
ISBN-10: 1402001126
Series: Synthese Library (Paperback) : Book 2
Audience: General
Format: Paperback
Language: English
Number Of Pages: 281
Published: 31st December 2001
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 23.39 x 15.6  x 1.58
Weight (kg): 0.42