Computation without Representation

This entry was posted on 9/22/2006 3:35 PM and is filed under Philosophy of Science,Computation and Logic.

Trackbacks

• No trackbacks exist for this entry.

Comments

• 9/23/2006 5:37 AM Pete Mandik wrote:
  Gualtiero,
  
  I'm curious about this claim of yours:
  
  "The argument from the identity of functions ignores that when talking about computation, functions may be individuated in two ways."
  
  One question I have is: what reason is there for believing this? Did I miss something?
  
  Second, I take it that the claim is that for any function individuated in terms of numbers, that very same function could be individutated in terms of sets of co-denoting numerals and that the sets thereby defined don't depend on being co-denotative (since that's semantic). Note, though, that these sets of numerals are going to be a pretty gerrymandered lot, containing, among other things, arabic and roman numerals. What relation is there between the domains and ranges thereby defined? I don't see that any particular mechanism would thereby be defined. What, besides the semantic property of being co-denotative makes these sets of numeral inscriptions hang together?
  Reply to this
  1. 9/23/2006 8:06 AM gualtiero piccinini wrote:
     

     Thanks for your questions.
     
     Re: First question.  As I explain in the article, functions may be defined either from inputs to outputs (such as strings of digits), or from objects denoted by the inputs to objects denoted by the outputs (such as numbers).  For many purposes, it is convenient to individuate functions directly interms of objects denoted by the inputs and outputs.  For individuating computations, I argue, functions should be individuated in terms of their inputs and outputs.
     
     Re: Second question.  The two methods of function individuation mentioned above do not group the same sets of functions together.  So, arithmetic addition defined over numbers remains arithmetic addition regardless of whether the numerals being manipulated are arabic, roman, binary, etc.  But arithmetic addition defined over numerals is a different function depending on whether the numerals manipulated are arabic, roman, binary, etc.  Conversely, the same function defined over strings of digits turns into a set of different functions if the same digits are interpreted in different ways (e.g., as representing numbers, or computer programs, or whathaveyou).  Neither grouping of functions is more gerrymandered than the other; they are simply two different ways of individuating functions.

     
     Reply to this
• 9/29/2006 12:42 PM Corey Maley wrote:
  Gualtiero,
  
  I think this paper hits the mark as far as how people in computer science really think about computation. While reading Carl Craver's work on mechanisms, it struck me that this could be applied to computation, and that such an account would probably accurately reflect how people who really study computation think of it. I'm glad to see that this view is now out for others to scrutinize.
  Reply to this

Leave a comment