Grice and Turing on 'think', 'reason', and 'compute'

Speranza

It may be said that Turing is into not just 'thinking' (that the sky is blue, say) but 'reasoning', or as he would prefer 'computing'.

Grice of course dedicated his Kant lectures to reasoning.

A piece of reasoning MAY be reduced to a that-clause followed by a verb of the 'think' family.

E.g., to use Grice's favourite example:

Grice thought that, since he was an Englishman, he was, therefore, brave.

But it's better to associate 'reason' and 'compute' (Turing's phrase, alla Hobbes) as a process:

Grice's thought of the premise (Grice is an Englishman)
Grice's thought of the conclusion (Grice is brave).
Plus the idea that the thought of the conclusion was CAUSED by the thought of the premise.