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. (shrink)

Aquinas’s reflection on the relationship between faith and science took place amidst serious controversy about the acceptability of the very form of science Aquinas had adopted. Aquinas uses the Aristotelian conception of science and his own view of the place of theology and faith, to produce arguments for the compatibility of reason and science. I examine the arguments he presents in the Summa Contra Gentiles, and I criticize details of his arguments, but I endorse what I see as his general (...) strategy. (shrink)

Three very different assessments of the rationality of theistic belief have emerged from Oxford University in recent years. Richard Swinburne argues that theism is rationally demonstrable, producing a trilogy and more of books building an evidential case for theism. The late John Mackie, on the other hand, argued persistently that theism is not supported by the evidence usually offered for it and is controverted by our best evidence. The most rational course of action, according to him, is to be an (...) atheist. Anthony Kenny, meanwhile, takes an agnostic position, arguing on personal grounds that he neither has adequate reason to accept theism nor adequate reason to embrace atheism. Although he says this issue is one on which it is important to have a view and one on which he formerly held a view, he unhappily finds himself in the position of being agnostic. (shrink)