How To Write A Book On Meaning And Speech Acts

Similar documents
TO HELL WITH SPEECH ACT THEORY

Quine on truth by convention

Semantics versus Pragmatics

SEARLE ON MEANING AND ACTION

or conventional implicature [1]. If the implication is only pragmatic, explicating logical truth, and, thus, also consequence and inconsistency.

Cosmological Arguments for the Existence of God S. Clarke

A simple solution to the hardest logic puzzle ever

The Refutation of Relativism

Philosophy of Language

SPEECH ACTS THEORIES A.

2. Argument Structure & Standardization

3. Mathematical Induction

Formal Pragmatics of Non Literal Meaning*

Student Learning Outcome - The 15 Best Based Performance Criteria

Teaching Formal Methods for Computational Linguistics at Uppsala University

Langue and Parole. John Phillips

Introduction to formal semantics -

1/9. Locke 1: Critique of Innate Ideas

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

Hugvísindasvið. Speech Act Theory. A Critical Overview. Ritgerð til B.A.-prófs. Loftur Árni Björgvinsson

What Is Induction and Why Study It?

CHAPTER 7 GENERAL PROOF SYSTEMS

HOW TO WRITE A CRITICAL ARGUMENTATIVE ESSAY. John Hubert School of Health Sciences Dalhousie University

Actuality and fake tense in conditionals *

Predicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering

FROM AN ANALYSIS OF THE NOTION OF ORGANIZATION TO LIMITS ON CONCEPTUAL DIVERSITY

Organizing an essay the basics 2. Cause and effect essay (shorter version) 3. Compare/contrast essay (shorter version) 4

KNOWLEDGE ORGANIZATION

Book Review of Rosenhouse, The Monty Hall Problem. Leslie Burkholder 1

Learning and Teaching

From Logic to Montague Grammar: Some Formal and Conceptual Foundations of Semantic Theory

Writing Thesis Defense Papers

Summarizing and Paraphrasing

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

Handout #1: Mathematical Reasoning

Theory of Automated Reasoning An Introduction. Antti-Juhani Kaijanaho

COMPARATIVES WITHOUT DEGREES: A NEW APPROACH. FRIEDERIKE MOLTMANN IHPST, Paris fmoltmann@univ-paris1.fr

Rigorous Software Development CSCI-GA

John R. Searle Page 1 6 November, 2006 WhatisLanguageforLandauFNLSavas What is Language: Some Preliminary Remarks 1

Kant s Fundamental Principles of the Metaphysic of Morals

Ph.D. Research Proposal

Information Technology and Knowledge Management

VHDL Test Bench Tutorial

CS4025: Pragmatics. Resolving referring Expressions Interpreting intention in dialogue Conversational Implicature

Language Meaning and Use

Basic Proof Techniques

Humanities new methods Challenges for confirmation theory

Objective and subjective ought. Ralph Wedgwood

Mathematical Induction

How to write behavioural objectives Introduction This chapter deals with the concept of behavioural objective in education. Efforts are made to

Introducing Formal Methods. Software Engineering and Formal Methods

Plato gives another argument for this claiming, relating to the nature of knowledge, which we will return to in the next section.

Things That Might Not Have Been Michael Nelson University of California at Riverside

Lecture 9 Maher on Inductive Probability

PRAGMATICS 2. ANCA DINU Feb.2012

1. Current situation Describe the problem or opportunity (the need for your proposal).

Generic Proposal Structure

Rubrics for Assessing Student Writing, Listening, and Speaking High School

Read this syllabus very carefully. If there are any reasons why you cannot comply with what I am requiring, then talk with me about this at once.

Tier One: Possess and Exercise Fundamental Knowledge of the Human and Physical Worlds

THE REASONING ART: or, The Need for an Analytical Theory of Architecture

CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

Students will have lot of opportunities to interact with other students in discussing some of the issues we will be dealing with.

How does the problem of relativity relate to Thomas Kuhn s concept of paradigm?

(2)Russell. (1) The professor was drunk.

Impossible Words? Jerry Fodor and Ernest Lepore

Mathematical Induction

BLACK SWANS AND KNIGHT S EPISTEMOLOGICAL UNCERTAINTY: ARE THESE CONCEPTS ALSO UNDERLYING BEHAVIORAL AND POST WALRASIAN THEORY?

Phil 420: Metaphysics Spring [Handout 4] Hilary Putnam: Why There Isn t A Ready-Made World

Unifying Epistemologies by Combining World, Description and Observer

Overview of the TACITUS Project

KSE Comp. support for the writing process 2 1

ACADEMIC POLICY AND PLANNING COMMITTEE REQUEST FOR AHC GENERAL EDUCATION CONSIDERATION

