This last paper is especially important for its extension of tarskiis theorem to necessity, or necessary truth, as a. Montague, one of tarskis most accomplished american students, spent his entire career teaching in the ucla department of philosophy. And before the birth of formal semantics in the late 1960s, most linguists and philosophers were agreed. Nevertheless, given the expository purposes of this article, thats mostly what i will do. Formal capacity of montague grammars sciencedirect. Montagues treatment of determiner or quantifier phrases. Montague, one of tarskis most accomplished american students, spent his entire career teaching in the ucla department of philosophy, where he supervised the dissertations of nino cocchiarella and hans kamp. Montague grammar is more general and is commonly used to refer to anything within montagues three main texts concerning syntax and semantics. Thomason philosophy department university of michigan ann arbor, mi 481091003 u. Since then, as the first international scholar who introduced montague grammar, on which formal semantics is based, you have established a reputation among chinese scholars. This paper also introduces the simply typed lambda.
One tradition, call it the system perspective, thinks of a language as a collection of formal rules. On the history of the question of whether natural language is. Montague pioneered this approach in the 1960s and early 1970s. Still, since the 1980s one has been unable to buy a new copy of richard montague s formal philosophy, a collection of papers published a few years after his violent death in 1971. Property theory and the revision theory of definitions. Nicholas asher and alex lascarides indirect speech. Formal philosophy, selected papers of richard montague. Montague grammar montague s universal grammar ug is a general theory of language developed to. On the history of the question of whether natural language.
Through the efforts of especially barbara partee e. Montague semantics, nominalization and scotts domains. Montague grammar and transformational grammar, linguistic inquiry vi, 1975, and can perhaps be traced back to 1972. Proceedings of the ninth international conference on computational linguistics. The disciplines of semantics and pragmatics have roots in philosophy, but the research programs initiated largely by montague s 1974 theory of nat ural language semantics, austin s. Whether youve loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. Montagues formal philosophy in china, chinese scholars began to read your compilation entitled montague grammar. We show how a formal semantic theory of discourse interpretation can be used to define speech acts and to avoid murky issues concerning the metaphysics of action. Barandregt, h 1977, the typefree lambda calculus,handbook of mathematical logic, ed. Richard montague, on the paradox of grounded classes muller, gert heinz, journal of symbolic logic, 1956. My work pursues especially perplexing issues and problems in metaphysics through the investigation of language.
Nathan salmon department of philosophy uc santa barbara. A comment on the new prediction paradox cargile, james, journal of symbolic logic, 1965. We provide a formally precise definition of indirect speech acts, including the subclass of socalled. Ill focus on montagues contributions to the founding of formal semantics. The principal sources of formal semantics formal semantics has roots in several disciplines, most importantly logic, philosophy, and linguistics. Some philosophers and logicians have argued that natural language is logically deficient, or even that natural language has no logic. The most important figure in its history was richard montague 19301971, whose seminal works date from the late 1960s and beginning of the 1970s. To us, the revolutionary idea in montague s ptq paper and earlier papers is the claim that natural language is not impossibly incoherent, as his teacher tarski had led us to believe, but that. It relies on rigid type distinctions at the grammatical level to circumvent the property theorists major problem, namely russells paradox, or, more generally, the paradoxes of predication. My second book, freges puzzle ridgeview, 1986, 1991, belongs. Richard montague was a mathematician, theorist and ucla.
Like montagues semantics, tichys formal work is based on a type hierarchy with intensions mapping worlds to extensions at each type level, but it goes beyond montague in certain respects. Ill give an overview, and report some recent developments, of formal semantics in modern type theories mttsemantics for short 25, 14, 4. Popper, the british journal of philosophy of science. Syntax syntax in montague grammar consists of syntactic rules and syntactic operations as. Therefore there is no independent or at least an agreed way to approach the problem. Computational semantics with functional programming. Russells typetheory can be seen as a theory of properties, relations, and propositions prps in short, a property theory. Mar, 2018 montague treats all determiner phrases as belonging to type e t t, i. The following sections of this paper will examine syntax and semantics as handled in montague grammar. For some years formal philosophy has been a buzzword in analytic philosophy, as fullon symbolization of philosophical problems has become routine.
Formal philosophy selected papers of richard montague. Mttsemantics is a semantic framework for natural language, in the tradition of montagues semantics 21. Like most philosophical schools, its members refuse to call their method a school, and prefer to point to the differences among themselves. Martin gardner, the british journal of philosophy of science. Frege is regarded as a patron saint although some would want to trace their history. Thomason 1978 british journal for the philosophy of science 29 2. We mention three foundational issues that distinguish montague grammar, and formal semantics in general, from other approaches to semantics. Pdf a new introduction to modal logic download full pdf. Some aspects of montague s approach met with resistance or skepticism in the linguistics community, and some aspects were controversial among philosophers. Formal philosophy jeffry pelletier formal philosophy is a way of doing philosophy. He is best known for his groundbreaking work in linguistics. A student of alfred tarski, montague made important contributions to set theory and model theory contributions to natural language semantics. Formal semantics and pragmatics as they have developed since the late 1960s have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.
It takes students through all logical stepsfrom premise to conclusionand presents appropriate symbols and terms, while giving examples to clarify principles. Formal semantics for causal constructions richmond h. As such, in montague s view, the study of natural language belonged to mathematics, and not to psychology thomason 1974, 2. An important, if obvious, moral of the story is that the question of whether natural language is logical, which may be viewed as a version of the question of whether natural language semantics is compositional, is a theorydependent matter. No parsing algorithm was previously known to exist for these grammars. Formal semantics in modern type theories an overview. Selected papers of richard montague, yale up new haven 1974. Foundations of intensional semantics mit press journals. Techniques of formal reasoning, 2e is an introductory volume that teaches students to recognize and construct correct deductions. Richard montague, the proper treatment of quantification in ordinary english, approaches to natural language 1973 r. Montague treats all determiner phrases as belonging to type e t t, i. Abstract full text formal semantics and pragmatics as they have developed since the late 1960s have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science. Thomason, philosophy and formal semantics fitting, melvin, journal of symbolic logic, 1977.
For one thing, intensions depend not only on worlds, but also on times. It takes students through all logical stepsfrom premise to conclusionand presents appropriate symbols and terms, while giving examples to clarifyprinciples. Montague semantics stanford encyclopedia of philosophy. My first book, reference and essence princeton university press and basil blackwell, 1982, deals with a nest of issues in an area of overlap between the philosophy of language and metaphysics. The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars.
Pdf montagues treatment of determiner or quantifier. Montagues own work, it was the latter that was more important. Richard montague and the logical analysis of language. Some aspects of montagues approach met with resistance or skepticism in the linguistics community, and some aspects were controversial among philosophers. In this paper, we address several puzzles concerning speech acts, particularly indirect speech acts.
Formal philosophy selected papers of richard montague edited and with an introduction byr i c h m o n d h. Formal philosophy, selected papers of richard montague edited and with an introduction by richmond h. Montague, richard 193071 richard montague was a logician and. Logic, 2e uses models to establish the invalidity of arguments, and includes. Ucla library special collections language of material.
Montague taught in the ucla philosophy department from 1955 until. Montague held the view that natural language was a formal language very much in the same sense as predicate logic was a formal language. Ug relates syntax and semantics by creating a formal interpretation of freges philosophy that an expressions meaning is a function of the meaning of its constituents and its syntax. Lecture notes richard montague papers, 19481971 264 5 box 12, folder 3 philosophy 241. Nonetheless, we can point to certain tendencies in this cult. Pdf a new introduction to modal logic download full. Richard montague 19301971 was an american logician. At the university of california, berkeley, montague earned a b. Semantics interface an overview sciencedirect topics. The paper of montagues that had the most impact on linguists and on the subsequent development of formal semantics was ptq montague 1973. Other readers will always be interested in your opinion of the books youve read. Like most philosophical schools, its members refuse to call their method a school, and prefer to point to the differences among them selves. David kaplan, richard montague, notre dame journal of formal logic.
In this paper i describe the environment in which formal. Logic, 2e uses models to establish the invalidity of arguments, and includes exercise sets. Montague wrote on the foundations of logic and set theory, as would befit a student of tarski. Richard montague, towards a general theory of computability davis, martin, journal of symbolic logic, 1964.
Still, since the 1980s one has been unable to buy a new copy of richard montagues formal philosophy, a collection of papers published a few years after his violent death in 1971. To us, the revolutionary idea in montagues ptq paper and earlier papers is the claim that natural language is not impossibly incoherent, as his teacher tarski had led us to believe, but that. A lesniewskian version of montague grammar acl anthology. The montague grammar is based on formal logic, especially higherorder predicate logic and lambda calculus, and makes use of the notions of intensional logic, via kripke models. I reject the contention that an important theoretical difference exists between formal and natural languages. The different ways in which logic is said to be formal. Montague grammar has often meant what montague did in the fragment in ptq and the. However, while montagues semantics is based on churchs simple type theory 5, 8 and. Intensional logic stanford encyclopedia of philosophy. With montague as a central but not solo player in the story, i re. Montagues most famous paper on semantics, the proper treatment of quantification in ordinary english, has been anthologized in fact, a pdf of an anthology. Congress for logic, methodology and philosophy of science in. Barbara h partee university of massachusetts amherst there have been centuries of study of logic and of language. Montague grammar montagues universal grammar ug is a general theory of language developed to.
1133 756 331 49 1314 1228 1014 238 925 1564 1303 1494 152 1607 729 1633 1092 512 67 13 914 1298 797 42 947 354 1267 1452 1474 463 300 210 1055 1489 1403 143 2