The media is full of breathless reports that AI can now code and human programmers are going to be put out to pasture. We aren’t convinced. In fact, we think the “AI revolution” ...

In this analysis, the example of the ball and bat would be processed in System 2 because it is propositional, but the conclusion that the bat is $1 is a function of Type 1 processes in System 2. We ...