Sur les « opérateurs rétrogrades »

Philosophia Scientiae 8 (2):145-160 (2004)
  Copy   BIBTEX

Abstract

Une logique d’« opérateurs rétrogrades » (OR) est définie en utilisant des jeux sémantiques, joués sur des modèles à deux dimensions, l’une pour le temps, l’autre pour les scénarios épistémiques. On démontre que l’expressivité de OR est plus grande que celle de la logique de base des attitudes propositionnelles (AL). De plus, on établit que les pouvoirs expressifs de OR et la logique hybride AL + ↓ + @ coïncident. L’intérêt théorique général des opérateurs rétrogrades est brièvement discuté.

Categories

Add categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.570

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sortir du cercle.Frédéric Brahami - 2007 - Archives de Philosophie 70 (1):41-55.
Old Regnas et le droit chemin: Analyse sémiotique et opérateurs topologiques.Andrea Semprini - 1991 - Semiotica 85 (3-4):319-378.
Opérateurs argumentatifs et stratégies langagières : II. Argumentation : discours, langages, logiques.Rodolphe Ghiglione - 1995 - Hermes 15:227.
Pour une approche wittgensteinienne des règles économiques.Bénédicte Reynaud - 2005 - Revue de Métaphysique et de Morale 3 (3):349-374.
Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5‐7):59-75.
Catégories et catégorisations: Opérateurs et opérations.Frank Alvarez-Pereyre - 2008 - In Catégories et catégorisation: une perspective interdisciplinaire. Dudley, MA: Peeters. pp. 33--345.
Review: Daniel Lacombe, Extension de la Notion de Fonction Recursive aux Fonctions d'une ou Plusieurs Variables Reelles; Daniel Lacombe, Remarques sur les Operateurs Recursifs et sur les Fonctions Recursives. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-53.
D’entreprise ou de société? Deux opérateurs « historiques » et leurs musées, EDF et Orange.Pascal Griset & Léonard Laborie - 2011 - Hermès: La Revue Cognition, communication, politique 61 (3):, [ p.].
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Remarks on Individuals in Modal Contexts.Tero Tulenheimo - 2009 - Revue Internationale de Philosophie 250 (4):383-394.
Introduction - Des Jeux en logique.Manuel Rebuschi & Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):1-14.
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.
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.
Reviews unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox . Edited by Shahid Rahman, Tero Tulenheimo, & Emmanuel genot. Springer verlag, 2008, pp. XXIV+333, €160.45. [REVIEW]David Miller - 2010 - Philosophy 85 (3):433-436.

Analytics

Added to PP
2014-01-18

Downloads
34 (#470,101)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tero Tulenheimo
Tampere University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references