Temps, logique et dualité

Time, Logic and Duality

• Auteur / Autrice : Vincent Wistrand
• Direction : Shahid Rahman
• Type : Projet de thèse
• Discipline(s) : Philosophie
• Date : Inscription en doctorat le ; Soutenance le 16/02/2024
• Etablissement(s) : Université de Lille (2022-....)
• Ecole(s) doctorale(s) : École doctorale Sciences de l'homme et de la société (Lille ; 2006-....)
• Partenaire(s) de recherche : Laboratoire : Savoirs, Textes, langages
• Jury : Examinateurs / Examinatrices : Maria José Frapolli, Cristina BARéS-GOMEZ, Matthieu Fontaine, Jean-Baptiste Guillon, Baptiste Mélès, Shahid Rahman
• Jury : Rapporteur / Rapporteuse : Maria José Frapolli, Cristina BARéS-GOMEZ

Mots clés

Mots clés libres

Bidimensionnalité

Logique Temporelle

Théorie des Modèles

Temps

Temps Verbal

Aspect

Bidimensionality

Temporal Logic

Model Theory

Time

Tense

Aspect

Résumé

Dans cette étude, nous tentons d'établir l'existence d'une dualité temporelle d'ordre méta-ontologique (ayant des répercussions ontologiques) - que l'on appelle dualité*, laquelle consiste à distinguer le temps concret du temps abstrait. La première est un principe d'unification phénoménologique, sa finalité est la création d'un ordre temporel qualitatif que l'on rapproche de la notion de sens interne (Kant) ou encore d'être-au-monde (Heidegger). La seconde est au contraire un principe de division objectif, sa finalité est la création d'un système de mesure de l'univers purement quantitatif. Nous tenons cette distinction comme bien distincte d'autres, d'ordre purement ontologique, comme temps subjectif et temps objectif, série A et série B, etc. Nous tentons d'établir des traces de cette dualité* dans certains langages, notamment l'anglais, le français, et quelques langages logiques temporels élémentaires. Dans un premier moment, nous étudions sur les reconstructions logiques de la théorie des futurs contingents (Aristote) et du paradoxe de Diodore (Prior, Vuillemin) fondées sur des logiques temporelles arborescentes et le concept logique de moment (Belnap), lequel contient des traces de la dualité*. Ensuite, nous étudions deux grandes catégories d'expression logique du temps : la logique temporelle de Prior et la logique d'ordre 1 avec quantification temporelle (Øhrstrøm, Halse), que nous relions à la dualité*. Dans un troisième moment, nous distinguons le temps verbal de l'aspect, nous montrons que la théorie bidimensionnelle de l'aspect - laquelle consiste à affirmer l'incompatibilité entre les sémantiques de l'aspect grammatical et de l'aspect lexical (Sasse), est elle aussi liée à la dualité*. Enfin, dans un quatrième et dernier moment, nous présentons un cadre logique - que l'on appelle SRE*, fondé sur la distinction explicite entre temps concret et temps abstrait. Ce cadre se veut être une reformulation du cadre logique SRE (Reichenbach), une illustration de la théorie de la spatialisation de la durée pure (Bergson) et une extension de la théorie des modèles temporels.

In this study, we attempt to establish the existence of a meta-ontological temporal duality (with ontological repercussions) - that we call duality*, which consists in distinguishing concrete time from abstract time. The first is a principle of phenomenological unification, its purpose is the creation of a qualitative temporal order, which is related to the notion of inner sense (Kant) or being-in-the-world (Heidegger). The second is an objective principle of division, its purpose is the creation of a purely quantitative measurement system of the universe. We regard this distinction as quite distinct from others - purely ontological, such as subjective time and objective time, A-theory and B-theory, etc. We attempt to establish traces of this duality* in certain languages, notably English, French, and some elementary temporal logic languages. First, we study a few logical reconstructions of the theory of future contingents (Aristotle) and the Master Argument (Prior, Vuillemin) based on branching-time logic and the logical concept of moment (Belnap), which contains traces of duality*. Next, we study two logical categories of temporalisation: tense logic (Prior) and first-order logic with temporal quantification (Øhrstrøm, Halse), which we link to duality*. In a third moment, we distinguish tense from aspect, then we show that the theory of aspectal bidimensionality - which asserts the incompatibility between the semantics of grammatical aspect and lexical aspect (Sasse) - is also linked to duality*. Finally, we present a logical framework - SRE*, based on the explicit distinction between concrete and abstract time. This framework can be thought as a reformulation of the logical framework SRE (Reichenbach), an illustration of the idea of pure duration's spatialization (Bergson) and a model-theoretic extension of classical temporal logics.