Abstract
In the first place, we present the definition and fundamental properties of information functions — functions which establish a correspondence between sets of formulas and the information contained in them. The intuitions for the notion of information stem from the conception of Bar-Hillel and Carnap in [3]. In § 2 we will briefly show how those notions can be applied to the logic of theory change. In § 3 we will use them for proving two theorems about the lattices of classical subtheories and their content.
Similar content being viewed by others
References
C. E. Alchourròn, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, The Journal of Symbolic Logic 50 (1985), pp. 510–530.
C. E. Alchourròn and D. Makinson, On the logic of theory change: contraction functions and their associated revision functions, Theoria 48 (1982), pp. 14–37.
Y. Bar-Hillel and R. Carnap (1952), An outline of a theory of semantic information. Technical Report No. 247. Cambridge (Mass.), MIT Research Laboratory of Electronics. Reprint in: Bar-Hillel (1964). Language and Information, Reading (Mass.), Addison-Wesley.
W. Dzik, On the content of lattices of logics. Part I, Reports on Mathematical Logic, No. 13 (1981), pp. 17–28.
W. Dzik, On the content of lattices of logics. Part II, Reports on Mathematical Logic, No. 14 (1982), pp. 29–47.
P. Gärdenfors, Conditionals and changes of belief, The logic and epistemology of scientific change (I. Niiniluoto and R. Tuomela, editors), Acta Philosophica Fennica, vol. 30 (1978), pp. 381–404.
P. Gärdenfors, Epistemic importance and minimal changes of belief, Australasian Journal of Philosophy, vol. 62 (1984), pp. 136–157.
P. Gärdenfors, Rules for rational changes of belief, 320311: Philosophical essays dedicated to Lennart Åqvist on his fiftieth birthday (T. Pauli, editor), Philosophical Studies No. 34, Department of Philosophy, University of Uppsala, Uppsala (1982), pp. 88–101.
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, PWN, Warszawa 1970.
K. Szymanek, On information functions. Part two: applications to the logic of theory change, Bulletin of the Section of Logic, Polish Academy of Sciences, vol. 18 (1989), No. 1, pp. 13–19.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Szymanek, K. Information functions with applications. Stud Logica 49, 387–400 (1990). https://doi.org/10.1007/BF00370371
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370371