Mihail Radu Solcan

  Denotation in Algorithmic Perspective

A draft of a paper prepared for the Bucharest International Colloquium in Analytic Philosophy

Abstract

This is a draft of a paper which attempts to contribute to a new form of analytical philosophy. Classical analytical philosophy, illustrated by such masterpieces as Russell's "On Denoting" used logical tools borrowed from the predicate calculus. The new tools are borrowed from new chapters in logic, such as the study of computability, recursion and programming. The idea exploited in this paper is that expressions in natural language contain clues for the design of corresponding algorithms. In particular, descriptions offer clues for the computation of denotations or the attempt to compute a denotation. The paper stresses the idea that such algorithms do not function as meanings. They must be considered from the perspective of the actions of the person who is computing a denotation.

Contents

From Philosophy to Computational Intelligence
The impact of algorithm theory on logic and philosophy
Russell's logical analysis
Algorithmic analysis and denotation
The algorithmic turn

Read full text(pdf 421 KB) - revised 2006-05-29.