The relationship between logic and information is an intimate one that goes both ways. Firstly, information has played a role in providing a basis for certain accounts of logic. At a basic level there is the interpretation that good logic arguments are just those arguments where the information in the conclusion is already contained in the premises of that argument. Furthermore, notions of information have been used to good effect in developing semantics for certain logics, particularly relevant logic. Secondly, logics of information have provided formal accounts of various information phenomena, such as logics of being informed.
|Key works||Jakko Hintikka has been one of the pioneers in investigating the relationship between logic and information, looking at measures of semantic information for contingent propositions and information measures for tautologies/deductive inferences. His Hintikka 1970 contains papers on the topic. Devlin 1991, Barwise & Seligman 1997 and Israel & Perry unknown represent an important collection of works that provide general accounts of information flow based on situation semantics/theory. Mares 1996 and Restall 1996 are attempts to provide an informational semantics for relevant logic.|
- Conceptions of Information (251)
- The Information Economy (11)
- The Infosphere (12)
- Information Theory (116)
- Information Ethics (104)
- Physics of Information (12)
- Information-Based Accounts of Mental Content (120)
- Genetic Information (10)
- Biological Information (193)
- Quantum Information (166)
- Philosophy of Information, Misc (83)
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers