David Corfield logic of presuppositions

Inferentialism and Brandom

Brandom on substitution and replacement See Redding’s book.

Perception of ‘this such’. Term of a type.

Collingwood’s logic of questions and answers; Strawson on ill-formedness of ‘The king of France is bald’.

Knowledge and its Game Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory Shahid Rahman, Radmila Jovanovic, Nicolas Clerbout

Mathieu Marion

M. Marion (2006) “Hintikka on Wittgenstein : From Language

Games to Game Semantics”, T. Aho & A. -V. Pietarinen (ed..) Truth and Games, Essays in Honour of Gabriel Sandu , Acta Philosophica Fennica , vol. 78, pp. 223-242. M. Marion (2009) “Why Play Logical Games ?”, O. Majer, A. -V. Pietarinen and T. Tulenheimo (eds.), Logic and Games, Foundational Perspectives , Dordrecht: Springer, pp. 3-26. M. Marion (2010) “Between Saying and Doing : From Lorenzen to Brandom and Back”, P. E. Bour, M. Rebuschi & L. Rollet (eds.), Construction. Festschrift for Gerhard Heinzmann , London : College Publications, 2010 pp. 489-497.

J. Ginzburg (2012) The Interactive Stance: Meaning for Conversation , Oxford: Oxford University Press.

L. Keiff (2009) “Dialogical Logic”. Stanford Encyclopedia of Philosophy , URL http://plato.stanford.edu/entries/logic-dialogical/. (accessed 2013).

Boldini, P.: Formalizing Context in Intuitionistic Type theory, Fundamenta Informaticae, 42(2), 2000, 1–23.

Cooper, R.: Records and Record Types in Semantic Theory, J. Log. Comput., 15(2), 2005, 99–112

Cooper, R., Ginzburg, J.: Clarification ellipsis in dependent type theory, 6th Workshop on the Semantics and Pragmatics of Dialogue, 2002.

Fernando, T.: Conservative generalized quantifiers and presupposition, Semantics and Linguistic Theory XI, 2001.

Ginzburg, J.: Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records, Journal of Log. Comput., 15(2), 2005, 113–130.

Sundholm, G.: Handbook of Philosophical Logic, vol. 3, chapter Proof theory and meaning, Reidel, 1986.

Villadsen, J.: Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics, Int. Workshop on Constraint Solving and Language Processing, 2004.