| Inferentialism: Inferentialist Semantics and Pragmatics Paul's work on formal and computational models of information exchange is inspired by the proof-theoretic, inferentialist conception of meaning. His interest in inferentialism goes back to his 1998 PhD Thesis, which explores an inferentialist approach to presupposition and the relation between questions and answers. Currently, he is investigating how an expressivist account of logic, along the lines proposed by Robert Brandom, can inform models of dialogue coherence. [Back to Paul Piwek's Homepage] |
|
| Software | For some resources, including the Alligator Theorem Prover for Dependent Type Systems and my work on mapping proofs to dialogue structures, click here. |
| Slides | Piwek, P. (2010). Dialogue Structure and Inferentialism. Presentation at the Inference in Dialogue Workshop, Queen Mary University, London [.pdf] . |
| Papers |
Piwek, P. (2011) Dialogue Structure and Logical Expressivism. Synthese 183: 33-58, DOI: 10.1007/s11229-011-0015-5. -- A formal natural deduction-based account of dialogue structure in the spirit of Robert Brandom's logical expressivism. Piwek, P. (2007). Meaning and Dialogue Coherence: a Proof-theoretic Investigation. Journal of Logic, Language and Information, 16(4):403-421. [final draft .pdf] Piwek, P. (2006). The ALLIGATOR Theorem Prover for Dependent Type Systems: Description and Proof Sample. In: Proceedings of the 5th Workshop on Inference in Computational Semantics (ICoS-5), April 2006, Buxton, UK. (6 pages). [.pdf] Piwek, P. & E. Krahmer (2000). Presuppositions in Context: Constructing Bridges, In: Bonzon P., M. Cavalcanti & R. Nossum (eds), Formal Aspects of Context, APPLIED LOGIC SERIES Volume 20, Dordrecht: Kluwer Academic Publishers. [.pdf] (Reviewed by R.H. Thomason in Computational Linguistics) Krahmer, E. & P. Piwek (1999). Presupposition Projection as Proof Construction, In: H. Bunt & R. Muskens (eds.), Computing Meaning: Current issues in Computational Semantics, Studies in Linguistics & Philosophy Series, Kluwer Academic Publisher, Dordrecht. [.pdf] Piwek, P. (1998) Information Flow and Gaps. In: IPO Annual Progress Report 33, 1998. [.pdf] Piwek, P. (1998). Logic, Information and Conversation, PhD Thesis, Eindhoven University of Technology. [.ps] [.pdf] [more information ] Piwek, P. (1997). The Construction of Answers.
In: Benz A. & G. Jaeger (eds.), Proceedings of MunDial: the
Muenchen Workshop on the Formal Semantics and Pragmatics of
Dialogue, CIS-Bericht 97-106, Department of Computational
Linguistics, University of Munich. (This is an abridged version of
chapter 4 of my PhD
thesis) |