-
99The skeleton in Frege's cupboard: The standard versus nonstandard distinctionJournal of Philosophy 89 (6): 290-315. 1992.Against some very common views (e.g. Dummett), this paper argues that Frege did not have a standard interpretation of higher-order logic and for this reason his programme in the foundations of mathematics was a nonstarter.
-
63On the theory of anaphora: Dynamic predicate logic vs. game-theoretical semantics (review)Linguistics and Philosophy 20 (2): 147-174. 1997.
-
105Joint action and group action made preciseSynthese 105 (3). 1995.The paper argues that there are two main kinds of joint action, direct joint bringing about (or performing) something (expressed in terms of a DO-operator) and jointly seeing to it that something is the case (expressed in terms of a Stit-operator). The former kind of joint action contains conjunctive, disjunctive and sequential action and its central subkinds. While joint seeing to it that something is the case is argued to be necessarily intentional, direct joint performance can also be noninte…Read more
-
33If Logic, Game-Theoretical Semantics, and the Philosophy of ScienceIn S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publisher. pp. 105--138. 2004.
-
11entities in mathematics There is a line of argument which keeps ontological commitments to the minimum by making use of conservativity results. The argument goes back to Hilbert who set its general frame. Hilbert’s concern was with certain abstract (ideal) entities in mathematics but the argument has been applied without discrimination to avoid ontological commitment to mathematical entities in physics (Field) or to avoid an ontological commitment to substantial properties in the case of truth (…Read more
-
66Deflationism and arithmetical truthDialectica 58 (3). 2004.Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like 'All the theorems are true', 'Everything Peter said is true', etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case o…Read more
-
16Quantification and Anaphora in Natural LanguageIn Richard Schantz (ed.), Prospects for Meaning, Walter De Gruyter. pp. 609-628. 2012.
-
19On a Combination of Truth and Probability: Probabilistic Independence-Friendly LogicIn Alexandru Manafu (ed.), The Prospects for Fusion Emergence, Boston Studies in the Philosophy and History of Science, Vol. 313. 2015.
-
2We fix a family of actions A which represents the set of possible choices of the players in a game. A sequence (a1, ..., an) of actions represents the consecutive choices of the players, ai ∈ A.
-
2In order to give a compositional semantics for IF -languages, we shall describe their syntax in a different way. We shall not any longer have quantifiers of the form (∃y/{Q1x1, ..., Qkxk}), (∀y/{Q1x1, ..., Qkxk}), (Qi ∈ {∃, ∀}) but instead (∃xn/{xi1, ..., xim}), (∀xn/{xi1, ..., xim}).
-
27Logic and linguistics in the twentieth centuryIn Leila Haaparanta (ed.), The development of modern logic, Oxford University Press. 2009.This chapter begins with a discussion of the three phases of the interaction between logic and linguistics on the nature of universal grammar. It then attempts to reconstruct the dynamics and interactions between these approaches in logic and in linguistic theory, which represent the major landmarks in the quest for the individuation of the universal structure of language.
-
21The Skeleton in Frege's Cupboard: The Standard Versus Nonstandard DistinctionJournal of Philosophy 89 (6): 290. 1992.
-
20Partiality and games: propositional logicLogic Journal of the IGPL 9 (1): 101-121. 2001.We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two…Read more
-
Game-Theoretic SemanticsIn Benthem & Meulen (eds.), Handbook of Logic and Language, Mit Press. 1997.The paper presents an application of game-theoretical ideas to the semantics of natural language, especially the analysis of quantifiers and anaphora. The paper also introduces the idea of games of imperfect information and connects to partial logics.
-
17numbers as in the following example ♦1,1♦1,2 2,3 5,4p We denote the set of formulas of this modal language by M L(k). For each modality type i, there will be an accessibility relation Ri. That is, an k-ary modal structure for the modal propositional language L will have the form..
-
17Entre logique et langageVrin. 2009.Linguistique et philosophie logique du langage: deux traditions de pensee que bien des choses opposent. La premiere est plutot mentaliste, et orientee vers l'etude de la syntaxe; la seconde, plus preoccupee de semantique, cherche volontiers le sens dans les conditions de verite des phrases. Ce portrait n'est pas faux, mais il est incomplet: entre logique et linguistique, les relations n'ont pas ete, ne sont pas que d'opposition. Dans cet ouvrage, les auteurs proposent une sorte d'histoire concep…Read more
-
13The logic of informational independence and finite modelsLogic Journal of the IGPL 5 (1): 79-95. 1997.In this paper we relax the assumption that the logical constants of ordinary first-order logic be linearly ordered. As a consequence, we shall have formulas involving not only partially ordered quantifiers, but also partially ordered connectives. The resulting language, called the language of informational independence will be given an interpretation in terms of games of imperfect information. The II-logic will be seen to have some interesting properties: It is very natural to define in this log…Read more
-
84Henkin quantifiers and the definability of truthJournal of Philosophical Logic 29 (5): 507-527. 2000.Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension $L_{*}^{1}$ (H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close $L_{*}^{1}$ (H) with respect to Boolean operations, and obtain the language L¹(H). At the next level, we consider an extension $L_{*}^{2}$ (H) of L¹(H) in whic…Read more
-
163The fallacies of the new theory of referenceSynthese 104 (2). 1995.The so-called New Theory of Reference (Marcus, Kripke etc.) is inspired by the insight that in modal and intensional contexts quantifiers presuppose nondescriptive unanalyzable identity criteria which do not reduce to any descriptive conditions. From this valid insight the New Theorists fallaciously move to the idea that free singular terms can exhibit a built-in direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This…Read more
-
11There is a line of argument which aims to show that certain ontological claims are harmless by making use of conservativity results. The argument goes back to Hilbert who set its general frame. Hilbert’s concern was with certain abstract (ideal) entities in mathematics but the argument has been applied without discrimination to avoid ontological commitment to abstract entities in physics (Field) or to avoid ontological commitment to semantical properties like truth (Shapiro).
-
Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386Bulletin of Symbolic Logic 18 (2): 272-273. 2012.
-
University of HelsinkiDepartment of Philosophy (Theoretical Philosophy, Practical Philosophy, Philosophy in Swedish)Retired faculty
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Science, Logic, and Mathematics |