Subject: PP#4 From: "William J. Rapaport" Date: Tue, 23 Mar 2010 07:26:53 -0400 (EDT) A student writes: "For position paper #4, the last row in the thinksheet is "8,9/.'.10 is valid". 8 and 10 are clearly contradictions since 10 is a counterexample of 8. And there does not seem to be any relevance between 10 and 8,9, since 8 and 9 make no mention of whether or not computer programs can be patented or copyrighted. 4,7,9/.'.10 (or maybe 4,7,8,9/.'.10) seems like a more logical derivation. So my question is, was it intended for us to argue "8,9/.'.10"'s validity? I guess you could be looking for something similar to the justification I just gave for why it's invalid, but having the direct contradiction there felt weird and I would like a clarification." Reply: AAUGH! You're right. I meant to say: 4,7,9/.'.10 So that's a typo; I'll fix the online version. Sorry; and thanks!