
1Dependencies Between Quantifiers Vs. Dependencies Between VariablesIn Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, De Gruyter. pp. 117132. 2019.

Short Overview of the Development of Hintikka’s Work in LogicIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. pp. 118. 2018.I will present a short overview of Hintikka’s main ideas in logic, starting with his early work on constituents and model sets, continuing with his contributions to epistemic logic, up to his later work in gametheoretical semantics and the Interrogative Model of Inquiry.

42From Lagrange to Frege: Functions and ExpressionsIn Gabriel Sandu, Marco Panza & Hourya BenisSinaceur (eds.), Functions and Generality of Logic, Springer Verlag. 2015.Both Frege's Grundgesetze, and Lagrange's treatises on analytical functions pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like . Despite this contrast, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logi…Read more

Frege, Russell, Ramsey and the Notion of an Arbitrary FunctionIn Gabriel Sandu, Marco Panza & Hourya BenisSinaceur (eds.), Functions and Generality of Logic, Springer Verlag. 2015.

14Bivalence and future contingencyIn Vincent Hendricks & Sven Ove Hansson (eds.), Handbook of Formal Philosophy, Springer. forthcoming.This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truthvalue. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics o…Read more

1Functional AnaphoraIn Cédric Dégremont, Laurent Keiff & Helge Rückert (eds.), Dialogues, Logics and Other Strange Things, Essays in Honour of Shahid Rahman, . 2008.Our aim in this paper is to provide a referential account of functional anaphora within a Skolem functions framework. We will give an interpretation of indefinite NPs as Skolem terms in order to show that the referential link established between an anaphoric pronoun and its antecedent is a descriptive one. Then we will argue that functional anaphora can be understood as a particular kind of Etype pronouns, in the sense that, for a large corpus, the pronoun can be replaced by a descriptive expre…Read more

74Stenius on Logical ConstantsIn Logica Yearbook '96, . pp. 93106. 1996.The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

Modeling Monty Hall in If LogicIn Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society, Springer Verlag. 2017.

24Logic in Games, by van Benthem, Johan: Cambridge, MA: The MIT Press, 2014, pp. xv + 547, US$50 (review)Australasian Journal of Philosophy 94 (3): 620624. 2016.

13Romanian Studies in Philosophy of Science (edited book)Springer. 2015.This is a collection of studies by contemporary Romanian philosophers of science. As it happens, it ruffled a lot of feathers, to the extent that the book is largely ignored in Romania, although it does quite well internationally, with some really good citations. Check it out!

28This collects some of the remarks made at the 2016 Pacific APA Memorial session for Patrick Suppes and Jaakko Hintikka. The full list of speakers on behalf of these two philosophers: Dagfinn Follesdal; Dana Scott; Nancy Cartwright; Paul Humphreys; Juliet Floyd; Gabriel Sandu; John Symons.

138The fallacies of the new theory of referenceSynthese 104 (2). 1995.The socalled 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 builtin direct reference and that there is even a special class of singular terms (proper names) necessarily exhibiting direct reference. This…Read more

49Minimalism and the Definability of TruthThe Proceedings of the Twentieth World Congress of Philosophy 2000 143153. 2000.In this paper I am going to inquire to what extent the main requirements of a minimalist theory of truth and falsity (as formulated, for example, by Horwich and Field) can be consistently implemented in a formal theory. I will discuss several of the existing logical theories of truth, including Tarskitype (un)definability results, Kripke’s partial interpretation of truth and falsity, Barwise and Moss’ theory based upon nonwellfounded sets, McGee’s treatment of truth as a vague predicate, and …Read more

2In order to give a compositional semantics for IF languages, we shall describe their syntax in a diﬀerent way. We shall not any longer have quantiﬁers of the form (∃y/{Q1x1, ..., Qkxk}), (∀y/{Q1x1, ..., Qkxk}), (Qi ∈ {∃, ∀}) but instead (∃xn/{xi1, ..., xim}), (∀xn/{xi1, ..., xim}).

20Logic and linguistics in the twentieth centuryIn Leila Haaparanta (ed.), The Development of Modern Logic, Oxford University Press. 2008.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.

Review of Patrice Bailhace: Les normes dans le temps et sur l'action (review)Theoria 52 (3): 200. 1986.

55Uses and Misuses of Frege’s IdeasThe Monist 77 (3): 278293. 1994.Frege has one magnificent achievement to his credit, viz. the creation of modern formal logic. As a philosopher and as a theoretical logician, he was nevertheless as parochial as he was, geographically speaking. Hence Frege’s concepts and problems offer singularly unfortunate starting points for constructive work in the foundations of logic and mathematics. Even if he is right in some of his views, they depend on severely restrictive assumptions that have to be noted and eliminated. These restri…Read more

54On the theory of anaphora: Dynamic predicate logic vs. gametheoretical semantics (review)Linguistics and Philosophy 20 (2): 147174. 1997.

8Partially ordered connectives and finite graphsIn M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 7988. 1995.

76Joint 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 DOoperator) and jointly seeing to it that something is the case (expressed in terms of a Stitoperator). 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

4Entre Logique Et LangageVrin. 2009.Linguistique et philosophie logique du langage : deux traditions de pensée que bien des choses opposent. La première est plutôt mentaliste, et orientée vers l’étude de la syntaxe; la seconde, plus préoccupée de sémantique, cherche volontiers le sens dans les conditions de vérité des phrases. Ce portrait n’est pas faux, mais il est incomplet : entre logique et linguistique, les relations n’ont pas été, ne sont pas que d’opposition.Dans cet ouvrage, les auteurs proposent une sorte d’histoire conce…Read more

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

University of HelsinkiDepartment of Philosophy (Theoretical Philosophy, Practical Philosophy, Philosophy in Swedish)Professor
Areas of Specialization
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Mathematics 
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Mathematics 