29 found
Order:
See also
Tero Tulenheimo
Université Charles-de-Gaulle - Lille 3
  1.  14
    Objects and Modalities: A Study in the Semantics of Modal Logic.Tero Tulenheimo - 2017 - Springer Verlag.
    This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  47
    Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - Springer.
    This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  59
    From Games to Dialogues and Back.Shahid Rahman & Tero Tulenheimo - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 153--208.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  35
    Independence Friendly Logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
  5.  73
    Between de Dicto and de Re: De Objecto Attitudes.Manuel Rebuschi & Tero Tulenheimo - 2011 - Philosophical Quarterly 61 (245):828-838.
    Hintikka's second generation epistemic logic introduces a syntactic device allowing to express independence relations between certain logical constants. De re knowledge attributions can be reformulated in terms of quantifier independence, but the reformulation does not extend to non-factive attitudes like belief. There, formulae with independent quantifiers serve to express a new type of attitude, intermediate between de dicto and de re, called ‘de objecto’: in each possible world compatible with the agent's belief, there is an individual with the specified property (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  16
    Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
    Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, while the former (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  53
    Negation and Temporal Ontology.Tero Tulenheimo - 2011 - Australasian Journal of Philosophy 89 (1):101-114.
    G. H. von Wright proposed that a temporal interval exemplifies a real contradiction if at least one part of any division of this interval involves the presence of contradictorily related (though non-simultaneous) states. In connection with intervals, two negations must be discerned: 'does not hold at an interval' and 'fails throughout an interval'. Von Wright did not distinguish the two. As a consequence, he made a mistake in indicating how to use his logical symbolism to express the notion of real (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  64
    Remarks on Individuals in Modal Contexts.Tero Tulenheimo - 2009 - Revue Internationale de Philosophie 250 (4):383-394.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  9.  4
    On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  5
    On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 481-501.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  44
    Hybrid Logic Meets If Modal Logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
    The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive than IFML (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  38
    Partially Ordered Connectives and Monadic Monotone Strict Np.Lauri Hella, Merlijn Sevenster & Tero Tulenheimo - 2008 - Journal of Logic, Language and Information 17 (3):323-344.
    Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  10
    Modal Logic of Time Division.Tero Tulenheimo - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 363-387.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  34
    Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Springer Verlag.
    This volume presents mathematical game theory as an interface between logic and philosophy.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  14
    Introduction - Des Jeux en logique.Manuel Rebuschi & Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):1-14.
  16.  13
    Introduction - Des Jeux en logique.Manuel Rebuschi & Tero Tulenheimo - 2004 - Philosophia Scientae 8:1-14.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. A Formal Framework for Future Contingents.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):79-136.
    In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component termed (...)
     
    Export citation  
     
    Bookmark  
  18.  27
    IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
    The present paper provides novel results on the model theory of Independence friendly modal logic. We concentrate on its particularly well-behaved fragment that was introduced in Tulenheimo and Sevenster (Advances in Modal Logic, 2006). Here we refer to this fragment as ‘Simple IF modal logic’ (IFML s ). A model-theoretic criterion is presented which serves to tell when a formula of IFML s is not equivalent to any formula of basic modal logic (ML). We generalize the notion of bisimulation familiar (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Intentionala Objekt: Några Logiska Synpunkter.Tero Tulenheimo - 2013 - Norsk Filosofisk Tidsskrift 48 (3-04):304-313.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  24
    Johannes Rudbeckius’s Conclusio Collegii Logici.Tero Tulenheimo - 2017 - Studia Neoaristotelica 14 (2):189-208.
    Propono hic conversionem in linguam Anglicam conclusionis Collegii Logici, anno 1608–1609 semestri studiorum spatio hiberno a Johanne Rudbeckio Wittenbergæ habiti. Hic commentarius prooemium in conversionem est. Rudbeckius primus Suecus erat, qui librum didacticum de logica publicavit. Maiorem partem libri iam anno 1606 scripserat, cum Mathesis Professor Upsaliensis esset, sed Logica ex optimis et præstantissimis autoribus collecta & conscripta non ante annum 1625 edita sit. Cum Johanne Canuti Lenæo, collega suo, Rudbeckius primas partes agebat in inducenda in Sueciam scholastica Lutherana, cuius (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Johannes Rudbeckius’s View on the Nature of Logic.Tero Tulenheimo - 2018 - Studia Neoaristotelica 15 (2):135-215.
    Johannes Rudbeckius, one of Sweden’s most influential figures in theology, pedagogy, and church-state relations in the 17th century, published two books on logic: Logica ex optimis et præstantissimis autoribus collecta & conscripta and Controversiæ logices vel potius earum epitome. In this paper, I present and critically discuss Rudbeckius’s view on the nature of logic as it can be reconstructed from these two works. This requires, in particular, identifying the larger intellectual framework within which Rudbeckius operated. The single most important philosopher (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Modal Logic of Time Division.Tero Tulenheimo - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 363-387.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 2003 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 481-501.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  19
    Sur les « opérateurs rétrogrades ».Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):145-160.
    A logic of ‘backwards-looking operators’ is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios. It is shown that the expressive power of OR is greater than that of basic logic of propositional attitudes . Furthermore, it is established that the expressive powers of OR and the hybrid logic AL + ↓ + @ coincide. In conclusion, the theoretical interest of backwards-looking operators is briefly discussed.RésuméUne logique d’« opérateurs rétrogrades » est (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  17
    Sur les « opérateurs rétrogrades ».Tero Tulenheimo - 2004 - Philosophia Scientae 8:145-160.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  65
    The Two Faces of Compatibility with Justified Beliefs.Tero Tulenheimo - 2016 - Synthese 193 (1):15-30.
    When discussing knowledge, two relations are of interest: justified doxastic accessibility \ , she is in \ ) and justification equivalence \ exactly the same justified beliefs that she has in \ ). Speaking of compatibility with the agent’s justified beliefs is potentially ambiguous: either of the two relations \ or \ can be meant. I discuss the possibility of identifying the relation of epistemic accessibility \ , she is in \ ) with the union of \ and \ . (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.
    I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...)
     
    Export citation  
     
    Bookmark  
  29.  36
    Worlds, Times and Selves Revisited.Tero Tulenheimo - 2016 - Synthese 193 (11):3713-3725.
    In Prior’s tense-logical analysis, we can avoid mentioning instants in our language by construing them as propositions of a special kind. Instead of qualifying instants by predicates, we may qualify propositions by modalities. Prior shows that by changing the informal interpretation of our modal-like language, we can similarly attempt to avoid ontological commitments to worlds and even to selves and other bona fide individuals. As he notes, the paraphrasing strategy works too generally to be of direct metaphysical use. I wish (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark