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. (shrink)
Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
We define prenormal modal logics and show that S1, S1, S0.9, and S0.9 are Lewis versions of certain prenormal logics, determination and decidability for which are immediate. At the end we characterize Cresswell logics and ponder C. I. Lewis's idea of strict implication in S1.
Having gained some idea of what MacIntosh logics there are, we conclude this paper with a remark about the totality of them. Let theterritory of a rule or condition be the class of all modal logics that have the rule or satisfy the condition. What is MacIntosh territory, the class of all normal logics with the MacIntosh rule, like? What is its structure?
In his paper Leblanc seeks to supplant traditional forms of semantic theory with truth-value analyses. I have tried, here, to extend the scope, if not the limits, of his results. But now, in closing, I wish to register some reservations about his notion of relevance.Leblanc eschews the customary semantic analysis of intensional languages — the so-called ‘possible worlds’ semantics — as making ‘metaphysical virtue out of logical necessity’. And so he would replace such accounts with ‘truth-value’ analyses. But, alas, these (...) theories are seen to have only limited application. Either all the atoms of a language must be evaluated by the functions in W in a truth-value ℋ 〈W, α, R〉, or the functions must be indexed. Because I share Leblanc's opinion that it ought to be that only the atoms of a theory are linguistically pertinent to it, I opt for the second alternative. Here, of course, things work out all right. But, as Leblanc notes, indexing the functions is equivalent to doing semantics in the usual way. In either case, new parameters are required for the evaluation of theories. So more than just the truth-values of a theory's atoms is relevant.My concern is with natural languages. It has long been recognized — though only more recently well articulated4 — that an adequate semantic analysis of such languages, with their indexical and intensional features, must relativize the notion of truth to various indices, viz., aspects of the contexts of utterance of sentences. It is clear that the truth-value of ‘If your feet hurt, then it may rain tomorrow’ depends on more than just the truth-values of its atoms: the speaker, hearer, place, and time of utterance of the sentence are at least to be included among the extra-linguistic features required for an evaluation of the sentence. Such indices thus provide various realizations of the notion of a possible world, and they are all relevant. (shrink)