Note ABES Temps, dualité et vérité : Étude sur les traces d'une dualité temporelle métalinguistique et métaontologique dans quelques langages élémentaires Time, duality and truth : Study on a Metaontological Temporal Duality in Some Elementary Languages Bidimensionnalité Logique Temporelle Théorie des Modèles Temps Temps Verbal Aspect Bidimensionality Temporal Logic Model Theory Time Tense Aspect Temps (philosophie) Logique temporelle Théorie des modèles Temps (linguistique) Dualité (logique) 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. Electronic Thesis or Dissertation Text fr PDF 865090 https://pepite-depot.univ-lille.fr/LIBRE/EDSHS/2024/2024ULILH004.pdf https://theses.hal.science/tel-04885353 https://theses.fr/2024ULILH004/abes https://theses.hal.science/tel-04885353 https://theses.hal.science/tel-04885353 https://theses.hal.science/tel-04885353 Wistrand Vincent 1986-04-28 FR 275992012 https://theses.fr/2024ULILH004 2024ULILH004 https://doi.org/10.70675/26b8c2adzbc1fz484fzaa17ze63d01bf3777 2024-02-16 Philosophie Université de Lille (2022-....) 259265152 Doctorat Docteur es non oui Rahman Shahid MADS_DIRECTEUR_DE_THESE_1 059922435 Fontaine Matthieu MADS_PRESIDENT_DU_JURY 156355779 Guillon Jean-Baptiste MADS_MEMBRE_DU_JURY_1 185822460 Mélès Baptiste MADS_MEMBRE_DU_JURY_2 170123855 Frápolli María José MADS_RAPPORTEUR_1 087479737 Barés Gómez Cristina MADS_RAPPORTEUR_2 164139389 École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) MADS_ECOLE_DOCTORALE_1 473 148938809 Savoirs, textes, langage (Villeneuve d'Ascq, Nord ; 2006-....) MADS_PARTENAIRE_DE_RECHERCHE_1 094767386 11909 ddc:100 Rahman Shahid Fontaine Matthieu Guillon Jean-Baptiste Mélès Baptiste Frápolli María José Barés Gómez Cristina École doctorale Sciences de l'homme et de la société (Lille ; 2006-....) Savoirs, textes, langage (Villeneuve d'Ascq, Nord) PDF 865090