@incollection {DJ:lpe,
	title = {On the Logic and Pragmatics of the Process of Explanation},
	booktitle = {Explanatory Connections. {E}lectronic Essays Dedicated to Matti Sintonen},
	year = {2001},
	note = {<p>22\&nbsp;pp.</p>},
	publisher = {University of Helsinki},
	abstract = {<p>In this paper, we present mainly two logical systems that clarify pragmatic aspects of the process of explanation. The first concerns a proof theory that leads to the derivation of possible initial conditions from an \emph{explanandum} and a given theory. The second logic concerns the derivation of questions in view of the verification of some possible initial condition, or of one out of several possible initial conditions. It is essential that the latter derivation proceeds in terms of all available knowledge, and not in terms of the explaining theory. It is shown that the second logic provides useful information for explicating further pragmatic aspects of the process of explanation. Several extensions of the logics are argued to be both useful and rather easy to obtain.</p>},
	url = {http://www.valt.helsinki.fi/kfil/matti/},
	author = {Batens, Diderik and Meheus, Joke},
	editor = {Kiikeri, Mika and Ylikoski, Petri}
}
