Inferentialism: Inferentialist Semantics and Pragmatics [Back to Paul Piwek's Homepage] My work on formal and computational models of information exchange is grounded in an inferentialist conception of meaning. My interest in inferentialism goes back to my 1998 PhD Thesis, which explores a prooftheoretic approach to presupposition and the relation between questions and answers in the context of a theory of conversational games. In my thesis, conversational games consist of commitment stores with appropriate update and generation rules. I have developed, to the best of my knowledge, the first prooftheoretic explication of Robert Brandom's inferentialism and his, in my view, paradigm shifting concept of logical expressivism (Piwek, 2011; 2014). Currently, I'm further developing this prooftheoretic framework and constructing computational tools to investigate its implications. I am editor of the philpapers category on Inferentialist Accounts of Meaning and Content. 

Slides  Dialogue Structure and Inferentialism. Presentation at the Inference in Dialogue Workshop, Queen Mary University, London, 2010. 
Papers 
Towards a Computational Account of Inferentialist Meaning. Proceedings of the AISB50 Convention, Goldsmith's College London, April 3, 2014. Dialogue Structure and Logical Expressivism. Synthese 183: 3358, 2011. Meaning and Dialogue Coherence: a Prooftheoretic Investigation. Journal of Logic, Language and Information, 16(4):403421, 2007. 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, 2000. [Review by R.H. Thomason in Computational Linguistics] 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, 1999. Information Flow and Gaps. In: IPO Annual Progress Report 33, 1998. Logic, Information and Conversation, PhD Thesis, Eindhoven University of Technology, 1998. The Construction of Answers. In: Benz A. & G. Jaeger (eds.), Proceedings of MunDial: the Muenchen Workshop on the Formal Semantics and Pragmatics of Dialogue, CISBericht 97106, Department of Computational Linguistics, University of Munich, 1997. [This is an early abridged version of chapter 4 of my PhD thesis] 
Tools & Applications 
The Alligator Theorem Prover for Dependent Type Systems. The prover constructs natural deduction proofs, which are represented as terms of the typed lambda calculus (exploiting the CurryHowardDe Bruijn correspondence between type systems and logic). Towards explaining rebuttals in security arguments. In: 14th Workshop on Computational Models of Natural Argument, 10 December 2014, Krakow, Poland. Supporting computing and technology distance learning students with developing argumentation skills. In: IEEE Global Engineering Education Conference (EDUCON 2013), 1215 March 2013, Berlin, pp. 258267. [prefinal draft] 