PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2006 | 14 | 3(55) | 57-77
Tytuł artykułu

EPISTEMIC ROLE OF THE LOGIC OF FALSEHOOD

Autorzy
Warianty tytułu
Języki publikacji
PL
Abstrakty
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.
Czasopismo
Rocznik
Tom
14
Numer
Strony
57-77
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • P. Lukowski, Uniwersytet Lódzki, Instytut Filozofii, Katedra Logiki i Metodologii Nauk, ul. Kopcinskiego 16/18, 90-232 Lódz, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
07PLAAAA01853949
Identyfikator YADDA
bwmeta1.element.0273a181-2d5c-348e-a586-7454ff08853a
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.