Note :
Ce livre réexamine la logique du premier ordre et ses fondements en mathématiques, en explorant les implications philosophiques et la prise de décision humaine derrière les systèmes logiques. Il présente une approche unique de la logique par le biais de la « logique IF », qui améliore l'expressivité tout en évitant l'axiomatisation traditionnelle. De nombreuses critiques soulignent son style attrayant, la profondeur de ses idées et sa pertinence pour les discussions contemporaines en logique et en philosophie, bien que certains critiquent son ton polémique et son impact potentiel sur le discours philosophique établi.
Avantages:Style engageant et vivant, idées profondes sur la nature de la logique et des mathématiques, accessible aux non-mathématiciens, exploration précieuse de l'expressivité par rapport à la complétude en logique, concept innovant de « logique IF », large applicabilité et pertinence pour le raisonnement humain.
Inconvénients:Le ton polémique et parfois vitriolique pourrait nuire à son importance, difficulté potentielle à surmonter des opinions philosophiques bien ancrées, certains lecteurs pourraient avoir besoin d'une connaissance préalable des concepts techniques.
(basé sur 3 avis de lecteurs)
The Principles of Mathematics Revisited
Ce livre, écrit par l'un des plus éminents logiciens de la philosophie, soutient que de nombreuses hypothèses de base communes à la logique, à la philosophie des mathématiques et à la métaphysique ont besoin d'être modifiées.
Jaakko Hintikka propose une nouvelle logique de base du premier ordre et l'utilise pour explorer les fondements des mathématiques. Cette nouvelle logique permet aux logiciens d'exprimer au niveau du premier ordre des concepts tels que l'équicardinalité, l'infinité et la vérité dans le même langage.
La nouvelle logique de Hintikka est très originale et intéressera les logiciens, les philosophes des mathématiques et les mathématiciens qui s'intéressent aux fondements de la discipline.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)