Abstract
The intuitive notion of a binary relation on information-bearers, comparingthem with respect to their closeness to the available information, is oftenconstrued in terms of comparing their symmetric difference with, orcompositional similarity to, the available information. This happens forinstance in some treatments of verisimilitude. We expound an abstractmathematical rendering of the relevant data-dependent relation in theframework of Boolean algebras. For every element t of a Boolean algebra B we construct the t-modulated Boolean algebra Btin which the order relation represents `is at most as compatible with t as' or `is at best as similar to t as'. In the case of Lindenbaum-Tarskialgebras, t expresses the available information, and the compatibilityrelation turns out to be an entwinement of inferential and conjecturalrelations. It is just classical entailment when no information is available(i.e., when t is logically true) and becomes more boldly abductive themore information is available. The rich algebraic structures of a Boolean algebra –- including its Boolean group structures –- play a significant role in this combination of deduction and abduction and also induce cautious anddaring variants of the compatibility relation. Links with the literature onverisimilitude, abduction, and related topics are indicated.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
Aliseda-Llera, A.: 1997, Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence, (ILLC Dissertation Series 1997-04), University of Amsterdam, Amsterdam.
Barwise J. (ed.): 1977, Handbook of Mathematical Logic, North-Holland, Amsterdam.
Birkhoff, G. and S. Mac Lane: 1967, Algebra, Macmillan, New York.
Brink, C.: 1989, ‘Verisimilitude: Views and Reviews', History and Philosophy of Logic 10, 181–201.
Brink, C. and K. Britz: 1995, ‘Computing Verisimilitude', Notre Dame Journal of Formal Logic 36, 30–43.
Brink, C. and J. Heidema: 1987, ‘A Verisimilar Ordering of Theories Phrased in a Propositional Language', The British Journal for the Philosophy of Science 38, 533–549.
Brink, C. and J. Heidema: 1989, ‘A Verisimilar Ordering of Propositional Theories: The Infinite Case', Technical Report Series of the Automated Reasoning Project,TR-ARP-1/89, Australian National University, Canberra.
Burger, I. C. and J. Heidema: 1993, ‘Qualitative Models of Composite Preference Rela-tions’ in R. Casati and G. White (eds.), Philosophy and the Cognitive Sciences (Papers of the 16th International Wittgenstein Symposium, August 1993, Kirchberg am Wechsel, Austria), Volume 1, Austrian Wittgenstein Society, Kirchberg am Wechsel, pp. 71–75.
Burger I. C. and J. Heidema: 1994, ‘Comparing Theories by their Positive and Negative Contents', The British Journal for the Philosophy of Science 45, 605–630.
Burger, I. C. and J. Heidema: 1995a, ‘Power-Order Semantics for Data-Dependent Entailment', (Summary of talk given at the Logic Colloquium, August 1995, Technion (Israel Institute of Technology) and University of Haifa, Israel) in Book of Abstracts, Proof-41.
Burger, I.C. and Heidema, J.: 1995b, ‘Power-Order Semantics II: Cautious vs. Bold Reasoning’ (Summary of talk given at the 10th International Congress of Logic, Methodology and Philosophy of Science, August 1995, Florence, Italy) in Volume of Abstracts (Castagli, E. and Konig, M. (eds.)), Comune di Cesena, Florence, 214.
Burger I. C. and J. Heidema: 1996, ‘Boolean Algebras and Generalized Entailment I: Element-Induced Isomorphisms of Boolean Algebras', (Summary of talk given at the Annual Congress of the SAMS, November 1997, University of the Western Cape, South Africa) in Notices of the South African Mathematical Society 28, 105.
Burger, I. C. and J. Heidema: 2000, ‘Epistemic States Guiding the Rational Dynamics of Information', in R. Mizoguchi and J. Slaney (eds.), PRICAI 2000: Topics in Artificial Intelligence. (Proceedings of the 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August/September 2000.) [LNAI 1886], Springer-Verlag, Berlin, pp. 275-285.
Fitting, M.: 1989, ‘Bilattices and the Theory of Truth', Journal of Philosophical Logic 18, 225–256.
Grätzer, G.: 1971, Lattice Theory, First Concepts and Distributive Lattices, Freeman, San Francisco.
Hendricks, V. F. and J. Faye: 1999, ‘Abducting Explanation', in L. Magnani, N. J. Nerses-sian and P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery,Kluwer Academic/Plenum Publishers, New York, pp. 271–292.
Hintikka, J., I. Niiniluoto, and E. Saarinen (eds.): 1978, Essays in Mathematical and Philosophical Logic, D. Reidel, Dordrecht.
Josephson, J. R. and S. G. Josephson (eds.): 1994, Abductive Inference, Cambridge University Press, Cambridge.
Kieseppä, I.: 1996, Truthlikeness for Multidimensional, Quantitative Cognitive Problems, Kluwer, Dordrecht.
Koppelberg, S.: 1989, Handbook of Boolean Algebras, Vol. I, North-Holland, Amsterdam.
Kuipers, T. A. F. (ed.): 1987, What is Closer-to-the-Truth? A Parade of Approaches to Truthlikeness, (Poznan Studies in the Philosophy of the Sciences and Humanities, Vol. 10), Editions Rodopi, Amsterdam.
Kuipers, T. A. F.: 1987, ‘A Structural Approach to Truthlikeness’ in Kuipers(ed.), pp. 79–99.
Kuipers, T. A. F.: 1992, ‘Naive and Refined Truth Approximation', Synthese 93, 299–341.
Miller, D.: 1974, ‘Popper's Qualitative Theory of Verisimilitude', The British Journal for the Philosophy of Science 25, 166–177.
Miller, D.: 1978, ‘On Distance from the Truth as a True Distance', in Hintikkaet al. (eds.), pp. 415–435.
Niiniluoto, I.: 1987a, Truthlikeness, (Synthese Library, Vol. 185), D. Reidel, Dordrecht.
Niiniluoto, I.: 1987b, ‘Verisimilitude with Indefinite Truth', in Kuipers (ed.), pp. 187–195.
Niiniluoto, I.: 1998, ‘Verisimilitude: The Third Period', The British Journal for the Philosophy of Science 49, 1–29.
Oddie, G.: 1986, Likeness to Truth, (University of Western Ontario Series in Philosophy of Science, Vol. 30), D. Reidel, Dordrecht.
Paul, G.: 1993, ‘Approaches to Abductive Reasoning: An overview', Artificial Intelligence Review 7, 109–152.
Popper, K. R.: 1969, Conjectures and Refutations: The Growth of Scientific Knowledge, Routledge & Kegan Paul, London.
Popper, K. R.: 1972, Objective Knowledge, Oxford University Press, Oxford.
Rasiowa, H. and R. Sikorski: 1963, The Mathematics of Metamathematics,Panstwowe Wydawnictwo Naukowe, Warszawa.
Ryan, M. and P.-Y. Schobbens: 1995, ‘Belief Revision and Verisimilitude', Notre Dame Journal of Formal Logic 36, 15–29.
Schurz, G. and P. Weingartner: 1987, ‘Verisimilitude Defined by Relevant Consequence-Elements: A New Reconstruction of Popper's Original Idea', in Kuipers (ed.), pp. 47–69.
Tichý, P.: 1974, 'On Popper's Definition of Verisimilitude', The British Journal for the Philosophy of Science 25, 155–160.
Zamora Bonilla, J. P.: 1996, ‘Verisimilitude, Structuralism and Scientific Progress', Erkenntnis 44, 25–48.
Zwart, S. D.: 1998, Approach to the Truth, Verisimilitude and Truthlikeness, (ILLC Dissertation Series 1998-02), University of Amsterdam, Amsterdam.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cornelia Burger, I., Heidema, J. Merging Inference and Conjecture by Information. Synthese 131, 223–258 (2002). https://doi.org/10.1023/A:1015737827562
Issue Date:
DOI: https://doi.org/10.1023/A:1015737827562