As technology increasingly takes center stage of our lives, there are compelling reasons for incorporating technologies into the classroom. The prevailing of CALL (Computer Assisted Language Learning) has greatly changed the traditional teaching mode and added new contents into the existing teaching materials. As a significant skill for EFL (English as a Foreign Language) learners, there are ab...

In this volume, Burke (2014) makes a number of arguments for why evolutionary approaches have failed to penetrate the rest of the field of psychology (what Burke refers to as “mainstream” psychology). While all of his arguments have merit, I will focus on one that I consider to be particularly important—the characterization by critics of the “Santa Barbara school” (Laland and Brown, 2011) as re...

The protocol algorithm abstracted from a human cognizer's own narrative in the course of doing a cognitive task is an explanation of the corresponding mental activity in Pylyshyn's (1984) virtual machine model of mind. Strong equivalence between an analytic algorithm and the protocol algorithm is an index of validity of the explanatory model. Cognitive psychologists may not find the index stron...

We consider a version of the minimalist foundation previously introduced to formalize predicative constructive mathematics. This foundation is equipped with two levels to meet the usual informal practice of developing mathematics in an extensional set theory (its extensional level) with the possibility of formalizing it in an intensional theory enjoying a proofs as programs semantics (its inten...