Citation Envoyé par Matmat Voir le message
si,comme vous le suggérez, les propositions sont vraies ou fausses parce que il y a une réalité unique et indivisible alors la proposition "il existe une réalité une et indivisible" est vraie parce que il existe une réalité une et indivisible ( on peut refuser d'avoir recours à cette auto-justification mais on doit recourir à des méta-réalité à l'infini ) ...cette auto-justification première réduit la vérité à n'etre que l'expression d'une convention qui relie "P" à P ... "P" vraie si et seulement si P ... La vérité est une convention nécessaire pour pouvoir parler objectivement des choses et non une conséquence nécessaire du fait que les choses réelles seraient bien définissables objectivement.
d'autre part, en ce qui concerne votre probléme de logique :
La relation "proprosition-> vrai/faux" ne s'applique qu'au proposition qui décrive la réalité, et non à celle qui ne décrive rien..
Ces propositions porte sur la symétrie entre modéle de la réalité et réalité.
Les propositions du modéle qui ne se référe à rien de réél sont simplement fausse, car non symétrique avec elle.
Si je dis "le pain est sur la table" je parle d'un pain et d'une table.
C'est peut être vrai.
Si je dis "c'est phrase est vrai", je ne parle de rien.. On ne peut donc lui appliquer la fonction "véracité".. cette proposition est donc fausse, simplement car il n'y a pas symétrie entre la phrase et la réalité (la phrase ne se référent à rien de réél).

Le fait qu'on puisse faire des propositions qui ne dise rien comme "cette phrase est vrai" ou "zorglub ababa djdj" ou qu'on puisse imaginer un éléphant à tête de lion, ne démontre rien.