Abstract
The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A version of a syntactical solution is favoured.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Barwise, J. and Perry, J. (1983), Situations and Attitudes, Cambridge, MA.
Bremer, M. (1993), Epistemische und logische Aspekte des semantischen Regelfolgens, Aachen.
Carnap, R. (1955), ‘Meaning and Synonymity in Natural Languages’, Philosophical Studies 7, pp. S.33–47.
Carnap, R. and Bar-Hillel, J. (1952), ‘An Outline of a Theory of Semantic Information', Technical Report 247 Research Laboratory of Electronics MIT.
Chaitin, G. (1997a), Algorithmic Information Theory, 3rd Edition, New York.
Chaitin, G. (1997b), Information, Randomness and Incompleteness, 2nd Edition, New York.
Devlin, K. (1991), Logic and Information, Cambridge, MA.
Dretske, F. (1981), Knowledge and the Flow of Information, 2nd Edition, Oxford,.
Floridi, L. (forthcoming), ‘Outline of a Theory of Strongly Semantic Information’, Minds and Machines.
Fodor, J. (1987), Psychosemantics, Cambridge, MA.
Fodor, J. (1994), The Elm and the Expert. Mentalese and its Semantics, Cambridge, MA.
Hintikka, J. (1970), ‘Surface Information and Depth Information', in J. Hintikka and P. Suppes, eds., Information and Inference, Dordrecht.
Hintikka, J. (1973), Logic, Language-Games and Information, Oxford.
Shannon, C. and Weaver, W. (1949), The Mathematical Theory of Communication, Illinois.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bremer, M.E. Do Logical Truths Carry Information?. Minds and Machines 13, 567–575 (2003). https://doi.org/10.1023/A:1026256918837
Issue Date:
DOI: https://doi.org/10.1023/A:1026256918837