Introductory Modal Logic

di Kenneth J. Konyndyk (Autore)

University of Notre Dame Press, 1986

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.

• Autore: Kenneth J. Konyndyk
• Editore: University of Notre Dame Press
• Anno: 1986
• Rilegatura: Paperback / softback
• Pagine: 144 p.
• EAN: 9780268011598

Testo in English