Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide (...) range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs. (shrink)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

Presents a mathematically rigorous, philosophically sound foundation for a science of information.

Robert Stalnaker draws together in this volume his seminal work in metaphysics. The central theme is the role of possible worlds in articulating our various metaphysical commitments. The book begins with reflections on the general idea of a possible world, and then uses the framework of possible worlds to formulate and clarify some questions about properties and individuals, reference, thought, and experience. The essays also reflect on the nature of metaphysics, and on the relation between questions about what there is (...) and questions about how we talk and think about what there is. Two of the fourteen essays, plus an extensive introduction that sets the papers in context and draws out the essays' common threads, are published here for the first time. (shrink)

The discussion of supervenience is replete with the use of in?nitary logical operations. For instance, one may often ?nd a supervenient property that corresponds to an in?nite collection of supervenience-base properties, and then ask about the in?nite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction than many non-reductive physicalists suppose. It also appears in recent discussions such as Jackson (1998).

The purpose of this book is to develop a terminological structure in which private perceptions can be discussed publicly without bringing into existence the usual unnecessary philosophical problems of confused usage of language. chisholm displays an appraisive, quasi-ethical use of language, whereby he claims that a thing has some particular sensible property is to have adequate evidence that it actually does have that property. (staff).

Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.

This paper discusses the basic two-dimensional framework and identifies the requirements to apply it to the phenomena of speech and thought. It then contrasts two kinds of interpretation — two ways of applying the abstract two-dimensional framework — that suggest different pictures of the phenomena Kripke brought to light. It shows what must be assumed about how the problem of intentionality must be solved to sustain the kind of general reduction of necessary a posteriori truth that Jackson and Chalmers propose.