Logic, methodology and philosophy of science