[Athena] [IHPST] séminaire Philmath, 4 avril

[Peggy Tessier <peggy.tessier AT univ-paris1.fr>]

Bonjour à tous,

La prochaine séance du séminaire Philmath se tiendra le 4 avril 2014 de 14h30 
à 16h30.
Nous aurons d'écouter Kenneth Manders (Philosophy, University of Pittsburgh) sur le 
sujet suivant : "Expressive Means vs Logical Foundations in Philosophy of 
Mathematics"
             
Abstract :
    Case studies bring out philosophically striking contributions of
expressive strategies in mathematics: shifting expressive means while
treating a given topic mathematically.
    This is also a key strategy in Logical Foundations of Mathematics:
we re-cast ("formalize") mathematics so as best to focus on
foundational questions, subject only to "can I get this in my system?".
    Such formalization, however, has tended to render invisible
important roles of expressive strategies distinctive of mathematical
areas outside Logic. This, and related habits of 20th-century
Anglo-American thought, threaten to blind the Philosophy of
Mathematics to key aspects of mathematical thought beyond
provability-in-principle.

--------------

Peggy TESSIER
Ingénieur d'Etudes
Médiation scientifique
Responsable administrative
IHPST-UMR8590 (Paris 1 Panthéon Sorbonne/CNRS/ENS)
13 rue du four 75006 Paris
Tél : +33 (0) 1 43 54 94 60
Fax : +33 (0) 1 43 25 29 48
Page perso : http://www-ihpst.univ-paris1.fr/2,peggy_tessier.html

Réseau Pro HiPhiSciTech : http://hiphiscitech.org/





--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.

Attachment: K. Manders Philmath.PDF
Description: Adobe PDF document