A logical journey from Godel to philosophy - Wang, Hao 1921- (Representation and mind, 1996)