The logic of empirical theories · Study