Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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 accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. 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. He also contributed to action theory, preference logic, and the theory of measurement.
This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
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 accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. 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. He also contributed to action theory, preference logic, and the theory of measurement.
This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2001
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Reihe: Synthese Library
Inhalt: xiv
305 S.
ISBN-13: 9781402000225
ISBN-10: 1402000227
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Holmström-Hintikka, Ghita
Lindström, Sten
Sliwinski, R.
Herausgeber: Ghita Holmström-Hintikka/Sten Lindström/R Sliwinski
Hersteller: Springer
Synthese Library
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 240 x 160 x 18 mm
Von/Mit: Ghita Holmström-Hintikka (u. a.)
Erscheinungsdatum: 31.12.2001
Gewicht: 0,52 kg
Artikel-ID: 102136393