PL EN


Journal
2011 | 19 | 1(73) | 57-70
Article title

ON A CERTAIN LOGIC OF INFORMATION (O pewnej logice informacji)

Title variants
Languages of publication
PL
Abstracts
EN
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.
Journal
Year
Volume
19
Issue
Pages
57-70
Physical description
Document type
ARTICLE
Contributors
  • Krystyna Misiuna, Uniwersytet Warszawski, Instytut Filozofii, ul. Krakowskie Przedmiescie 3, 00-927 Warszawa, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA09277
YADDA identifier
bwmeta1.element.e2dde49b-5324-3dde-9e30-b3a8890de8a7
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.