Logical Foundations of Scientific Theories