California State University, Los Angeles Department of Sociology. Guide to Preparing a Masters Thesis Proposal

The Top 10 Misconceptions about Implicature

Review. Bayesianism and Reliability. Today s Class

How the Computer Translates. Svetlana Sokolova President and CEO of PROMT, PhD.

6-1. Process Modeling

Requests in International Business s

Speech act theory and the analysis of conversations. Sequencing and interpretation in pragmatic theory

Logical Foundations of Cognitive Science

Practical Research. Paul D. Leedy Jeanne Ellis Ormrod. Planning and Design. Tenth Edition

Sense and Meaning. Consider the following familiar and seemingly cogent anti-fregean argument. 1

FACULTY UNDERGRADUATE PORTFOLIO GUIDELINES AND FAQ

HOW TO WRITE A THEOLOGICAL PAPER 1 Begin everything with prayer!!! 1. Choice of the Topic. 2. Relevant Scriptural Texts

Boolean Design of Patterns

Facilitating Business Process Discovery using Analysis

Last year was the first year for which we turned in a YAP (for ), so I can't attach one for

Semantic analysis of text and speech

FCE Writing Part One Essays Advice and Useful Phrases Give your opinion on getting a good mark in this part of the exam, including topics like those

Sudoku puzzles and how to solve them

Guide for Writing an Exegesis On a Biblical Passage


Latin Syllabus S2 - S7

Some Foundational Questions Concerning Language Studies: With a Focus on Categorial Grammars and Model Theoretic Possible Worlds Semantics

Slippery Slopes and Vagueness

Copyfights: The Future of Intellectual Property in the Information Age

Section 8 Foreign Languages. Article 1 OVERALL OBJECTIVE

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Semantic Groundedness

Transcription:

Meaning and Speech Acts Volume I: Principles of Language Use Volume II: Formal Semantics of Success and Satisfaction Daniel Vanderveken (Universit6 du Qu6bec a Trois-Rivi6res) Cambridge, England: Cambridge University Press Volume I: 1990, x + 244 pp. Hardbound, ISBN 0-521-37415-4 Volume II: 1991, x + 196 pp. Hardbound, ISBN 0-521-38216-5 Reviewed by Amichai Kronfeld Natural Language Inc. This two-volume study is a very ambitious undertaking. As the author, Daniel Vanderveken, explicitly states in the introduction to Volume I, the main purpose of the book is to formulate (and formalize) the general principles that correlate sentence meanings with speech acts in the use and comprehension of language. On the basis of these principles, the author aims to construct a general formal semantics for natural languages that articulates the deep semantic structure common to all natural languages. In so doing, he intends to proceed to a partial unification of speech act theory with classical truth-conditional formal semantics, thereby defining a line of convergence between the two main trends of contemporary philosophy of language. Yet Vanderveken aims even higher than this: "It]he conclusions of the book are transcendental. They state universal laws of language use and comprehension that reflect the a priori forms of thought and of experience of human speakers" (p. 5). By raising expectations to such a level, the author inevitably sets himself up for failure which is a pity, since the book is quite interesting and useful in what it does accomplish. After presenting an outline of the book I will offer brief critical comments and then describe what I consider to be its major accomplishments for computational linguistics. 1. Outline of the Book The book--a follow-up of Searle and Vanderveken (1985)--attempts to formulate the logic of illocutionary acts (Austin 1962). Illocutionary acts are "complete" speech acts such as assertions, requests, promises, apologies, etc., in contrast with "incomplete" ones such as referring and predicating. The first volume provides the meta-logical foundations for the formal theory that is presented in the second volume. Chapter I of the first volume explains the book's fundamental hypothesis, namely, that illocutionary acts are the primary units of sentence meaning in the use and comprehension of natural language. It is this hypothesis that is the basis for Vanderveken's claim that his illocutionary logic characterizes not only the semantic structure of language, but the general structure of thought and experience. In Chapter 2, Vanderveken incorporates general conditions of success and satisfaction into his formal general semantics. Traditionally, a formal semantics of a language 385

