Friday, September 08, 2006

Hand Proof - Just a Lot of Handwaving - Psychoanalysis and Socratic Education

There are advantages, disadvantages and pitfalls both in the exercise of judgment as well as in the exercise of intuition. In the Abstract to Psychoanalysis and Socratic Education*** by Trevor Pateman (article available as a .rtf document), it is written that:

"A range of concepts are introduced to argue similarities between Socratic Education and Freudian psychoanalysis. The concepts are these: the talking cure; floating attention; knowledge and acknowledgment; judgment and intuition; (prior) theoretical understanding; attending for truth; acting in role; play; negative dialectics; the training of the self ... "

What interests us particularly to describe the content of this blog in the future is Bateman's discussion of judgment and intuition, the former - in his definition - involving what we know or think to to know in an appeal to shared knowledge and the latter - in his definition - involving the subjective expression of how things look or feel to us as individuals. Bateman writes:

"The exercise of judgment involves appeal to what I know or think I know at some articulate level of consciousness. Typically, judgment appeals to shared knowledge: what everyone knows or thinks. So rationalization and self-deception find ready-made support in all kinds of conventional wisdom...."

In contrast, intuition is the expression of a personally experienced connection, drawing on a reservoir of inarticulate consciousness. Intuition is the expression of how things look or feel to me.... [I]ntuition will get us to a (correct) result well before we have the means to judge its correctness ... [M]athematicians have the concept of a hand proof. In a hand proof, there is no (real) proof, just a lot of handwaving. But it gestures to an intuition that if we set out in the general direction indicated by the hand proof, we will get to the proof we want to reach. Intuition is then like a compass. [emphasis added]

But intuition does not always work like this; sometimes it leads us astray. Shown the Muller-Lyer lines, I may intuit that one is longer than the other, but I am actually wrong; judgment is against me. But it still remains that the lines look that way. (The Muller-Lyer lines are the ones placed parallel to each other, but with arrow-heads pointing in opposite directions)...."

To see a graphic of Muller-Lyer lines, see the Epistemology of Perception at The Internet Encyclopedia of Philosophy.

*** "Website version 2004. A first version appeared, under the same title, in a 1993 issue of Aspects of Education (University of Hull, England), number 49, pages 76 - 80. A second version, again under the same title, appeared in S.Appel, editor, Psychoanalysis and Pedagogy (Bergin and Garvey: Westport, Connecticut), pages 45 - 51. Copyright material used by permission."

The basic problem with "hand" proofs as opposed to "mechanical" proofs is that, as noted by Neeraj Suri, Michelle M. Hugue, and Chris J. Walter in Synchronization Issues in Real-Time Systems:

"As hand proofs are sensitive to the skills of the prover, mechanical proofs are sensitive to the correctness of the theorem prover and its underlying logic. "

In other words, to employ a phrase used by Thomas Kuhn (The Structure of Scientific Revolutions), if the paradigms (viz. "mechanical" proofs) underlying a given view of "shared knowledge" are wrong, then that knowledge is likely also wrong. What this means is that someone along the way has done an intuitive "hand proof" which does not conform to the judgmental mechanical proofs in vogue. A hand proof made by a skilled prover is thus always at the root of scientific progress, in any academic field.

In this regard, Thomas Kuhn's theory of scientific revolutions is more accurate than Karl Popper's ideas concerning scientific thought as the falsifiability of mainstream statements because "hand proofs" - also in fields other than mathematics - are generally made to conform to the observations at hand, often initially ignorning completely any presumed attempt to "falsify" existing mainstream ideas.

Only after an observation-fitting hand proof is made and then compared with the mechanical proofs in vogue does the battle with the inertia of existing paradigms begin.

Mainstream scientists want the ensuing discussion to proceed under their terms and thus demand that their theories be proven false. This, however, does not accurately describe the process of scientific discovery - this constitutes Popper's main error in analysis. Popper, by concentrating on mainstream science, does not actually describe the actual process of scientific advance - rather, he describes the process of mainstream resistance to advance and the mechanisms by which that resistance is broken.

The true pioneers in science, on the other hand, and this is where Kuhn's analysis is the more accuracte, have no interest to waste their time on developing proofs to falsify the erroneous theories in vogue, but rather, prefer to be busy building up their own systems which correspond to the evidence at hand. The falsification process of the erroneous prevailing theories is then later carried out by others, i.e. the innovators and early adopters of new theories.

A good example here are the "hand proof" works of Isaac Newton, which present new interpretations of observed phenomena and spend as little time as possible wasting time in disproving the erroneous ideas of others.