The Logical Foundations of Scientific Theories (Languages, Structures, and Models)