J'ai une question(je sais et j'ai lu que la logique est ton truc) : comment se fait-il qu'une algèbre de Boole soit appelée une algèbre vu que la définition formelle d'une algèbre (donnée par Jacqueline Lelong-Ferrand -> https://fr.wikipedia.org/wiki/Jacqueline_Lelong-Ferrand) interdit de l'appeler une algèbre(justement)?
Modifié en dernier par Eliaqim le 18 mars20, 06:30, modifié 1 fois.
Bon finalement j'ai obtenu la réponse à ma question
la voici:
On m'a dit qu'avant Bourbaki (donc avant Jacqueline Lelong-Ferrand aussi qui elle aussi été influencée par eux) le mot algèbre avait plusieurs significations dont la principale qui est celle d'exprimer des structures algébriques.
C'est idiot mais je n'y avait pas songé pour trouver la réponse à ma question qui relève plus de l'histoire que d'autre chose
Avec Bourbaki, le mot algèbre est aussi devenu le nom d'une structure algébrique particulière celle que j'ai placé dans mon premier post et qui est la définition d'une algèbre donnée par Jacqueline Lelong-Ferrand, de plus et là j'aurai mieux fait d'y penser on parle bien d'algèbre linéaire et pourtant aussi ça n'est pas une algèbre et si j'y avait pensé et comme cette algèbre n'est pas non plus ce qu'on appelle une structure algébrique en tant que telle (comme peut l'être une algèbre de Boole) j'aurais vite compris que ma question était une question clairement idiote.
voilà en fait il n'y avait pas de quoi dramatiser avec ça (je me suis pris la tête pour rien en fait)
Pour moi, très simplement, une algèbre est un système formel permettant de faire des calculs (et donc en tant que système formel de permettre de les simplifier). L'algèbre booléenne permet par analogie de calculer des tables de vérités. Le calcul propositionnel peut s'avérer utile à la vérification de raisonnements tenus et même d'en permettre d'autres, mais il ne constitue pas en lui-même l'exercice de la logique. .
La réalité est toujours beaucoup plus riche et complexe que ce que l'on peut en percevoir, s'en représenter, concevoir, croire ou comprendre.
Nous ne savons pas ce que nous ne savons pas.
Humilité !
Toute expérience vécue résulte de choix. Et tout choix produit sont lot d'expériences vécues.
Sagesse !
Oui et pour moi aussi, ce que tu dis J'M'interroge est strictement exact
après le fait qu'au XX ième siècle on a voulu donner une autre définition au mot algèbre n'enlève rien au reste (c'est juste que cette définition n'a rien avoir avec l'ancienne)
ma question était donc idiote et ce n'est pas la première fois qu'on utilise un même mot pour parler de deux choses différentes qui n'ont strictement rien à voir entre elles et ce qui compte c'est qu'on ne fasse pas comme ce que j'ai fait : s'embrouiller en les confondant l'une et l'autre
Bonjour J’M’Interroge excuse moi de te déranger mais j’ai encore besoin de toi
je galère un peu là
dans un document j'ai ça, mais c'est quoi la différence entre ces deux symboles ?
Je ne suis pas sûr du bien fondé de ces distinctions. Si j'ai bien compris, quand on parle de ce qui est vrai en Li on utilise un métalangage, or selon moi, quand on fait de la logique on doit restreindre au maximum les métalangages. Je dirais simplement, sans parler de séquent : que l'expression "B déductible de A" n'a une signification en Li que quand B est formellement constructible à partir de A selon les règles d'inférence de la Li.
.
La réalité est toujours beaucoup plus riche et complexe que ce que l'on peut en percevoir, s'en représenter, concevoir, croire ou comprendre.
Nous ne savons pas ce que nous ne savons pas.
Humilité !
Toute expérience vécue résulte de choix. Et tout choix produit sont lot d'expériences vécues.
Sagesse !
ce n'est pas grave...mais j'ai peur pour Luc Ferry
Martine Aubry que je n'aime pas particulièrement , moins que Logos, Nina Hagen ou Dialectique en tout cas me hante depuis quelques jours et quelques nuits
c'est dangereux mais pas pour nous JMI ...là moi j'ai peur pour les fesses d'un certain Luc Ferry et des coups de pieds au culs qui se perdent par exemple...
je ne parlais pas de LI
dans mon document on utilise les deux symboles mais on reste en logique classique
mais c'est bon j'ai compris de quoi ça parle (j'ai eu du mal mais j'ai pris le temps)
(pour le reste c'est rien laisse tomber ….concernant Luc Ferry et la citation de Martine Aubry "quand c'est flou, y a un loup" me faisant dire de Luc Ferry que c'est un loup dans la bergerie )
