vision of logic as a unifying tool for science as a whole, including mathematics,