New Developments in Logic and Philosophy of Science