sciences

Dans la sémantique vous ne trouverez aucun remède pour les dents délabrées, les illusions de grandeur ou la lutte des classe.

Auteur: Tarski Alfred

Info:

[ mathématiques ] [ impuissantes ]

lecture

Il me semble que le principe de compositionnalité fut l'un des présupposés les plus importants du travail de Tarski quant au concept de vérité. (...)

... la vérité ne peut être définie de manière compositionnelle qu'en conjonction avec un autre concept sémantique comme la satisfaction.

Auteur: Hintikka Jaakko

Info: Les principes mathématiques revisités. Cambridge University Press, 1996, édition de poche 1998. Qui a peur d'Alfred Tarksi ? Définitions de vérité pour les langages IF du premier ordre, p. 107

[ réflexivité ] [ adéquation lecteur lecture ]

onomasiologie

Il est peut-être utile de préciser que la sémantique telle qu'elle est conçue dans le présent document (et dans les écrits précédents de l'auteur) est une discipline sobre et modeste qui n'a pas la prétention d'être un médicament universel pour tous les maux et toutes les maladies de l'humanité, qu'ils soient imaginaires ou réels. Vous ne trouverez pas dans la sémantique un remède contre les dents cariées, les illusions de grandeur ou les conflits de classe. La sémantique n'est pas non plus un moyen d'établir que tout le monde, à l'exception de l'orateur et de ses amis, dit des bêtises.

Auteur: Tarski Alfred

Info: The Semantic Conception of Truth (1952) p. 17

[ limitation ]

impossibilité

Tous les théorèmes limitatifs des métamathématiques et la théorie du calcul suggèrent qu'une fois que la capacité de représenter sa propre structure a atteint un certain point critique, c'est le baiser de la mort : ce qui garantit que l'on ne peut jamais se représenter totalement soi-même. Le théorème de l'incomplétude de Gödel, le théorème de l'indécidabilité de Church, celui de l'Arrêt de Turing, le Théorème de la Vérité de Tarski - tous ont la saveur d'un ancien conte de fées qui vous avertit que "Chercher la connaissance de soi, c'est entreprendre un voyage qui... sera toujours incomplet, qu'on ne peut tracer sur aucune carte, qui ne s'arrêtera jamais et ne peut être décrit".

Auteur: Hofstadter Douglas

Info: Gödel, Escher, Bach : An Eternal Golden Braid. Partie II, Chapitre XX (p. 697) Basic Books, Inc. New York, New York, États-Unis. 1979

[ limitation ]

mathématiques

Mon professeur Frank Ramsey... a montré que lorsqu'un système scientifique est si complètement précis, au point de pouvoir remplacer chaque mot qu'il contient, comme " électrons ", par la totalité de toutes les observations sur l'électron, alors on ne pourrait jamais rien découvrir de nouveau. Le théorème de Ramsey est dans son essence équivalent à tous les théorèmes de Tarski-Turing*  au sens où  dit que si vous poussez le symbolisme même dans un mot comme "masse" de manière à dire, comme le font les opérationalistes... "La masse est la mesure de la quantité de matière dans un objet." ou "La masse est la propriété fondamentale de la matière"... vous ne découvrirez jamais que la masse et l'énergie sont interchangeables. Vous avez fermé le système à de nouvelles découvertes.

Auteur: Bronowski Jacob

Info: Les origines de la connaissance et de l'imagination (1978)  *qui correspondent, en plus simple, à la notion d'incomplétude de Gödel

[ conclusion impossible ] [ fermeture sémantique ]

tétralemme

Je propose une logique tétravalente, alternative à la logique binaire classique (vrai/faux). Elle  introduit quatre valeurs de vérité :

Vrai (V) : une proposition est vraie et correspond à la réalité.

Faux (F) : une proposition est fausse et ne correspond pas à la réalité.

Indéterminé (I) : il est impossible de déterminer si une proposition est vraie ou fausse avec les informations disponibles.

Contre-vrai (C) : une proposition est fausse mais semble vraie à première vue.

J'ai développé cette logique pour analyser des paradoxes logiques et des problèmes de langage et ai pu montrer que la logique tétravalente permet de résoudre des problèmes qui ne peuvent pas être résolus avec la logique binaire classique.

On a pu aussi voir quelques applications concrètes de cette logique tétravalente en sociologie :

- Analyse des identités sociales: La logique tétravalente peut être utilisée pour analyser les identités sociales complexes et multidimensionnelles, en tenant compte des nuances et des contradictions. Par exemple, un individu peut s'identifier à la fois comme homme et femme, ou comme appartenant à plusieurs groupes ethniques ou religieux. La logique classique binaire ne permet pas de capturer cette complexité, tandis que la logique tétravalente offre des nuances supplémentaires pour comprendre les identités multiples et fluides.

- Etude des attitudes et des opinions: Les attitudes et les opinions des individus ne sont pas toujours binaires (pour ou contre). La logique tétravalente peut être utilisée pour analyser les nuances des opinions, en tenant compte de l'incertitude, de l'ambivalence et des opinions contradictoires. Par exemple, une personne peut être "plutôt d'accord" avec une affirmation, tout en ayant des réserves ou en reconnaissant des arguments contraires.

Analyse des interactions sociales: Les interactions sociales ne se limitent pas toujours à des situations de confrontation binaire (coopération/conflit). La logique tétravalente peut être utilisée pour analyser les interactions plus subtiles et nuancées, en tenant compte de la négociation, de la manipulation, de la résistance et d'autres formes de relations sociales complexes. 

 

Auteur: Tarski Alfred

Info: "Der Wahrheitsbegriff in den formalisierten Sprachen." Studia Philosophica 1, 1-26. 1936

[ phiosophie ]