Formal Methodology

In general terms, methodology is a study of the entire scientific inquiry process: how science arrives at the posited goal. There are different kinds of goals for scientific inquiry. For example, goals may be epistemic (truth), aesthetic (simplicity) or several kinds of pragmatic goals (efficiency, economy, and explanatory power). It is not the concern of methodology what this goal happens to be. More generally, formal methods turned out to be effective tools in philosophical analysis, in the paper we will show this introducing the interrogative model and some basic properties of it, let us mention the covering law theorem. Finally we will formulate some philosophical implications of the model introduced.