• 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 game-theoretical semantics and the Interrogative Model of Inquiry.
  •  42
    From Lagrange to Frege: Functions and Expressions
    In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (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
  •  14
    Bivalence and future contingency
    with Carlo Proietti and Francois Rivenc
    In 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 truth-value. 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
  •  1
    Functional Anaphora
    In 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 E-type pronouns, in the sense that, for a large corpus, the pronoun can be replaced by a descriptive expre…Read more
  •  74
    The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.
  • Modeling Monty Hall in If Logic
    with Silviu Velica
    In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society, Springer Verlag. 2017.
  •  2
    Jaakko Hintikka on Knowledge and Game Theoretical Semantics (edited book)
    with Hans van Ditmarsch
    Springer. 2018.
  •  13
    Romanian Studies in Philosophy of Science (edited book)
    with Ilie Pȃrvu and Iulian D. Toader
    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!
  •  5
    Neale and the Principle of Compositionality
    ProtoSociology 23 131-142. 2006.
  • Logica Yearbook
    with Markku Keinänen
    . 1996.
  •  28
    This 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.
  •  138
    The fallacies of the new theory of reference
    with Jaakko Hintikka
    Synthese 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
  •  49
    Minimalism and the Definability of Truth
    The Proceedings of the Twentieth World Congress of Philosophy 2000 143-153. 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 Tarski-type (un)definability results, Kripke’s partial interpretation of truth and falsity, Barwise and Moss’ theory based upon non-well-founded sets, McGee’s treatment of truth as a vague predicate, and …Read more
  •  15
    Signalling in independence-friendly logic
    with F. Barbero
    Logic Journal of the IGPL 22 (4): 638-664. 2014.
  • IF first-order logic and truth-definitions
    Journal of Philosophical Logic 26. 1997.
  •  2
    In 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}).
  •  20
    Logic and linguistics in the twentieth century
    with Alessandro Lenci
    In 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.
  •  55
    Uses and Misuses of Frege’s Ideas
    with Jaakko Hintikka
    The Monist 77 (3): 278-293. 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
  •  54
  •  8
    Partially ordered connectives and finite graphs
    with Lauri Hella
    In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation, Kluwer Academic Publishers. pp. 79--88. 1995.
  •  76
    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
  •  25
    Equilibrium semantics
    with Merlijn Sevenster
    Annals of Pure and Applied Logic. forthcoming.
  •  4
    Entre Logique Et Langage
    with François Rivenc
    Vrin. 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
  •  11
    entities 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