* Les prix de nos produits sont sujets à changements sans préavis.
Présente les principales étapes de l'histoire des théories logiques, de la création antique de la logique dans la sphère philosophique à la logique mathématique moderne et contemporaine, en passant par le rejet de la logique scolastique du Moyen Age à l'époque classique, etc.
Créée par les Grecs, la logique a côtoyé la philosophie tout au long du Moyen Âge, sans dévier de sa ligne initiale. Les Modernes, en la formalisant et en l'axiomatisant, en sont venus à la lier étroitement aux mathématiques. Science du syllogisme au départ, elle est devenue théorie générale de la déduction. Sa solidité et sa puissance lui ont même permis de prétendre servir de fondement aux mathématiques.. L'ouvrage raconte ce cheminement et ses étapes majeures, d'Aristote à Turing, en passant par Guillaume d'Occam, Boole, Frege et Gödel, entre autres. Il expose les grandes avancées que ces penseurs réalisèrent, en faisant ressortir l'esprit de leurs recherches et la signification de leurs démarches. Sa lecture permet ainsi une première initiation à la logique elle-même..
