Organisation: \;
\nCentre de Recherche en Histoire des Idé\;es (CRHI\, \;Université\; Nice Sophia Antipolis)
\nInstitut d'histoire et de philosophie des sciences et des techniques (IHPST\, Université\; Paris I)
\nPhotos of the event: \;
\nhttps://www.dropbox.com/sh/wqqy2p3hoinhygs/AADG1qty6M0ukoEnwFl21vAga?dl=0
\n***
\nProgramme
\n9-9h15 &ndash\; introduction
\n9h15 &ndash\; 10h15 &ndash\; Jacques Bouveresse (Collè\;ge de France)\, "Remarques sur le problè\;me de la vé\;rité\; chez Nietzsche et sur Foucault lecteur de Nietzsche"
\n10h15 &ndash\; 11h00 &ndash\; Henri Galinon (Université\; de Clermont-Ferrand)\, "Pourquoi la vé\;rité\; ? (un point de vue dé\;flationniste)"
\npause
\n11h30 &ndash\; Denis Bonnay (Université\; de Paris Ouest Nanterre)\, &ldquo\;Les interpré\;tations non-standard des constantes logiques : le problè\;me de Carnap et l'idé\;e de Church&rdquo\; \;(travail en commun avec Dag Westerstahl) \; \;
\n12h15-13h &ndash\; Jean Mosconi (Université\; Paris 1)\, &ldquo\;Sur le bord des paradoxes&rdquo\;
\npause
\n14h30 &ndash\; 15h15 &ndash\; Gabriel Sandu (Université\; de Helsinki)\, "Truth and Content"
\n15h15 &ndash\; 16h &ndash\; Susana Berestovoy (Université\; Paris 1)\, "L'iné\;vitable mé\;tathé\;orie"
\n16h &ndash\; 16h45 &ndash\; Jan Wolenski (Université\; de Cracovie)\, &ldquo\;Formal and informal in Tarski's theory of Truth&rdquo\;
\npause
\n17h00 &ndash\; Table ronde (avec la participation de Serge Bozon &\; Arnaud Plagnol)
\n17h30 &ndash\; Philippe de Rouilhan\, "Une morale mé\;thodologique pour la fable d&rsquo\;Ernie et Johnny".
\n"Une morale mé\;thodologique pour la fable d&rsquo\;Ernie et Johnny"\, ré\;sumé\;: \;
\nAvant de tirer quelque morale philosophique que ce soit de la fable d'Ernie et Johnny comme Benacerraf le fait dans son article "What Numbers Could Not Be"\, il convient d'en tirer une morale de caractè\;re mé\;thodologique et philosophiquement neutre. Je pré\;sente l'arithmé\;tique (des nombres naturels) comme un mathé\;maticien fé\;ru d'axiomatique (moderne) serait naturellement disposé\; à\; le faire\, à\; savoir sous la forme d'une extension de la thé\;orie des ensembles obtenue par adjonction de trois constantes primitives de la caté\;gorie des termes singuliers ("N"\, "0"\, "s") et des cinq axiomes de Peano pour en gouverner l'usage ("0 appartient à\; N"\, "s est (le graphe d')une fonction de N dans N"\, "Les valeurs de s en deux é\;lé\;ments distincts de N sont distinctes"\, "0 n'est la valeur de s en aucun é\;lé\;ment de N"\, et le principe d'induction). Et j&rsquo\;expose la morale en question dans les termes d'une certaine thé\;orie des modè\;les\, non pas celle que nous connaissons depuis les anné\;es 1950\, mais celle\, plus ancienne\, que je note MT1 et que Tarski avait esquissé\;e dans son article de 1936 sur la consé\;quence logique. Les "progressions" (Russell) de pré\;dilection respectives d'Ernie et de Johnny sont des modè\;les (au sens de MT1) de l'arithmé\;tique\, et la progression est ce qu'on peut appeler son modè\;le "gé\;né\;rique". La morale en question mobilise crucialement une certaine notion de "transportabilité\;" emprunté\;e à\; Bourbaki et dont je donne une dé\;finition revue et corrigé\;e dans les termes de MT1 \; cette morale caracté\;rise les é\;noncé\;s auxquels dé\;sormais Ernie et Johnny devront respectivement se limiter s'ils veulent collaborer harmonieusement au dé\;veloppement de l'arithmé\;tique sans renoncer ni l'un ni l'autre à\; son modè\;le de pré\;dilection et sans rien perdre non plus par rapport au dé\;veloppement axiomatique bien pensé\; (en termes de transportabilité\;\, lui aussi) de l'arithmé\;tique.&rdquo\;
ORGANIZER;CN=Pierre-Yves Quiviger;CN=Pierre Wagner;CN=Anna Zielinska: METHOD:PUBLISH END:VEVENT END:VCALENDAR