Thompson Transformations for If-Logic

Synthese 149 (2):285-309 (2006)

In this paper we study connections between game theoretical concepts and results, and features of IF-predicate logic, extending observations from J. van Benthem (2001) for IF-propositional logic. We highlight how both characteristics of perfect recall can fail in the semantic games for IF-formulas, and we discuss the four Thompson transformations in relation with IF-logic. Many (strong) equivalence schemes for IF-logic correspond to one or more of the transformations. However, we also find one equivalence that does not fit in this picture, by the type of imperfect recall involved. We point out that the connection between the transformations and logical equivalence schemes is less direct in IF-first order logic than in the propositional case. The transformations do not generate a reduced normal form for IF-logic, because the IF-language is not flexible enough.
Keywords Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
DOI 10.1007/s11229-005-3876-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,966
Through your library

References found in this work BETA

The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Independent Choices and the Interpretation of IF Logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
Partiality and Games: Propositional Logic.G. Sandu & A. Pietarinen - 2001 - Logic Journal of the IGPL 9 (1):101-121.
On the Semantics of Informational Independence.Jouko Väänänen - 2002 - Logic Journal of the IGPL 10 (3):339-352.

View all 7 references / Add more references

Citations of this work BETA

Generalized Quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Local Spatial Transformations and Local Observables.K. Kong Wan - 1991 - Foundations of Physics 21 (9):1107-1116.
On the Proof Theory of Program Transformations.Martin Henson - 1995 - Logic Journal of the IGPL 3 (4):643-671.
Linear Läuchli Semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.
Dual Realizability in Symmetric Logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.
Experimental and Real Coordinates in Space-Time Transformations.Joseph Levy - 2004 - Foundations of Physics 34 (12):1905-1922.
Relativistic Transformations of Thermodynamic Quantities.Noam Agmon - 1977 - Foundations of Physics 7 (5-6):331-339.
Transformations on Lattices and Structures of Logic.Stephen A. Kiss - 1948 - Journal of Symbolic Logic 13 (3):159-160.
Identical Transformations in Four-Place Logic.J. N. Whitney & Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (4):762-763.
Coherence in Substructural Categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.


Added to PP index

Total views
33 ( #238,575 of 2,235,936 )

Recent downloads (6 months)
1 ( #982,553 of 2,235,936 )

How can I increase my downloads?


My notes

Sign in to use this feature