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.

MARC

LEADER 00000nam a22000005i 4500
001 b3192337
003 MWH
005 20191024151951.0
007 cr nn 008mamaa
008 121227s2001 ne | s |||| 0|eng d
020 |a 9789401005005 
024 7 |a 10.1007/978-94-010-0500-5  |2 doi 
035 |a (DE-He213)978-94-010-0500-5 
050 4 |a E-Book 
072 7 |a PBC  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a PBC  |2 thema 
072 7 |a PBCD  |2 thema 
245 1 0 |a Collected Papers of Stig Kanger with Essays on his Life and Work  |h [electronic resource] /  |c edited by Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski. 
250 |a 1st ed. 2001. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2001. 
300 |a XIV, 305 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 303 
490 1 |a Springer eBook Collection 
505 0 |a 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. 
520 |a 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. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Mathematical logic. 
650 0 |a Logic. 
650 0 |a Political science. 
690 |a Electronic resources (E-books) 
700 1 |a Holmström-Hintikka, Ghita.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Lindström, Sten.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Sliwinski, R.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 303 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-010-0500-5  |3 Click to view e-book 
907 |a .b31923379  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g ne   |h 0  |i 1 
912 |a ZDB-2-SHU 
912 |a ZDB-2-BAE 
950 |a Humanities, Social Sciences and Law (Springer-11648) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21055002  |z 02-26-20 
999 f f |i 7cb3b113-4b98-556a-a052-8889cd3feb4d  |s 5cbaf22c-539f-593b-873c-09bdc58487a6 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |e E-Book  |h Library of Congress classification  |i Elec File  |n 1