Computational Linguistics Volume 19, Number 2 deals with entities (assertions, sentences, or propositions) that are assigned truth values. The goal of formal semantics, at least according to some, is to assign truth values to sentences under an interpretation (Davidson 1984; Montague 1974). However, this relatively simple picture is not adequate for a formal semantics of illocutionary acts. First, some illocutionary acts (for example, commands) cannot be true or false (rather, they are either satisfied or not satisfied). Second, illocutionary acts can either be successfully or unsuccessfully performed, and Vanderveken takes the theory of the success under interpretation of an illocutionary act to be as much a part of semantics as the theory of satisfaction. Every illocutionary act has two main components. One is the illocutionary force that determines what kind of illoclationary act it is. The other is its propositional content. Chapter 3 is Vanderveken's account of the logical form of propositions, while Chapter 4 shows the logical forms of illocutionary forces. Each illocutionary force consists of six components: 1. the illocutionary point (the general type of the speech act) 2. its mode of achievement (conditions on the way the speech act is to be satisfied) 3. its propositional content conditions (what kind of propositions can constitute its content) 4. its preparatory conditions (what must be true in the context of a successful performance of the speech act) 5. its sincerity conditions (the mental states that the speaker is presumed to have when the speech act is. successfully performed) and 6. its degree of strength (e.g., the difference between a request and a command). Chapter 5 states a series of "fundamental laws of language use that are both philosophically and linguistically s]lgnificant" (p. 5). For example, "the law of the a posteriori truth of the propositional content of any satisfied utterance with the worldto-words direction of fit"; translation: "[a] speaker who performs a speech act with the aim of achieving a success of fit from the world-to-words direction [i.e., trying to make the world fit the words and not vice versa] must express a proposition whose truth is dependent on a future contingent action of one of the protagonists of the utterance; otherwise, his speech act is not satisfiable" (p. 141). Chapter 6 offers the semantic analysis of a large number of English performafives. The discussion is surprisingky informal and in many cases goes little beyond a dictionary entry (e.g., "To stipulate is to declare the terms under which something is to be understood" p. 204), but the chapter contains interesting tree structures representing how various illocutionary acts can be derived from other, more basic ones. For example, in the tree of directives, one can see how from the performative suggest one branch leads to recommend (through advice), while another branch leads to alarm (through warn, caution, and alert). The second volume is much more technical. The guiding idea of the entire project is to construct an ideal formal language representing the logic of abstract illocutionary acts, and then provide translation rules from English phrases to the formal language. After a critical survey of earlier attempts to formalize the logic of speech acts and the semantics of nondeclarative sentences (Chapter 1 of the second volume), Chapters 2 386

Book Reviews and 3 formally present a first-order logic of illocutionary acts; Chapter 4 presents the logical syntax of the ideal object-language of the author's general semantics; Chapter 5 further develops the model theory of intensional logic in order to formalize the theory of sentence meaning of general semantics; and Chapter 6 presents the axiomatic system, which is generally complete in the sense that it axiomatizes the valid set of laws of general semantics. Chapter 7 should be the most interesting chapter for computational linguists. It contains translation rules for a series of English performative verbs. The author applies the logical apparatus of his general semantics to English and states rules by which a series of English performatives can be mapped onto specific illocutionary acts expressed in the logic that the author has developed. Such rules of translation map (aspects of) the syntactic structure of an English sentence onto the logical form of an illocutionary act that is named by the performative in that sentence. Volume II also contains three appendices. Appendix 1 (written with the collaboration of David K. Johnston) is a completeness theorem for illocutionary logic. Appendix 2 (written with the collaboration of David K. Johnston and Francois Lepage) shows the general completeness of the axiomatic system. Appendix 3 is a (much needed) glossary/index of the symbols used in the book. A similar list of symbols can also be found in the appendix to Volume I. 2. Critical Comments The book combines three intellectual projects that, to a large extent, can be considered separately. First, there is the underlying speech act theory, which is pretty much taken as is from Searle (1969, 1971, 1979a, 1979b). Second, there is Vanderveken's impressive formalization of it, and finally there are the cognitive and philosophical results that Vanderveken claims are the consequences of his formalization. It is with these supposed consequences that I have the most trouble. Take, for example, Vanderveken's startling claim that illocutionary acts are the "primary units of conceptual thought" (p. 56, italics his) and that "the universal laws that govern the successful performance and satisfaction of illocutionary acts reflect the a priori forms of thought and experience" (p. 226). The major premise for this argument (and for the book as a whole) is that illocutionary acts are the basic units of meaning in the use and understanding of natural languages. What this means is that unlike the Fregean-Russellian tradition in which the meaning of a word is defined solely as its contribution to the meaning of the sentence in which it occurs (and sentences, therefore, are the basic units of meaning), in Vanderveken's general semantics, the meaning of a word is taken to be its contribution to illocutionary acts that can be performed by sentences containing these words. Generalizing this hypothesis, Vanderveken seems to claim that illocutionary acts are also the basic units of conceptual thought, because any element of such thought--be it a belief, a desire, or what have you--is nothing but a potential illocutionary act waiting to be performed, and the meaning of any constituent of a conceptual thought is nothing but its contribution to the illocutionary act that can express this thought. I find Vanderveken's approach interesting and promising as far as the semantic analysis of natural languages is concerned. But I don't believe it can be generalized the way he intends it to be. First, the basic units of conceptual thought (whatever they are) do not have conditions of success. A belief, like an assertion, may be either true or false, but one cannot fail to have a wish in the same way that one can fail to issue a successful command. Second, and more significantly, the semantics of illocutionary acts cannot be the same as the semantics of conceptual thought, as I have shown elsewhere 387

