Et si nous devions tomber

Une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. La richesse des thèmes abordés et la palette d'exercices proposés conduiront rapidement le lecteur à une connaissance approfondie des notions de base de la logique. Cet ouvrage propose une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. Il aborde d'emblée la logique propositionnelle et la logique des prédicats du premier ordre, sans en développer les aspects mathématiques, mais sans négliger les techniques fondamentales. L'accent est particulièrement mis sur la logique comme outil d'analyse du langage. Le livre vaut non seulement pour la richesse des thèmes abordés, mais aussi pour la large gamme d'exercices résolus qui conduisent progressivement le lecteur à une connaissance approfondie des notions de base de la logique. Cette 4e édition, signée par deux auteurs des éditions précédentes et enrichie de l'apport d'un nouvel auteur, remanie le stock déjà abondant des exercices et lui ajoute une trentaine de pages, fruit de l'expérience d'enseignement.

Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les séquents à conclusion multiple, les séquents à conclusion simple et la déduction naturelle. L'exposé théorique, très complet, vise à justifier systématiquement les choix adoptés et ne laisse aucune difficulté variable, résolus ou dont la solution est esquissée, ainsi que d'ouvertures sur des prolongements théoriques. Avec un contenu moins dogmatique et plus réflexif que celui de nombreux titres publiés précédemment sur le sujet, cet ouvrage s'adresse principalement aux étudiants de mathématiques, de philosophie, d'informatique ou de sciences formelles ayant déjà suivi un cours de base en logique et qui, soucieux de poursuivre leur étude, se heurtent souvent à la multiplicité des approches et des notations. Son organisation et son style permettent à chaque lecteur de progresser "à la carte" en fonction de ses centres d'intérêt.

Certains d'entre Nous oublieront et deviendront des hommes......pleurant cette joie simple, et pour toujours enfuie, d'avoir été autrefois des loups." Réédition du titre aujourd'hui épuisé, publié en 2008 chez l'éditeur Fugues en Bulles.

Thierry Bredel, titulaire du Brevet d État des Métiers de la Forme et diplômé Personal Trainer américain, est responsable Ile-de-France de la Fédération des préparateurs physiques et des professionnels de la forme, et formateur pour le Brevet Professionnel. Il réalise également régulièrement des chroniques sur la santé et le bien-être dans plusieurs magazines à l intention du grand public.En collaboration avec: Pascal Prevost, Docteur en neuro-physiologie et biomécanique de la performance et Didier Reiss, DESS de préparation physique, Master en recherche, savoir et expertise des APS.