Formal pragmatics is an emerging approach to language, which is best discussed in comparison with the more established formal semantics. Formal semantics is concerned with the study of the meanings of linguistic expressions, using formal methods. The use of formal methods in semantics represents a respectable tradition thanks to the attention which ‘meaning’ has traditionally received from philosophers, including logically oriented philosophers such as Aristotle, Frege, Wittgenstein, and Carnap, and in recent times Montague, Kamp, Barwise, and van Benthem. The impressive developments in formal logic in this century (partly due to the influence of linguistic semantics), have resulted in powerful logical instruments for the analysis and description of meaning. As a result, the philosophers’ contributions to semantics have created a strong and fruitful tradition in the use of formal methods.
References
Alshawi, H.
1992The core language engine. MIT Press.
Beun, R. J.
1989The recognition of declarative questions on information dialogues. PhD. Diss., Tilburg University.
Black, W.J
et al.1991A pragmatics-based language understanding system. In Information processing systems and software: 454–463. Commission of the European Communities.
Bos, J., E. Mastenbroek, S. Mcglashan, S. Millies & M. Pinkal
1994A compositional DRS-based formalism for NLP applications. In H. Bunt, R. Muskens & G. Rentier (eds.) Proceedings of the International Workshop on Computational Semantics, Tilburg, December 1994: 21–30. Tilburg ITK.
Bunt, H.
1989Information dialogues as communicative action in relation to partner modelling and information processing. In M. Taylor, F. Néel & D. Bouwhuis (eds.) The structure of multimodal dialogue: 47–73. North-Holland.
Bunt, H.
1993Formal representations with ambiguity and vagueness. Project DELTA working paper, Institute for Language Technology and Artificial Intelligence, Tilburg.
Groenendijk, J
. & M. Stokhof1984Studies on the semantics of questions and the pragmatics of answer. PhD. Diss., University of Amsterdam.
Groenendijk, J.
1988Context and information in dynamic semantics. In H. Bouma & B. Elsendoorn (eds.) Working models of human perception. Academic Press.
Montague, R.
1968Pragmatics. In R. Klibansky (ed.) Contemporary philosophy. La Nuova Italia Editrice.
Montague, R.
1973The proper treatment of quantification in ordinary language. In J. Hintikka, J. Moravcsik & P. Puppes (eds.) Approaches to natural language: 221–242. Reidel.
Montague, R.
1974Formal philosophy. Yale University Press.
Perrault, S. R.
1989The application of default logic to speech act theory. In M. Taylor, F. Néel & D. Bouwhuis (eds.) The structure of multimodal dialogue. North-Holland.
Pollard, C. H. & I. A. Sag
1987Information-based syntax and semantics, vol. 1. Center for the Study of Language and Information, Stanford.
Pollard, C. H. & I. A. Sag
1994Head-driven phrase structure grammar. University of Chicago Press.
Rentier, G.
1993Underspecified logical forms. Project DELTA working paper, Institute for Language Technology and Artificial Intelligence, Tilburg.
Sag, I.
1991Linguistic theory and natural language processing. In E. Klein & F. Veltman (eds.) Natural language and speech: 69–83. Springer.
Van der Sandt, R.
1992Presupposition projection as anaphora resolution. Journal of Semantics 9: 333–377.