Philosophical/Non-Classical Logic

   Philosophical / non-classical logics

  • Philosophical Logic (PHV142)
  • Logic in Philosophy (PHV442en)
  • Philosophical Logic: Selected Chapters (PHV443en)

   Teacher

prof. Jiří Raclavský, Ph.D.

   Contents

The courses focus on the most known systems of philosophical and non-classical logics and main topics of philosophical logic. Passing the courses Logic I, II (see Propositional Logic, Predicate Logic), or similar courses, is highly recommended.

See also the courses syllabi in IS MU.

   List of topics (incomplete)

  • Frege's work
  • Russell's work
  • modal logic
  • epistemic logic
  • intuitionistic logic
  • many-valued logics and fuzzy logic
  • intensional and hyperintensional logics
  • paraconsistent logic
  • systems of deduction
  • type theory (simple, ramified)
  • (logical) theories of truth (esp. Tarski)
  • logical and semantic paradoxes
  • ontological proof in the setting of higher-order modal logic
  • the notion of paradox
  • propositions, propositional attitudes, hyperintensionality
  • limits of explication of propositional notions (necessity, truth, knowing)
  • 2D conception of inference
  • type theory: semantics, Curry-Howard correspondence
  • intuitionistic type theory (Martin-Loef)
  • substitution (Leibniz rule)
  • existential generalisation
  • square of opposition in higher-order modal logic
  • truth-likeness from the logical perspective
  • Goedel's results and their impact

   E-support

Both courses are e-supported in Elfu and IS MU.

   Selected references

  • Benthem, J. F. A. K. van, Meulen, Alice ter (ed.) (1997): Handbook of Logic and Language. Amsterdam: Elsevier.
  • Cohnitz, Daniel; Estrada-González, Luis (2019): An Introduction to the Philosophy of Logic. Cambridge UP.
  • Gabbay, Dov M., Guenther, Franz (2001-): Handbook of Philosophical Logic. Vols. 1-17. 2nd edition. Springer.
  • Goble, Lou (ed.) (2001): The Blackwell Guide to Philosophical Logic. Malden: Blackwell.
  • Grayling, Anthony C. (2001): An Introduction to Philosophical Logic. Wiley-Blackwell.
  • Jacquette, Dale (ed.) (2006): Philosophy of Logic. North Holland.
  • Jacquette, Dale (ed.) (2002): Philosophy of Logic: An Anthology. Oxford: Blackwell Publishing.
  • Haack, Susan (1978): Philosophy of Logics. Cambridge UP.
  • Horsten, Leo, Pettigrew, Richard (eds.) (2011/2014): The Bloomsbury Companion to Philosophical Logic. Bloomsbury.
  • MacFarlane, John (2021): Philosophical Logic: A Contemporary Introduction. New York: Routledge, Taylor and Francis Group.
  • Englebretsen, George, Sayward, Charles (2011): Philosophical Logic. An Introduction to Advanced Topics. Publisher: Bloomsbury Academic.
  • Fisher, Jennifer (2001): On the Philosophy of Logic. Thomson Wadworth.
  • Kolář, Pavel (1999): Argumenty filosofické logiky. Praha: Academia.
  • Priest, Graham (2008): Introduction to Non-Classical Logic. 2nd ed. Cambridge UP.
  • Heijenoort, Jean van (1967): From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, Massachusetts: Harvard UP.
  • Read, Stephen (1994): Thinking about Logic. An Introduction to the Philosophy of Logic. Oxford UP.
  • Shapiro, Stewart (ed.) (2007): The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford UP.
  • Swart, Harrie de (2018): Philosophical and Mathematical Logic. Springer.
  • Sainsbury, R. M. (2001): Logical Forms: An Introduction to Philosophical Logic. 2nd ed. Malden: Blackwell Publishing.
  • Wolfram, Sybill (1989): Philosophical Logic: An Introduction. London: Routledge.

Last update 25/03/2023.