Bonjour à toutes et tous !

Julien DURAND (mon frangin) m’a parlé d’un programme sympa qui est sur la Forge (quelle force de partage cet outil !)

Bref, un professeur de philosophie, Cédric EYSSETTE, a fait un programme pour conduire un argumentaire à coup de promisse et d’objection.

Et franchement pour travailler l’argumentation ça avait l’air sympa, Julien m’a évoqué le problème du vocabulaire … et … bien j’ai traduit et je suis allé un peu plus loin.

Le programme vérifie sur les données sont dites vérifiées (proposition vraie) ou non(proposition non vérifiée)

J’ai ajouté les barres vertes et rouges (verte ce que l’on sait, et rouge ce que l’on souhaite démontrer.

On peut donc donner un schéma par défaut :

https://mathix.org/dem_map

ou via un lien plus complexe qui réaffiche un raisonnement (oui, on peut sauvegarder le raisonnement via l’url!!)

https://mathix.org/dem_map/#[{%22id%22:%22p1%22,%22text%22:%22proposition%201%22,%22x%22:650,%22y%22:275,%22lineType%22:%22solid%22},{%22id%22:%22c1%22,%22text%22:%22Conclusion%22,%22x%22:883,%22y%22:783,%22lineType%22:%22solid%22},{%22id%22:%22p2%22,%22text%22:%22proposition%202%22,%22x%22:1123,%22y%22:373,%22lineType%22:%22solid%22},{%22id%22:%226c8cf%22,%22type%22:%22donc%22,%22from%22:[%22p2%22],%22to%22:%22c1%22},{%22id%22:%222jx6v%22,%22text%22:%22Proposition%22,%22x%22:634,%22y%22:106,%22lineType%22:%22solid%22}]

Alors l’utilisation, pour quoi faire ?

Et bien sinon on parlait de raisonnement? Comment s’en saisir?

Si on donnait toutes les informations que l’on a et ce que l’on souhaite trouver? Voilà un outil pour présenter une réflexion, un raisonnement sans forcément écrire!

Puis ensemble on créé un raisonnement par étape.

Pour voir les fonctionnalités, glissez la souris sur le ⓘ.

L’IA

Et le mieux c’est que l’on peut donner à une IA… Un exercice et lui demander de formater cela pour que cela génère les données initiales et ce que l’on souhaite.

Voilà pour l’instant le jet donné par chatGPT… (il y a juste l’artefact de la bulle DONNEES), mais il les place correctement.

https://mathix.org/dem_map/#%5B%7B%27id%27%3A%20%271%27%2C%20%27text%27%3A%20%27Donn%C3%A9es%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%2050%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%272%27%2C%20%27text%27%3A%20%27DC%20%3D%2025%20cm%27%2C%20%27x%27%3A%20150%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%273%27%2C%20%27text%27%3A%20%27BC%20%3D%2026%20cm%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%274%27%2C%20%27text%27%3A%20%27AO%20%3D%206%20cm%27%2C%20%27x%27%3A%20450%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%275%27%2C%20%27text%27%3A%20%27AB%20%3D%208%20cm%27%2C%20%27x%27%3A%20600%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%276%27%2C%20%27text%27%3A%20%27Calcul%20%3A%20Aire%20du%20triangle%20BDC%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20300%2C%20%27lineType%27%3A%20%27solid%27%7D%5D

On peut aussi imaginer donner toutes les propositions (même intermédiaire) et de demander l’enchaînement logicodéductif.

Le programme permet de sauvegarder (on clique et on enregistre l’url), et aussi on peut générer une image!

Bref, je dois faire une formation dans une semaine sur les TAPI, je crois que je vais en parler un peu!! 🙂

Oui, ça donne des idées….

Il est même possible de réfléchir à un exerciseur pour s’entraîner à créer des raisonnement logico-déductif sans que ce soit des maths d’ailleurs juste de la logique pure….

Bon, ce programme n’aurait pas vu le jour sans la petite puce à l’oreille ,en communiquant avec moi sur un programme du prof de philo, de Julien DUDU, mon frère, ni son test pour générer une url via chat-GPT (il a fallu aussi retravailler le programme pour qu’il accepte le code URI de chat-GTP qui n’en démord pas)

Bonjour à toutes et tous!

Quelques petites améliorations du projet :

• J’ai amélioré le chargement en interne des ressources (bon vu la rapidité de la fibre, le résultat n’est pas flagrant c’était déjà rapide)

J’ai ajouté quelques démonstrations en plus.

• Sur chaque bouton des propositions, un survol de souris fait apparaître la propriété.

• Et surtout la petite nouveauté, on peux accéder rapidement via l’url à une démonstration d’une proposition.

https://mathix.org/euclide/?prop=27

permet d’accéder à la proposition 27 etc…

Et puis j’ai repris 5 démonstrations d’Euclide qui servent au programme de 5eme…

L’idée est de passer par l’aspect historique notamment pour le vocabulaire!

Remarquez deux choses :

• Le féminin est utilisé pour le « ces deux lignes » qui se lit « icelles deux lignes »…
• Les mots de vocabulaires plus simples chez nous, alterne-interne est mieux que opposés alternativement.

C’est toujours à cette adresse :

https://mathix.org/euclide