This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Foundational issues of objective idealism—the title of this treatise appears to be obsolete in a twofold sense and may from the outset count on being met with suspicion, if not with preconceived disapproval. For, first, in the present spiritual climate foundational issues generally do not enjoy excessive popularity; and, second, objective idealism appears to be virtually the epitome of a long bygone form of philosophy. The desire to attempt a foundation of this passé type of thinking, has to strike one (...) as provocative, must be disconcerting. (shrink)

According to the Genuine Modal Realist, there is a plurality of possible worlds, each world nothing more than a maximally inter-related spatiotemporal sum. One advantage claimed for this position is that it offers us the resources to analyse, in a noncircular manner, the modal operators. In this paper, we argue that the prospects for such an analysis are poor. For the analysis of necessity as truth in all worlds to succeed it is not enough that no modal concepts be used (...) in the realist's account of a possible world (a fact we grant); rather, such an analysis will succeed only if the set of worlds that is postulated is complete. By appealing to plausible truths about the number of possible alien natural properties, we show that there are serious difficulties in guaranteeing that such a set exists without taking some modal concept as primitive. Accordingly, at least in its current form, Genuine Modal Realism must curtail its analytic ambitions. (shrink)

The Contingency Postulate of Truth. - Is there a statement that cannot be false under any contingent conditions? Two well-known philosophical schools have given contradictory answers to this question about the existence of a necessarily true statement: Fallibilists (Albert, Keuth) have denied its existence, transcendental pragmatists (Apel, Kuhlmann) and objective idealists (Wandschneider, Hösle) have affirmed it. Dieter Wandschneider has (following Vittorio Hösle) translated the principle of fallibilism, according to which every statement is fallible, into a thesis which he calls the (...) contingency postulate of truth (CPT). It says: <For every true statement there are contingent conditions.> If this postulate were true, it would mark an insurmountable boundary of knowledge: a final epistemic justification would then not be possible. Wandschneider has therefore developed a counterargument to show that the contingency postulate of truth cannot be formulated without contradiction and implies the thesis that there is at least one necessarily true statement. This essay deals with the systematic question whether the contingency postulate of truth really cannot be presented without contradiction. To this end I will first present the contingency postulate and the associated problems (I.). Then I will analyze Wandschneider's argument against the consistency of the contingency postulate (II.) and finally reject it with the help of some considerations from the field of epistemic logic (III.). (shrink)

This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.

Is it merely a matter of taste or convention to consider something right or wrong? Or can we find good reasons for our values and judgements that are independent of culture and tradition? The problem is as old as philosophy itself; and after more than two millennia of scholarly debate, there seems no end to the controversy. But Christian Illies suggests that powerful new forms of transcendental argument (a philosophical tool known since antiquity) may offer a long-sought cornerstone for morality.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.