DC pole | Wartość | Język |
dc.contributor.author | Szymanek, Krzysztof | - |
dc.date.accessioned | 2020-09-18T12:33:22Z | - |
dc.date.available | 2020-09-18T12:33:22Z | - |
dc.date.issued | 1989 | - |
dc.identifier.citation | Bulletin of the Section of Logic, Vol. 18, no. 1 (1989), s. 13-17 | pl_PL |
dc.identifier.issn | 2449-836X | - |
dc.identifier.issn | 0138-0680 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/16008 | - |
dc.description.abstract | The purpose of this work is to show how the notion of information function introduced in [1] can be used in the logic of theory change developed by P. Gardenfors, C. E. Alchourron and D. Makinson in [2], [3] and [4].
The simplest and best known form of theory change is expansion, where a new position, if consistent with a given theory K, is set-theoretically added to K and this expanded set is then closed under logical consequence. Second form is theory contraction, where a proposition a, which was earlier in a theory K , is rejected. The basic problem is to determine which propositions should be rejected along with a so that the contracted theory will be closed under logical consequence. Third kind of change is revision, where a proposition, in general inconsistent with a given theory K, is added to K under the requirement that the revised theory be consistent and closed under logical consequence (Fragment tekstu). | pl_PL |
dc.language.iso | en | pl_PL |
dc.rights | Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/pl/ | * |
dc.subject | information functions | pl_PL |
dc.subject | mathematic logic | pl_PL |
dc.title | On information functions. Part Two : Applications to the logic of theory change | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|