Type Theory

Although the course reader fully expects us to feel excited reading Type Theory, I was not thrilled at all. During my first encounter with Type Theory, I wrote:

"Teaching is very powerful and I sometimes feel like tools such as psychological tests may trick teachers into controlling the students even more because they think they know better and can decide for them. Nevertheless, I think these tests are useful in a lot of ways but application of them must be very cautious. " (LOG 2)

At the time I completely denied the possibility of Type Theory ever being put into good use as I wrote:

"It is important to remember that psychologists and therapists need ten years of training to qualify using these tests."(LOG 2)

It is ironic when I wrote this later:


" I think I am more equipped to be a good teacher after the said course because I learnt that I know close to NOTHING about students and humans."(LOG 2)

I fell into a logical trap. Since I knew nothing about human beings, what was the reasons behind my claim that the tests could not work? And it only get more embarassing when I misunderstand how Type Theory work:

"I am surprised you can score almost nil in intuition! I scored pretty high on that. I am starting to feel lonely in the extravert camp. It seems that I possess more introvert traits(the thinking) than the extravert type(the feeling). " (Peer Interaction)

I chose to present this mistake out of many I have made because it became extremely relevant in my teaching of student H.