Advanced Dialogues: Play Level
This chapter will provide a more technical approach to the standard (non-CTT) dialogical framework at the play level. The next chapter ( 5) will do the same at the strategy level. It will then be possible to introduce local reasons in the dialogues and thus start making it explicit that dialogues are games of giving and asking for reasons; in this sense, the elements contributing to the meaning as use will appear in the object language. The link to equality in action will then be spelled out in the following two chapters ( 6 and 7), based on what will be presented in the next two chapters ( 4 and 5).
- Dummett, M. (1978). Truth and other enigmas. Cambridge, MA: Harvard University Press.Google Scholar
- Rahman, S., Clerbout, N., & Keiff, L. (2009). On dialogues and natural deduction. In G. Primiero & S. Rahman (Eds.), Acts of knowledge: History, philosophy and logic: Essays dedicated to Göran Sundholm (pp. 301–336). London: College Publications.Google Scholar
- Rahman, S., & Redmond, J. (2016). Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos. (Dialogical Harmony: Tonk, Constructive Type Theory and Rules for Anonymous Players). Theoria. An International Journal for Theory, History and Foundations of Science, 31(1), 27–53.CrossRefGoogle Scholar
- Read, S. (1995). Thinking about Logic. An introduction to the philosophy of logic. Oxford: Oxford University Press.Google Scholar