وبلاگ بلیان

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

معرفی کتاب «Collected Papers of Stig Kanger with Essays on His Life and Work Volume II» نوشتهٔ Krister Segerberg, Sören Halldén, Jan Berg (auth.), Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski (eds.)، منتشرشده توسط نشر Springer Netherlands در سال 2001. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.

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. Front Matter....Pages i-xii Stig Kanger as We Remember Him: Nine Biographical Sketches....Pages 1-30 The Proof Theory of Stig Kanger: A Personal Recollection....Pages 31-42 A Note on Kanger’s Work on Efficient Proof Procedures....Pages 43-52 Kanger’s Choices in Automated Reasoning....Pages 53-67 Kanger’s Ideas on Non-Well-Founded Sets: Some Remarks....Pages 69-86 The Proper Treatment of Quantifiers in Ordinary Logic....Pages 87-95 An Exposition and Development of Kanger’s Early Semantics for Modal Logic....Pages 97-130 Stig Kanger on Deontic Logic....Pages 131-149 Stig Kanger’s Theory Of Rights....Pages 151-171 Stig Kanger’s Theory of Rights: Bearers and Counterparties, Sources-of-Law, and the Hansson Petaluma Example....Pages 173-183 Stig Kanger’s Actions and Influence....Pages 185-204 Kanger’s Theory of Preference and Choice....Pages 205-219 Preference Logic and Radical Interpretation Kanger Meets Davidson....Pages 221-242 Non-Binary Choice and Preference: A Tribute to Stig Kanger....Pages 243-254 Back Matter....Pages 255-281
دانلود کتاب Collected Papers of Stig Kanger with Essays on His Life and Work Volume II