linguiste-sur-linguiste

L'idée profonde de Wittgenstein est que le sens descriptif d'un idiome  lui-même doit être médiatisé par des jeux de cet idiome même.

Auteur: Hintikka Jaakko

Info:

[ résumé ] [ contextualisation nécessaire ]

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 ]

conditionnalité sémantique

... dans les langues IF de premier ordre, la loi du tiers exclu échoue inévitablement. *

(...)

Le type d'échec du principe du tiers exclu (dans la logique SI) est une conséquence combinatoire inévitable de la manière dont les quantificateurs et autres concepts interagissent les uns avec les autres. Cela n'a rien à voir avec les limites de la connaissance humaine. **

(...)

... le paradoxe du menteur a plus à voir avec notre concept de négation qu'avec notre concept de vérité." ***



(La "logique IF" et la "logique SI" sont deux approches différentes pour formaliser la sémantique des phrases conditionnelles.

La "logique IF" est une approche logique, qui se concentre sur la structure syntaxique des phrases conditionnelles. Elle utilise le connecteur logique "si ... alors ..." pour représenter la relation entre la condition et la conséquence.

La "logique SI" est une approche sémantique, qui se concentre sur la signification des phrases conditionnelles. Elle s'intéresse à la relation entre la condition et la conséquence dans le monde réel.

De manière simple, on peut dire que la "logique IF" est une approche "formelle" de la conditionnalité, tandis que la "logique SI" est une approche "réelle" de la conditionnalité.

En pratique, les deux approches sont souvent utilisées conjointement. La "logique IF" est utilisée pour formaliser la structure syntaxique des phrases conditionnelles, tandis que la "logique SI" est utilisée pour formaliser leur signification.)

Auteur: Hintikka Jaakko

Info: Le menteur démenti : la négation dans la logique IF. *p. 133, **p.134, ***p.135

[ onomasiologique ] [ homme-machine ] [ dualité impasse ] [ hypothèses ]

exactitude

Avant d'aborder quelques constatations théoriques sur le langage, le sens et la vérité, il faut examiner de plus près le concept sous un angle historique. Tout d'abord la classification d'un grand nombre de philosophes du 20e siècle en deux grands camps opposés est, au mieux, une entreprise hasardeuse. Les philosophes sont des individualistes notoires et les écoles ou mouvements philosophiques sont, pour cette raison, caractérisés aussi souvent par leurs tensions et divisions internes que par leurs accords. Mais le langage, le sens et la vérité, sont des préoccupations omniprésentes dans la pensée du 20e siècle - au-delà des frontières des écoles individuelles - et que les différences dans la façon dont ces concepts sont compris deviennent parfois définitives pour certaines écoles philosophiques. On notera aussi qu'une grande partie de la philosophie du 20e siècle montre un intérêt particulier pour le concept de vérité, dû à une insatisfaction à grande échelle de la conception classique de la vérité en tant que correspondance, et que différents philosophes cherchent à appréhender le concept de vérité de manière très différente. Une brève liste de ce que les philosophes et groupes de philosophes ont dit sur la vérité rend cela évident :

Les pragmatistes : la vérité est l'utilité.

Nietzsche : la vérité est interprétation.

Frege : la vérité est simple et indéfinissable et ne ressemble à aucun autre prédicat.

Moore et Russell à leurs débuts : la vérité est simple, indéfinissable et exactement comme tout autre prédicat.

Les positivistes logiques : il faut remplacer le concept de vérité par celui de vérification/falsification.

Heidegger : la vérité est la non-divulgation (a-letheia qui, selon Parménide, oppose le domaine de la Vérité - alètheia - à celui de l'opinion, ou doxa. Selon les Définitions jointes aux manuscrits de Platon, l’alètheia est la "disposition qui permet l’affirmation et la négation". Selon Parménide, on peut opposer le domaine de la Vérité alètheia à celui de l'opinion, ou doxa. 

Wittgenstein à ses débuts : la vérité est un miroir, mais dire cela n'a vraiment aucun sens.

Wittgenstein plus tard : les tentatives de caractériser la vérité sont vides.

Foucault : la vérité est un système de procédures liées dans une relation circulaire au pouvoir.

Ces variations montrent non seulement l'intensité des discussions sur le concept de vérité, mais aussi qu'on ne peut pas facilement réduire cette multiplicité à une opposition entre ceux qui considèrent que la vérité est définissable et ceux qui ne le font pas. Le caractère définissable ou indéfinissable de la vérité n'est qu'une des questions qui divisent les philosophes. Des divisions tout aussi fondamentales découlent de la question de savoir si la vérité doit être considérée comme un concept sémantique, pragmatique ou ontologique.

Une autre division fondamentale semble exister entre ceux qui veulent adhérer à une certaine notion de la vérité et ceux, comme les positivistes logiques, qui cherchent à la mettre de côté comme un résidu de la métaphysique traditionnelle.

Auteur: Hintikka Jaakko

Info: Tel que rapporté par Hans Sluga sur http://www.truthandpower.com/

[ étymologie ] [ relativité ] [ langage ] [ mathématiques ] [ synthèse ] [ aléthique ] [ triade ]