-
7Bivalence and Future ContingencyIn Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy, Springer. pp. 333-347. 2012.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 × 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
-
2Two notions of scopeIn Ahti-Veikko Pietarinen (ed.), Game Theory and Lingustic Meaning, Brill. pp. 171-183. 2007.
-
4Hintikka and the New Theory of ReferenceIn R. E. Auxier & L. E. Hahn (eds.), The Philosophy of Jakko Hintikka, . pp. 541-555. 2006.
-
47Partially ordered connectivesZeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1): 361-372. 1992.We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results
-
21Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms (edited book)Springer Verlag. 2015.Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system
-
374Fitch’s paradox and ceteris paribus modalitiesSynthese 173 (1): 75-87. 2010.The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.
-
57Team Semantics for Interventionist Counterfactuals: Observations vs. InterventionsJournal of Philosophical Logic 50 (3): 471-521. 2020.Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce i…Read more
-
5Dependencies Between Quantifiers Vs. Dependencies Between VariablesIn Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, De Gruyter. pp. 117-132. 2019.
-
4Short 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. 1-18. 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 game-theoretical semantics and the Interrogative Model of Inquiry.
-
42From Lagrange to Frege: Functions and ExpressionsIn Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms, 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
-
166Frege, Russell, Ramsey and the Notion of an Arbitrary FunctionIn Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms, Springer Verlag. 2015.The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.
-
38Bivalence 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 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
-
5Functional 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 E-type pronouns, in the sense that, for a large corpus, the pronoun can be replaced by a descriptive expre…Read more
-
198Stenius on Logical ConstantsIn Keinänen Markku & Sandu Gabriel (eds.), Logica Yearbook, . pp. 93-106. 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): 620-624. 2016.
-
29Jaakko Hintikka on Knowledge and Game Theoretical Semantics (edited book)Springer. 2018.This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory. This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the enti…Read more
-
35Romanian Studies in Philosophy of Science (edited book)Springer. 2015.This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research.…Read more
-
184IntroductionSynthese 137 (1-2): 1-1. 2003.The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.
-
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.
-
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
-
78Henkin 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
-
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 |