PL EN


Journal
2006 | 14 | 3(55) | 57-77
Article title

EPISTEMIC ROLE OF THE LOGIC OF FALSEHOOD

Authors
Content
Title variants
Languages of publication
PL
Abstracts
EN
The idea of belief revision is strictly connected with such notion as contraction given by the set of postulates formulated by Alchourrón, Gärdenfors and Makinson in e.g. 'On the logic of theory change: contraction functions and their associated revision functions' (Theoria 48, pp. 14-37 (1982)); 'On the logic of theory change: Partial meet contraction revision functions' (Journal of Symbolic Logic 50, pp. 510-530 (1985)). In the paper expansion and contraction are defined probably in the most orthodox way, i.e. by Tarski's consequence relation (e.g. Über einige fundamentale Begriffe der Metamathematik, Compt. Rend. Séances Soc. Sci. Lett. Varsovie, cl.III, 23, pp. 22-29) and Tarski-like elimination relation (in P. Lukowski's: 'A deductive-reductive form of logic: general theory and intuitionistic case' publ. in 'Logic and Logical Philosophy' 10, pp. 59-78 (2002)). The logic of falsehood (i.e. a logic dual in Wójcicki's sense to the given logic of truth) plays a key role for defining of the elimination relation. Step forward extends the set of our beliefs and it is used when some new belief appears. Step backward reduces the set of our beliefs and it is used when we reject from some previously accepted belief. A decision of adding or refusing of some sentences is arbitrary and depends on our wish only. Thus, this decision cannot be logical and logic cannot justify it. In our approach logic is a tool for faultless and precise realization of extension or reducing of the set of our beliefs. But why some 'initial' sentences should be added or refused depends on extralogical reasons. The logic for the back-reasoning uses the class of models adequate for the logic extending the set of our beliefs. However, the class is used in a specific i.e. dual form. That is why the step forward (expansion) and the step backward (contraction) constitute the one whole. Procedure of contraction satisfies the well known AGM postulates. We limit our considerations to first six conditions for contraction. Satisfaction of almost every postulate is for us a good sing that our approach is reasonable. The only exception we make for the controversial fifth postulate.
Journal
Year
Volume
14
Issue
Pages
57-77
Physical description
Document type
ARTICLE
Contributors
  • P. Lukowski, Uniwersytet Lódzki, Instytut Filozofii, Katedra Logiki i Metodologii Nauk, ul. Kopcinskiego 16/18, 90-232 Lódz, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
07PLAAAA01853949
YADDA identifier
bwmeta1.element.0273a181-2d5c-348e-a586-7454ff08853a
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.