Posted: Sep 13, 2017 6:14 pm
by John Platko
GrahamH wrote:
John Platko wrote:As I pointed out, there was some earlier disagreement about whether or not agential states had to be multiply realizable, and using CT as a mode of explanation we arrive at a definitive answer to that.


I should think it's hard to come up with a worse way to argue any simple point by attempting a deductive argument from CT with its controversial and idiosyncratic redefinition of common concepts such as 'knowledge'. Especially when your deduction relies on specifics of that definition for it's premises.


I think that on closer examination you'll find that it's rather common for modes of explanation that are capable of accurately dealing with complex subjects to rely on precise definitions which often are at variance with common usage(s) of those words. The word "work", as used in physics, is an example of this. One must simply learn to juggle the multiple meanings of words and apply them in their proper context to be able to bring many modes of explanation to bear on the problem at hand.

In this case, we have the shoulder of Dr Chiara Marletto's peer reviewed paper to give us a leg up on the heavy lifting of formally proving that knowledge needs error correction and therefore a discrete state implementation - with all that that implies. And I don't see a lot of room for error in her work. :no: