Text this: Topics in the formal methodology of empirical sciences /