Introductory Modal Logic

Kenneth J. Konyndyk

Description

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.

Sujets

• Philosophie
• Épistémologie
• Métaphysique
• Philosophie de la religion
• Religious
• PHILOSOPHY
• Philosophie et théologie
• Logic
• Metaphysics

Informations

• Publié par: University of Notre Dame Press
• Date de parution: 31 mai 1986
• Nombre de lectures: 0
• EAN13: 9780268082581
• Langue: English
• Poids de l'ouvrage: 8 Mo

Extrait

University of Notre DamePress Notre Dame, Indiana, 46556 www.undpress.nd.edu All Rights Reserved

Published in the United States of America

Copyright © 1986 by University of Notre Dame Reprinted in 1993, 1996, 2002, 2008

Library of Congress Cataloging-in-Publication Data

Konyndyk, Kenneth. Introductory modal logic.

Bibliography: p. 1. Modality (Logic) I. Title. BC199.M6K66198616085-41007 ISBN 13: 978-0-268-01159-8 (pbk.) ISBN 13: 978-0-268-02407-9 (hardback)

∞This book is printed on acid-free paper.