A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03
Affiner la recherche Interroger des sources externes
Titre : Histoire de la logique Type de document : texte imprimé Auteurs : Jean-Pierre BELNA, Auteur Editeur : Paris : Ellipses Année de publication : 2014 Importance : 165 p. ISBN/ISSN/EAN : 978-2-7298-8448-2 Langues : Français (fre) Catégories : 01-01
03Mots-clés : histoire des mathématiques logique Résumé : Née dans l’Antiquité grecque avec Aristote et les stoïciens, la logique a continué de côtoyer la philosophie durant le Moyen Âge et jusqu’au XVIIe siècle. C’est à partir du milieu du XIXe siècle que des mathématiciens, en l’axiomatisant et en la formalisant à l’aide de diverses langues symboliques, l’ont rapprochée des mathématiques. Le XXe siècle a consacré ce basculement et renouvelé les questions philosophiques grâce à cette logique rénovée. Passée de la science du seul syllogisme à la théorie générale de la déduction, elle a même un temps pu prétendre fonder la mathématique.
Le présent ouvrage raconte ce cheminement et ses étapes majeures, d’Aristote à la naissance de l’informatique avec Turing et de la théorie des modèles avec Tarski, en passant par Guillaume d’Ockham, Boole, Frege, Gödel et bien d’autres, sans oublier les logiques non occidentales. S’il ne prétend pas répondre à la question de savoir ce qu’est la logique ni si en parler au singulier est parfaitement légitime, il n’élude pas ces problèmes et examine les interrogations qui ont guidé les philosophes, logiciens et mathématiciens dans leurs démarches.
S’adressant aux étudiants en philosophie et en mathématiques aussi bien qu’aux personnes intéressées par la manière dont les diff érentes époques ont envisagé les problématiques du raisonnement et de la vérité, l’ouvrage offre au lecteur lapossibilité de s’initier à la logique par le biais instructif de son histoire.Note de contenu : index, bibliogr. En ligne : http://www.editions-ellipses.fr/product_info.php?products_id=9520 Histoire de la logique [texte imprimé] / Jean-Pierre BELNA, Auteur . - Paris : Ellipses, 2014 . - 165 p.
ISBN : 978-2-7298-8448-2
Langues : Français (fre)
Catégories : 01-01
03Mots-clés : histoire des mathématiques logique Résumé : Née dans l’Antiquité grecque avec Aristote et les stoïciens, la logique a continué de côtoyer la philosophie durant le Moyen Âge et jusqu’au XVIIe siècle. C’est à partir du milieu du XIXe siècle que des mathématiciens, en l’axiomatisant et en la formalisant à l’aide de diverses langues symboliques, l’ont rapprochée des mathématiques. Le XXe siècle a consacré ce basculement et renouvelé les questions philosophiques grâce à cette logique rénovée. Passée de la science du seul syllogisme à la théorie générale de la déduction, elle a même un temps pu prétendre fonder la mathématique.
Le présent ouvrage raconte ce cheminement et ses étapes majeures, d’Aristote à la naissance de l’informatique avec Turing et de la théorie des modèles avec Tarski, en passant par Guillaume d’Ockham, Boole, Frege, Gödel et bien d’autres, sans oublier les logiques non occidentales. S’il ne prétend pas répondre à la question de savoir ce qu’est la logique ni si en parler au singulier est parfaitement légitime, il n’élude pas ces problèmes et examine les interrogations qui ont guidé les philosophes, logiciens et mathématiciens dans leurs démarches.
S’adressant aux étudiants en philosophie et en mathématiques aussi bien qu’aux personnes intéressées par la manière dont les diff érentes époques ont envisagé les problématiques du raisonnement et de la vérité, l’ouvrage offre au lecteur lapossibilité de s’initier à la logique par le biais instructif de son histoire.Note de contenu : index, bibliogr. En ligne : http://www.editions-ellipses.fr/product_info.php?products_id=9520 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i2219 BEL/01/i2219 Livre Recherche Salle Disponible Proceedings of the international conference on algebra. Part 1 (cop. 1992) / L. A. BOKUT'
Titre : Proceedings of the international conference on algebra. Part 1 : Dedicated to the memory of A.I. Mal'cev Type de document : texte imprimé Auteurs : L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : cop. 1992 Collection : Contemporary mathematics, ISSN 0271-4132 num. 131.1 Importance : XXVI-712 p. ISBN/ISSN/EAN : 978-0-8218-5136-4 Langues : Anglais (eng) Catégories : 00
03
06
08
12Mots-clés : algèbre Proceedings of the international conference on algebra. Part 1 : Dedicated to the memory of A.I. Mal'cev [texte imprimé] / L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique . - American Mathematical Society, cop. 1992 . - XXVI-712 p.. - (Contemporary mathematics, ISSN 0271-4132; 131.1) .
ISBN : 978-0-8218-5136-4
Langues : Anglais (eng)
Catégories : 00
03
06
08
12Mots-clés : algèbre Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5345 CON/131-I Livre Recherche Salle Disponible Proceedings of the international conference on algebra. Part 2 (cop. 1992) / L. A. BOKUT'
Titre : Proceedings of the international conference on algebra. Part 2 : Dedicated to the memory of A.I. Mal'cev Type de document : texte imprimé Auteurs : L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : cop. 1992 Collection : Contemporary mathematics, ISSN 0271-4132 num. 131.2 Importance : XVI-704 p. ISBN/ISSN/EAN : 978-0-8218-5137-1 Langues : Anglais (eng) Catégories : 00
03
06
08
12Mots-clés : algèbre de Lie anneau algèbre différentielle Note de contenu : références Proceedings of the international conference on algebra. Part 2 : Dedicated to the memory of A.I. Mal'cev [texte imprimé] / L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique . - American Mathematical Society, cop. 1992 . - XVI-704 p.. - (Contemporary mathematics, ISSN 0271-4132; 131.2) .
ISBN : 978-0-8218-5137-1
Langues : Anglais (eng)
Catégories : 00
03
06
08
12Mots-clés : algèbre de Lie anneau algèbre différentielle Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5346 CON/131-II Livre Recherche Salle Disponible Proceedings of the international conference on algebra. Part 3 (cop. 1992) / L. A. BOKUT'
Titre : Proceedings of the international conference on algebra. Part 3 : Dedicated to the memory of A.I. Mal'cev Type de document : texte imprimé Auteurs : L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : cop. 1992 Collection : Contemporary mathematics, ISSN 0271-4132 num. 131.3 Importance : XXVI-666 p. ISBN/ISSN/EAN : 978-0-8218-5138-8 Langues : Anglais (eng) Catégories : 00
03
06
08
12Mots-clés : algèbre universelle catégorie combinatoire géométrie algébrique logique Proceedings of the international conference on algebra. Part 3 : Dedicated to the memory of A.I. Mal'cev [texte imprimé] / L. A. BOKUT', Editeur scientifique ; Yu L. ERSHOV, Editeur scientifique ; A. I. KOSTRIKIN, Editeur scientifique . - American Mathematical Society, cop. 1992 . - XXVI-666 p.. - (Contemporary mathematics, ISSN 0271-4132; 131.3) .
ISBN : 978-0-8218-5138-8
Langues : Anglais (eng)
Catégories : 00
03
06
08
12Mots-clés : algèbre universelle catégorie combinatoire géométrie algébrique logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5347 CON/131-III Livre Recherche Salle Disponible