[FOM] Counterfactuals in relative computability theory

[Matthias Jenny]

On Sat, Aug 20, 2016 at 2:56 PM Richard Grandy <rgrandy at rice.edu> wrote:

> While Kripke’s theory is fairly widely accepted for proper names, it is
> much more controversial and less developed for natural kinds and
> “algorithm” is a kind word not a proper name.  Moreover, it is not at all
> clear whether “algorithm” is a natural kind.
>

I agree. Fortunately, I don't think that any part of my argument relies on
it, as I tried to explain in my exchange with Timothy Chow.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160820/8e986f07/attachment.html>