Abstract
IF (independence-friendly) logic is about informational independence that may take place between any components that admit of an interpretation in terms of game-theoretical semantics. These two approaches are seen to provide integrative tools and methods across individual sciences, including strategic meaning in linguistics, concurrency in computation, knowledge in multi-agent systems, and quantum information. An overarching theme is to get less-than-hyper-rational, decentralised decision makers to agree on the truth of statements codifying central structural features of these individual sciences. One upshot is that semantic games call for a re-examination of some basic assumptions in game theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abramsky, Samson and Radha Jagadeesan: 1994, ‘Games and Full Completeness for Multiplicative Linear Logic’, Journal of Symbolic Logic 59, 543–574.
de Alfaro, Luca and Tom A. Henzinger: 2000, ‘Concurrent Omega-regular Games’, in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 141–154.
de Alfaro, Luca, Tom A. Henzinger and F. Y. C. Mang: 2000, ‘The Control of Synchronous Systems’, Proceedings of the 11th International Conference on Concurrency Theory, Lecture Notes in Computer Science 1877, Berlin, Springer-Verlag, pp. 458–473.
Aumann, Robert: 1987, ‘Correlated Equilibrium as an Expression of Bayesian Rationality’, Econo-metrica 55, 1–18.
Aumann, Robert: 1992, ‘Perspectives on Bounded Rationality’, in Yoram Moses, (ed.), Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA,Morgan Kaufmann, pp. 108–117.
Bacharach, Michael: 2001, ‘Superagency: Beyond an Individualistic Theory of Games’, in J. van Benthem (ed.), Theoretical Aspects of Rationality and Knowledge, San Francisco, Morgan Kaufmann.
Bacharach, Michael, L.-A. Gérard-Varet, P. Mongin and H. S. Shin (eds.): 1997, Epistemic Logic and the Theory of Games and Decisions, Dordrecht, Kluwer.
Bonanno, Giacomo: 1992, ‘Rational Belief in Extensive Games’, Theory and Decision 33, 153–176.
Bradfield, Julian: 2001, ‘Independence: Logic and Concurrency’, in P. G. Clote and H. Schwichten-berg (eds.), Proceedings of the 14th International Workshop on Computer Science Logic, Lecture Notes in Computer Science 1862, Berlin, Springer-Verlag.
Chassin de Kergommeaux, J. and P. Codognet: 1994, ‘Parallel Logic Programming Systems’, ACM Computing Surveys 26, 295–336.
Cleaveland, R. and S. A. Smolka: 1996, ‘Strategic Directions in Concurrency Research’, in ACM Computing Surveys 28, 607–625.
Deutsch, David, A. Ekert and R. Lupacchini: 2000, ‘Machines, Logic and Quantum Physics’,Bulletin of Symbolic Logic 6, 265–283.
Epstein, George: 1993, Multiple-Valued Logic Design, Bristol, Institute of Physics Publishing.
Fagin, R., J. Y. Halpern, Y. Moses and M. Y. Vardi: 1995, Reasoning about Knowledge, Cambridge,MA, MIT Press.
Frieden, B. Roy and B. H. Soffer: 1995, ‘Lagrangians of Physics and the Game of Fisher-information Transfer’, Physical Review E 52, 2274–2286.
Galton, Anthony: 1984, The Logi of Aspect, Oxford, Oxford University Press.
Goldstein, Lawrence: 1989, ‘Wittgenstein and Paraconsistency’, in G. Priest, F. R. Routley and J.Norman (eds.), Paraconsistent Logic. Essays on the Inconsistent, Munich, Philosophia Verlag,pp. 540–562.
Heim, Irene: 1982, The Semantics of Definite and Indefinite Noun Phrases, Dissertation, University of Massachusetts at Amherst
Hintikka, Jaakko: 1973, Logic, Language Games and Information, Oxford, Oxford University Press.
Hintikka, Jaakko: 1987, ‘Language Understanding and Strategic Meaning’, Synthese 73, 497–529.
Hintikka, Jaakko: 1996, The Principles of Mathematics Revisited, New York, Cambridge University Press.
Hintikka, Jaakko: 2002, ‘Hyperclassical Logic (aka IF Logic) and its Implications for Logical Theory’, Bulletin of Symbolic Logic 8, 404–423.
Hintikka, Jaakko and Merril B. Hintikka: 1986, Investigating Wittgenstein, Oxford, Basil Blackwell.
Hintikka, Jaakko and Jack Kulas: 1985,Anaphora and Definite Descriptions, Dordrecht, D. Reidel.
Hintikka, Jaakko and Gabriel Sandu: 1995, ‘What is the Logic of Parallel Processing?’, International Journal of the Foundations of Computer Science 6, 27–49.
Hintikka, Jaakko and Gabriel Sandu: 1997, ‘Game-theoretical Semantics’, in J. van Benthem, and A.ter Meulen (eds.), Handbook of Logic and Language, Amsterdam, Elsevier, pp. 361–410
Ho, Y. C. and K. C. Chu: 1972, ‘Team Decision Theory and Information Structures in Optimal Control Problems I’, IEEE Transactions on Automatic Control 17, 15–22.
Ho, Y. C. and F. K. Sun: 1974, ‘Value of Information in Two-team Zero-sum Problems’, Journal of Optimization Theory and Applications 14, 557–571.
Hulstijn, Joris: 2000, Dialogue Models for Inquiry and Transaction, Dissertation, University of Tw e nt e.
Humberstone, Lloyd: 1979, ‘Interval Semantics for Tense Logic: Some Remarks’, Journal of Philosophical Logic 8, 171–196.
Janasik, Tapio and Gabriel Sandu: 2003, ‘Dynamic Game Semantics’, in J. Peregrin (ed.), Meaning:The Dynamic Turn, Dordrecht, Kluwer, pp. 215–240.
Janasik, Tapio, Ahti-Veikko Pietarinen and Gabriel Sandu: 2003, ‘Anaphora and Extensive Games ’,in M. Andronis et al. (eds), Papers from the 38th Meeting of the Chicago Linguistic Society,Chicago, Chicago Linguistic Society.
Kim, K. H. and F. W. Roush: 1987, Team Theory, New York, Ellis Horwood.
Koller, Daphne and N. Megiddo: 1992, ‘The Complexity of Two-person Zero-sum Games in Extensive Form ’, Games and Economic Behavior 4, 528 –552.
Krynicki, Michail: 1993, ‘Hierarchies of Partially Ordered Connectives and Quantifiers ’, Mathematical Logic Quarterly 39, 287 –294.
Langholm, Tore: 1988, Partiality, Truth and Persistence, Stanford, CSLI Publications.
Lin, F. and Y. Shoham: 1989, ‘Argument Systems — A Uniform Basis for Non-monotonic Reasoning ’,in Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pp. 245 –255.
Lipman, Barton L.: 1995, ‘Information Processing and Bounded Rationality: A Survey ’, Canadian Journal of Economics, Revue canadienne d ';Economique 28, 42 –67.
Malcolm, Norman: 1958, Ludwig Wittgenstein: A Memoir, London, Oxford University Press.
Marschak, J., and R. Radner: 1972, Economic Theory of Teams, Yale University Press, New Haven.
Maynard Smith, John and G. Price: 1973, ‘The Logic of Animal Conflict ’, Nature 246, 15 –18.
Pavicić, Mladen and Norman D. Megill: 1999, ‘Non-orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers ’,Helvetical Physica Acta 72, 189 –210.
Peirce, Charles S.: 1902, ‘Vague ’, in J. M. Baldwin (ed.), Dictionary of Philosophy and Psychology,New York, MacMillan, p. 748.
Peirce, Charles S.: 1931 –1966, in Charles Hartshorne, Paul Weiss, and A. W. Burks (eds.), Collected Papers of Charles Sanders Peirce, 8 Vols., Cambridge, MA, Harvard University Press.
Piccione, Michael and Ariel Rubinstein: 1997, ‘On the Interpretation of Decision Problems with Imperfect Recall ’, Games and Economic Behavior 20, 3 –24.
Pietarinen, Ahti-Veikko: 2000, ‘Logic and Coherence in the Light of Competitive Games ’, Logique et Analyse 171 –172, 371 –391.
Pietarinen, Ahti-Veikko: 2001a, ‘Intentional Identity Revisited ’, Nordic Journal of Philosophical Logic 6, 144 –188.
Pietarinen, Ahti-Veikko: 2001b, ‘Most Even Budged Yet: Some Cases for Game-theoretic Semantics in Natural Language ’, Theoretical Linguistics 27, 20 –54.
Pietarinen, Ahti-Veikko: 2001c, ‘Varieties of IFing ’, in M. Pauly and G. Sandu (eds.), Proceedings of the ESSLLI 2001 Workshop on Logic and Games, University of Helsinki.
Pietarinen, Ahti-Veikko: 2002a, ‘Quantum Logic and Quantum Theory in a Game-theoretic Perspective ’, Open Systems &.Information Dynamics 9, 273 –290.
Pietarinen, Ahti-Veikko: 2002b, ‘Knowledge Constructions for Artificial Intelligence ’, in M.-S.Hacid, Z. W. Ras, D. A. Zighed and Y. Kodratoff (eds.), Foundations of Intelligent Systems,Lecture Notes in Artificial Intelligence, 2366, Springer, pp. 303 –311.
Pietarinen, Ahti-Veikko: 2003a, ‘Peirce 's Game-theoretic Ideas in Logic ’, Semiotica 144, 33 –47.
Pietarinen, Ahti-Veikko: 2003b, ‘Logic, Language Games and Ludics ’, to appear in Acta Informatica 18.
Pietarinen, Ahti-Veikko: 2004a, ‘Semantic Games in Logic and Epistemology ’, this volume.
Pietarinen, Ahti-Veikko: 2004b, ‘Multi-agent systems and Game Theory — A Peircean Manifesto ’,International Journal of General Systems.
Pietarinen, Ahti-Veikko and Gabriel Sandu: 1999, ‘Games in Philosophical Logic ’, Nordic Journal of Philosophical Logic 4, 143 –173.
Rubinstein, Ariel: 1998, Modeling Bounded Rationality, Cambridge, MA, MIT Press.
Sandu, Gabriel and Ahti-Veikko Pietarinen: 2001, ‘Partiality and Games: Propositional Logic ’, Logic Journal of the IGPL 9, 107 –127.
Savage, Leonard J.: 1954, The Foundations of Statistics, New York, Dover.
von Stenger, B. and Daphne Koller: 1997, ‘Team-maxmin Equilibria ’, Games and Economic Behavior 21, 309 –321.
Subrahmanian, V. S. et al.: 2000, Heterogeneous Agent Systems, Cambridge, MA, MIT Press.
Witsenhausen, H. S.: 1968, ‘A Counterexample in Stochastic Optimum Control ’, Siam Journal of Control 6, 131 –147.
Wittgenstein, Ludwig: 1953, Philosophical Investigations, (third edition 1967), Oxford, Blackwell.
Wittgenstein, Ludwig: 1978, Philosophical Grammar, Columbia, University of California Press.
Wittgenstein, Ludwig: 2000, Wittgenstein 's Nachlass, The Bergen Electronic Edition, The Wittgenstein Trustees, The University of Bergen, Oxford University Press. (The transcription used is the diplomatic transcription.)
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
Pietarinen, AV., Sandu, G. (2009). If Logic, Game-Theoretical Semantics, and the Philosophy of Science. In: Rahman, S., Symons, J., Gabbay, D.M., Bendegem, J.P.v. (eds) Logic, Epistemology, and the Unity of Science. Logic, Epistemology, And The Unity Of Science, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2808-3_7
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2808-3_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2486-2
Online ISBN: 978-1-4020-2808-3
eBook Packages: Springer Book Archive