PL EN


Journal
2011 | 19 | 1 | 57-70
Article title

On a Certain Logic of Information

Content
Title variants
PL
O pewnej logice informacji
EN
On a Certain Logic of Information
Languages of publication
PL
Abstracts
PL
The main aim of the present article is an outline of an intuitively adequate system of logic of the operator „being informed”. Such a system should be different from the familiar systems of epistemic and doxastic logic. The principle of veracity occurring in epistemic logics does not describe adequately the information operator, since the information may be true as well as false. On the other hand, the principle of consistency of beliefs, occurring in doxastic logics, cannot be applied to information, because the information can be inconsistent. Our logic of information, although it is based on Kripke’s semantics, includes principles not occurring in the systems of epistemic and doxastic logics, such as the principle of incompleteness of information and the Brouwerian Axiom. We prove that this system is incomplete. We also suggest that it can be generalized to a dynamic logic in the sense of van Benthem.
Keywords
Journal
Year
Volume
19
Issue
1
Pages
57-70
Physical description
Dates
published
2011-03-01
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2657-5868-year-2011-volume-19-issue-1-article-631
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.