Littérature scientifique sur le sujet « Théorie axiomatique »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Théorie axiomatique ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Théorie axiomatique"
1
Tatzel, Armin. « La théorie bolzanienne du fondement et de la conséquence1 ». Articles 30, no 1 (25 février 2004) : 191–217. http://dx.doi.org/10.7202/007739ar.
Texte intégralRésumé :
RésuméLe but de cet article est de présenter et d’évaluer la théorie de lafondationde Bernard Bolzano, c’est-à-dire sa théorie du concept exprimé et de la relation mise en jeu par « parce que ». Dans la première partie (§§1-4), le concept de fondation est distingué et mis en relation avec trois autres concepts : le concept deraison épistémique, le concept decausalitéet le concept dedéductibilité(c’est-à-dire deconséquence logique). Dans la seconde partie (§§5-7), je reconstruis la théorie bolzanienne de la fondation sous forme axiomatique et j’en offre une discussion critique.
2
Gauthier, Yvon. « Constructivisme et structuralisme dans les fondements des mathématiques ». Articles 1, no 1 (7 août 2006) : 83–105. http://dx.doi.org/10.7202/203004ar.
Texte intégralRésumé :
Résumé L'auteur a voulu définir deux orientations principales dans les recherches sur les fondements des mathématiques, le constructivisme et le structuralisme (entendu au sens bourbakiste de « théorie de structures abstraites » ) . Il montre à l'aide d'exemples tirés de la théorie axiomatique des ensembles, e.g. l'hypothèse du continu, et de l'intuitionnisme, e.g. la notion de séquence de choix, que les deux approches constituent des voies complémentaires dans les recherches sur les fondements. L'auteur propose quelques idées nouvelles, en particulier sur le continu et l'horizon constructif, tout au long de l'article et dans un appendice. L'article se résume à la défense et l'illustration d'une philosophie constructivisme en voie d'élaboration.
3
Corduneanu, Constantin. « Éléments d'une construction axiomatique de la théorie des fonctions presque périodiques ». LIBERTAS MATHEMATICA (new series) 32, no 1 (7 décembre 2012) : 5. http://dx.doi.org/10.14510/lm-ns.v32i1.23.
Texte intégral
4
DÜPPE, Till. « L’histoire du concept d’équilibre en sciences économiques ». L'Actualité économique 92, no 3 (30 mai 2017) : 581–94. http://dx.doi.org/10.7202/1040002ar.
Texte intégralRésumé :
Le concept d’équilibre permet d’identifier le domaine de théorie économique dans la recherche actuelle en économie. Cette place prépondérante a plusieurs origines historiques. Avant même que la notion d’équilibre fasse son apparition, les arguments d’équilibre se retrouvaient dans les écrits du XVIIe siècle sur le commerce. C’est à la fin du XVIIIe siècle qu’il entre dans le vocabulaire des économistes politiques. C’était un concept analogique et surtout normatif se rapportant à l’ordre naturel de l’économie. À la fin du XIXe siècle, il s’enrichit d’une signification analytique, principalement grâce à la différenciation entre équilibre statique et dynamique. Entre les années 1940 et 1960, le concept évolue en notion métathéorique, devenant la pierre angulaire de l’analyse axiomatique de l’équilibre général; cette dernière deviendra le fondement de la modélisation mathématique actuelle. On retrouve également le concept dans la théorie des jeux, où il est le principal outil d’analyse sans être restreint à l’étude des marchés concurrentiels; il permet la formalisation d’environnements institutionnels et d’interactions stratégiques au niveau d’un individu ou d’un groupe. Dans presque tout modèle macroéconomique, la théorie de l’équilibre général reste le point de référence principal.
5
Drèze, Jacques H. « Espérance morale avec risque moral ». L'Actualité économique 63, no 2-3 (27 janvier 2009) : 40–57. http://dx.doi.org/10.7202/601409ar.
Texte intégralRésumé :
RésuméLe terme « risque moral » est utilisé ici pour désigner les situations où un décideur unique choisit simultanément un « acte » (au sens de la théorie des jeux contre la nature, telle que développée notamment par L.J. Savage) et une « stratégie », non observable, susceptible d’influencer le cours des événements. Dans les nombreuses applications de la théorie de la décision à des situations de risque moral, onsupposeque, pour chaque acte, le décideur choisit, dans un ensemble donné, la stratégie qui maximise l’espérance d’utilité. Les choix entre les actes reflètent alors les espérances d’utilité associées à ces stratégies optimales. On obtient ici une justification axiomatique de cette représentation, en affaiblissant l’axiome appelé « Inversion d’ordre » par Anscombe et Aumann. Aux termes de cet axiome, quand une épreuve aléatoire décide de l’acte qui prévaudra, il doit être indifférent pour le décideur que l’épreuve aléatoire soit conduite avant ou après que l’on observe l’état du monde. L’affaiblissement consiste à stipuler au contraire que le décideur nepréfère jamaisstrictement que l’épreuve aléatoire soit conduiteaprèsobservation de l’état du mondeplutôt qu’avant(i.e. la valeur de l’information est non négative). Conjointement avec les autres axiomes habituels, cet affaiblissement conduit à un théorème d’espérance morale généralisé : il existe un ensemble (convexe fermé) de probabilitésPsur les états du monde, et une utilité sur les conséquences, tels que les préférences entre les actes reflètent les maxima par rapport àPdes espérances d’utilité.
6
Touraille, Alain. « Théories d'algèbres de Boole munies d'idéaux distingués. II ». Journal of Symbolic Logic 55, no 3 (septembre 1990) : 1192–212. http://dx.doi.org/10.2307/2274482.
Texte intégralRésumé :
La première partie de cet article ([10], que nous désignerons par (I) dans la suite) était consacrée à la théorie élémentaire TX des algèbres de Boole munies d'idéaux distingués indéxés dans un ensemble X. On a vu que les idéaux définissables dans un modèle de Tx forment la sous-algèbre engendrée par les idéaux distingués de l'algèbre de Heyting des idéaux de munie de l'opérateur sa défini par sa(K) = {a: a/K est sans atome}, et que la théorie de peut être caractérisée par la structure composée de l'algèbre de Heyting des idéaux définissables munie de l'opérateur sa et des idéaux distingués, et par l'application qui à tout K de fait correspondre le nombre d'atomes de /K, pris dans N ⋃ {∞}.Nous montrons maintenant que les structures possibles peuvent être définies de façon axiomatique en introduisant une classe équationnelle d'algèbres de Heyting munies d'une opération unaire, dites sa-algèbres de Heyting (en abrégé sa-AH), et en prouvant que cette classe est constituée des algèbres pouvant être plongées dans l'algèbre de Heyting des idéaux d'une algèbre de Boole, munie de l'opérateur sa. Ainsi les sont, à isomorphisme près, les sa-AH engendrées par des éléments distingués indéxés dans X; on en déduit une classification des extensions complètes de Tx en montrant que les applications qui peuvent être associées à une structure de la forme pour caractériser la théorie d'un modèle sont déterminées par leur restriction à une partie M() définie uniformément, sur laquelle elles prennent des valeurs dans (N − {0}) ⋃ {∞}, et que réciproquement toute application de M() dans (N − {0}) ⋃ {∞} est une telle restriction.
7
Bastianello, Lorenzo, et Vassili Vergopoulos. « About Subjective Probability ». Revue économique Vol. 74, no 1 (20 novembre 2023) : 601–12. http://dx.doi.org/10.3917/reco.744.0601.
Texte intégralRésumé :
L’objectif principal de cette note est d’étudier la définition de la probabilité subjective d’Anscombe et Aumann [1963] et leurs contributions à la théorie de la décision. Nous mettons l’accent sur leurs idées principales et revisitons le cadre de travail qu’ils ont proposé et qui est devenu l’un des plus utilisés dans les axiomatiques de théorie de la décision. Nous proposons également un nouveau cadre pour la dérivation de la probabilité subjective basé sur le produit cartésien de deux ensembles. Nous montrons que deux axiomes simples permettent de définir une probabilité subjective sur un ensemble d’états de la nature d’intérêt principal à partir d’un ensemble auxiliaire équipé d’une probabilité objective.
8
Moffet, Denis. « Axiomes de rationalité en contexte d’incertitude ». L'Actualité économique 63, no 2-3 (27 janvier 2009) : 58–73. http://dx.doi.org/10.7202/601410ar.
Texte intégralRésumé :
Résumé Le principe de la maximisation de l’utilité espérée s’est imposé comme le principal paradigme de la décision en contexte d’incertitude. Ce principe repose sur une axiomatique controversée. Les axiomes litigieux sont l’axiome de substitution de Marschak et l’axiome d’indépendance de Savage. Le but de cette communication est de faire ressortir, d’une part, le caractère non axiomatique des prescriptions de Marschak et de Savage et, d’autre part, de montrer par une démarche par l’absurde qu’il peut être coûteux de ne pas agir conformément à ces prescriptions. Finalement, je vais proposer de nouveaux axiomes qui, par un processus déductif, conduiront à un théorème de substitution dont on pourra également déduire le principe de maximisation de l’utilité espérée.
9
Mrabet, Slim. « Le changement d’axiomatique dans l’enseignement de la géométrie ». ITM Web of Conferences 39 (2021) : 01005. http://dx.doi.org/10.1051/itmconf/20213901005.
Texte intégralRésumé :
Dans l’enseignement tunisien, la transition collège-lycée en géométrie est marquée par un changement de point de vue dans la résolution des problèmes: les outils traditionnels de la géométrie rencontrés au collège seront accompagnés par le nouvel outil vectoriel. Pour contribuer à la question des difficultés éventuelles qui accompagnent cette transition, nous faisons un retour sur l’histoire de la géométrie et de son enseignement pour fixer des axiomatiques différentes qui nous servent de référence pour analyser l’enseignement actuel. Nous nous servons du théorème de Thalès qui, avec ses différentes approches, se place au coeur de cette transition, et analysons sa vie dans le système tunisien. Une expérimentation menée auprès d’élèves tunisiens et français montre que dans les deux pays, le passage de la géométrie classique à la géométrie vectorielle leur pose des difficultés différentes. L’analyse de ces difficultés et des avis des enseignants des classes visitées, montre que cette problématique est une piste qui mérite d’être explorée.
10
Salée, Daniel. « Espace public, identité et nation au Québec : mythes et méprises du discours souverainiste ». Cahiers de recherche sociologique, no 25 (28 avril 2011) : 125–53. http://dx.doi.org/10.7202/1002294ar.
Texte intégralRésumé :
Ce texte propose une lecture critique du discours souverainiste sur la recomposition de l’espace public national québécois. L’auteur soutient essentiellement que la redéfinition de la nation souhaitée par les souverainistes québécois selon laquelle le Québec doit tendre vers l’accomplissement d’une nation dé-ethnicisée, fondée sur une logique civique et rationnelle, est en porte-à-faux par rapport à l’imaginaire social des Québécois et la réalité politique du Québec. Sous couvert d’adhésion à la raison universelle, cette redéfinition repose sur une mise au ban de l’ethnicité et des particularismes culturels et participe d’une volonté de subsomption à la fois de l’identité historique des Québécois et des identités autres qui composent désormais le tissu social du Québec en un espace public post-national et homogénéisant. Contrairement aux apparences, le sens de la nation qui dérive du projet théorico-politique des souverainistes cache en réalité un acte d’exclusion et des prétentions hégémoniques au profit de la nation historique. L’auteur soutient qu’il ne sert à rien d’évacuer la différence et l’altérité inhérentes à la dynamique politique québécoise. L’ethnicité et la culture sont des faits de conscience incontournables. Un véritable projet d’avant-garde de recomposition de l’espace public au Québec devrait plutôt chercher à en accepter les aboutissants et à réaliser une configuration institutionnelle flexible qui ne banalise pas l’altérité et la différence, qui ne hiérarchise pas les identités et qui ne soit pas fondée sur une conception préétablie de l’espace public. Cela implique l’abandon de la « Nation » comme pivot axiomatique de la communauté politique et une remise en question fondamentale des paramètres du libéralisme contemporain.
Thèses sur le sujet "Théorie axiomatique"
1
Baccelli, Jean. « Essais d'analyse de la théorie axiomatique de la décision ». Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEE002.
Texte intégralRésumé :
Cette thèse rassemble trois essais sur la théorie axiomatique de la décision.Ils relèvent principalement de l’analyse épistémologique de cette théorie.Le premier essai, “Les limites de l’ordinalisme”, concerne la doctrine ordinaliste,qui a joué un rôle important dans la constitution de la théoriemicro-économique contemporaine. Dans un premier temps, nous définissonsabstraitement cette doctrine. Nous la caractérisons par la thèse suivant laquelledes données de choix ne peuvent pas rendre empiriquement signifiantesles propriétés non-ordinales de l’utilité. Dans un second temps, nous évaluonscette thèse, la confrontant à divers développements de la théorie de la décision,qui paraissent la remettre en cause. Nous montrons que, malgré lesapparences, cette thèse n’est pas remise en cause par les développementsthéoriques que nous étudions.Le deuxième essai, “L’analyse axiomatique et l’attitude par rapport aurisque”, porte sur le statut, en théorie de la décision, des concepts d’attitudepar rapport au risque. A première vue, l’analyse axiomatique n’exploite pasces idées-là. Ceci reflète une certaine neutralité des modèles de décision ausujet de l’attitude par rapport au risque. Mais un examen plus poussé permetde mettre en valeur ce que nous nommons la variation conditionnelle et lerenforcement de l’attitude par rapport au risque, établissant par là mêmel’importance axiomatique des concepts d’attitude par rapport au risque.Le troisième essai, “Les paris révèlent-ils les croyances ?”, examine la méthodeconsistant à identifier les croyances d’un agent à partir de ses préférences.Nous nous concentrons sur l’obstacle principal auquel cette méthodeest exposée, à savoir, le problème de l’utilité dépendante des états. En premierlieu, nous illustrons ce problème de manière détaillée, distinguant quatreformes de dépendance de l’utilité aux états. En second lieu, nous présentonset discutons une stratégie permettant, malgré la possibilité d’une telle dépendance,d’identifier les croyances. Cependant, pour résoudre ainsi le problème,il faut laisser la préférence s’étendre au-delà du choix. Nous défendons quetel doit être le cas dans toute solution complète au problème de l’utilitédépendante des états. Nous affirmons aussi que c’est là la principale leçonconceptuelle à tirer de ce problème, et montrons qu’elle intéresse tant leséconomistes que les philosophesThis thesis consists of three essays on axiomatic decision theory. Theybelong primarily to the epistemological analysis of decision theory.The first essay, “The limits of ordinalism”, focuses on ordinalism, a doctrinethat was instrumental in the constitution of contemporary microeconomictheory. First, I provide an abstract definition of this doctrine.I characterize it by the following claim: if the underlying data are choicedata, then no non-ordinal property of utility can be empirically meaningful.Second, I evaluate the above claim. I confront this claim with variousdecision-theoretic developments which seem to question its validity. I showthat, despite appearances, this claim is not challenged by the theoreticaldevelopments in question.The second essay, “Axiomatic analysis and risk attitudes”, examines thestatus of risk attitude concepts in decision theory. At first sight, axiomaticanalysis does not rely on these concepts. This indicates a certain neutrality ofdecision models regarding risk attitudes. Further analysis, however, leads oneto recognize the importance of what I call the conditional variation and thestrengthening of risk attitudes. This establishes the axiomatic significance ofrisk attitude concepts.The third essay, “Do bets reveal beliefs?”, examines the preference-basedapproach to the identification of beliefs. It focuses on the main problem towhich this approach is exposed, namely state-dependent utility. First, theproblem is illustrated in full detail. Four types of state-dependent utility issuesare distinguished. Second, a strategy for identifying beliefs under statedependentutility is presented and discussed. For the problem to be solvedfollowing this strategy, however, preferences need to extend beyond choices. Iargue that this is a necessary feature of any complete solution to the problemof state-dependent utility. I also claim that this is the main conceptuallesson to draw from this problem. I explain why this lesson is of interest toeconomists and philosophers alike
2
Verdet, Cyril. « Axiomatisation de la physique à partir de l'idée de potentiel au cours du XIXème siècle : étude d'une lignée de Lagrange à Duhem ». Paris 7, 2014. http://www.theses.fr/2014PA070070.
Texte intégralRésumé :
La notion de potentiel, avant d'être une notion physique, est d'abord une appellation utilisée par des physiciens du 19e siècle pour désigner des objets mathématiques en relation avec des grandeurs physiques. La première occurrence est la fonction potentielle créée par Lagrange. La quantité qu'elle exprime trouve par la suite une expression qui lui est proche, utilisée dans la physique de l'énergie : l'énergie potentielle, ainsi nommée par Rankine. Enfin, la dernière occurrence de la notion de potentiel est développée par Duhem comme aboutissement de la thermodynamique en tant que science universelle : le potentiel thermodynamique. Pour chacune de ces trois étapes, ce travail de recherche entreprend de rendre compte du processus historique, puis d'une analyse de la notion concernée et de sa place dans la physique du moment, enfin du changement de perspective qu'elle opère dans le contenu métaphysique des sciences physiques. En effet, ce travail souhaite rendre compte de ce que la notion de potentiel n'est en réalité que la marque de la nature essentiellement mathématique de la physique, et qu'en vertu de cette essence, les connaissances et les techniques mathématiques se développant, le contenu métaphysique des sciences physiques est bouleversé. En faisant naturellement primer l'ordre logique sur l'ordre ontologique, le développement de la notion de potentiel renvoie les hypothèses inintelligibles au langage mathématique vers les extrémités de la construction axiomatique. Les illusions de causalité, de conservation et de finalité, pensées respectivement à travers l'impénétrable, l'insécable et l'affinité, viennent se réfugier dans l'idée de potentielThe notion of potential, before being a physical concept, is primarily a term used by physicists during the 19th century to describe mathematical objects in relation to physical quantities. The first occurrence of the concept of potential is the potential function created by Lagrange. The amount that is expressed has later an expression close to it, used in the physics of energy that grows in the middle of the century: the potential energy, so named by Rankine. The last occurrence of the concept of potential is developed by Duhem as the culmination of thermodynamics as an universal science : the thermodynamic potential. For each of these three stages in this notion, this research begins to realize the historical process at first, then an analysis of the concept in question and its place in the physics of time, and finally the changing perspectives opened, most of the time implicitly, in the metaphysical content of the physics. Indeed, this work is to give a notion of what the potential is really the mark of the essentially mathematical nature of modem physics, and by virtue of this essence, dice when that mathematical knowledge and technics are developed, the metaphysical content of the physical sciences is upset. By naturally take precedence logical order on the ontological order, the development of the concept of potential returns assumptions, unintelligible for mathematical language, to the ends of the axiomatic structure suggested by the mathematical requirements. The illusions of causality, conservation and finality, thoughts respectively through the impenetrable, the indivisible and affinity, take refuge in the idea of potential
3
Er-Rhaimini, Karim. « Constructions par forcing d'espaces LCS et de structures PCF ». Paris 7, 2009. http://www.theses.fr/2009PA077196.
Texte intégralRésumé :
La thèse concerne la théorie PCF et l'arithmétique des cardinaux. Dans le premier chapitre, on expose une version simplifiée de la théorie PCF qui permet de donner une preuve complète du théorème de Shelah et ainsi de justifier l'étude des structures PCF. Le second chapitre concerne la fonction rho, introduite par Todorcevic. Ce chapitre permet de préparer la construction de forcing effectuée au chapitre trois. Il reprend les travaux de Todorcevic en ne gardant que ce qui est nécessaire au chapitre trois, ce qui permet de simplifier les preuves pour une lecture plus facile. Dans le troisième chapitre, qui est le cœur de la thèse, on expose tout d'abord la théorie des espaces LCS et on propose une nouvelle façon de forcer des espaces LCS de taille n'importe quel ordinal inférieur à omega_3. Enfin, on explique le lien entre espaces LCS et structures PCF et la construction de forcing exposée précédemment permet, au prix d'une modification mineure de forcer des structures PCF de taille n'importe quel ordinal inférieur à omega_3. Ce résultat améliore le précédent résultat connu, qui permettait de construire des structures PCF de taille omega_2This thesis is about PCF theory and arithmetic cardinal. In chapter one, we give a simple but complete proof of Shelah's Theorem trough a simplified version of PCF theory. This theorem is in itself a justification for the study of PCF structures. In chapter two, we present the rho-fimction wich was introduced by Todorcevic. This chapter is a preparation to the forcing construction in chapter three. We mainly reproduce Todorcevic's work but in a simplified version, only keeping what is strictly necessary to our purpose. Thus, the proofs are simpler and make the reading easier. In chapter three, which is the main chapter of the thesis, we first expose the theory of LCS spaces and we show a new way to force LCS spaces of height any ordinal less than omega_3. At last, we explain the link between LCS spaces ans PCF structures and the previous forcing construction allows, by a slight modification, to force PCF structures of height any ordinal less than omega_3. This result improves the previous known result which permitted to force PCF structures of height omega_2
4
Smaoui, Hatem. « Contributions à la théorie du choix social : études axiomatiques et analyse probabiliste des classements par points ». Caen, 2007. http://www.theses.fr/2007CAEN0644.
Texte intégralRésumé :
Dans la continuité des travaux de Smith (1973) et Young (1974, 1975), nous proposons trois études axiomatiques des règles positionnelles. La condition de connexité (Zwicker, 2005) est utilisée pour obtenir une caractérisation de la classe des règles positionnelles discrètes. Deux propriétés de stabilité du choix collectif, issues de la décomposition des profils (Saari, 2000), sont introduites pour examiner la possibilité d'une nouvelle justification axiomatique de la règle de Borda. La version itérative de cette règle est caractérisée par un ensemble de propriétés incluant une condition de consistance globale. En complément à cette approche axiomatique, un nouvel outil de calcul de probabilités, basé sur la notion de polynômes d'Erharrt (1960), est proposé pour évaluer la fréquence des paradoxes de vote.
5
Becdelièvre, Laure. « Rémunérer le "mal d'être deux" : axiomatique de la métaphore chez Friedrich Nietzsche et Stéphane Mallarmé ». Paris 4, 2006. http://www.theses.fr/2006PA040098.
Texte intégralRésumé :
Étranges contemporains d'un monde en crise, Nietzsche et Mallarmé ne se sont jamais rencontrés, pas même lus, alors qu'ils en auraient eu, semble-t-il, maintes fois l'occasion. Néanmoins, poète français et philosophe-poète allemand se rencontrent de façon inédite autour de la métaphore, pierre de touche d'une réflexion fondamentale sur le langage et levier d'une pensée axiomatique dont Nietzsche et Mallarmé sont peut-être les hérauts les plus emblématiques, chacun à leur façon. De fait, le phénomène métaphorique engage des aspects essentiels du rapport de l'homme au monde, qui est fondamentalement un rapport fictionnel, méta-phorique. Instrument d'une pensée du détour, l'écriture métaphorique s'inscrit au cœur d'une réflexion polémique sur la représentation et la construction d'idoles de toute sorte : Dieu, la vérité, l'âme, la volonté – mais aussi Hélène, Wagner, la gloire, l'or, la constellation, et même : la poésie. Autant d'idoles dont l'heure crépusculaire a sonné, autant de manifestations du " propre " dont est venu le temps pour la métaphore de se délester, pour voler enfin de ses propres ailes. Car la métaphore vole, pour Nietzsche et Mallarmé, elle danse, elle balbutie, frémit et s'évanouit. Son chant s'élève en même temps que la trace de son existence, qui déjà n'est plus là – à supposer qu'elle ait jamais eu lieu. Elle échappe, comme le réel, ce cruel, ce " dieu inconnu " qui est là, toujours latent, mais insaisissable par le langage. Elle cristallise tous les regrets liés à ce " mal d'être deux " (L'Après-midi d'un Faune), à cette division maudite inaugurée par la parole. Mais n'est-elle pas aussi à elle-même, cette métaphore, sa propre rémunération ?Strange contemporaries in a world of crisis, Nietzsche and Mallarmé had never met and had never read each other's works though it seems they may have had many occasions. Nevertheless, the French poet and the German philosopher-poet do meet in an unique way on the theme of the metaphor, a touchstone of a fundamental reflection on the language and the control lever of an axiomatic thought for which Nietzsche and Mallarmé are, maybe, the most symbolic heralds, each in their own way. For the metaphoric phenomenon binds the essential aspects of the relationship of the human being to the world, which is fundamentally a fictional and a meta-phoric relationship. A deviating thought instrument, the metaphoric writing reaches the heart of a polemical reflection on the representation and the construction of various idols : God, Truth, Soul, Will – but also Helen, Wagner, Glory, Gold, Constellation, and even: Poetry. So many idols whose crepuscular hour has sounded, so many aspects of the "Proper" whose time has come for the metaphor to off-load, to fly away on its own. Not only does the metaphor fly, for Nietzsche and Mallarmé, but it also dances, stammers, shivers and faints. Its song rises at the same time as the trail of its existence, which is not there any more – supposing that it ever took place. It escapes, like reality, this cruel, this "unknown god" who is there, always latent, but out of reach of the language. It cements all the regrets linked to the "misfortune of being two" (L'Après-midi d'un Faune), in this cursed separation originated by language. But isn't the metaphor its own remuneration?
6
Dross, Claire. « Procédures de décision génériques pour des théories axiomatiques du premier ordre ». Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01002190.
Texte intégralRésumé :
Les solveurs SMT sont des outils dédiés à la vérification d'un ensemble de formules mathématiques, en général sans quantificateurs, utilisant un certain nombre de théories prédéfinies, telles que la congruence, l'arithmétique linéaire sur les entiers, les rationnels ou les réels, les tableaux de bits ou les tableaux. Ajouter une nouvelle théorie à un solveur SMT nécessite en général une connaissance assez profonde du fonctionnement interne du solveur, et, de ce fait, ne peut en général être exécutée que par ses développeurs. Pour de nombreuses théories, il est également possible de fournir une axiomatisation finie en logique du premier ordre. Toutefois, si les solveurs SMT sont généralement complets et efficaces sur des problèmes sans quantificateurs, ils deviennent imprévisibles en logique du premier ordre. Par conséquent, cette approche ne peut pas être utilisée pour fournir une procédure de décision pour ces théories. Dans cette thèse, nous proposons un cadre d'application permettant de résoudre ce problème en utilisant des déclencheurs. Les déclencheurs sont des annotations permettant de spécifier la forme des termes avec lesquels un quantificateur doit être instancié pour obtenir des instances utiles pour la preuve. Ces annotations sont utilisées par la majorité des solveurs SMT supportant les quantificateurs et font partie du format SMT-LIB v2. Dans notre cadre d'application, l'utilisateur fournit une axiomatisation en logique du premier ordre de sa théorie, ainsi qu'une démonstration de sa correction, de sa complétude et de sa terminaison, et obtient en retour un solveur correct, complet et qui termine pour sa théorie. Dans cette thèse, nous décrivons comment un solveur SMT peut être étendu à notre cadre nous basant sur l'algorithme DPLL modulo théories, utilisé traditionnellement pour modéliser ls solveurs SMT. Nous prouvons également que notre extension a bien les propriétés attendues. L'effort à fournir pour implémenter cette extension dans un solveur SMT existant ne doit être effectué qu'une fois et le mécanisme peut ensuite être utilisé sur de multiples théories axiomatisées. De plus, nous pensons que, en général, cette implémentation n'est pas plus compliquée que l'ajout d'une unique théorie au solveur. Nous avons fait ce travail pour le solveur SMT Alt-Ergo, nous en présentons certains détails dans la thèse. Pour valider l'utilisabilité de notre cadre d'application, nous avons prouvé la complétude et la terminaison de plusieurs axiomatizations, dont une pour les listes impératives doublement chaînée, une pour les ensembles applicatifs et une pour les vecteurs de Ada. Nous avons ensuite utilisé notre implémentation dans Alt-Ergo pour discuter de l'efficacité de notre système dans différents cas.
7
Cesari, Giulia. « Modèles de théorie des jeux pour la formation de réseaux ». Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLED046/document.
Texte intégralRésumé :
Cette thèse traite de l’analyse théorique et l’application d’une nouvelle famille de jeux coopératifs, où la valeur de chaque coalition peut être calculée à partir des contributions des joueurs par un opérateur additif qui décrit comme les capacités individuelles interagissent au sein de groupes. Précisément, on introduit une grande classe de jeux, les Generalized Additive Games, qui embrasse plusieurs classes de jeux coopératifs dans la littérature, et en particulier de graph games, où un réseau décrit les restrictions des possibilités d’interaction entre les joueurs. Des propriétés et solutions pour cette classe de jeux sont étudiées, avec l’objectif de fournir des outils pour l’analyse de classes de jeux connues, ainsi que pour la construction de nouvelles classes de jeux avec des propriétés intéressantes d’un point de vue théorique. De plus, on introduit une classe de solutions pour les communication situations, où la formation d’un réseau est décrite par un mécanisme additif, et dans la dernière partie de cette thèse on présente des approches avec notre modèle à des problèmes réels modélisés par des graph games, dans les domaines de la théorie de l’argumentation et de la biomédecineThis thesis deals with the theoretical analysis and the application of a new family of cooperative games, where the worth of each coalition can be computed from the contributions of single players via an additive operator describing how the individual abilities interact within groups. Specifically, we introduce a large class of games, namely the Generalized Additive Games, which encompasses several classes of cooperative games from the literature, and in particular of graph games, where a network describes the restriction of the interaction possibilities among players. Some properties and solutions of such class of games are studied, with the objective of providing useful tools for the analysis of known classes of games, as well as for the construction of new classes of games with interesting properties from a theoretic point of view. Moreover, we introduce a class of solution concepts for communication situations, where the formation of a network is described by means of an additive pattern, and in the last part of the thesis we present two approaches using our model to real-world problems described by graph games, in the fields of Argumentation Theory and Biomedicine
8
Khani, Hossein. « Ordinal Power Indices ». Thesis, Université Paris sciences et lettres, 2020. http://www.theses.fr/2020UPSLD025.
Texte intégralRésumé :
La conception de procédures visant à classer les personnes en fonction de leur comportement dans des groupes estd’une grande importance dans de nombreuses situations. Le problème se pose dans une variété de scénarios de lathéorie du choix social, de la théorie des jeux coopératifs ou de la théorie de la décision multi-attributs. Cependant, dansde nombreuses applications du monde réel, une évaluation précise sur les "coalitions de pouvoir" peut être difficile pourde nombreuses raisons. Dans ce cas, il peut être intéressant de ne considérer que les informations ordinales concernantles comparaisons binaires entre les coalitions. L’objectif de cette thèse est d’étudier le problème de la recherche d’unclassement ordinal sur l’ensemble N d’individus (appelé classement social),en lui attribuant un rang ordinal par rapportà son ensemble de pouvoir (appelé relation de pouvoir). Pour ce faire, nous utilisons des notions de la théorie de voteclassique et la théorie des jeux coopératifs. Nous avons principalement défini des concepts de solution nommés règle demajorité ceteris paribus, et l’indice ordinal Banzhad, qui sont respectivement inspirées de la théorie de vote classique etde la théorie des jeux coopératifs. Comme la majorité de notre travail de thèse consiste à étudier des solutions à partird’une approche fondée sur la propriété, nous étudions axiomatiquement les solutions en reformulant les axiomes dansla théorie classique du vote. Enfin, l’exploration des extensions pondérées de la règle de la majorité ceteris paribus pourclasser plus de deux personnes, engendre une étude des familles de solutions pondéréesThe design of procedures aimed at ranking individuals according to how they behave in various groups is of great importance in many practical situations. The problem occurs in a variety of scenarios coming from social choice theory,cooperative game theory or multi-attribute decision theory, and examples include: comparing researchers in a scientificdepartment by taking into account their impact across different teams; finding the most influential political parties in aparliament based on past alliances within alternative majority coalitions; rating attributes according to their influence ina multi-attribute decision context, where independence of attributes is not verified because of mutual interactions. However, in many real world applications, a precise evaluation on the coalitions’ “power” may be hard for many reasons (e.g., uncertain data, complexity of the analysis, missing information or difficulties in the update, etc.). In this case, it may be interesting to consider only ordinal information concerning binary comparisons between coalitions. The main objectiveof this thesis is to study the problem of finding an ordinal ranking over the set N of individuals (called social ranking),given an ordinal ranking over its power set (called power relation). In order to do that, during the thesis we use notionsin classical voting theory and cooperative game theory. Mainly, we have defined solution concepts named ceteris paribusmajority rule, and ordinal Banzhad index, which are respectively inspired from classical voting theory and cooperativegame theory. Since the majority of our work in the thesis is to study solutions from property-driven approach, we axiomatically study the solutions by reformulating axioms in classical voting theory. Finally, exploring weighted extensionsof the ceteris paribus majority rule to rank more than two individuals result in an axiomatic study of families of weightedsolutions
9
Rioux, Romain. « Théorie des modèles d'expansions de corps valués : phénomènes de séparation ». Thesis, Lyon, 2017. http://www.theses.fr/2017LYSE1157/document.
Texte intégralRésumé :
Cette thèse est consacrée à l'étude d'un point de vue modèle théorique de corps valués algébriquement clos enrichis d'un prédicat qui représente soit un sous-groupe multiplicatif soit un sous-corps. Nous donnons un résultat d'élimination partielle des quantificateurs pour les structures du type (M , G), où M est un corps valué algébriquement clos et où G un sous-groupe multiplicatif sur lequel la valuation est injectiveThis thesis is dedicated to the model theoretic study of algebraically closed valued fields equipped with a additional unary predicate for either a multiplicative subgroup or a subfield.We give a result of relative quantifier elimination for structures of the kind (M , G), where M is an algebraically closed valued field and G is a multiplicative subgroup on wich the valuation is injective
10
Tarnaud, Albane. « A "DEA-Financial" approach to assess portfolio performance ». Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL12003.
Texte intégralRésumé :
Cette thèse de doctorat étudie la transposition d’une méthodologie héritée de la théorie de la production, couramment appelée "méthode DEA", à l’analyse de la performance des actifs financiers. Elle souligne la pertinence de l’utilisation d’un estimateur tel que DEA, présente en détail la méthodologie qui lui est traditionnellement associée et fournit une revue de la littérature appliquant cette méthodologie à des portefeuilles d’actifs financiers. La méthodologie étudiée requiert la définition de conditions de régularité caractérisant la technologie commune à chaque entité étudiée. Elle implique donc une définition rigoureuse des intrants et produits caractérisant la technologie de production. La littérature actuelle considère implicitement un processus de génération du rendement des investissements dans des portefeuilles d’actifs par le niveau risque. Cette thèse propose un traitement différent basé sur l’idée de production jointe, également héritée de la théorie de la production et selon laquelle des intrants peuvent générer des produits indésirables et inévitables. L’approche proposée dans cette thèse considère les divers types de risque associés à l’investissement comme des produits indésirables. Cette thèse propose donc une définition d’un processus de production financier et étudie les implications théoriques d’une telle définition sur le traditionnel ensemble d’axiomes. Elle recommande également la prise en compte d’une possible préférence pour le risque là où seule l’aversion au risque est généralement supposée, et rappelle la pertinence d’inclure dans les cadres théoriques des mesures de risque associées à des préférences telles que la prudence ou la tempéranceThis doctoral thesis studies the transposition of a methodology inherited from production theory, and commonly referred to as “DEA” (Data Envelopment Analysis) only, to the study of performance of financial assets. It underlines the accuracy of using DEA as an estimator to assess the performance of financial assets, provides a detailed presentation of the methodology associated to DEA and a review of the literature that applies this methodology to the performance measurement of portfolios of financial assets.The traditional methodology requires the definition of regularity conditions that characterize the technology shared by all entities. It then implies a rigorous definition of inputs and outputs that characterize the production technology. The current literature implicitly assumes a production process that generates returns on investment in portfolios of financial assets by the level of risk taken. This thesis proposes a different treatment based on the idea of joint productions inherited from production theory and according to which inputs can generate undesirable outputs that cannot be freely disposed of. The approach proposed in this thesis then considers the various types of risk associated to the investment as undesirable outputs. This thesis proposes a definition a financial production process and studies the theoretical implications of such a definition on the traditional set of axioms. It also recommends taking into account a possible preference for risk where only risk aversion is generally assumed and reminds the importance to include in the theoretical frameworks some measures of risk associated to preferences for some risks, such as prudence or temperance
Livres sur le sujet "Théorie axiomatique"
1
Et pourtant... ils ne remplissent pas N. Lyon : Aléas Editeur, 1989.
Trouver le texte intégral
2
Krivine, Jean-Louis. The orie des ensembles. Paris : Cassini, 1998.
Trouver le texte intégral
3
1936-, Betts D. S., dir. Quantum mechanics. 2e éd. Cheltenham : Stanley Thornes, 1999.
Trouver le texte intégral
4
Debreu, Gérard, et Werner Hildenbrand. Théorie de la valeur : Analyse axiomatique de l'équilibre économique, suivi de "Existence d'un équilibre concurrentiel". Dunod, 2001.
Trouver le texte intégral
5
Logic, Induction and Sets (London Mathematical Society Student Texts). Cambridge University Press, 2003.
Trouver le texte intégral
6
Logic, Induction and Sets (London Mathematical Society Student Texts). Cambridge University Press, 2003.
Trouver le texte intégral
7
Meyer, Bertrand. Introduction à la théorie des langages de programmation. Dunod, 1997.
Trouver le texte intégral
8
Betts, David S., et Paul C. W. Davies. Quantum Mechanics, Second edition (Physics and Its Applications). 2e éd. CRC, 1994.
Trouver le texte intégralChapitres de livres sur le sujet "Théorie axiomatique"
1
Menger, M. Karl, et M. Georges Bouligand. « Une théorie axiomatique générale des déterminants ». Dans Selecta Mathematica, 487–89. Vienna : Springer Vienna, 2003. http://dx.doi.org/10.1007/978-3-7091-6045-9_41.
Texte intégral
2
Kuratowski, Par C., et K. Menger. « Remarques sur la théorie axiomatique de la dimension ». Dans Selecta Mathematica, 129–34. Vienna : Springer Vienna, 2002. http://dx.doi.org/10.1007/978-3-7091-6110-4_11.
Texte intégral