Computers, Logic, and a 'Middle Way'