Abstract
In “General Information in Relevant Logic” (Synthese 167, 2009), the semantics for relevant logic is interpreted in terms of objective information. Objective information is potential data that is available in an environment. This paper explores the notion of objective information further. The concept of availability in an environment is developed and used as a foundation for the semantics, in particular, as a basis for the understanding of the information that is expressed by relevant implication. It is also used to understand the nature of misinformation. A form of relevant logic—called “LOI” for “logic of objective information”—is presented and the relationship between the justification of its proof theory and the semantics is discussed. This relationship is rather reciprocal. Intuitive features of the logic are used to interpret and justify aspects of the model theory and intuitive aspects of the model theory are used to interpret and justify features of the logic. Information conditions are presented for the connectives and the way that they fit into the theory of information is discussed.
Similar content being viewed by others
References
Anderson A., Belnap N. D. (1975) Entailment: Logic of relevance and necessity. Princeton University Press, Princeton
Barwise J. (1993) Constraints, channels, and the flow of information. In: Aczel P., Israel D., Katagiri Y., Peters S. (eds) Situation theory and its applications. CSLI, Stanford
Barwise J., Perry J. (1983) Situations and attitudes. MIT Press, Cambridge, MA
Barwise J., Seligman J. (1997) Information flow: The logic of distributed systems. Cambridge University Press, Cambridge
Beall J. C., Brady R., Hazen A., Priest G., Restall G. (2006) Relevant restricted quantification. Journal of Philosophical Logic 35: 587–598
Beall J. C., Restall G. (2006) Logical pluralism. Oxford University Press, Oxford
Brady R. (2006) Normalized natural deduction systems for some relevant logics I: The logic DW. The Journal of Symbolic Logic 71: 35–66
Dunn J. M. (1993) Star and perp. Philosophical Perspectives 7: 331–357
Goldblatt R., Hodkinson I. (2009) Commutativity of quantifiers in variable domain Kripke models. In: Makinson D., Malinowski J., Wansing H. (eds) Towards mathematical philosophy. Springer, Berlin, pp 9–30
Israel D., Perry J. (1990) What is information?. In: Hanson P. (eds) Information, language, and cognition. University of British Columbia Press, Vancouver, pp 1–19
Kahle R., Schroeder-Heister P. (2006) Introduction: Proof theoretic semantics. Synthese 148: 503–506
Lemmon J. (1965) Beginning logic. Thomas Nelson and Sons, London
Mares E. D. (1995) A star-free semantics for R. The Journal of Symbolic Logic 60: 579–590
Mares E. D. (2004) Relevant logic: A philosophical interpretation. Cambridge University Press, Cambrdge
Mares E. D. (2009) General information in relevant logic. Synthese 167: 343–362
Mares, E. D. (forthcoming). Conjunction and relevance. Journal of Logic and Computation.
Mares E. D., Goldblatt R. (2006) An alternative semantics for quantified relevant logic. The Journal of Symbolic Logic 71: 163–187
Orilia F. (2000) Argument deletion, thematic roles, and Leibniz’s logico-grammatical analysis of relations. History and Philosophy of Logic 21: 147–162
Prawitz D. (2006) Natural deduction: A proof-theoretic study. Dover, New York
Priest G. (1992) What is a non-normal world?. Logique et Analyse 139: 291–302
Read S. (1988) Relevant logic: The philosophical interpretation of inference. Blackwell, Oxford
Restall G. (1995) Information flow and relevant logics. In: Seligman J., Westerstahl D. (eds) Logic, language, and computation. CSLI, Stanford, pp 163–177
Restall G. (2005) Logics, situations and channels. Journal of Cognitive Science 6: 125–150
Routley R., Meyer R. K. (1972a) Semantics for entailment II. Journal of Philosophical Logic 1: 53–73
Routley R., Meyer R. K. (1972b) Semantics for entailment III. Journal of Philosophical Logic 1: 192–208
Routley R., Meyer R. K. (1973) Semantics for entailment. In: Leblanc H. (eds) Truth, syntax, and modality. North Holland, Amsterdam
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mares, E. The nature of information: a relevant approach. Synthese 175 (Suppl 1), 111–132 (2010). https://doi.org/10.1007/s11229-010-9737-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-010-9737-z