Abstract
Game semantics has almost achieved the status of a paradigm in computer science but philosophers are slow to take notice. One reason for this might be the lack of a convincing philosophical account of logical games, what it means to play them, for the proponent to win, etc., pointedly raised by Wilfrid Hodges as the ‘Dawkins question’. In this paper, I critically examine two available answers: after a brief discussion of an argument by Tennant against Hintikka games, I focus on Lorenzen's attempt at providing a direct foundation for his game rules in the life-world, showing some of the difficulties inherent to that project. I then propose an alternative based on the theory of assertions developed by Dummett and Brandom.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S. (1997). Semantics of interaction: An introduction to game semantics. In Pitts, A. M. and Dybjer, P., editors, Semantics and Logics of Computation, pages 1–31. Cambridge University Press, Cambridge.
Abramsky, S. (2006). Socially responsive, environmentally friendly logic. Acta Philosophica Fennica, 78:17–45.
Abramsky, S. and Jagadeesan, R. (1994). Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59:543–574.
Albert, H. (1985). Treatise on Critical Reason. Princeton University Press, Princeton, NJ.
Barth, E. M. and Krabbe, E. C. W. (1982). From Axiom to Dialogue. De Gruyter, Berlin.
Beall, J. C. and Restall, G. (2005). Logical Pluralism. Clarendon, Oxford.
Blass, A. (1992). A game semantics for linear logic. Annals of Pure and Applied Logic, 56: 183–220.
Brandom, R. (1983). Asserting. Noûs, 17:637–640.
Brandom, R. (1984). Making It Explicit. Harvard University Press, Cambridge, MA.
Brandom, R. (2000). Articulating Reasons. An Introduction to Inferentialism. Harvard University Press, Cambridge, MA.
Brandom, R. (2008). Between Saying and Doing. Towards an Analytic Pragmatism. Oxford University Press, Oxford.
Bubner, R. (1981). Modern German Philosophy. Cambridge University Press, Cambridge.
Bühler, K. (1990). Theory of Language. John Benjamins, Amsterdam/Philadelphia, PA.
Butts, R. E. and Brown, J. R., editors (1989). Constructivism and Science. Essays in Recent German Philosophy. D. Reidel, Dordrecht.
Dingler, H. (1931). Die Philosophie der Logik und Arithmetik. Eidos Verlag, Munich.
Dingler, H. (1955). Die Ergreifung des Wirklichen. Eidos Verlag, Munich.
Dingler, H. (1964). Aufbau der Exakten Fundamentalwissenschaften. Eidos Verlag, Munich.
Dingler, H. (2004). Hugo Dingler: Gesammelte Werke auf CD-ROM. Wei, U., editor. Karsten Worm InfoSoftWare, Berlin.
Dummett, M. A. E. (1981). Frege. Philosophy of Language. Duckworth, London, second edition.
Dummett, M. A. E. (1991). The Logical Basis of Metaphysics. Harvard University Press, Cambridge, MA.
Duthil Novaes, C. (2007) Formalizing Medieval Logical Theories. Suppositio, Consequentiae and Obligationes. Springer, Dordrecht.
Felscher, W. (1985). Dialogues, strategies, and intuitionistic provability. Annals of Pure and Applied Logic, 28:217–254.
Felscher, W. (1986). Dialogues as a foundation for intuitionistic logic. In Gabbay, D. and Guenthner, F., editors, Handbook of Philosophical Logic, volume III, pages 341–372. Kluwer, Dordrecht.
Gethmann, C. F. (1979). Protologik. Untersuchungen zur formalin Pragmatik von Begründungsdiskursen. Surhkamp, Frankfurt.
Gethman, C. F. and Siegwart, G. (1994). The constructivism of the “Erlanger Schule”: Background, goals, and development. ogito, 8:226–233.
Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50:1–102.
Girard, J.-Y. (1999). On the meaning of logical rules. I. syntax vs. semantics. In Berger, U. and Schwichtenberg, H., editors, Computational Logic, pages 215–272. Springer, Berlin.
Girard, J.-Y. (2001). Locus solum. Mathematical Structures in Computer Science, 11:301–506.
Henkin, L. (1961). Some remarks on infinitely long formulas. In Infinitistic Methods. Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 2–9 September 1959, pages 167–183, Pergamon, Oxford and PWN, Warsaw.
Hilpinen, R. (1982). On C. S. Peirce's theory of the proposition: Peirce as a precursor of gametheoretical semantics. The Monist, 62:182–189.
Hintikka, J. (1968). Language-games and quantifiers. In Rescher, N., editor, Studies in Logical Theory, pages 46–72. Blackwell, Oxford.
Hintikka, J. (1973). Logic, Language-Games and Information. Kantian Themes in the Philosophy of Logic. Clarendon, Oxford.
Hintikka, J. (1996). The Principles of Mathematics Revisited. Clarendon, Oxford.
Hintikka, J. (1998). Selected Papers Volume 4. Paradigms for Language Theory and Other Essays. Kluwer, Dordrecht.
Hintikka, J. and Sandu, G. (1997). Game-theoretical semantics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 361–410. Elsevier, Amsterdam.
Hodges, W. (1997). Compositional semantics for a language of imperfect information. Logic Journal of the IGPL, 5:539–563.
Hodges, W. (2001). Dialogue foundations: A sceptical look. In Proceedings of the Aristotelian Society, volume Supplementary Volume LXXV, pages 17–32.
Hodges, W. (2004). Logic and games. In Zalta, E. N., editor, The Stanford Encyclopedia of Philosophy. Available online at: http://plato.stanford.edu/archives/win2004/ entries/logic-games/
Hodges, W. (2006). The logic of quantifiers. In Auxier, R. E. and Kahn, L. E., editors, The Philosophy of Jaakko Hintikka, pages 521–534. Open Court, Chicago and La Salle IL.
Husserl, E. (1970). The Crisis of European Sciences and Transcendental Phenomenology. Northwestern University Press, Evanston, IL.
Hyland, J. M. E. (1997). Game semantics. In Pitts, A. M. and Dybjer, P., editors, Semantics and Logics of Computation, pages 131–184. Cambridge University Press, Cambridge.
Hyland, J. M. E. and Ong, C.-H. L. (2000). On full abstraction for PCF: I, II, and III. Information and Computation, 163:285–408.
Janich, P. (1985). Protophysics of Time. D. Reidel, Dordrecht.
Japaridze, G. (1997). A constructive game semantics for the language of linear logic. Annals of Pure and Applied Logic, 85:87–156.
Japaridze, G. (2003). Introduction to computability logic. Annals of Pure and Applied Logic, 123:1–99.
Kambartel, F. (1979). Constructive pragmatics and semantics. In Bäuerle, R., Egli, U., and von Steckow, A., editors, Semantics from Different Points of View, pages 195–205. Springer, Berlin.
Kambartel, F. (1981). The pragmatic understanding of language and the argumentative function of logic. In Bouveresse, J. and Parret, H., editors, Meaning and Understanding, pages 402–410. De Gruyter, Berlin.
Kambartel, F. (1989). Philosophie der humanen Welt. Suhrkamp, Frankfurt.
Kambartel, F. and Schneider, H.-J. (1981). Constructing a pragmatic foundation for semantics. In Fløistad, G., editor, Contemporary Philosophy. A New Survey, volume 1, pages 155–178. Martinus Nijhoff, Hague.
Kamlah, W. and Lorenzen, P. (1984). Logical Propaedeutic. Pre-school of Reasonable Discourse. University Press of America, Lanham, MD.
Lorenz, K. (1968). Dialogspiele als semantische Grundlagen von Logikkalkülen. Archiv fü r mathematische Logik und Grundlagenforschung, 11:32–55, 73–100.
Lorenz, K. (1981). Dialogical logic. In Marciszewski, W., editor, Dictionary of Logic as Applied in the Study of Language, pages 117–125. Martinus Nijhoff, Hague.
Lorenz, K. (2001). Basic Objectives of Dialogue Logic in Historical Perspective. Synthese,127:225–263.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik. Springer, Berlin.
Lorenzen, P. (1960). Logik und Agon. In Atti del XII Congresso Internazionale di Filosofia, volume 4, pages 187–194, Sansoni Editore, Florence.
Lorenzen, P. (1961). Ein dialogisches Konstruktivitätskriterium. In Infinitistic Methods. Proceedings of the Symposium on the Foundations of Mathematics. Warsaw, 2–9 September 1959, pages 193–200, Pergamon, Oxford and PWN, Warsaw.
Lorenzen, P. (1968). Methodisches Denken. Suhrkamp, Frankfurt.
Lorenzen, P. (1969). Normative Logic and Ethics. Bibliographisches Institut, Mannheim.
Lorenzen, P. (1971). Differential and Integral. A Constructive Introduction to Classical Analysis. University of Texas Press, Austin, TX.
Lorenzen, P. (1974). Konstruktive Wissenschaftsstheorie. Suhrkamp, Frankfurt.
Lorenzen, P. (1982). Die dialogische Begründung von logikkalkülen. In Barth, E. M. and Martens, J. L., editors, Argumentation. Approaches to Theory Formation, pages 23–54. John Benjamins, Amsterdam.
Lorenzen, P. (1987). Constructive Philosophy. University of Massachusetts Press, Amherst.
Lorenzen, P. and Lorenz, K. (1978). Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt.
Marion, M. (2006). Hintikka on Wittgenstein: From language-games to game semantics. Acta Philosophica Fennica, 78:255–274.
Mill, J. S. (1991). On Liberty and Other Essays. Oxford University Press, Oxford.
Mulligan, K. (1997). The essence of language: Wittgenstein's builders and Bühler's bricks. Revue de Métaphysique et de Morale 102:193–216.
Pietarinen, A.-V. (2006). Signs of Logic: Peircean Themes on the Philosophy of Language,Games, and Communication. Springer, Dordrecht.
Pietarinen, A.-V. and Snellman, L. (2006). On Peirce's late proof of pragmaticism. Acta Philosophica Fennica, 78:275–298.
Prawitz, D. (1965). Natural Deduction. A Proof-Theoretical Study. Almqvist & Wicksell, Stockholm.
Prawitz, D. (1977). Meaning and proofs: On the conflict between classical and intuitionistic logic. Theoria, 43:1–40.
Rahman, S. and Keiff, L. (2005). How to be a dialogician. In Vanderveken, D., editor, Logic,Thought and Action, pages 359–408. Springer, Dordrecht.
Rahman, S. and Rückert, H. (2001). Preface. Synthese, 127:1–6.
Rückert, H. (2001). Why dialogical logic? In Wansing, H., editor, Essays on Non-classical Logic, pages 165–185. World Scientific, Singapore.
Rückert, H. (2007). Dialogues as Dynamic Framework for Logic. Doctoral Dissertation, University of Leiden. Available online at: http://hdl.handle.net/1887/12099
Sandu, G. and Pietarinen, A.-V. (2003). Informationally independent connectives. In Mints, G. and Muskens, R., editors, Games, Logic, and Constructive Sets, pages 23–41. CSLI, Stanford.
Schroeder-Heister, P. (1981). Bibliographie Hugo Dingler (1881–1954). Zeitschrift für philosophische Forschung, 35:283–289.
Schroeder-Heister, P. (2007). Lorenzens operative Logik und moderne beweistheoretische Se-mantik in Mittelstraß, J., editor, Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. Paderborn, Mentis, pages 167–196.
Schroeder-Heister, P. (2008). Lorenzen's operative justification of intuitionistic logic. In van Atten M., Boldini, P., Bourdeau, M., and Heinzmann G., editors, One Hundred Years of Intuitionism (1907-2007). The Cerisy Conference, Basel, Birkhuser, pages 214–240.
Szabo, A. (1978). The Beginnings of Greek Mathematics. D. Reidel, Dodrecht.
Tennant, N. (1979). Language games and intuitionism. Synthese, 42:297–314.
van Benthem, J. (2003). Logic and game theory: Close encounters of the third kind. In Mints, G. and Muskens, R., editors, Games, Logic, and Constructive Sets, pages 1–22. CSLI, Stanford.
van Benthem, J. (2006). The epistemic logic of IF games. In Auxier, R. E. and Kahn, L. E., editors, The Philosophy of Jaakko Hintikka, pages 481–513. Open Court, Chicago, LaSalle, IL.
Wittgenstein, L. (1997). Philosophical Investigations. Blackwell, Oxford, second, re-issued edition.
Wolters, G. (1985). The first man who almost wholly understands me: Carnap, Dingler, and conventionalism. In Rescher, N., editor, The Heritage of Logical Positivism, pages 93–107. University Press of America, Lantham, MD.
Wolters, G. (1991). Dankschön Husserl!–eine Notiz zum Verhältnis von Dingler und Husserl. In Gethmann, C. F., editor, Lebenswelt und Wissenschaft. Studien zum Verhältnis von Phänomenologie und Wissenschaftstheorie, pages 13–27. Bouvier, Bonn.
Yrjönsuuri, M. (1994) Obligationes. 14th Century Logic of Disputational Duties. Acta Philosophica Fennica, 55.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this chapter
Cite this chapter
Marion, M. (2009). Why Play Logical Games?. In: Majer, O., Pietarinen, AV., Tulenheimo, T. (eds) Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9374-6_1
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9374-6_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9373-9
Online ISBN: 978-1-4020-9374-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)