Logic and commonsense