SEMANTICS FOR HYPERCLASSICAL LOGIC AND THE PROBLEM OF NEGATION IN THE FORMAL LANGUAGE
https://doi.org/10.25205/2541-7517-2018-16-3-5-15
Abstract
The application of game-theoretic semantics for first-order logic is based on a certain kind of semantic assumptions, directly related to the asymmetry of the definition of truth and lies as the winning strategies of the Verifier (Abelard) and the Counterfeiter (Eloise). This asymmetry becomes apparent when applying GTS to IFL. The legitimacy of applying GTS when it is transferred to IFL is based on the adequacy of GTS for FOL. But this circumstance is not a reason to believe that one can hope for the same adequacy in the case of IFL. Then the question arises if GTS is a natural semantics for IFL. Apparently, the intuitive understanding of negation in natural language can be explicated in formal languages in various ways, and the result of an incomplete grasp of the concept in these languages can be considered a certain kind of anomalies, in view of the apparent simplicity of the explicated concept. Comparison of the theoretical-model and game theoretic semantics in application to two kinds of language - the first-order language and friendly-independent logic - allows to discover the causes of the anomaly and outline ways to overcome it.
References
1. Целищев В. В. Является ли теоретико-игровая семантика «естественной» для дружественно-независимой логики? // Философия науки. 2017. № 3 (74). C. 31-45.
2. Dechesne F. Games, Sets, Math: Formal Investigations into Logic with Imperfect Information. Tilburg: Tilburg Univ. Press, 2005.
3. Hintikka J. Language-Games for Quantifiers // Logic, Language Games and Information. Oxford: Clarendon Press, 1973. P. 53-82.
4. Hintikka J. Hyperclassical Logic (a.k.a. IF Logic) and its Implications for Logical Theory // The Bulletin of Symbolic Logic. 2002. Vol. 8. No. 3. P. 404-423.
5. Hintikka J., Sandu G. Game-Theoretical Semantics // Handbook of Logic and Language / Eds. J. van Benthem, A. ter Muelen. London: Elsevier Science B.V., 1997. P. 361-410.
6. Pietarinen A., Sandu G. Games in Philosophical Logic // Nordic Journal of Philosophical Logic. 2000. Vol. 4. No. 2. P. 143-173.
7. Tennant N. Games Some People Would Have All of Us Play // Philosophia Mathematica (3). 1998. Vol. 6. P. 90-115.
Review
For citations:
Tselishchev V.V. SEMANTICS FOR HYPERCLASSICAL LOGIC AND THE PROBLEM OF NEGATION IN THE FORMAL LANGUAGE. Siberian Journal of Philosophy. 2018;16(3):5-15. (In Russ.) https://doi.org/10.25205/2541-7517-2018-16-3-5-15
Views:
171
Email this article 