Computational Linguistics Volume 19, Number 2 (Kronfeld 1990). The reason, in a nutshell, is that one cannot have a belief about an object without an individuating representation of that object, but in an illocutionary act one can easily refer to an object without intending any particular individuating representation of it to be part of the proposition that is the content of the speech act (this feature of referring is entirely missing from Vanderveken's general semantics). In other words, the semantics of illocutionary acts can (and must) accept singular propositions. But the semantics of conceptual thought cannot. 3. Usefulness for Computational Linguistics As mentioned above, the underlying speech act theory that this book adopts is Searle's. The formal work, however, both here and in Searle and Vanderveken (1985), is entirely Vanderveken's own. He is obviously a remarkably capable and creative logician who has managed to build a very complex formal structure. This is a very impressive work from a mathematical point of view. Can his formal work be used in AI and computational linguistics? I think so. Searle's (and Grice's) work on speech act theory, communication intentions, and implicatures was immediately recognized by computational linguists as important and relevant to the field, especially when their approach is combined with the formalization of another cognitive aspect of human activity, namely, planning. One obvious approach to modeling speech acts as a planned activity is based on two related ideas: Mental representations can be modeled by logical formulas. The process of planning to achieve a goal can be seen as a search for a derivation proceeding from axioms representing the world as it is to theorems that represent a world in which the goal is realized. The method for implementing these ideas in the simulation of planned speech acts has always been to look for a formal system that is rich enough to capture central concepts of communication, and then use it (see, for example, Cohen and Levesque 1990). Well, Vanderveken offers a formal system that, in terms of its ability to capture concepts of communication, is far richer than anything we have seen so far. It would be a waste not to try to use it. The challenge, of course, is to develop further the translation rules from English to the ideal language. Vanderveken's formalism has other advantages as well. He offers a coherent and interesting analysis of performative verbs and the way they are related to the illocutionary acts they name. Taking the meaning of phrases to be their contribution to possible illocutionary acts in contexts of use (instead of seeing them as contributing to the senses of sentences), he can formally describe subtle differences between closely related performatives and, for exactly the same reason, he can provide a formal analysis for words such as alas and hurray that all other formal semanticists simply had no idea what to do with (except, perhaps, relegate them to the ever growing heap of Gricean "conventional implicatures"). 4. Concluding Remarks This is not an easy book to read. The second volume especially is not for the faint of heart. If you have only a general interest in speech act theory, you are better off reading Searle (although Chapter 3 of Volume I is a nice summary of the central concepts of the theory). 388

Book Reviews If, on the other hand, you are a hard-core cognitive scientist with a solid background in mathematical logic, looking for new frontiers in your attempt to construct computational models of speech acts and communication, this is the book for you. It takes the basic insights of speech act theory and casts them in a way that may have potential for significant computational development. Whether the direction outlined in this book can actually be worked out remains to be seen, but it is definitely worthy of attention. References Austin, J. L. (1962). How to Do Things with Words. Oxford University Press. Cohen, Philip R., and Levesque, Hector J. (1990). "Rational interaction as the basis for communication." In Intentions in Communication, edited by Philip R. Cohen, Martha Pollack, and Jerry Morgan, 221-256. MIT Press. Davidson, Donald (1984). "Truth and meaning." In his Enquiries into Truth and Interpretation. Clarendon Press. Kronfeld, Amichai (1990). Reference and Computation: An Essay in Applied Philosophy of Language. Montague, Richard (1974). "English as a formal language." In his Formal Philosophy. Yale University Press. Searle, John R. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press. Searle, John R. (1971). "What is a speech act?" In The Philosophy of Language, edited by John R. Searle, 39-53. Oxford University Press. Searle, John R. (1979a). "Indirect speech acts." In his Expression and Meaning: Studies in the Theory of Speech Acts. Searle, John R. (1979b). "A taxonomy of illocutionary acts." In his Expression and Meaning: Studies in the Theory of Speech Acts. Searle, John R., and Vanderveken, Daniel (1985). Foundations of Illocutionary Logic. Amichai Kronfeld is a senior staff scientist at Natural Language Incorporated, Berkeley, California. His book Reference and Computation: An Essay in Applied Philosophy of Language was published by Cambridge University Press in 1990. Kronfeld's address is Natural Language Inc, 2910 Seventh Street, Berkeley CA 94710; e-mail: ami@nli.com. 389