Collected Papers of Stig Kanger with Essays on his Life and Work Volume II: Vol. 2
Springer Science & Business Media, Dec 31, 2001 - Language Arts & Disciplines - 281 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
STIG KANGER 19241988
THE YOUNG PHILOSOPHER
TEACHER AND FRIEND
THESIS SUPERVISOR AND FRIEND
GAMES RESEARCH FRIENDSHIP
THE CASE OF THE LOST MODEL LANGUAGE
THE SUMMER OF 1966
STIG KANGERS INFLUENCE ON MY PHILOSOPHICAL DEVELOPMENT
THE PROPER TREATMENT OF QUANTIFIERS IN ORDINARY LOGIC
AN EXPOSITION AND DEVELOPMENT OF KANGERS EARLY SEMANTICS FOR MODAL LOGIC
STIG KANGER ON DEONTIC LOGIC
STIG KANGERS THEORY OF RIGHTS
BEARERS AND COUNTERPARTIES SOURCESOFLAW AND THE HANSSON PETALUMA EXAMPLE
STIG KANGERS ACTIONS AND INFLUENCE
KANGERS THEORY OF PREFERENCE AND CHOICE
PREFERENCE LOGIC AND RADICAL INTERPRETATION KANGER MEETS DAVIDSON
Other editions - View all
2001 Kluwer Academic action agent algebra applied assignment atomic types automated axiom binary relation Boolean calculus choice function Collected Papers completeness theorem Computer concept condition Davidson defined Degtyarev deontic logic domain Dordrecht dummies equations example exclusive disjunction explication expressed first-order logic formal formula Gentzen Hansson Hesperus Hilpinen Hintikka Holmstrom-Hintikka idea identity instantiation interpretation intuitive ISBN Jaakko Hintikka Kanger with Essays Kanger's theory Kluwer Academic Publishers Kripke language Lindahl Lindstrom logically true means method modal logic modal operator normative notion Papers of Stig paramodulation Porn Prawitz predicate logic preference logic preference relation principle problem proof procedure proof theory propositional Provability in Logic Reidel rules satisfied semantics for modal sentences sequent sequent calculus Sheffer stroke Sliwinski source-of-law Stig Kanger Stockholm structure subject's symbols Tarski Theoretical Philosophy theory of rights truth truth-functional types of rights Uppsala University valid valuation variables Voronkov Wedberg