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)

Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.

The general verificationist thesis says that What is true can be known or formally: φ → ◊Kφ VT Fitch's argument trivializes this principle. It uses a weak modal epistemic logic to show that VT collapses truth and knowledge, by taking a clever substitution instance for φ: P ∧ ¬KP → ◊ K(P ∧ ¬KP) Then we have the following chain of three conditionals (a) ◊ K(P ∧ ¬KP) → ◊ (KP ∧ K¬KP) in the minimal modal logic for the knowledge (...) operator K, (b) ◊ (KP ∧ K¬KP) → ◊ (KP ∧¬KP) in the modal logic T, and finally (c) ◊ (KP ∧¬KP) → ⊥ in the minimal modal logic for. (shrink)

Dynamic doxastic logic (DDL) is the modal logic of belief change. In basic DDL a modal operator [* ϕ ] carries the informal meaning "after the agent has revised his beliefs by ϕ " or "after the agent has accepted the information that ϕ "; it is assumed that the arguments of the star operator * are pure Boolean formulae. That assumption is discarded in full DDL where any pure doxastic formula may be an argument. As noted by other authors, (...) a straight-forward extension of the theory from basic DDL to full DDL invites problems of the kind first discussed by G. E. Moore. In this paper it is argued that a way to escape those problems is to redefine revision in a way that seems appropriate for this semantically richer context. The paper deals only with the one-agent case, but the approach can be extended to the case of multiple agents. (shrink)

Collects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel.

Positive thinkers love Watty Piper's The little engine that could. The story features a train laden with toys for deserving children on the other side of the mountain. After the locomotive breaks down, a sequence of snooty locomotives come up the track. Each engine refuses to pull the train up the mountain. They are followed by a weary old locomotive that declines, saying "I cannot. I cannot. I cannot." But then a bright blue engine comes up the track. He manages (...) to chug over the mountain by averring "I think I can. I think I can. I think can.". (shrink)