Introduction à la logique pertinente

Les Centres de Ressources en Langues font partie intégrante du paysage universitaire, sans que leurs objectifs ou modalités de fonctionnement n'aient fait l'objet d'un cahier des charges précis dans le cadre d'une politique des langues construite, avec de grandes variantes selon les contextes universitaires. Du côté de la recherche, le CRL n'a pas non plus fait l'objet d'une construction épistémologique à part entière, car il échappe à toute approche qui ne serait pas interdisciplinaire ou qui ne croiserait pas différents niveaux d'analyse, du micro au macro-éducatif. L'objectif de cet ouvrage est donc de répondre à ce manque et de réunir des éléments d'analyse pluriels (émanant du terrain comme des discours institutionnels ou encore de la recherche sur l'apprentissage médiatisé des langues) qui permettent de dresser un panorama de l'existant, d'en faire émerger les éléments récurrents, puis de modéliser le dispositif CRL dans une approche par la complexité puis de modéliser le dispositif CRL dans une approche par la complexité, qui permet d'articuler les pôles Apprentissage, Langue, Autonomie, Dispositif, Institution et Numérique dans le modèle désormais nommé ALADIN. Cette modélisation offre des pistes prospectives, avec un cadre d'analyse à la fois construit et souple car évolutif. L'approche par la complexité permet de prendre en compte la temporalité et les facettes plurielles et évolutives du CRL. Cet ouvrage s'adresse aux responsables de CRL, aux intervenants enseignants et tuteurs ou aux décideurs, qui peuvent l'aborder avec un regard didactique, institutionnel et politique ou organisationnel. Organisé en quatre grandes parties et seize chapitres, il permet des approches plurielles, dans une logique d'interdisciplinarité.

Résumé : Ce manuel s'adresse à un public de non-spécialistes, particulièrement à des étudiants en philosophie et en sciences humaines, qui ne sont pas censés posséder un bagage mathématique important, mais sont désireux de maîtriser les notions de base et les techniques propres à la logique mathématique.

A l'époque où se développent les techniques et les modes de pensée liés à l'informatique, l'intelligence artificielle et la modélisation mathématique des processus cognitifs, il importe, pour mieux maîtriser notre modernité, de comprendre son histoire. L'anthologie de Logique et fondements des mathématiques, dont cette première partie rassemble des textes couvrant la période 1850-1914, se propose de contribuer à cette tâche. Nombreuses sont les disciplines contemporaines qui peuvent être tenues pour le développement de ces recherches. Cet ouvrage présente des textes de Bolzano, De Morgan, Boole, Frege, Cantor, Peirce, Dedekind, Schröder, Hilbert, Russell, Richard, König, Baire, Borel, Hadamard, Lebesgue, Zermelo, Brouwer, Poincaré.