In the last week or two I’ve encountered something in several places that strikes me as strange. It is the claim that liking or using formalisms commits one to certain views about the mind. To broaden this a little, we could say commits one to views about anything. The idea seems to be that liking/using FOL or other formal tools commits one to viewing the mind as a Turing machine. I’m not sure how this goes, since it strikes me as both wrong and unsupported. My guess is that the ideas goes:
Turing machines are formal tools;
people that like formal tools tend to like Turing machines;
so, this will commit them to certain views on the mind.
This is clearly not a good line of thought. At best, liking Turing machines might bias you towards one line of thought, although there are at least a few logicians who are quite adept at using Turing machine arguments that think the mind is not one. It would be interesting to see if one finds a greater percentage of those that use formal tools often view the mind as a Turing machine than those that don’t use formal tools as much. My guess is no. I’d bet that among computer scientists, one finds a great tendency towards viewing the mind in that way, but I’m not sure if that is relevant.