Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Bachimont b signes formels et computation numerique entre intuition pdf

Signes formels et computation numérique entre intuition et formalisme Critique de la raison computationnelle Bruno Bachimont Direction de la recherche et de l ? Expérimentation Institut National de l ? Audiovisuel avenue de l ? Europe Bry sur Marne Bbachimont ina fr Heudiasyc CNRS UMR Centre de recherche de Royallieu Université de Technologie de Compiègne BP Compiègne Cedex Bruno Bachimont utc fr INTUITION ET FORMALISME LE LEGS DU E SIÈCLE UNE SITUATION CONTEMPORAINE ANALOGUE CALCUL ET SIGNIFICATION TECHNOLOGIES NUMÉRIQUES ET ÉCRITURE DE LA RAISON GRAPHIQUE À LA RAISON COMPUTATIONNELLE L ? ÉCRITURE ET LA SYNTHÈSE LA TECHNIQUE ET LA SYNTHÈSE LES STRUCTURES DE LA RAISON GRAPHIQUE DU GRAPHIQUE AU CALCUL UN RAISON COMPUTATIONNELLE LES STRUCTURES DE LA RAISON COMPUTATIONNELLE RAISON GRAPHIQUE CRITIQUE DE LA RAISON COMPUTATIONNELLE LE PROBLÈME DE L ? INTELLIGIBILITÉ LA RHÉTORIQUE COMME PRINCIPE RÉGULATEUR DU DISCURSIF NUMÉRIQUE NATURE PHYSIQUE ET NATURE SYMBOLIQUE NATURE SENSIBLE CONCLUSION CIntuition et formalisme Le legs du e siècle Les signes constituent des supports précieux pour le raisonnement en particulier pour le raisonnement logique et scienti ?que C ? est au e siècle que se sont forgées les principales conceptions du signe et de son rôle dans le raisonnement On distinguera en e ?et l ? intuitionnisme géométrique de Descartes le formalisme arithmétique et algébrique de Leibniz et en troisième lieu le raisonnement philosophique qui comme Kant le soulignera plus tard en digne héritier de ces ré exions sur le signe constitue une position intermédiaire L ? intuitionnisme géométrique cartésien correspond au fait que le signe présente directement et immédiatement i e sans médiation le contenu dont il est le signe C ? est par exemple la ?gure géométrique Le raisonnement s ? e ?ectue en étant guidé par la ?gure dans la mesure o? elle donne à voir directement ce dont il s ? agit en suivant la lettre symbolique de la ?gure le géomètre n ? a pas besoin de mobiliser des entités signi ?ées et absentes la signi ?cation est ici immanente à la ?gure qui montre ce qu ? elle signi ?e C ? est la raison pour laquelle elle permet de suivre de manière assurée et vérace les raisonnements o? la force de la forme est au service d ? un contenu signi ?é constamment adhérent à la forme signi ?ante et directement appréhendable L ? exactitude des raisonnements et le fondement de leur vérité reposent par conséquent sur l ? évidence i e étymologiquement ce qui saute aux yeux ce qui ressort La forme de la ?gure n ? a donc de valeur que dans la mesure o? elle donne à voir Le formalisme algébrique leibnizien emprunte une toute autre voie En e ?et l ? évidence restant entachée de subjectivité et d ? arbitraire le mathématicien formaliste mobilise un symbolisme qu ? il manipule à travers une combinatoire réglée par des lois formelles c ? est-àdire appliquées uniquement en vertu de la forme indépendamment du contenu signi ?é Le recours à un symbolisme entra? ne une