The logic of empirical theories revisited · Study