Skip to main content
SpringerLink
Log in

Modal Extensions of Classical Logic

  • Chapter
  • First Online:
Handbook of Analytic Philosophy of Medicine

Part of the book series: Philosophy and Medicine ((PHME,volume 113))

  • 947 Accesses

Abstract

The classical first-order logic that we briefly covered in Chapter 26, is not a sufficient tool for use in medicine and also has some other shortcomings. Consequently, it must be extended, changed, amended, or abandoned. In this section, we shall address some of these concerns.

Classical first-order logic has emerged as the first system of modern logic, and as such, it has enjoyed extensive study and development. It is therefore usually identified with logic itself. Its principles, theorems, and laws are believed to be irrefutable and eternal truths. There are those who even maintain that “Dictators may be powerful today, but they cannot alter the laws of logic, nor indeed can God even do so” (Ewing, 1940, 217). This claim reflects a widespread error that we encounter not only in everyday life, but also in most scientific disciplines. However, in what follows we shall show that classical logic and its laws are not the final word.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 499.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur R, and Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation 1993; 104:35–77.

    Article  Google Scholar 

  2. Barcan Marcus RC. A functional calculus of first order based on strict implication. The Journal of Symbolic Logic 1946; 11:1–16.

    Article  Google Scholar 

  3. Barcan Marcus RC. The identity of individuals in a strict functional calculus of second order. The Journal of Symbolic Logic 1947; 12:12–15.

    Article  Google Scholar 

  4. Bochenski IM. A History of Formal Logic. Notre Dame: The University of Notre Dame Press, 1961.

    Google Scholar 

  5. Boh I. Epistemic Logic in the Later Middle Ages. London: Routledge, 1993.

    Google Scholar 

  6. Bull R, and Segerberg K. Basic modal logic. In: Gabbay DM, and Guenthner F, Handbook of Philosophical Logic, Volume II, pp. 1–88. Dordrecht: D. Reidel Publishing Company, 1984.

    Chapter  Google Scholar 

  7. Burgess JP. Basic tense logic. In: Gabbay DM, and Guenthner F, Handbook of Philosophical Logic, 2nd Edition, Volume 7, pp. 1–42. Dordrecht: Kluwer Academic Publishers, 2002.

    Google Scholar 

  8. Carnap R. Meaning and Necessity. Chicago: The University of Chicago Press, 1947.

    Google Scholar 

  9. Chisholm RM. Contrary-to-duty imperatives and deontic logic. Analysis 1963; 24:33–36.

    Article  Google Scholar 

  10. Ewing AC. The linguistic theory of a priori propositions. Proceedings of the Aristotelean Society 1940; 40:207–244.

    Google Scholar 

  11. Fitting MC, and Mendelsohn R. First-Order Modal Logic. Dordrecht: Kluwer Academic Publishers, 1998.

    Book  Google Scholar 

  12. Forbes G. The Metaphysics of Modality. Oxford: Clarendon Press, 1985.

    Google Scholar 

  13. Gabbay DM, and Guenthner F (eds.). Handbook of Philosophical Logic, Volume II. Dordrecht: D. Reidel Publishing Company, 1984.

    Google Scholar 

  14. Gabbay DM, and Guenthner F (eds.). Handbook of Philosophical Logic. 2nd Edition, Volume 7. Dordrecht: Kluwer Academic Publishers, 2002.

    Google Scholar 

  15. Gabbay DM, and Woods J (eds.). Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century. Amsterdam: Elsevier, 2006.

    Google Scholar 

  16. Galton A (ed.). Temporal Logics and Their Applications. London: Academic Press, 1987.

    Google Scholar 

  17. Garson JW. Modal Logic for Philosophers. Cambridge: Cambridge University Press, 2006.

    Book  Google Scholar 

  18. Goble L (ed.). The Blackwell Guide to Philosophical Logic. Oxford: Blackwell Publishers, 2002.

    Google Scholar 

  19. Gochet P, and Gribomont P. Epistemic logic. In: Gabbay DM, and Woods J (eds.), Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, pp. 99–195. Amsterdam: Elsevier, 2006.

    Chapter  Google Scholar 

  20. Goldblatt R. Mathematical modal logic: A view of its evolution. In: Gabbay DM and Woods J (eds.), Handbook of the History of Logic. Volume 7, Logic and the Modalities in the Twentieth Century, pp. 1–98. Amsterdam: Elsevier, 2006.

    Chapter  Google Scholar 

  21. Hilpinen R (ed.). New Studies in Deontic Logic: Norms, Actions and the Foundations of Ethics. Dordrecht: D. Reidel Publishing Company 1981.

    Google Scholar 

  22. Hilpinen R. Deontic, Epistemic, and Temporal Modal Logics. In: Jacquette D (ed.), A Companion to Philosophical Logic, pp. 491–509. Oxford, UK: Blackwell Publishers, 2002.

    Google Scholar 

  23. Hintikka J. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Ithaca: Cornell University Press, 1962.

    Google Scholar 

  24. Hintikka J. The semantics of modal notions and the indeterminacy of ontology. In: Davidson D, and Harman G (eds.), Semantics of Natural Language, pp. 398–414. Dordrecht: D. Reidel Publishing Company, 1972.

    Chapter  Google Scholar 

  25. Hintikka J. Time and Necessity: Studies in Aristotles’s Theory of Modality. Oxford: Clarendon Press, 1973.

    Google Scholar 

  26. Hughes GE, and Cresswell MJ. A New Introduction to Modal Logic. London: Routledge, 2005.

    Google Scholar 

  27. Jacquette D (ed.). A Companion to Philosophical Logic. Oxford: Blackwell Publishers Ltd., 2002.

    Google Scholar 

  28. Kamp H. Tense Logic and the Theory of Linear Order. PhD Thesis, University of California at Los Angeles, 1968.

    Google Scholar 

  29. Kneale W, and Kneale M. The Development of Logic. Oxford: The Clarendon Press, 1968.

    Google Scholar 

  30. Knuuttila S. The emergence of deontic logic in the fourteenth century. In: Hilpinen R (ed.), New Studies in Deontic Logic, pp. 225–248. Dordrecht: D. Reidel Publishing Company, 1981.

    Chapter  Google Scholar 

  31. Knuuttila S (ed.). Modern Modalities. Studies of the History of Modal Theories from Medieval Nominalism to Logical Positivism. Dordrecht: Kluwer Academic Publishers, 1988.

    Google Scholar 

  32. Knuuttila S. Modalities in Medieval Philosophy. Routledge: London, 1993.

    Google Scholar 

  33. Koymans R. Specifying real-time properties with metric temporal logic. Real-Time Systems 1990; 2:255–299.

    Article  Google Scholar 

  34. Kripke SA. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1963; 9:67–96.

    Article  Google Scholar 

  35. Kripke SA. Naming and Necessity. Oxford: Basil Blackwell, 1980.

    Google Scholar 

  36. Kröger F, and Merz S. Temporal Logic and State Systems. Berlin: Springer-Verlag, 2008.

    Google Scholar 

  37. Lenzen W. Recent work in epistemic logic. Acta Philosophica Fennica 1978; 30: 5–219.

    Google Scholar 

  38. Lenzen W. Glauben, Wissen und Wahrscheinlichkeit. Systeme der epistemischen Logik. Wien: Springer-Verlag, 1980.

    Google Scholar 

  39. Lenzen W. Epistemic logic. In: Niiniluoto I, Sintonen M, and Woleński J (eds.), Handbook of Epistemology, pp. 963–983. Dordrecht: Kluwer Academic Publishers, 2004.

    Google Scholar 

  40. Lewis CI. Implication and the algebra of logic. Mind 1912; 21:522–531.

    Article  Google Scholar 

  41. Lewis CI, and Langford CH. Symbolic Logic. New York: The Century Co., 1932.

    Google Scholar 

  42. Mally E. Grundgesetze des Sollens. Elemente der Logik des Willens. Graz: Leuschner & Lubensky, 1926.

    Google Scholar 

  43. McNamara P. Deontic Logic. In: Gabbay DM, and Woods J (eds.), Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, pp. 197–288. Amsterdam: Elsevier, 2006.

    Chapter  Google Scholar 

  44. Meyer JJC, and van der Hoek W. Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press, 2004.

    Google Scholar 

  45. Monk JD. Mathematical Logic. New York: Springer-Verlag, 1976.

    Google Scholar 

  46. Øhrstrøm P, and Hasle P. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer Acedemic Publishers, 1995.

    Google Scholar 

  47. Øhrstrøm P, and Hasle P. Modern temporal logic. In: Gabbay DM, and Woods J (eds.), Handbook of the History of Logic, Volume 7, Logic and the Modalities in the Twentieth Century, pp. 447–498. Amsterdam: Elsevier, 2006.

    Chapter  Google Scholar 

  48. Perry J. From worlds to situations. Journal of Philosophical Logic 1986; 15:83–107.

    Article  Google Scholar 

  49. Popkorn S. First Steps in Modal Logic. Cambridge: Cambridge University Press, 2003.

    Google Scholar 

  50. Prior AN. Diodoran modalities. Philosophical Quarterly 1955; 5:205–213.

    Article  Google Scholar 

  51. Prior AN. Time and Modality. Oxford: Clarendon Press, 1957.

    Google Scholar 

  52. Prior AN. Past, Present and Future. Oxford: Clarendon Press, 1967.

    Google Scholar 

  53. Prior AN. Papers on Time and Tense. Oxford: Clarendon Press, 1968.

    Google Scholar 

  54. Quine WVO. Notes on existence and necessity. Journal of Philosophy 1943; 40:113–127.

    Article  Google Scholar 

  55. Quine WVO. The problem of interpreting modal logic. The Journal of Symbolic Logic 1947; 12:43–48.

    Article  Google Scholar 

  56. Quine WVO. Reference and modality (grown out of a fusion of [Quine, 1943] with [Quine, 1947]). Reprinted in [Quine, 1963], pp. 139–159. All page references are to the reprinted version.

    Google Scholar 

  57. Quine WVO. From A Logical Point of View. New York: Harper and Row, 1963.

    Google Scholar 

  58. Rescher N. Topics in Philosophical Logic. Dordrecht: D. Reidel Publishing Company, 1968.

    Google Scholar 

  59. Rescher N. Epistemic Logic. A Survey of the Logic of Knowledge. Pittsburgh: University of Pittsburgh Press, 2005.

    Google Scholar 

  60. Ross A. Imperatives and logic. Theoria 1941; 7:53–71.

    Google Scholar 

  61. Sadegh-Zadeh K. Foundations of clinical praxiology. Part II: Categorical and conjectural diagnoses. Metamedicine 1982; 3:101–114.

    Article  Google Scholar 

  62. Soames S. Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity. New York: Oxford University Press, 2002.

    Google Scholar 

  63. van Benthem J. The Logic of Time. Dordrecht: Kluwer Academic Publishers, 1991.

    Google Scholar 

  64. von Wright GH. An Essay in Modal Logic. Amsterdam: North-Holland Publishing Company, 1951.

    Google Scholar 

  65. von Wright GH. Deontic logic. Mind 1951; 60:1–25.

    Article  Google Scholar 

  66. von Wright GH. An Essay in Deontic Logic and the General Theory of Action. Amsterdam: North-Holland Publishing Company, 1968.

    Google Scholar 

  67. von Wright GH. A new system of deontic logic. Danish Yearbook of Philosophy 1971; 1:173–182.

    Google Scholar 

  68. von Wright GH. Normen, Werte und Handlungen. Frankfurt: Suhrkamp Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Theory of Medicine Department, University of Münster, 48149, Münster, Germany

    Kazem Sadegh-Zadeh

Authors
  1. Kazem Sadegh-Zadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kazem Sadegh-Zadeh .

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Sadegh-Zadeh, K. (2012). Modal Extensions of Classical Logic. In: Handbook of Analytic Philosophy of Medicine. Philosophy and Medicine(), vol 113. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2260-6_27

Download citation

Publish with us

Policies and ethics

Search

Navigation