-
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
-
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.
-
5Hintikka and the New Theory of ReferenceIn R. E. Auxier & L. E. Hahn (eds.), The Philosophy of Jakko Hintikka, . pp. 541-555. 2006.
-
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
-
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.
-
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}).
-
2Two notions of scopeIn Ahti-Veikko Pietarinen (ed.), Game Theory and Lingustic Meaning, Brill. pp. 171-183. 2007.
-
1Outstanding Contributions to Logic: Jaakko Hintikka (edited book)Springer. 2018.This book collects articles on knowledge and game-theoretical semantics dedicated to the memory of the Finnish philosopher and logician Jaakko Hintikka. Many of the contributors have been Hintikka's closed collaborators. The book contains a short overview of Hintikka's contributions to logic and an extensive bibliography of Hintikka's works.
-
Modeling Monty Hall in If LogicIn Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society, Springer Verlag. 2017.
-
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.
-
Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386Bulletin of Symbolic Logic 18 (2): 272-273. 2012.
-
Dynamic game semanticsIn Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn, Elsevier Science. pp. 215--240. 2003.
-
IF first-order logic and truth-definitionsJournal of Philosophical Logic 26. 1997.This paper shows that the logic known as Information-friendly logic (IF-logic) introduced by Jaakko Hintikka and Gabriel Sandu defines its own truth-predicate. The result is interesting given that IF logic is a much stronger logic than ordinary first-order logic and has also a well behaved notion of negation which, on its first-order subfragment, behaves like classical, contradictory negation.
-
Review of Patrice Bailhace: Les normes dans le temps et sur l'action (review)Theoria 52 (3): 200. 1986.
-
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 |