Results for 'S. Kanger'

1000+ found
Order:
  1. [Omnibus Review].S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  2.  19
    Prior A. N.. Time after time. Mind, n.s. vol. 67 , pp. 244–246.S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  3.  8
    A. N. Prior. The syntax of time-distinctions. Franciscan studies, vol. 18 no. 2 , pp. 105–120.S. Kanger - 1962 - Journal of Symbolic Logic 27 (1):114-115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    Related Citations.S. Kanger - 1968 - Journal of Symbolic Logic 32 (4):550-555.
  5.  12
    L. Jonathan Cohen. Can the logic of indirect discourse be formalised?The journal of symbolic logic, vol. 22 , pp. 225–232. - A. N. Prior. Epimenides the Cretan. The journal of symbolic logic, vol. 23 no. 3 , pp. 261–266. - R. L. Goodstein. On the formalisation of indirect discourse. The journal of symbolic logic, vol. 23 no. 4 , pp. 417–419. - L. Jonathan Cohen. Professor Goodstein's formalisation of the policeman. The journal of symbolic logic, vol. 23 no. 4 , p. 420. [REVIEW]S. Kanger - 1968 - Journal of Symbolic Logic 32 (4):549-550.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  22
    A. N. Prior. Thank goodness that's over. Philosophy, vol. 34 , pp. 12–17. - L. Jonathan Cohen. Professor Prior on thanking goodness that's over. Philosophy, vol. 34 , pp. 360–362. - A. N. Prior. Mr. Cohen on thanking goodness that p and q. Philosophy, vol. 34 , pp. 362–363. - L. Jonathan Cohen. A brief rejoinder to Professor Prior. Philosophy, vol. 34 , pp. 363–364. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  7.  18
    A. N. Prior. Time after time. Mind, n.s. vol. 67 , pp. 244–246. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):342-343.
  8.  8
    L. Jonathan Cohen. Why do Cretans have to say so much?Philosophical studies , vol. 12 , pp. 72–78. - A. N. Prior. Indirect speech again. Philosophical studies , vol. 14 , pp. 12–15. - L. Jonathan Cohen. Indirect speech: A rejoinder to Prof. A. N. Prior. Philosophical studies , vol. 14 , pp. 15–18. - A. N. Prior. Indirect speech and extensionality. Philosophical studies , vol. 15 , pp. 35–38. - L. Jonathan Cohen. Indirect speech: A further rejoinder to Professor Prior. Philosophical studies , vol. 15 , pp. 38–40. [REVIEW]S. Kanger - 1968 - Journal of Symbolic Logic 32 (4):550-550.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    A. N. Prior. Diodorus and modal logic: A correction. The philosophical quarterly , vol. 8 , pp. 226–230. A correction to XXI 199. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  10.  5
    A. N. Prior. Diodorus and modal logic: A correction. The philosophical quarterly , vol. 8 , pp. 226–230. A correction to XXI 199. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  11.  15
    Review: A. N. Prior, Time after Time. [REVIEW]S. Kanger - 1960 - Journal of Symbolic Logic 25 (4):343-343.
  12. Review: L. Jonathan Cohen, A Formalisation of Referentially Opaque Contexts. [REVIEW]S. Kanger - 1967 - Journal of Symbolic Logic 32 (4):550-550.
  13. Review: L. Jonathan Cohen, Why do Cretans have to Say so Much? [REVIEW]S. Kanger - 1967 - Journal of Symbolic Logic 32 (4):550-550.
     
    Export citation  
     
    Bookmark  
  14.  61
    Logical theory and semantic analysis: essays dedicated to Stig Kanger on his fiftieth birthday.Stig Kanger & Sören Stenlund (eds.) - 1974 - Boston: Reidel.
    Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  5
    Collected Papers of Stig Kanger with Essays on His Life and Work, Volume 1.Stig Kanger - 2001 - Dordrecht and London: Kluwer Academic Publishers.
    Stig Kanger 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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  6
    Collected Papers of Stig Kanger with Essays on His Life and Work, Volume 2.Stig Kanger - 2001 - Dordrecht, Netherland: Springer.
    Stig Kanger 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 , pp. 308–311. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):521.
  18.  56
    Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. "Philosophy and Grammar", Edited by S. Kanger and S. Öhman. [REVIEW]M. Davies - 1984 - Mind 93:149.
     
    Export citation  
     
    Bookmark  
  20.  10
    A Labelled Deduction System for Kanger's Theory of Rights.Berislav Žarnić - 2006 - Filozofska Istrazivanja 26 (3):731-755.
    Basin-Matthews-Viganò approach to construction of labelled deduction systems for normal modal logics is adapted to „Fitch proof-format“, and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „the simplest semantics of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  36
    Collected Papers of Stig Kanger with Essays on his Life and Work, Vol. I-II.Ghita Holmström-Hintikka, Sten Lindström & Rysiek Sliwinski - 2001 - Kluwer Academic Publishers.
    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. The first volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on the various aspects of (...)'s work as well as some biographical sketches. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22. An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Kluwer Academic Publishers.
  23.  7
    Preference Logic and Radical Interpretation: Kanger meets Davidson.Wlodek Rabinowicz - 2002 - In Peter Gärdenfors, Jan Wolenski & Katarzyna Kijania-Placek (eds.), In the Scope of Logic, Methodology and Philosophy of Science. Springer. pp. 213-233.
    This paper traces the intellectual effects of an encounter between Stig Kanger and Donald Davidson -two very different philosophers working in two seemingly unconnected areas. Their meeting in Oslo 1979 led the latter to improve his influential theory of radical interpretation and gave the former an inspiration for a rather striking paradox in preference logic. But, as we show, the paradox can be dis-solved and the radical interpretation continues to confront serious difficulties. Simultaneous elicitation of a speaker’s meaning, beliefs (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  3
    New foundations for ethical theory.Stig Kanger - 1957 - [Stockholm,: Almqvist & Wiksell].
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  5
    EQ and the First Order Functional Calculus.Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-520.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  60
    Provability in logic.Stig Kanger - 1957 - Stockholm,: Almqvist & Wiksell.
  27.  15
    First Degree Entailments. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-521.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  28. New foundations for ethical theory.Stig Kanger - 1976 - In Risto Hilpinen (ed.), Deontic logic: introductory and systematic readings. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 36--58.
     
    Export citation  
     
    Bookmark   54 citations  
  29. Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.
  30.  76
    The Morning Star Paradox.Stig Kanger - 1957 - Theoria 23 (1):1-11.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  31.  16
    Quantifiers, Games and Inductive Definitions.Peter Aczel, Stig Kanger, Kit Fine, Bengt Hansson & Jaakko Hintikka - 1978 - Journal of Symbolic Logic 43 (2):373-376.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  82
    Rights and Parliamentarism.Stig Kanger & Helle Kanger - 1966 - Theoria 32 (2):85-115.
  33.  68
    Equivalent Theories.Stig Kanger - 1968 - Theoria 34 (1):1-6.
  34. A note on quantification and modalities.Stig Kanger - 1957 - Theoria 23 (2):133.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  35.  13
    Rights and Parliamentarism.Stig Kanger & Helle Kanger - 1971 - Journal of Symbolic Logic 36 (1):183-183.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  36.  40
    A note on partial postulate sets for propositional logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.
  37.  49
    On the characterization of modalities.Stig Kanger - 1957 - Theoria 23 (3):152-155.
  38. Philosophy and Grammar.Stig Kanger - 1984 - Mind 93 (369):149-152.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  39. Philosophy and Grammar.Stig Kanger & Sven Öhman (eds.) - 1980 - Reidel.
     
    Export citation  
     
    Bookmark   4 citations  
  40.  7
    Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. [REVIEW]Stig Kanger - 1969 - Journal of Symbolic Logic 34 (2):305-306.
  41.  5
    A Note on Partial Postulate Sets for Propositional Logic.Stig Kanger - 1957 - Journal of Symbolic Logic 22 (3):330-331.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  5
    A Simplified Proof Method for Elementary Logic.Stig Kanger, P. Braffort & D. Hirschberg - 1967 - Journal of Symbolic Logic 32 (1):119-119.
  43.  52
    Measurement: An essay in philosophy of science.Stig Kanger - 1972 - Theoria 38 (1-2):1-44.
  44.  19
    An Alternative Characterization of First-Degree Entailment.Stig Kanger & David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521.
  45. Några synpunkter på begreppet inflytande.Stig Kanger - 2004 - Norsk Filosofisk Tidsskrift 1.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  46.  31
    Anderson A. R. and Belnap N. D. Jr., First degree entailments. Mathematische Annalen, vol. 149 , pp. 302–319.Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-521.
  47.  10
    Handbok i Logik. Del I. Logisk Konsekvens.Stig Kanger - 1960 - Journal of Symbolic Logic 25 (3):276-276.
  48.  14
    Mapping ‘the ANT multiple’: A comparative, critical and reflexive analysis.Laur Kanger - 2017 - Journal for the Theory of Social Behaviour 47 (4):435-462.
    Despite decades of development, Actor-Network Theory continues to be characterized by a good deal of ambiguities and internal tensions. This situation has led to a suggestion that instead of one ANT it may be meaningful to speak of ‘the ANT multiple’. Following this line of reasoning, this article aims to create a map of the variety of positions riding under the ANT banner. Based on an in-depth reading of ANT literature, seven different interpretations of ANT are identified and subjected to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  19
    Mapping ‘the ANT multiple’: A comparative, critical and reflexive analysis.Laur Kanger - 2018 - Journal for the Theory of Social Behaviour 48 (1):2-30.
    Despite decades of development, Actor-Network Theory continues to be characterized by a good deal of ambiguities and internal tensions. This situation has led to a suggestion that instead of one ANT it may be meaningful to speak of ‘the ANT multiple’. Following this line of reasoning, this article aims to create a map of the variety of positions riding under the ANT banner. Based on an in-depth reading of ANT literature, seven different interpretations of ANT are identified and subjected to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. New Foundations for Ethical Theory, Part I.Stig KANGER - 1957
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000