Dialectica 49 (2‐4):229-250 (1995)
AbstractSummaryTruth‐definitions play a crucial role in the foundations of logic and semantics. Tarsik‐type truth‐definitions are not possible to formulate in a usual first‐order language for itself, and they have been criticized because they do not account for what makes them definitions of truth. It has been suggested that truth should instead be characterized by reference to the «language‐games» of verification and falsification. The author's game‐theoretical semantics here explained for formal first‐order languages, can be thought of as a realization of this idea. More technically speaking, GTS can also be thought of as a systematization of the well‐known aepsilon‐delta, definitions in the foundations of analysis. In GTS, truth is not defined by reference to winning a play of a game, but as the existence of a winning strategy in the game for the verifier. In a first‐order language, the game‐theoretical truth‐condition of a sentence S can accordingly be expressed by an explicit second‐order sentence asserting the existence of the Skolem function of S.The semantical games of GTS must be distinguished not only from the «games» of formal proof but also from the «games» in volved in our ordinary activities of verification and falsification. The latter have been modelled as games of inquiry by the author, and they are essentially epistemic games where the meaning of truth is taken for granted and where the aim of the game is to come to know certain truths. To assimilate them to the semantical games constitutive of truth is a form of Meno's paradox
Similar books and articles
On the Logic of Informational Independence and its Applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Modelling Simultaneous Games in Dynamic Logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Determinacy for Games Ending at the First Admissible Relative to the Play.Itay Neeman - 2006 - Journal of Symbolic Logic 71 (2):425 - 459.
Congestion Models and Weighted Bayesian Potential Games.Giovanni Facchini, Freek van Megen, Peter Borm & Stef Tijs - 1997 - Theory and Decision 42 (2):193-206.
Added to PP
Historical graph of downloads
Citations of this work
Argumentation Methods for Artificial Intelligence in Law.Douglas Walton - 2005 - Berlin and Heidelberg: Springer.
The Place of Dialogue Theory in Logic, Computer Science and Communication Studies.Douglas Walton - 2000 - Synthese 123 (3):327-346.
Games as Formal Tools Versus Games as Explanations in Logic and Science.Ahti-Veikko Pietarinen - 2003 - Foundations of Science 8 (4):317-364.
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication.Ahti-Viekko Pietarinen - 2006 - Dordrecht, Netherland: Springer.
References found in this work
No references found.