Textes Cles de Philosophie des Mathematiques Vol. 2: Logique, Preuve et Pratiques |
|
Text by:
| Awodey, Steve Feferman, Solomon Shapiro, Stewart Tappenden, Jamie Tymoczko, Thomas Wilson, Mark |
Introduction by:
| Cabanacq, Sylvain Gandon, Sebastien Smadja, Ivahn |
Editor:
| Gandon, Sebastien Smadja, Ivahn |
Translator:
| Smadja, Ivahn Fichot, Jean Halimi, Brice Meles, Baptiste Rauzy, Jean-Baptiste |
Series title: | Textes Cles Ser. |
ISBN: | 978-2-7116-2654-0 |
Publication Date: | Aug 2017 |
Publisher: | Librairie Philosophique J. Vrin
|
Book Format: | Paperback |
List Price: | USD $18.00 |
Book Description:
|
Le compagnonnage entre la philosophie et les mathematiques ne date pas d'hier. Mais l'emergence des nouvelles logiques, au debut du XXe siecle, a profondement modifie la forme des interactions entre les deux disciplines, suscitant de nouvelles interrogations et modifiant la formulation des problemes herites de la tradition. Le premier volume des Textes cles de philosophie des mathematiques etait consacre tant aux questions ontologiques qu'a celles liees aux fondements. Ce second tome...
More DescriptionLe compagnonnage entre la philosophie et les mathematiques ne date pas d'hier. Mais l'emergence des nouvelles logiques, au debut du XXe siecle, a profondement modifie la forme des interactions entre les deux disciplines, suscitant de nouvelles interrogations et modifiant la formulation des problemes herites de la tradition. Le premier volume des Textes cles de philosophie des mathematiques etait consacre tant aux questions ontologiques qu'a celles liees aux fondements. Ce second tome porte sur des questions qui sont davantage en prise avec les mathematiques du XXe siecle. Comment, apres l'emergence de l'axiomatisation, rendre compte de l'evolution et de la formation des concepts et des theories mathematiques? Comment concevoir l'articulation entre langue formelle, theorie axiomatisee et pratiques mathematiques apres l'echec des grands mouvements fondationnalistes? Les avancees mathematiques recentes posent-elles de nouvelles questions philosophiques?