bonjour
Question d’un amateur
Pour mettre en place une logique bien élaborée il faut partir des fondements solides à cette logique.
Ces fondements doivent suivre, dans leurs élaborations, une certaine logique.
Cette première logique c’est quoi ?
Cette question n'a aucun sens.
Ce forum est consacré à la logique mathématique, qui a commencé à être étudiée spécifiquement à la fin du dix-neuvième siècle. C'est sur la base des raisonnements usuels en mathématiques que s'est construit un corpus devenu classique, qu'on trouve dans tous les ouvrages d'apprentissage de la logique. Des réflexions ultérieures ont permis le développement d'études de systèmes différents, qui sont aussi étudiés dans les ouvrages de base.
Donc soit on veut parler d'une théorie scientifique appelée "logique" (et c'est le lieu ici), mais on commence par se renseigner, soit on vient parler pour ne rien dire ("Ces fondements doivent suivre, dans leurs élaborations, une certaine logique" : Le mot "logique" a changé de sens par rapport à la phrase précédente, donc est à remplacer pas un mot adapté, un synonyme, pour éviter de mélanger les idées : les idées claires s'expriment clairement) et autant fermer ce fil.
Donc pour l'instant, tu joues sur les mots, au lieu de chercher un sens à l'idée floue que tu as (j'ose espérer) dans la tête.
Il faut utiliser de la "logique floue sans douteEnvoyé par gg0
https://fr.wikipedia.org/wiki/Logique_floue
Plus sérieusement, il peut être intéressant pour amineyasmine de s'intéresser à l'histoire de la "logique".
En commençant par Socrate, Leibniz, Frege, ....et la suite :
https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Bonjour
Extrait du WIKI proposé par #ansset :
« Toutefois on ne peut parler de logique mathématique qu'à partir du milieu du XIXe siècle » c’est très récent.
Ma question est donc hors mathématique
Mon idée était de discuter la démarche logique () du choix des axiomes de la théorie, par exemple l'axiome de la paire de la théorie des ensembles, il n’est pas là sans aucune réflexion. Il y a un préalable à ce choix.
Mon Idée, de vouloir se poser de telle question me semble maintenant pas bonne
Dernière modification par amineyasmine ; 18/04/2020 à 14h04.
On ne choisit jamais les axiomes sans bonnes raisons, tirées de l'expérience. Pour comprendre vraiment ces choix, il faut étudier les théories. Et comme tu parles maintenant des axiomes de la théorie des ensembles, j'en déduis qu'il y au moins trois sens à ton mot logique, qui changent à chaque phrase !!
conclusion : il faut étudier les théories.
Confiné, peu importe l’heure de dormir.
Je ne peux pas étudier les théories, je les ai vu, en diagonal, au fil des ans et j’ai un bagage.
L’axiome de la paire, ça sert à quoi ?
Tout seul, il ne sert à rien, il lui faut un premier ensemble pour construire le reste des ensembles à partir de ce premier ensemble.
Il y a donc l’ensemble vide, premier ensemble construit par axiome,
Je vois là une analogie avec les axiomes de PEANO.
L’axiome de la paire c’est l’axiome du successeur et l’ensemble vide est l’axiome du zéro.
En bref, trés bref
Dernière modification par amineyasmine ; 19/04/2020 à 00h27.
Ne pa oublier que tout smouales étaient les Borogoves
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Amineyasmine : "Je ne peux pas étudier les théories, je les ai vu, en diagonal, au fil des ans et j’ai un bagage."
Ben non, tu n'as pas un bagage, tout simplement tu n'as aucune connaissance sérieuse, tu as seulement regardé de loin. Mais tu baratines quand même. Tu fais comme les sportifs du dimanche qui discutent des choix de l'entraineur de l'équipe nationale. Ils n'y connaissent rien, mais portent des avis définitifs et tranchés.
"En bref, trés bref"
Delfeil de Ton intitulait sa rubrique de Charlie "J'ai pas vu, j'ai pas lu, mais j'ai entendu parler".
Dès le début le fil partait mal, et cela devient de pire en pire.
Je crois qu'on a assez fait de mal à la logique.
Il est regrettable que cette rubrique devienne une sorte de poubelle (cf. le nombre de fils fermés) recevant toutes les interrogations qui n'ont rien à y faire, bien que le mot logique figure dedans.
Je pense que la modération va devenir plus stricte et dictatoriale.
Not only is it not right, it's not even wrong!
