15 research outputs found

    MICROCLIMAT, FORMES URBAINES ET OPPORTUNITES D’ADAPTATION BIOCLIMATIQUE DE L’ESPACE URBAIN SAHARIEN Cas de Biskra.

    Get PDF
    Le microclimat urbain est un facteur essentiel de la qualité des espaces urbains publics ; il est influencé par de nombreux paramètres morphologiques. Cette recherche porte sur l'impact des paramètres de la morphologie urbaine sur le microclimat urbain. Nous essayons à étudier la relation entre les paramètres morphologiques et la qualité thermique dans quartes places publiques situées dans la ville de Biskra, tout en essayant à distinguer les conditions génératrices de cette qualité thermique à travers une étude comparative des paramètres climatiques dans chaque place. Pour étudier l’adaptation bioclimatique dans les quatre places, nous avons sélectionné deux catégories de paramètres de la forme urbaine. Nous étudions la géométrie de l’espace public (indiquée par le facteur de vue du ciel "SVF" et le rapport d’aspect "H/W") qui se rapporte à la quantité de rayonnement ; et les caractéristiques de la couverture du sol (densité de l’espace végétal et albédo des surfaces) qui se rapportent avec la chaleur diffusée. Dans la place El Horia, nous distinguons la valeur minimale de la température de l'air avec une différence qui atteint 2 °C à midi par rapport aux autres places étudiées. Nous adoptons aussi une autre étude comparative qui a été réalisée dans le but de vérifier l’adaptation bioclimatique dans la place El Horia qui présente les meilleures conditions climatiques parmi les autres places étudiées et la place du ksar Ouargla qui se présente comme une entité traditionnelle adaptée au climat. Nous tentons aussi de trouver des solutions qui assurent l’amélioration du microclimat urbain dans la place El Horia à travers la simulation, tout en essayant de surmonter les problèmes constatés par l’utilisation de pavés frais dans tout l’espace et l’introduction de la végétation et les surfaces d’eau. Nous estimons que cette initiative contribue à la réduction de la température ambiante dans la place El Horia pendant une journée d'été typique

    Contribution à l'étude de la distributivité d'un treillis de concepts

    Get PDF
    National audienceNous nous intéressons aux treillis distributifs dans le cadre de l'analyse formelle de concepts (FCA). La motivation primitive vient de la phylogénie et des graphes médians pour représenter les dérivations biologiques et les arbres parcimonieux. La FCA propose des algorithmes efficaces de construction de treillis de concepts. Cependant, un treillis de concepts n'est pas en correspondance avec un graphe médian sauf s'il est distributif, d'où l'idée d'étudier la transformation d'un treillis de concepts en un treillis distributif. Pour ce faire, nous nous appuyons sur le théorème de représentation de Birkhoff qui nous permet de systématiser la transformation d'un contexte quelconque en un contexte de treillis de concepts distributif. Ainsi, nous pouvons bénéficier de l'algorithmique de FCA pour construire mais aussi visualiser les treillis de concepts distributifs, et enfin étudier les graphes médians associés

    Architecture d'un système de stations de base distribuées : macrodiversité, agents multiples et autoconfiguration

    Get PDF
    Le paradigme de station de bases distribuée (SDB) est étudié comme remplacement des structures plus rigides de stations de base cellulaire. Dans ce contexte, plusieurs SBD sont réparties afin d'offrir des zones de couverture radio se superposant et ainsi permettre à plusieurs SBD de relayer un même mobile pour lui offrir de la macrodiversité. De plus, les mobiles sont amenés à coopérer pour communiquer sur une même ressource radio afin d'augmenter l'efficacité spectrale par l'utilisation d'une plus grande diversité. L'étude du canal de coopération et macro diversité (de plusieurs mobiles à plusieurs SBD) est abordée afin d'offrir une base à la simulation de ceux-ci et ainsi étudier les interactions et la complexité qui découlent de l'utilisation de ces techniques. Ainsi, un système distribué, de la gestion des connexions (multiples) mobiles à SBD est proposé qui se base sur le concept d'agents multiples. Il est démontré que ceux-ci permet tent l'existence de schémas de connexion dynamiques qui s'auto-organisent. L'étude de l'interférence est ensuite abordée, et un deuxième système d'agents multiples est proposé pour la gestion de l'allocation des canaux. Enfin, la notion de coopération est abordée d'un point de vue systémique, c'est-à-dire en l'étudiant sur le réseau dans son ensemble. Il est montré que la coopération peut être efficace sous certaines conditions et qu'il est possible de gérer cette aptitude supplémentaire simplement avec le recourt d'agents multiples. En fin de compte, l'ensemble des systèmes d'agents proposés et de l'organisation du réseau de SBD permet effectivement d'obtenir des gains appréciables de diversité, d'efficacité spectrale, avec en prime tous les avantages découlant des propriétés distribuées des agents multiples: auto-configuration, adaptabilité, mise à l'échelle, etc

    Une approche systémique unifiée pour l’optimisation durable des systèmes socio-environnementaux: Ingénierie des systèmes de décision en univers incertain

    Get PDF
    Nowadays, the sustainability of human activities is a major worldwide concern. The challenge is to evaluate such activities not only in terms of efficiency and productivity, but also in terms of their economic, social, environmental, etc. durability. For this, the experts of these areas need to work collaboratively. In this context, human societies are facing several major challenges such as: (1) process a large amount of information whose volume increases exponentially (“big data”), (2) live in a both dynamic and imperfect real world, (3) predict and assess future states of its activities.The researches we have conducted in this thesis contribute in particular to the domain of decision systems engineering under uncertainty. We have chosen the field of general socio-environmental systems as subject of study, particularly the multidisciplinary field of agriculture. We propose a systemic approach for the sustainable optimization of socio-environmental systems: (1) the meta-modeling of socio-environmental systems, (2) the generic representation of data imperfection flowing in such systems, associated to a decision model in uncertain environment and finally (3) the simulation and the assessment of such systems in dynamic environment for the purpose of decision making by experts which we have illustrated by both a service-oriented architecture model and case studies applied to the agriculture domain.De nos jours, la durabilité des activités humaines devient une préoccupation majeure dans le monde entier. Il s’agit d’évaluer ces activités non seulement en matière d’efficacité et de productivité, mais aussi en ce qui concerne leurs durabilités économique, sociale, environnementale, etc. Pour ce faire, les experts de ces différents domaines doivent travailler en collaboration. Dans ce contexte, les sociétés humaines sont confrontées à plusieurs défis majeurs qui sont les suivants : (1) traiter de grandes quantités d’informations (« big data »), (2) évoluer dans un monde réel dynamique et imparfait, (3) prévoir et évaluer les états futurs de ses activités.Les recherches que nous avons menées dans cette thèse contribuent plus particulièrement au domaine de l’ingénierie des systèmes de décision en univers incertain. Nous prenons comme objet d'étude général le domaine des systèmes socio-environnementaux, et plus particulièrement le domaine pluridisciplinaire de l’agriculture. Nous proposons une approche systémique pour l’optimisation durable des systèmes socio-environnementaux : (1) la méta-modélisation des systèmes socio-environnementaux, (2) la représentation générique de l’imperfection des informations qui circulent dans ces systèmes, associée à un modèle de décision en contexte incertain et enfin (3) la simulation et l’évaluation de ces systèmes en environnement dynamique en vue de prises de décisions par des experts, que nous avons illustrée par un modèle d’architecture orientée service ainsi que des études de cas appliquées au domaine de l’agriculture

    Stratégies de mise en oeuvre des polytopes en analyse de tolérance

    Get PDF
    In geometric tolerancing analysis area, a classical approach consists in handling polyhedrons coming from sets of linear constraints. The relative position between any two surfaces of a mechanism is determined by operations (Minkowski sum and intersection) on these polyhedrons. The polyhedrons are generally unbounded due to the inclusion of degrees of invariance for surfaces and degrees of freedom for joints defining theoretically unlimited displacements.In a first part are introduced the cap half-spaces to limit these displacements in order to transform the polyhedron into polytopes. This method requires controlling the influence of these additional half-spaces on the topology of calculated polytopes. This is necessary to ensure the traceability of these half-spaces through the tolerancing analysis process.A second part provides an inventory of the issues related to the numerical implementation of polytopes. One of them depends on the choice of a computation configuration (expression point and base, homogenization coefficients) to define a polytope. After proving that the modification of a computation configuration is an affine transformation, several simulation strategies are listed in order to understand the problems of numerical precision and computation time.En analyse de tolérances géométriques, une approche consiste à manipuler des polyèdres de R' issus d’ensembles de contraintes linéaires. La position relative entre deux surfaces quelconques d'un mécanisme est déterminée par des opérations (somme de Minkowski et intersection) sur ces polyèdres. Ces polyèdres ne sont pas bornés selon les déplacements illimités dus aux degrés d’invariance des surfaces et aux degrés de liberté des liaisons.Dans une première partie sont introduits des demi-espaces "bouchons" destinés à limiter ces déplacements afin de transformer les polyèdres en polytopes. Cette méthode implique de maîtriser l’influence des demi-espaces bouchons sur la topologie des polytopes résultants. Ceci est primordial pour garantir la traçabilité de ces demi-espaces dans le processus d’analyse de tolérances.Une seconde partie dresse un inventaire des problématiques de mise en oeuvre numérique des polytopes. L’une d’entre elles repose sur le choix d’une configuration de calcul (point et base d’expression, coefficients d’homogénéisation) pour définir un polytope. Après avoir montré que le changement de configuration de calcul est une transformation affine, plusieurs stratégies de simulations sont déclinées afin d’appréhender les problèmes de précision numérique et de temps de calculs

    Contributions à la définition d'un nouveau langage d'exploitation des bases de données relationnelles

    Get PDF
    Le but du projet DOMINUS est de définir un modèle de SGBD adapté au développement de services de dépôt de données autonomes capables de maintenir un haut standard d'intégrité et de fiabilité dans un contexte applicatif contemporain.Le présent mémoire, réalisé dans le cadre du projet DOMINUS, vise à contribuer à la définition d'un premier langage conforme à ce modèle, Discipulus, et à mettre en oeuvre un premier traducteur expérimental de ce langage. Le modèle DOMINUS demeure basé sur le modèle relationnel de E. F. Codd tout d'abord parce qu'il est simple, facile à appréhender, et repose sur de solides bases théoriques qui permettent notamment de définir de façon formelle les langages de manipulation associés et, en second lieu, parce qu'il est éprouvé, comme le démontrent plus de trente années de prédominance ininterrompue. L'évolution de la gestion d'information a vu apparaître de nouvelles applications (systèmes de gestion intégrée, traitement d'images, vidéo...) nécessitant l'utilisation de bases de données complexes de plus en plus importantes. Ces nouvelles applications ont mis en évidence les insuffisances majeures des systèmes relationnels existants fondés sur le langage SQL: (1) L'inadéquation du modèle relationnel à représenter directement des données complexes, comme des dossiers médicaux structurés, des images radiographiques ou des textes annotés. (2) Les performances insuffisantes dans la manipulation de ces mêmes données. Ces lacunes ont conduit certains à vouloir remplacer le modèle relationnel par le modèle orienté objet. En effet, la notion d'objet (plus exactement de classe) permet de modéliser des éléments complexes et composites du monde réel. En 1990 sont apparus les premiers systèmes de gestion de bases de données à objets, mais, vu les performances et la maturité des systèmes de bases de données relationnelles, les systèmes à objets n'ont pas pris une place significative au sein des organisations. La voie explorée ici est plutôt celle de l'intégration du modèle objet au modèle relationnel, ce dernier demeurant prééminent. L'adoption des deux structures (la relation et la classe) semble donc nécessaire afin de répondre aux besoins et aux exigences des applications complexes tout en gardant la simplicité et la cohésion conceptuelle nécessaire à la vérification et à la validation. Le modèle DOMINUS est donc inspiré des travaux fondamentaux de E. F. Codd et de ses continuateurs, dont C. J. Date et H. Darwen [S1] ainsi que des modèles algorithmiques et de typage de B. Meyer[L13] . Au final, le langage Discipulus retient plusieurs acquis du langage SQL, s'inspire également de langage Tutorial D et emprunte la structure générale et plusieurs mécanismes syntaxiques du langage Eiffel[L13] . Notre proposition comporte également de nombreuses différences sensibles tant sur le fond que sur la forme[L1,L7] . Ces apports sont présentés au fil du mémoire. Le langage Discipulus a été conçu dans le but de permettre l'expression rigoureuse de modèles complexes (intégration complète des classes, des tuples et des relations dans un seul système de typage homogène et cohérent) tout en favorisant la réutilisation (l'utilisation d'un système de paquetage destiné à développer des modules cohérents tout en permettant leur réutilisation simple pour le développement d'autres systèmes), l'évolutivité (l'adoption de l'héritage multiple permet d'éviter la redondance de code et facilite l'extensibilité du logiciel et, par conséquent, l'évolutivité sans compromettre son intégrité et sa fiabilité) et la fiabilité (incorporation des principes de programmation par contrat et leur extension aux opérateurs relationnels, traitement cohérent de l'annulabilité)

    G. Th. Guilbaud et la théorie du choix social

    No full text
    URL des Documents de travail : http://centredeconomiesorbonne.univ-paris1.fr/bandeau-haut/documents-de-travail/ Classification AMS : 03B05, 91B14.Documents de travail du Centre d'Economie de la Sorbonne 2011.47 - ISSN : 1955-611XOne year after the publication of Arrow's 1951 book Social Choice and Individual Values, Guilbaud (1912-2006) published in Économie Appliquée a 50 page's paper entitled Les théories de l'intérêt général et le problème logique de l'agrégation. In this paper -unfortunately too little known- first he dragged from a deep oblivion Condorcet's Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix and showed its interest. Then, he brought significant contributions doing of him a precursor of several futher developments of social choice theory. I present here these contributions and how they have been precursory.En 1952, un an après la parution du livre d'Arrow Social Choice and Individual Values, G.Th. Guilbaud (1912-2006) publiait dans la revue Économie Appliquée un article de 50 pages intitulé Les théories de l'intérêt général et le problème logique de l'agrégation. Dans ce texte -malheureusement trop peu connu- Guilbaud, outre qu'il sortait de l'oubli l'Essai sur l'application de l'analyse à la probabilité des décisions rendues à la pluralité des voix de Condorcet dont il dévoilait l'intérêt, apportait de remarquables contributions qui en font le précurseur de plusieurs développements ultérieurs de la théorie du choix social. J'examine ici ces différentes contributions et leurs caractères précurseurs

    La logique quantique comme fondement de la métaphysique de la mécanique quantique

    Get PDF
    Notre thèse est une analyse philosophique dont le but est de spécifier la métaphysique de la mécanique quantique et d'en déterminer les fondements logiques. Depuis le début de sa formulation, des problèmes d'interprétation ont surgi en mécanique quantique. La cause principale de ces problèmes est, d'après nous, le choix d'une métaphysique, entendue comme positionnement par rapport à l'existence des entités théoriques étudiées par la mécanique quantique. D'autre part, il existe en philosophie des sciences un débat entre le réalisme scientifique et ses opposants antiréalistes. En philosophie analytique, Dummett a déplacé les débats métaphysiques du terrain de l'ontologie vers le terrain logico-sémantique. En effet, selon son analyse, les débats métaphysiques sont des débats à propos du choix d'une logique. Selon Dummett, une métaphysique réaliste a pour fondement la logique classique et une métaphysique antiréaliste a pour fondement une logique non classique. Par contre, le choix d'une logique doit être justifié par une théorie sémantique qui doit elle-même être justifiée par un modèle de la signification. L'approche logico-algébrique de la mécanique quantique a donné naissance à la logique quantique comme champ de recherche. Ce champ de recherche tente de déterminer la structure logique de la mécanique quantique par des structures d'ordre ou algébriques. Par exemple, la logique classique est interprétée par une algèbre de Boole tandis que la logique quantique standard est interprétée par la structure de treillis orthomodulaire. Nos hypothèses sont que la métaphysique de la mécanique quantique est antiréaliste et que la structure formelle de la logique quantique est une algèbre booléenne partielle transitive. Nous faisons l'hypothèse additionnelle que la logique quantique que nous défendons possède une assignation de valeurs de vérité probabilitaire conditionnelle dans laquelle la valeur de vérité d'un énoncé quantique est identifiée à la probabilité que lui attribue la théorie quantique et est conditionnelle à l'état du système quantique. Pour la détermination de la métaphysique de la mécanique quantique, la méthode utilisée est l'application de l'analyse dummettienne des débats métaphysiques à la classe des énoncés de la mécanique quantique. Pour la détermination de la logique quantique, nous nous inscrivons dans l'approche logico-algébrique de la mécanique quantique. Le choix de la structure algébrique ainsi que celui de l'assignation de valeurs de vérité sont justifiés par des contraintes sémantiques provenant de la théorie sémantique quantique et du modèle de la signification. L'analyse dummettienne appliquée à la classe des énoncés quantiques soutient un antiréalisme radical puisque, pour cette classe, la bivalence est inacceptable et le modèle de signification est le modèle justificationniste. En montrant que les conjonctions et disjonctions d'énoncés quantiques portant sur des observables incompatibles n'ont pas de signification, le modèle justificationniste de la signification justifie la structure algébrique que nous proposons. La signification des énoncés quantiques revient à une signification expérimentale. De plus, la signification des énoncés quantiques revient à une signification expérimentale. De plus, la théorie sémantique quantique que nous avons construite dont l'assignation probabilitaire fait partie, est justifiée également par le modèle justificationniste de la signification. L'originalité majeure de notre recherche est sa méthode, c'est-à-dire le fait de combiner une analyse dummettienne de la métaphysique de la mécanique quantique et une exploration des logiques quantiques existantes. Autant pour la spécification de la métaphysique que pour la détermination de la logique quantique, les justifications sont issues, en fin de compte, du modèle de la signification qui s'applique à la classe des énoncés quantiques. Un autre point important et original de notre thèse est la construction de la théorie sémantique quantique qui permet d'expliquer la compositionnalité des énoncés quantiques. Grâce à la théorie sémantique quantique, la logique quantique que nous proposons, en l'occurrence la logique quantique booléenne partielle, est vérifonctionnelle. Plutôt que de nous servir des arguments habituels que nous rencontrons en sciences et en philosophie des sciences pour prendre position dans le débat opposant le réalisme et l'antiréalisme qui a lieu en mécanique quantique, nous nous servons d'une thèse que Dummett a développée en philosophie analytique pour y parvenir. Notre recherche vient appuyer, par le biais de la philosophie analytique, tout un courant de pensée antiréaliste à propos de la mécanique quantique qui existe en physique et en philosophie des sciences. Notre contribution se situe sur le plan de l'interprétation logique et métaphysique de la mécanique quantique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Philosophie de la physique, Mécanique quantique, Métaphysique, Dummett, Logique quantique, Structures algébriques et d'ordre

    Le nombre et la définitude dans le syntagme nominal en albanais

    Get PDF
    Cette thèse porte sur la distribution et l'interprétation des expressions nominales introduites par un nom 'nu' (libër 'livre') ou par un nom suivi du/des suffixe(s) de nombre et/ou de définitude (libra 'livres', libri 'le livre', librat 'les livres'), en albanais. Les particularités de l'albanais consistent premièrement dans le fait que les formes du nom qui ne contiennent pas de déterminant peuvent être employées référentiellement, deuxièmement, l'albanais peut utiliser la forme 'nue' du nom dans des contextes prédicatifs et troisièmement il peut effacer le nom, utilisant les déterminants seuls. La problématique est envisagée dans le cadre d'une approche théorique néo-saussurienne proposée par Bouchard (2002, 2005) qui se base sur le principe que le langage n'est pas primordialement le reflet d'un système computationnel, mais plutôt que l'interaction des propriétés antérieures au langage (les propriétés physiologiques du système sensorimoteur et celles cognitives du système conceptuel) détermine le système des langues naturelles. Notre analyse s'articule autour du Paramètre du Nombre, qui dérive d'une propriété sémantique fondamentale, la nécessité d'indiquer minimalement au niveau conceptuel qu'un actant est en jeu dans l'événement décrit par la phrase, et du fait que le système sensori-moteur offre des moyens équivalents entre eux pour l'exprimer à l'intérieur d'une expression nominale. Nous soutenons que les propriétés observées en albanais sont une conséquence directe de l'organisation du système de Nombre et des moyens formels que l'albanais utilise pour exprimer les oppositions qui constituent ce système, et des choix qu'il fait dans la façon de conceptualiser la notion de Nombre au niveau du système conceptuel-intentionnel, et dans la façon de réaliser chacun de ces choix au niveau du système articulatoire-perceptuel. La thèse offre un nouveau support empirique à l'analyse de Bouchard (2002), qui propose que les différences entre les systèmes nominaux du français et de l'anglais découlent de la façon de marquer le Nombre -le français sur le déterminant et l'anglais sur le nom, et l'élargit par l'introduction d'un nouveau concept, le 'Numérable'.\ud Le Numérable est une valeur du nombre qui indique que le nominal a la possibilité de dénombrer, recouvrant toutes les options possibles de nombre, mais qu'il n'est pas obligé de le faire tant que ceci n'est pas nécessaire. Le système de Nombre en albanais contient le Numérable et l'opposition singulier vs. pluriel, mais la langue ne possède pas de forme particulière morphologique pour exprimer chacune de ces valeurs. Il utilise la forme 'nue' du nom pour exprimer le Numérable et le singulier indéfini. Le nom 'nu' peut être utilisé aussi bien en position prédicative que référentielle parce que sémantiquement il a le strict nécessaire pour pouvoir le faire. Il peut être interprété comme un nom de masse, un 'weak indefinite', un nom d'espèce ou un générique. Cette distribution est cependant régie par une contrainte d'accord, qui exige une concordance en nombre entre les arguments et le verbe. Dans les cas où le nombre précis est requis, l'albanais présente une autre particularité. Il grammaticalise deux façons de conceptualiser la notion de Nombre, qui contribuent de deux façons à l'interprétation sémantique: le Nombre qui atomise l'ensemble et permet d'accéder aux individus qui le composent et le Nombre qui caractérise le type d'individu délimité par la classe du nom. Chacune de ces conceptualisations est marquée au niveau du système articulatoire-perceptuel par des marques morphologiques différentes. Le Nombre qui atomise l'ensemble est marqué sur le déterminant, tandis que le Nombre qui caractérise la nature des membres du supra-ensemble est marqué sur le nom. Ainsi, le nom pluriel, exprimant un nombre 'catégorisant', peut seulement dénoter un ensemble pluriel, mais n'est ni en mesure d'indiquer ni la quantité ni l'identité des individus qui le composent. Le nom pluriel ne peut pas faire référence au supra-ensemble et identifier la totalité des individus qui composent la classe que le nom dénote. Il est incapable d'introduire l'effet de nominalisation, nécessaire pour obtenir une lecture d'Espèce et par conséquent une lecture Générique. La seule lecture possible sera une lecture existentielle. Par contre, le déterminant exprimant le nombre atomisant, peut identifier à lui tout seul un des actants de l'événement décrit par la phrase. La présence du nom ou d'un autre élément porteur de nombre n'est pas requise. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Syntagme nominal, Albanais, Nom, Nombre, Déterminant

    Philosophie des modalités épistémiques (la logique assertorique revisitée)

    Get PDF
    The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique
    corecore