Skip to main content
Log in

Merging Inference and Conjecture by Information

  • Published:
Synthese Aims and scope Submit manuscript

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.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • Barwise J. (ed.): 1977, Handbook of Mathematical Logic, North-Holland, Amsterdam.

    Google Scholar 

  • Birkhoff, G. and S. Mac Lane: 1967, Algebra, Macmillan, New York.

    Google Scholar 

  • Brink, C.: 1989, ‘Verisimilitude: Views and Reviews', History and Philosophy of Logic 10, 181–201.

    Google Scholar 

  • Brink, C. and K. Britz: 1995, ‘Computing Verisimilitude', Notre Dame Journal of Formal Logic 36, 30–43.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Fitting, M.: 1989, ‘Bilattices and the Theory of Truth', Journal of Philosophical Logic 18, 225–256.

    Google Scholar 

  • Grätzer, G.: 1971, Lattice Theory, First Concepts and Distributive Lattices, Freeman, San Francisco.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hintikka, J., I. Niiniluoto, and E. Saarinen (eds.): 1978, Essays in Mathematical and Philosophical Logic, D. Reidel, Dordrecht.

    Google Scholar 

  • Josephson, J. R. and S. G. Josephson (eds.): 1994, Abductive Inference, Cambridge University Press, Cambridge.

    Google Scholar 

  • Kieseppä, I.: 1996, Truthlikeness for Multidimensional, Quantitative Cognitive Problems, Kluwer, Dordrecht.

    Google Scholar 

  • Koppelberg, S.: 1989, Handbook of Boolean Algebras, Vol. I, North-Holland, Amsterdam.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Miller, D.: 1974, ‘Popper's Qualitative Theory of Verisimilitude', The British Journal for the Philosophy of Science 25, 166–177.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Oddie, G.: 1986, Likeness to Truth, (University of Western Ontario Series in Philosophy of Science, Vol. 30), D. Reidel, Dordrecht.

    Google Scholar 

  • Paul, G.: 1993, ‘Approaches to Abductive Reasoning: An overview', Artificial Intelligence Review 7, 109–152.

    Google Scholar 

  • Popper, K. R.: 1969, Conjectures and Refutations: The Growth of Scientific Knowledge, Routledge & Kegan Paul, London.

    Google Scholar 

  • Popper, K. R.: 1972, Objective Knowledge, Oxford University Press, Oxford.

    Google Scholar 

  • Rasiowa, H. and R. Sikorski: 1963, The Mathematics of Metamathematics,Panstwowe Wydawnictwo Naukowe, Warszawa.

    Google Scholar 

  • Ryan, M. and P.-Y. Schobbens: 1995, ‘Belief Revision and Verisimilitude', Notre Dame Journal of Formal Logic 36, 15–29.

    Google Scholar 

  • 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.

    Google Scholar 

  • Zamora Bonilla, J. P.: 1996, ‘Verisimilitude, Structuralism and Scientific Progress', Erkenntnis 44, 25–48.

    Google Scholar 

  • Zwart, S. D.: 1998, Approach to the Truth, Verisimilitude and Truthlikeness, (ILLC Dissertation Series 1998-02), University of Amsterdam, Amsterdam.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015737827562

Keywords

Navigation