Repository | Book | Chapter
(2011) Explanation, prediction, and confirmation, Dordrecht, Springer.
Formulating an adaptive logic in standard format has many advantages. One of them is that both the semantics and the proof theory can be formulated in a completely generic way. A second, and more important advantage, is that the standard format warrants that all central meta-theoretic properties (soundness, completeness, proof invariance, fixed point property, …) hold. As soon as it can be shown that the adaptive logic satisfies the requirements of the standard format, all these properties can be proven in a generic way (that is, without referring to the properties of the specific adaptive logic). The standard format will be discussed in Section 5.
Publication details
DOI: 10.1007/978-94-007-1180-8_6
Full citation:
Meheus, J. (2011)., A formal logic for the abduction of singular hypotheses, in D. Dieks, S. Hartmann, T. Uebel, M. Weber & W. J. González (eds.), Explanation, prediction, and confirmation, Dordrecht, Springer, pp. 93-108.
This document is unfortunately not available for download at the moment.