-
Review of Patrice Bailhace: Les normes dans le temps et sur l'action (review)Theoria 52 (3): 200. 1986.
-
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. 2011.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..
-
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 |