-
9Bivalence 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.
-
5Hintikka and the New Theory of ReferenceIn R. E. Auxier & L. E. Hahn (eds.), The Philosophy of Jakko Hintikka, . pp. 541-555. 2006.
-
52Partially 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
-
30Functions 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
-
393Fitch’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.
-
63Team 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.
-
5Short 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
-
217Frege, 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.
-
40Bivalence 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
-
223Stenius 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.
-
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. 2018.
-
34Jaakko 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
-
38Romanian 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
-
212IntroductionSynthese 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.
-
55Between proof and truthSynthese 187 (3): 821-832. 2012.We consider two versions of truth as grounded in verification procedures: Dummett's notion of proof as an effective way to establish the truth of a statement and Hintikka's GTS notion of truth as given by the existence of a winning strategy for the game associated with a statement. Hintikka has argued that the two notions should be effective and that one should thus restrict one's attention to recursive winning strategies. In the context of arithmetic, we show that the two notions do not coincid…Read more
-
49Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in LogicPhilosophy Compass 7 (10): 691-711. 2012.Independence‐Friendly logic introduced by Hintikka and Sandu studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first‐order logic. The present survey focuses on the game‐theoretical interpretation of IF‐logic, including connections to solution concepts in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms
-
Dynamic game semanticsIn Jaroslav Peregrin (ed.), Meaning: the dynamic turn, Elsevier Science. pp. 215--240. 2003.
-
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 |