Religions du monde :: forum religion

Bonjour J'M'interroge

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)?

Salut

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.
.

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 ?

...sinon en logique d'ordre un

ce qui permet de décrire un séquent pour le premier et le deuxième sa validité

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.

.

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...

Pourrais-tu être plus explicite, je ne suis pas sûr de savoir de quoi tu parles.

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 )

Ah ok, en matière de politique je suis Poutinien. La minabilité française ne m'intéresse plus du tout.

J'aime bien Trump aussi, il me fait marrer et c'est loin d'être le con qu'on veut faire croire.

.

Bonjour J'M'Interroge

tu sais moi j'aime bien Martine Aubry

même physiquement j'ai l'impression qu'elle m'est familière et mentalement aussi

elle ressemble à ma frangine physiquement et mentalement

Sa simplicité : c'est pas une casse bonbon

Oui, je n'ai rien contre Martine Aubry personnellement. Mais il y en a qui m'insupportent grave !

Bonjour J'M'Interroge

pour les besoins d'un truc je me suis retrouvé obligé de considérer qu'une proposition est un ensemble

mais bon tu t'imagine que n'avoir pas d'avis extérieur c'est un peu limite pour moi...

tu pense que j'ai le droit de faire ça? tu as des objections ? je t'écoute...

personne ne m'as dit que je n'avais pas le droit mais c'est pas naturel comme façon de faire ça

Avez-vous fini de nous triturer le cerveau ? Il a déjà été prouvé que tout ce qui s' appelle " logique " n' est pas forcément vrai (Umberto Ecco).