Online research in philosophy

With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the pioneers just mentioned, of course— , and discuss the main elements of their work that helped shape formal semantics in some detail. But Wittgenstein is conspicuously absent whenever the history of the subject is mentioned (usually briefly, if at all).

Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and ...

This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.

Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.