Collected Papers of Stig Kanger with Essays on his Life and Work edited by Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Holmström-Hintikka, Ghita (Editor), Lindström, Sten (Editor), Sliwinski, R. (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2001.
Edition:1st ed. 2001.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 303
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Pure Logic
  • A Note on Partial Postulate Sets for Propositional Logic
  • Provability in Logic
  • The Morning Star Paradox
  • A Note on Quantification and Modalities
  • On the Characterization of Modalities
  • A Simplified Proof Method for Elementary Logic
  • Equivalent Theories
  • An Algebraic Logic Calculus
  • Equational Calculi and Automatic Demonstration
  • Entailment
  • The Paradox of the Unexpected Hanging, Regained Again
  • Applied Logic: Obligations, Rights And Action
  • New Foundations for Ethical Theory
  • Rights and Parliamentarism
  • Law and Logic
  • Some Aspects on the Concept of Influence
  • On Realization of Human Rights
  • Unavoidability
  • Unavoidability. Appendix
  • Applied Logic: Preference And Choice
  • Preference Logic
  • A Note on Preference-Logic
  • Choice and Modality
  • Choice Based on Preference
  • Decision by Democratic Procedure
  • Philosophy Of Science
  • Measurement: An Essay in Philosophy of Science
  • The Notion of a Phoneme
  • Published Writings of Stig Kanger
  • Index of Names.