Merging inference and conjecture by information

Synthese

Volumn 131, Issue 2, 2002, Pages 223-258

  Burger, Isabella Cornelia ^a   Heidema, Johannes ^b  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

^b UNIVERSITY OF SOUTH AFRICA   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748281360     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/A:1015737827562     Document Type: Article

References (38)

1. Aliseda-Llera, A.: 1997, Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence, (ILLC Dissertation Series 1997-04), University of Amsterdam, Amsterdam.
2. Barwise J. (ed.): 1977, Handbook of Mathematical Logic, North-Holland, Amsterdam.
3. Birkhoff, G. and S. Mac Lane: 1967, Algebra, Macmillan, New York.
4. Brink, C.: 1989, 'Verisimilitude: Views and Reviews', History and Philosophy of Logic 10, 181-201.
5. Brink, C. and K. Britz: 1995, 'Computing Verisimilitude', Notre Dame Journal of Formal Logic 36, 30-43.
6. Brink, C. and J. Heidema: 1987, 'A Verisimilar Ordering of Theories Phrased in a Prepositional Language', The British Journal for the Philosophy of Science 38, 533-549.
7. Brink, C. and J. Heidema: 1989, 'A Verisimilar Ordering of Prepositional Theories: The Infinite Case', Technical Report Series of the Automated Reasoning Project, TR-ARP-1/89, Australian National University, Canberra.
8. Burger, I. C. and J. Heidema: 1993, 'Qualitative Models of Composite Preference Relations' 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. Fitting, M.: 1989, 'Bilattices and the Theory of Truth', Journal of Philosophical Logic 18, 225-256.
15. Grätzer, G.: 1971, Lattice Theory, First Concepts and Distributive Lattices, Freeman, San Francisco.
16. Hendricks, V. F. and J. Faye: 1999, 'Abducting Explanation', in L. Magnani, N. J. Nersessian and P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery, Kluwer Academic/Plenum Publishers, New York, pp. 271-292.
17. Hintikka, J., I. Niiniluoto, and E. Saarinen (eds.): 1978, Essays in Mathematical and Philosophical Logic, D. Reidel, Dordrecht.
18. Josephson, J. R. and S. G. Josephson (eds.): 1994, Abductive Inference, Cambridge University Press, Cambridge.
19. Kieseppä, I.: 1996, Tritthlikeness for Multidimensional, Quantitative Cognitive Problems, Kluwer, Dordrecht.
20. Koppelberg, S.: 1989, Handbook of Boolean Algebras, Vol. I, North-Holland, Amsterdam.
21. 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.
22. Kuipers, T. A. F.: 1987, 'A Structural Approach to Truthlikeness' in Kuipers (ed.), pp. 79-99.
23. Kuipers, T. A. F.: 1992, 'Naive and Refined Truth Approximation', Synthese 93, 299-341.
24. Miller, D.: 1974, 'Popper's Qualitative Theory of Verisimilitude', The British Journal for the Philosophy of Science 25, 166-177.
25. Miller, D.: 1978, 'On Distance from the Truth as a True Distance', in Hintikka et al. (eds.), pp. 415-435.
26. Niiniluoto, I.: 1987a, Truthlikeness, (Synthese Library, Vol. 185), D. Reidel, Dordrecht.
27. Niiniluoto, I.: 1987b, 'Verisimilitude with Indefinite Truth', in Kuipers (ed.), pp. 187-195.
28. Niiniluoto, I.: 1998, 'Verisimilitude: The Third Period', The British Journal for the Philosophy of Science 49, 1-29.
29. Oddie, G.: 1986, Likeness to Truth, (University of Western Ontario Series in Philosophy of Science, Vol. 30), D. Reidel, Dordrecht.
30. Paul, G.: 1993, 'Approaches to Abductive Reasoning: An overview', Artificial Intelligence Review 7, 109-152.
31. Popper, K. R.: 1969, Conjectures and Refutations: The Growth of Scientific Knowledge, Routledge & Kegan Paul, London.
32. Popper, K. R.: 1972, Objective Knowledge, Oxford University Press, Oxford.
33. Rasiowa, H. and R. Sikorski: 1963, The Mathematics of Metamathematics, Panstwowe Wydawnictwo Naukowe, Warszawa.
34. Ryan, M. and P.-Y. Schobbens: 1995, 'Belief Revision and Verisimilitude', Notre Dame Journal of Formal Logic 36, 15-29.
35. 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.
36. Tichý, P.: 1974, 'On Popper's Definition of Verisimilitude', The British Journal for the Philosophy of Science 25, 155-160.
37. Zamora Bonilla, J. P.: 1996, 'Verisimilitude, Structuralism and Scientific Progress', Erkenntnis 44, 25-48.
38. Zwart, S. D.: 1998, Approach to the Truth, Verisimilitude and Truthlikeness, (ILLC Dissertation Series 1998-02), University of Amsterdam, Amsterdam.