Formal capacity of montague grammars sciencedirect. Montagues most famous paper on semantics, the proper treatment of quantification in ordinary english, has been anthologized in fact, a pdf of an anthology. Montague semantics stanford encyclopedia of philosophy. Philosophy of semantics can natural language be captured in a formal system. He is best known for his groundbreaking work in linguistics. Information about the openaccess article formal semantics. This collection consists of professional and personal materials relating to mathematician and ucla professor of philosophy, richard montague. The different ways in which logic is said to be formal. My goal in this paper is to argue that the question in the title is one that urgently needs attention from both linguists and philosophers, although i do not have an answer for it. In talks and papers on the history of formal semantics, ive emphasized the scene in the us into which montague emerged.
This article explains some of the technical terms commonly used in semantic theory. Montague pioneered this approach in the 1960s and early 1970s. Catarina dutilh novaes 2011 history and philosophy of logic 32 4. The heart of the book is in chapters three to eight pp. Attempts have then been made to combine some such property theory with a montaguestyle approach in natural language semantics. International encyclopedia of the social and behavioral sciences. About natural language versus formal language i presented natural language versus formal language as an invited speaker together with frederic fitch, bas van fraassen, and richard montague in the joint symposium by that title of the association for symbolic logic. Nathan salmon department of philosophy uc santa barbara. 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. The aim of this paper is to present in a rigorous way the syntax and semantics of a. About natural language versus formal language philosophy. Selected papers of richard montague, edited and with an introduction by richmond h. Angelika kratzer 1989 linguistics and philosophy 12 5.
Richard montague and the logical analysis of language. A logical conceptualization of knowledge on the notion of. It was originally developed by the logician richard montague 19301971 and subsequently modified and extended by linguists, philosophers, and logicians. Proper names refer to objects, and a proper names extension is the object to which it refers. Jul 06, 2007 project euclid mathematics and statistics online. Introduction since montagues classical papers english as a formal language, now efl1970, universal grammar, ugi 970, and the proper treatment of quantification in ordinary english, ptq1973 have been published, the literature on montagues theory, a. On the history of the question of whether natural language. Richard montague 19301971 was an american logician. Extension, intension, character, and beyond semantic scholar. Compositionality in montague grammar semantic scholar. Most notably, chierchia and turner 15 propose a montaguestyle semantic analysis of a fragment of english, by basically relying on the typefree system of turner 35.
The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. Like most philosophical schools, its members refuse to call their method a school, and prefer to point to the differences among themselves. Links to various papers, many coauthored by jeroen groenendijk and frank veltman. In addition to such human languages as english, spanish, russian, and chinese, with which we are all familiar, there are many less wellknown languages, many of them spoken by hundreds of people. 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. But ive been reminded by a number of european colleagues that parts of that context were quite usspecific. Formal philosophy jeffry pelletier formal philosophy is a way of doing philosophy. Richard montague, the proper treatment of quantification in ordinary english, approaches to natural language 1973 r. 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. Selected papers of richard montague, yale up new haven 1974.
In the wake of the new interest in formal semantics much new research has. My work pursues especially perplexing issues and problems in metaphysics through the investigation of language. The papers includes correspondence, lecture notes, research notes, and a manuscript of a monograph. With montague as a central but not solo player in the story, i re. Online library formal philosophy selected papers of richard montague formal philosophy selected papers of richard montague eventually, you will unquestionably discover a other experience and triumph by spending more cash. Attempts have then been made to combine some such property theory with a montague style approach in natural language semantics.
The notion of an extension is a generalization of the notion of reference. Truthconditional semantics has its roots in the work of frege and analytic philosophy, which was designed to overcome the vagueness, ambiguities, and dubious ontological commitments of natural language. Formal philosophy, selected papers of richard montague. While the inner sanctum of the montague system are eternal homomorphisms between the algebras of natural and formal languages, gsv started looking at the dynamic agency behind natural language, as was also done by lewis, stalnaker and kamp. The essential readings is a collection of seminal papers that have shaped the field.
The paper of montagues that had the most impact on linguists and on the subsequent development of formal semantics was ptq montague 1973. Some philosophers and logicians have argued that natural language is logically deficient, or even that natural language has no logic. Montague grammar is an approach to natural language semantics, named after american logician richard montague. The history of formal semantics is a history of evolving ideas about logical form. In this paper i describe the environment in which formal.
Numerous and frequentlyupdated resource results are available from this search. The context in which formal semantics emerged was different on the two sides of the ocean. 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. Barbara h partee university of massachusetts amherst there have been centuries of study of logic and of language. Nonetheless, we can point to certain tendencies in this cult. Richard montague papers california digital library. This course is an introduction to doing formal semantics for linguists, based on the theory of richard montague and theories developed within his approach. Richard montague, towards a general theory of computability davis. A student of alfred tarski, montague made important contributions to set theory and model theory contributions to natural language semantics. Formal philosophy selected papers of richard montague.
Box 10, folder 4 church, manuscript on formal theories. I reject the contention that an important theoretical difference exists between formal and natural languages. Montague 1970b or the present paper, in that although it admitted indirect discourse, it failed to. Through the efforts of especially barbara partee e. Formal philosophy, selected papers of richard montague edited and with an introduction by richmond h. Drawing in part on research in the archived montague papers in the. Other readers will always be interested in your opinion of the books youve read. Formal philosophy selected papers of richard montague edited and with an introduction byr i c h m o n d h. Most notably, chierchia and turner 15 propose a montague style semantic analysis of a fragment of english, by basically relying on the typefree system of turner 35. The aim of the paper is to outline a formal logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. Reliable information about the coronavirus covid19 is available from the world health organization current situation, international travel.
Although arguments can vary in their level of formality, a more formal argument can be broken down into a series of bullet points and not lose any credibility. Artificial and natural languages the only natural languages we know of are human. Like most philosophical schools, its members refuse to call their method a school, and prefer to point to the differences among them selves. Montague grammar has often meant what montague did in the fragment in ptq and the. When partee became a faculty member at the university of massachusetts at amherst, her classes on montague grammar became an attraction to many prominent linguists and logicians. However, formatting rules can vary widely between applications and fields of interest or study. For some years formal philosophy has been a buzzword in analytic philosophy, as fullon symbolization of philosophical problems has become routine. 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. Montague semantics is a theory of natural language semantics and of its relation with syntax. 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. Formal philosophy jeffry pelletier a formal philosophya is a way of doing philosophy. 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. This article, which consists of explanatory notes to montagues paper universal grammar montague, 1970a, has been included here because of its potential usefulness to.
Also available as itli prepublication series lp9002. This series contains materials added to the collection in 20. Richard montague, on the paradox of grounded classes muller, gert heinz, journal of symbolic logic, 1956. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. For these are the papers which expound montagues philosophy of language. Syntactical treatments of modality, with corollaries on re. Although arguments can vary in their level of formality, a more formal argument can be broken down into a series of bullet points and. 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. Property theory and the revision theory of definitions. The more marginalized languages are dying out at an alarming rate. Property theory and the revision theory of definitions the. Thomason, philosophy and formal semantics fitting, melvin, journal of symbolic logic, 1977. Thomason 1978 british journal for the philosophy of science 29 2.
Erkenntnis is a philosophical journal publishing papers committed in one way or another to the philosophical attitude which is signified by the label analytic philosophy. To us, the revolutionary idea in montagues ptq paper and earlier papers is. The essential readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics. In this article, we develop a singletype logic for natural language along the lines of partee 2009, snippets, vol. Formal philosophy formal philosophy pelletier, jeffry 19771001 00. See philosophy of language the role of formal logic reference only empty folder. The proper treatment of quantification in ordinary english. Oclcs webjunction has pulled together information and resources to assist library staff as they consider how to handle. Montague, richard 193071 richard montague was a logician and philosopher whose seminal works on language montague 1970a, 1970b, 1973 founded the theory known after his death as montague grammar, one of the main starting points for the field of formal semantics. My second book, freges puzzle ridgeview, 1986, 1991, belongs. Frege is regarded as a patron saint although some would want to trace their history to leibniz, or the. This logic, called ty 0 3 takes objects of different syntactic categories and modeltheoretic domains to be structured by the same logical type.
A festschrift for jeroen groenendijk, martin stokhof, and frank veltman johan van benthem. Lecture notes richard montague papers, 19481971 264 5 box 12, folder 3 philosophy 241. Nonetheless, we can point to certain tendencies in this. It concentrates on those philosophical fields which are particularly inspired by this attitude, although other topics are welcome as well.
Kjeldahl eds, introduction to formal philosophy, berlinnewyork, springer, 2018, pp. At the university of california, berkeley, montague earned a b. Richard montague, towards a general theory of computability davis, martin, journal of symbolic logic, 1964. Reviews this volume contains a wellbalanced selection of great papers covering fifteen vibrant years of semantic research. I presuppose some familiarity with the basics of montagues work in formal semantics.
553 1076 141 600 894 116 1426 1312 490 441 73 119 749 23 1435 216 496 545 1572 963 793 167 1423 333 989 1175 1012 1488 812 1425 792 423 447 1431 1397