Skip to main content
SpringerLink
Log in

On Some Logic Games in Their Philosophical Context

  • Chapter
Ludics, Dialogue and Interaction

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6505))

Abstract

In the present paper Hintikka’s game-theoretical semantics and the dialogical logic of Lorenzen and Lorenz are discussed and compared from the viewpoint of their underlying philosophical meaning theories. The question of whether the proposed meaning theories can be claimed to suffer from circularity is taken up. The relations of the two frameworks to verificationist and anti-realist ideas are considered. Finally, van Heijenoort’s concept of ‘logic as calculus’ generalized by Hintikka to the idea of ‘language as calculus’ will be reformulated as a view we label ‘anti-universalism.’ We discuss briefly the fourfold division of foundational views obtained by relating a distinction between ‘universalism’ and ‘anti-universalism’ to the distinction between ‘realism’ and ‘anti-realism.’

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S., Jagadeesan, R., Malacaria, P.: Games and Full Abstraction for PCF. Information and Computation 163(2), 409–470 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  2. Auxier, R.E., Hahn, L.E. (eds.): The Philosophy of Jaakko Hintikka. Library of Living Philosophers, vol. 30. Open Court, Chicago (2006)

    MATH  Google Scholar 

  3. Beall, J.C., Restall, G.: Logical Pluralism. Oxford University Press, Oxford (2006)

    Google Scholar 

  4. van Benthem, J.: Logic, Rational Agency, and Intelligent Interaction. ILLC Prepublication Series, PP-2008-6 (2008)

    Google Scholar 

  5. Clark, R.: Games, Quantification and Discourse Structure. In: [36], pp. 139–150 (2009)

    Google Scholar 

  6. Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)

    Google Scholar 

  7. Dummett, M.: Thought and Reality. Clarendon Press, Oxford (2006)

    Book  Google Scholar 

  8. Felscher, W.: Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic 28, 217–254 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  9. Girard, J.-Y.: Locus Solum. Mathematical Structures in Computer Science 11, 301–506 (2001)

    Article  MATH  Google Scholar 

  10. van Heijenoort, J.: Logic as Calculus and Logic as Language. Synthese 17, 324–330 (1967)

    Article  MATH  Google Scholar 

  11. Hintikka, J.: Language-Games for Quantifiers. In: Rescher, N. (ed.) Studies in Logical Theory, pp. 46–72. Basil Blackwell, Oxford (1968)

    Google Scholar 

  12. Hintikka, J.: Logic, Language-Games, and Information: Kantian Themes in the Philosophy of Logic. Clarendon Press, Oxford (1973)

    MATH  Google Scholar 

  13. Hintikka, J.: Game-Theoretical Semantics as a Synthesis of Verificationist and Truth-Conditional Meaning Theories. In: LePore, E. (ed.) New Directions in Semantics, pp. 235–258. Academic Press, London (1987)

    Google Scholar 

  14. Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  15. Hintikka, J.: Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy. Jaakko Hintikka: Selected Papers, vol. 2. Kluwer, Dordrecht (1997)

    Book  Google Scholar 

  16. Hintikka, J.: Intellectual Autobiography. In: [2], pp. 3–84 (2006)

    Google Scholar 

  17. Hintikka, J.: Reply to Wilfrid Hodges. In: [2], pp. 535–540 (2006)

    Google Scholar 

  18. Hintikka, J., Hintikka, M.B.: Investigating Wittgenstein. Basil Blackwell, Oxford (1986)

    MATH  Google Scholar 

  19. Hintikka, J., Kulas, J.: The Game of Language: Studies in Game-Theoretical Semantics and Its Applications. Reidel, Dordrecht (1983)

    Book  Google Scholar 

  20. Hintikka, J., Kulas, J.: Anaphora and Definite Descriptions: Two Applications of Game-Theoretical Semantics. Reidel, Dordrecht (1985)

    Book  Google Scholar 

  21. Hintikka, J., Sandu, G.: On the Methodology of Linguistics: A Case Study. Basic Blackwell, Oxford (1991)

    Google Scholar 

  22. Hintikka, J., Sandu, G.: Game-Theoretical Semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361–410. Elsevier, Amsterdam (1997)

    Chapter  Google Scholar 

  23. Hodges, W.: Elementary Predicate Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 1, pp. 1–131. Reidel, Dordrecht (1983)

    Google Scholar 

  24. Hodges, W.: Logic and Games. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy (2006) (Summer 2006 Edition), http://plato.stanford.edu/archives/sum2006/entries/logic-games/

  25. Hyland, J.M.E., Ong, L.: On Full Abstraction for PCF I, II, and III. Information and Computation 163(1), 285–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  26. Japaridze, G.: Introduction to Computability Logic. Annals of Pure and Applied Logic 123, 1–99 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  27. Kamlah, W., Lorenzen, P.: Logische Propädeutik oder Vorschule des vernünftigen Redens. Bibliographisches Institut, Mannheim (1967)

    Google Scholar 

  28. Lorenz, K.: Dialogspiele als semantische Grundlage von Logikkalkülen. Archiv für mathematische Logik und Grundlagenforschung 11, 32–55, 73–100 (1967)

    Article  MATH  Google Scholar 

  29. Lorenzen, P.: Logik und Agon. In: Atti del, X.I.I. (ed.) Congresso Internazionale di Filosofia (Venezia, 1958), pp. 187–194. Sansoni, Firenze (1960)

    Google Scholar 

  30. Lorenzen, P.: Ein dialogisches Konstruktivitätskriterium. In: Infinitistic Methods, pp. 193–200. Pergamon Press, New York (1961)

    Google Scholar 

  31. Lorenzen, P.: Metamathematik. Bibliographisches Institut, Mannheim (1962)

    MATH  Google Scholar 

  32. Lorenzen, P.: Methodisches Denken. Suhrkamp, Frankfurt am Main (1968)

    Google Scholar 

  33. Lorenzen, P.: Normative Logic and Ethics. Bibliographisches Institut, Mannheim (1969)

    MATH  Google Scholar 

  34. Lorenzen, P.: Die dialogische Begründung von Logikkalkülen. In: Gethmann, C.F. (ed.) Theorie des wissenschaftlichen Argumentierens, pp. 43–69. Suhrkamp, Frankfurt am Main (1980)

    Google Scholar 

  35. Lorenzen, P., Lorenz, K.: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt (1978)

    MATH  Google Scholar 

  36. Majer, O., Pietarinen, A.-V., Tulenheimo, T. (eds.): Games: Unifying Logic, Language, and Philosophy. Springer, Heidelberg (2009)

    MATH  Google Scholar 

  37. Marion, M.: Why Play Logical Games? In: [36], pp. 3–26 (2009)

    Google Scholar 

  38. Peacock, C.: The Theory of Meaning in Analytical Philosophy. In: Fløistad, G. (ed.) Contemporary Philosophy, pp. 35–56. Nijhoff, The Hague (1981)

    Google Scholar 

  39. Pietarinen, A.-V.: Most Even Budged Yet: Some Cases for Game-Theoretic Semantics in Natural Language. Theoretical Linguistics 27, 20–54 (2001)

    Article  Google Scholar 

  40. Prawitz, D.: Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic. Theoria 43, 2–40 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  41. Rahman, S., Carnielli, W.: The Dialogical Approach to Paraconsistency. Synthese 125, 201–232 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  42. Rahman, S., Keiff, L.: On How to Be a Dialogician. In: Vanderveken, D. (ed.) Logic, Thought and Action, pp. 359–408. Springer, New York (2005)

    Chapter  Google Scholar 

  43. Rahman, S., Rückert, H.: Dialogische Logik und Relevanz. Universität des Saarlandes, memo no. 27 (December 1998)

    Google Scholar 

  44. Rahman, S., Rückert, H.: Eine neue dialogische Semantik für lineare Logik. In: [49], pp. 141–172 (2007)

    Google Scholar 

  45. Rahman, S., Rückert, H., Fischmann, M.: On Dialogues and Ontology. The Dialogical Approach to Free Logic. Logique et Analyse 160, 357–374 (1997)

    MathSciNet  MATH  Google Scholar 

  46. Rahman, S., Tulenheimo, T.: From Games to Dialogues and Back: Towards a General Frame for Validity. In: [36], pp. 153–208 (2009)

    Google Scholar 

  47. Ranta, A.: Propositions as Games as Types. Synthese 76, 377–395 (1988)

    Article  MathSciNet  Google Scholar 

  48. Rückert, H.: Why Dialogical Logic? In: Wansing, H. (ed.) Essays on Non-Classical Logic, pp. 15–30. World Scientific, London (2001); reprinted in [49], pp. 15–30

    Google Scholar 

  49. Rückert, H.: Dialogues as a Dynamic Framework for Logic. Ph.D. thesis. Department of Philosophy, Universiteit Leiden (2007)

    Google Scholar 

  50. Saarinen, E.: Dialogue Semantics versus Game-Theoretical Semantics. In: Proceedings of the Biennial Meeting of the Philosophy of Science Association, pp. 41–59 (1978)

    Google Scholar 

  51. Sundholm, G.: Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions. The Monist 77, 294–314 (1994)

    Article  Google Scholar 

  52. Tulenheimo, T.: Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics. In: Bour, P.E., Rebuschi, M., Rollet, L. (eds.) Construction. Festschrift for Gerhard Heinzmann, pp. 417–430. College Publications, London (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. STL-CNRS, University of Lille 3, France

    Tero Tulenheimo

Authors
  1. Tero Tulenheimo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire Structures Formelles du Langage, Université Paris 8, Bat D salle 324, 2 Rue de la Liberté, 93200, Saint Denis, France

    Alain Lecomte

  2. Résurgences/The NetLab.org, 111 Rue Consolat, 12001, Marseille, France

    Samuel Tronçon

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Tulenheimo, T. (2011). On Some Logic Games in Their Philosophical Context. In: Lecomte, A., Tronçon, S. (eds) Ludics, Dialogue and Interaction. Lecture Notes in Computer Science(), vol 6505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19211-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19211-1_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19210-4

  • Online ISBN: 978-3-642-19211-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation