Online research in philosophy

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re.

This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.

This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers.

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a)  Aristotle might have been fond of dogs (b)  Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results.

This article is oriented toward the use of modality in artificial intelligence (AI). An agent must reason about what it or other agents know, believe, want, intend or owe. Referentially opaque modalities are needed and must be formalized correctly. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.I have no proof that modal logic is inadequate, so I hope modal logicians will take the examples as challenges.

In this book, Scott Soames defends the revolution in philosophy led by Saul Kripke, Hilary Putnam, and David Kaplan against attack from those wishing to revive ..

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".