« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 56 :
 
== Organisation ternaire d'un espace sémantique ==
Ce qui précède nous amène à distinguer '''trois''' ensembles (ou espaces) distincts dans un espace (ou ensemble) originel muni d'une CAB orienté par une DA. En effet, par raisonnement contradictoire maintenant disponible, nous pouvons <u>faire des propositions</u> et les classer dans le tiroir ''orthodoxal'' (logique) ou le tiroir ''paradoxal'' (absurde). Nous ne parlons pas ici de ''VRAI'', ni de ''FAUX'', ce qui supposerait que « tout est énumérable » et donc <u>complet</u>.
 
Une proposition, ou '''atome''' (proposition atomique) est une affirmation sémantique. C'est-à-dire qu'elle a un ''sens'' induisant un champ sémantique ORTHODOXAL. Dans le cas contraire, nous serions dans le champ PARADOXAL, et il suffira de prendre sa négation, en espérant que le champ devienne orthodoxal. Nous verrons que ce ne sera pas toujours le cas.