Logical Scientist