This Element looks at two projects that relate logic and information: the project of using logic to integrate, manipulate and interpret information and the proect of using the notion of information to provide interpretations of logical systems. The Element defines 'information' in a manner that includes misinformation and disinformation and uses this general concept of information to provide an interpretation of various paraconsistent and relevant logics. It also integrates these logics into contemporary theories of informational updating, probability theory and (rather informally) some ideas from the theory of the complexity of proofs. The Element assumes some prior knowledge of modal logic and its possible world semantics, but all the other necessary background is provided.
Les mer
1. Logic and information; 2. What is information?; 3. Classical logic and its informational discontents; 4. Information, identity, and logical truths; 5. Updating information; 6. Information and probability; Bibliography.
Les mer
This Element develops a novel theory of the logic of information for anyone who has taken undergraduate courses in logic.

Produktdetaljer

ISBN
9781009466752
Publisert
2024-06-13
Utgiver
Vendor
Cambridge University Press
Aldersnivå
G, 01
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
82

Forfatter