Logic and Theory of Science