Religions du monde :: forum religion

Si la logique formelle n'est qu'un langage , et pas une preuve , je ne vois pas ce que tu lui trouves des supérieur à la logique informelle qui est aussi un langage et pas une preuve

vic a écrit : ↑22 avr.25, 08:39 Mais la logique informelle est autant une formulation langagière que la logique formelle . Rien ne diffère , ce sont des cadres de langage différents et complémentaires

Mais pour parler de logique, quand on parle d'une logique informelle il faut pouvoir la traduire en une formule de preuve formelle.

Je ne sais pas comment te le dire vic..

a écrit :Jm a dit : Mais pour parler de logique, quand on parle d'une logique informelle il faut pouvoir la traduire en une formule de preuve formelle.

Non

vic a écrit : ↑22 avr.25, 08:40 Une formulation ne prouve rien en soi

Donc s'il n'y a pas de formulation de preuve, il n'y a pas de preuve logique, donc il est abusif de parler dans ce cas de logique informelle.

vic a écrit : ↑22 avr.25, 08:42 Si la logique formelle n'est qu'un langage , et pas une preuve , je ne vois pas ce que tu lui trouves des supérieur à la logique informelle qui est aussi un langage et pas une preuve

Bon..

La logique n'est pas une preuve de toutes façons

C'est un langage

@Fides que répond copilote?

vic a écrit : ↑22 avr.25, 08:43 Non

Bein si. C'est d'ailleurs ce que tentent de faire ceux qui parlent de logique informelle.

Je n'ai jamais dit que la logique informelle était un preuve , pas plus que la logique formelle

(Je parle de gens sérieux qui pratiquent la logique formelle.)

C'est toi qui affirme que la logique est une preuve

vic a écrit : ↑22 avr.25, 08:44 La logique n'est pas une preuve de toutes façons

J'ai dit ça ?

La logique ne peut pas se prouver elle même

Tu sais vic j'ai autre chose à faire que de faire la causette à des trolls.

On peut démontrer ce qu'on veut d'un point de vue logique , mais il n'est pas possible de démontrer que la logique est vraie

En fait la logique ressemble plus à un langage commun

Tu parles de logique informelle parce que tu veux te croire logique informellement, sans avoir à produire des raisonnements cohérents ni de preuve de ce que tu conclus.

C'est aussi simple que ça.

Je t'ai bien cerné vic.

Non , la logique formelle elle même ne peut pas se prouver elle même

vic a écrit : ↑22 avr.25, 08:48 On peut démontrer ce qu'on veut d'un point de vue logique , mais il n'est pas possible de démontrer que la logique est vraie

Phrase qui ne veut rien dire, comme je l'ai déjà précisé.

Il n'existe pas de preuve de supériorité de la logique formelle sur quoi que ce soit

Vic il y a des propos cohérents, et d'autres qui ne le sont pas. Tu es d'accord ?

J'm'interroge a écrit : ↑22 avr.25, 08:51 Vic il y a des propos cohérents, et d'autre qui ne le sont pas. Tu es d'accord ?

Dans l'absolu non

Il n'y a pas d'absolu lol.

Mais quel DM !

Lol

Bon aller, je vais regarder ma série.

Des paroles sont vraie ou fausses à l'intérieur d'un cadre conventionnel qu'on pose

En tous cas , il est difficile de séparer la réalité de la convention posée .

Donc, tu dis que selon le cadre logique considéré n'importe quel propos qui est faux dans un cadre, peut être vrai dans un autre ?

Réfléchis bien à ta réponse.

J'm'interroge a écrit : ↑22 avr.25, 08:55 Donc, tu dis que selon le cadre logique considéré n'importe quel propos qui est faux dans un cadre, peut être vrai dans un autre ?

Ni oui ni non

Ok..

Bon, je parle vraiment à un troll.

J'abandonne.

Un troll en quoi ? Tu n'arrives même pas à justifier ta position que par un sophisme de l'homme de paille

Bon , ciao

Vic pense qu'il est impossible d'appréhender la " vraie réalité ". Alors nous avons pour vérités que des conventions sur lesquelles on s'entend. Par conséquent les conventions sont ballottantes. Ce foutu principe d'incertitude.

"Par la logique on ne peut rien prouver." (vic)

Ah quoi bon réfléchir alors ?

@Inti C'est la vision moderne qui influence beaucoup les esprits de nos jours.

Vic qui traite de logique c'est quand même quelque choses..

Fides a écrit : ↑22 avr.25, 09:02 @Inti C'est la vision moderne qui influence beaucoup les esprits de nos jours.

Le relativisme.

C'est la méditation bouddhiste. " moi pas penser, moi pas penser....

Fides a écrit : ↑22 avr.25, 09:03 Le relativisme.

le relativisme peut être une bonne chose. Cest l'absolu qui pose problème

Fides a écrit : ↑22 avr.25, 09:03 Le relativisme.

Vic c'est du relativisme. Chacun a raison pour soi.