70

L’approche la plus influente de la logique des non-existences est celle provenant de la tradition Frege-Russell. L’un des plus importants dissidents à cette tradition, à ses débuts, était Hugh MacColl. C’est en relation avec la notion d’existence et avec les arguments impliquant des fictions, que le travail de MacColl montre une grande différence avec celui de ses contemporains. En effet, MacColl fut le premier à implémenter dans un système formel l’idée qu’introduire des fictions dans le domaine de la logique revient à fournir un langage muni de sous-domaines avec différents types d’objets. Dans cet article, nous avançons quelques remarques sur la portée de la logique de MacColl sur les non-existences. Plus précisément, nous suggérons qu’il y a un lien conceptuel fort entre la notion de subsistance chez Russell et la notion d’ existence symbolique chez MacColl.

The most influential approach to the logic of non-existents is certainly the one stemming from the Frege-Russell tradition. One of the most important early dissidents to that tradition was Hugh MacColl. It is in relation to the notions of existence and arguments involving fictions that MacColl’s work shows a deep difference from the work of his contemporaries. Indeed, MacColl was the first to attempt to implement in a formal system the idea that to introduce fictions in the context of logic amounts to providing a many-sorted language. The main aim of the paper is to add some brief remarks that should complete the scope of MacColl’s logic of non-existence. More precisely, I will suggest that there seems to be a strong conceptual link between Russell’s notion of subsistence and MacColl’s notion of symbolic existence.