Introductory Modal Logic

University of Notre Dame Press (1986)
  Copy   BIBTEX

Abstract

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2014-02-06

Downloads
18 (#711,533)

6 months
6 (#202,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
An Argument for P = NP.Selmer Bringsjord - 2017 - Minds and Machines 27 (4):663-672.
Rigour, Proof and Soundness.Oliver M. W. Tatton-Brown - 2020 - Dissertation, University of Bristol

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references