"The Hardest Logic Puzzle Ever" was first described by the late George Boolos in the Spring 1996 issue of the Harvard Review of Philosophy. Although not dissimilar in appearance from many other simpler puzzles involving gods (or tribesmen) who always tell the truth or always lie, this puzzle has several features that make the solution far from trivial. This paper examines the puzzle and describes a simpler solution than that originally proposed by Boolos.

We review Potts’ influential book on the semantics of conventional implicature (CI), offering an explication of his technical apparatus and drawing out the proposal’s implications, focusing on the class of CIs he calls supplements. While we applaud many facets of this work, we argue that careful considerations of the pragmatics of CIs will be required in order to yield an empirically and explanatorily adequate account.

This book revives the study of conventional implicatures in natural language semantics. H. Paul Grice first defined the concept. Since then his definition has seen much use and many redefinitions, but it has never enjoyed a stable place in linguistic theory. Christopher Potts returns to the original and uses it as a key into two presently under-studied areas of natural language: supplements and expressives. The account of both depends on a theory in which sentence meanings can be multidimensional. The theory (...) is logically and intuitively compositional, and it minimally extends a familiar kind of intensional logic, thereby providing an adaptable, highly useful tool for semantic analysis. The result is a linguistic theory that is accessible not only to linguists of all stripes, but also philosophers of language, logicians, and computer scientists who have linguistic applications in mind. (shrink)

This is a formal and systematic study of the logical foundations of speech act theory. The study of speech acts has been a flourishing branch of the philosophy of language and linguistics over the last two decades, and John Searle has of course himself made some of the most notable contributions to that study in the sequence of books Speech Acts, Expression and Meaning and Intentionality. In collaboration with Daniel Vanderveken he now presents the first formalised logic of a general (...) theory of speech acts, dealing with such things as the nature of an illocutionary force, the logical form of its components, and the conditions of success of elementary illocutionary acts. The central chapters present a systematic exposition of the axioms and general laws of illocutionary logic. (shrink)