The following lines aim at two goals: firstly, connecting the three blind spots that Katrin Becker's article has identified in the analysis of society promoted by advocates of blockchain technology; secondly, reflecting on the possible hybridization between classical and digital forms of legal procedures. What we are witnessing is a transfer of legality from a spatial and linguistic order to a non-spatial, non-linguistic one which is based on out-of-space lines of written code. The interpretation of what space means for justice (...) becomes therefore a crucial social stake in the possible hybridization of classical and digital procedures. (shrink)

Au rebours du point de vue standard qui a tendance à écarter l'histoire et l'intersubjectivité quand il s'agit de cognition mathématique, l'article montre que seule cette prise en compte permet d'éviter certaines apories classiques touchant le statut de l'objectivité mathématique, en particulier le psychologisme et le relativisme. En prenant appui sur le cadre conceptuel élaboré par Ernst Cassirer sous le nom de «forme symbolique», l'article montre que régime fictionnel et régime objectif du sens doivent être placés sur un continuum et (...) que seul le travail collectif des sujets sur leurs représentations permet de rendre compte du caractère fictionnel et du caractère scientifique des productions culturelles. (shrink)

L’article montre comment la notion de forme symbolique telle qu’elle a été définie par Cassirer au début des années vingt permet de critiquer certains présupposés du modèle néo-darwinien contemporain touchant la question de l’origine du langage.

Résumé La numérisation actuelle du droit permet de revenir sur les liens historiques entre le droit et la logique moderne. En se fondant sur la différence établie par J. Van Heijenoort entre logique «comme calcul» et logique «comme langage», l’article établit des analogies entre différentes interprétations de la logique et différents types de systèmes ou d’instances juridiques : «Common law», systèmes «civils», «cour de cassation», cette dernière notion caractérisant le formalisme hilbertien. Ce formalisme a tenté de réduire la logique «comme (...) langage» à la logique «comme calcul» mais la découverte des limitations internes des formalismes y a mis un terme : d’où le parallèle entre l’échec du programme hilbertien et les difficultés rencontrées dans la numérisation actuelle du droit. Le droit n’est pas réductible à un calcul formel sur des marques écrites : il reste une discipline dans laquelle la parole et le dialogue sont indispensables pour réaliser les buts qu’il s’assigne. (shrink)