axiomatisations

La règle (i) consistant à délimiter explicitement et définitivement les propositions premières est certainement respectée dans toutes les axiomatisations économiques.Revue économique, 2003, Philippe Mongin (Cairn.info)

Tout d'abord, il illustre la démarche entièrement explicite des axiomatisations logiques : rien n'est sous-entendu, les transformations sur les signes qui ne sont pas expressément décrites ne sont pas autorisées.Revue économique, 2003, Philippe Mongin (Cairn.info)

S'il y a une spécificité sémantique des axiomatisations économiques, elle tient au fait que les interprétations figurant dans les préalables informels sont souvent très informelles et, en outre, particulièrement tenaces.Revue économique, 2003, Philippe Mongin (Cairn.info)

Nous avons proposé de rechercher la sémantique des axiomatisations ensemblistes non seulement dans les considérations informelles qui les entourent, mais aussi dans certains théorèmes du système formel.Revue économique, 2003, Philippe Mongin (Cairn.info)

À défaut de s'appliquer littéralement, les critères des logiciens doivent servir au moins de modèle analogique aux axiomatisations que les autres disciplines mettent en œuvre.Revue économique, 2004, Philippe Mongin (Cairn.info)

Rien de ce qui a été dit jusqu'à présent ne permettrait de déceler une singularité quelconque des axiomatisations économiques par rapport au genre ensembliste pris en général.Revue économique, 2003, Philippe Mongin (Cairn.info)

Nous venons donc de voir que les axiomatisations du genre ensembliste altéraient profondément la distinction entre syntaxe et sémantique.Revue économique, 2003, Philippe Mongin (Cairn.info)

Mais on ne peut pas traiter de manière uniforme l'ensemble des axiomatisations économiques.Revue économique, 2003, Philippe Mongin (Cairn.info)

Plus exactement, ils la vérifient à la manière caractéristique des axiomatisations ensemblistes, c'est-à-dire en répercutant les interprétations des théories préalables.Revue économique, 2003, Philippe Mongin (Cairn.info)

Les axiomatisations des notions de groupe, anneau ou corps, ouvrent le monde des structures algébriques, l'axiomatisation de la notion de topologie ouvre le monde des structures topologiques, etc.Les temps modernes, 2013, Jean-Michel Salanskis (Cairn.info)