From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Thu Mar 22 09:06:04 2007 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l2MD63X7019676 for ; Thu, 22 Mar 2007 09:06:03 -0400 (EDT) Received: from front2.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l2MD5vVd014572 for ; Thu, 22 Mar 2007 09:05:57 -0400 (EDT) Received: (qmail 5644 invoked from network); 22 Mar 2007 12:59:17 -0000 Received: from mailscan3.acsu.buffalo.edu (128.205.6.135) by front2.acsu.buffalo.edu with SMTP; 22 Mar 2007 12:59:17 -0000 Received: (qmail 27640 invoked from network); 22 Mar 2007 12:59:16 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front1.acsu.buffalo.edu with SMTP; 22 Mar 2007 12:59:16 -0000 Received: (qmail 1152 invoked from network); 22 Mar 2007 12:59:11 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 22 Mar 2007 12:59:11 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 4013843 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Thu, 22 Mar 2007 08:59:11 -0400 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 8756 invoked from network); 22 Mar 2007 12:59:11 -0000 Received: from mailscan4.acsu.buffalo.edu (128.205.6.136) by listserv.buffalo.edu with SMTP; 22 Mar 2007 12:59:11 -0000 Received: (qmail 25030 invoked from network); 22 Mar 2007 12:59:11 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp1.acsu.buffalo.edu with SMTP; 22 Mar 2007 12:59:11 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l2MCxACK019405 for ; Thu, 22 Mar 2007 08:59:10 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l2MCxAw6019404 for cse584-sp07-list@listserv.buffalo.edu; Thu, 22 Mar 2007 08:59:10 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200703221259.l2MCxAw6019404@castor.cse.Buffalo.EDU> Date: Thu, 22 Mar 2007 08:59:10 -0400 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: Re: implementation and engineering To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1335; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.5 required=5.0 tests=AWL,BAYES_00 autolearn=unavailable version=3.1.7 X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.6/2904/Thu Mar 22 07:03:31 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 907 ------------------------------------------------------------------------ Subject: Re: implementation and engineering ------------------------------------------------------------------------ | Date: Wed, 21 Mar 2007 21:03:52 -0400 (EDT) | From: Albert Goldfain | cc: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU | Subject: Re: implementation and engineering | | I think there are a cluster of terms that may refer to kinds of | implementation (in Dr. Rapaport's wide sense): e.g., exemplification, | realization, and instantiation. Do philosophers treat the | implementation relation as one that admits kinds? With very few exceptions, philosophers have not examined the notion at all, though several mathematicians have. Chalmers and I are among the exceptions (there are one or two others whose names escape me at the moment); as for the mathematicians, see the citations in my paper.