Qu’est-ce que la logique ? À quoi sert-elle ? Pour répondre à ces questions, remontons dans l’histoire et retraçons parcourons l’évolution de la logique à travers les siècles, de la Grèce antique aux Temps modernes, en allant à la rencontre de celles et ceux qui l’ont construite. Ce faisant, nous verrons que nous devons reformuler la question et demander plutôt : « Qu’est-ce que la logique aujourd’hui ? Et à quoi sert-elle aujourd’hui ? »
Innovation Pédagogique et transition
Une initiative de l'Institut Mines-Télécom avec un réseau de partenaires
binaire
Articles de cet auteur (93)
-
La logique : un instrument théorique pour des problèmes pratiques.
-
Quel(s) numérique(s) pour demain dans un monde contraint en matière et en énergie ?
Alors que le numérique s’impose dans tous les aspects de notre quotidien, ses impacts environnementaux interrogent. Martin Deron, responsable du Défi numérique de Chemins de transition (Université de Montréal) et doctorant à l’université Concordia, et Benjamin Ninassi, adjoint au responsable du programme Numérique et Environnement d’Inria, nous partagent ici des réflexions émergentes sur comment repenser le numérique pour le rendre compatible avec les contraintes environnementales et énergétiques, tout en lui permettant de contribuer à la construction de sociétés plus résilientes et soutenables ? Antoine Rousseau et Thierry Viéville . (…)
-
ChatGPT ? Voulez-vous comprendre ce que c’est ?
ChatGPT. Avant d’en parler, de croire qu’il va tout faire, même la vaisselle, d’en avoir peur parce qu’il va détruire les emplois, de s’émerveiller parce qu’il a dit quelques phrases qui avaient l’air intelligentes, de le traiter de nul parce qu’il dit des bêtise, de l’engueuler parce qu’il refuse de dire une absurdité, avant de nous faire une opinion, peut-être pourrions-nous passer un peu de temps à essayer de comprendre ce que c’est ? Serge Abiteboul.
Un article repris du blog binaire, une publication sous licence CC by
Chiche ?
Pour ça, vous pouvez écouter David Louapre qui explique si bien, les bases de ChatGPT, et comment il (…) -
[DA]vid contre Gol[IA]th : Quelle est la place de la créativité humaine dans le paysage de l’intelligence artificielle générative ?
Billet d’introduction : L’expression “David contre Goliath” n’a jamais semblé aussi pertinente que lorsqu’il faut décrire le combat des artistes contre les GAFAM. Cette expression souvent utilisée pour décrire un combat entre deux parties prenantes de force inégale souligne une réalité : celle de la nécessité qu’ont ressenti des artistes de différents milieux et pays de se défendre face à des géants de la tech de l’IA générative pour protéger leur oeuvres, leur passion et leur métier, pour eux et pour les générations futures. Si la Direction Artistique porte le nom de [DA]vid, alors l’IA sera notre Gol[IA]th… C’est parti pour une épopée (…)
-
Le soleil chante pour Hélène
Un nouvel « Entretien autour de l’informatique ». Hélène Barucq, Directrice de recherche Inria, spécialiste de la simulation numérique de la propagation des ondes sismiques. Hélène Barucq est responsable de l’équipe Magique-3D sur le calcul scientifique en géophysique, commune à Inria et au département de Mathématiques Appliquées de l’Université de Pau. Elle nous parle des profondeurs de la Terre, de celles du soleil, et d’acoustique musicale. Un coup d’œil passionnant sur un domaine aux frontières des maths, de la physique et de l’informatique.
-
Éducation et la diversité de l’informatique à l’école
Télétravail, visioconférence, école à la maison, et classes virtuelles pendant le confinement. Nous avons tous eu besoin de faire appel aux outils numériques, avons-nous eu la culture nécessaire pour affronter la situation ? Quelle est la mission de l’école par rapport à l’informatique dans le monde d’aujourd’hui ?
-
ePoc : des formations au numérique à portée de main
ePoc [electronic Pocket open course] est une application mobile gratuite et open source de formation au numérique développée par Inria Learning Lab (Service Éducation et Médiation Scientifiques). L’objectif : proposer des formations au numérique à portée de main. Aurélie Lagarrigue, Benoit Rospars et Marie Collin nous explique tout cela. Marie-Agnès Énard.
Un article repris du blog binaire, une publication sous licence CC by
Ce billet est publié en miroir avec le site pixees.fr.
En parallèle des Moocs produits sur la plateforme nationale FUN, ce nouveau format de formation a été spécialement conçu pour le mobile. L’intérêt est (…) -
Un exercice avec ChatGPT
Un exercice obligé en ce moment est de rédiger un texte avec ChatGPT pour illustrer ce que ce logiciel peut faire. Cela peut être une dissertation de philo pour le bac. Ici, Claire Mathieu, une amie et grande contributrice de binaire, demande à ChatGPT de rédiger le rapport de la mission Gillet au sujet de l’évolution de l’écosystème de la recherche en France. Serge Abiteboul Cet article est repris de Academia.hypotheses.org hébergé par la plateforme Hypothèses, une plateforme d’OpenEdition pour les blogs de recherche en sciences humaines et sociales.
Sa version en pdf : UtiliserChatGPT. Introduction
Pour explorer le potentiel de (…) -
Des IA conseillères assurément, une IA présidente jamais de la vie
L’article du blog binaire de Jason Richard a conduit à une réaction de Max Dauchet. Max est professeur émérite à l’Université de Lille. Il a réalisé des recherches sur les outils logiques et méthodes formelles pour la programmation, l’algorithmique et sur la bioinformatique. Il s’intéresse aujourd’hui à l’éthique des sciences et technologies du numérique. Il fait partie du comité étique et scientifique de Parcoursup. Serge Abiteboul
Un article repris du blog binaire, une publication sous licence CC by
Des IA conseillères assurément, une IA présidente jamais de la vie
Jason Richard s’interrogeait dans ce blog sur la possibilité et (…) -
La Chine et les communs numériques
Stéphane Grumbach est directeur de recherche à Inria et enseignant à Sciences Po. Il a été directeur de l’IXXI, l’institut des systèmes complexes de la Région Auvergne Rhône Alpes. Il a été directeur du Liama, le laboratoire sino-européen en informatique, automatique et mathématiques appliquées de Beijing. L’essentiel de sa recherche concerne les questions globales, et notamment comment le numérique modifie les rapports entre les nations et oriente les sociétés dans l’adaptation aux changements écosystémiques. Nous l’avons interviewé notamment pour mieux comprendre ce qui se passe en Chine autour du numérique et des communs numériques. (…)
