Change search
ReferencesLink to record
Permanent link

Direct link
In praise of full meet contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2006 (English)In: Análisis Filosófico, ISSN 1851-9636, Vol. 26, 134-146 p.Article in journal (Refereed) Published
Abstract [en]

Full meet contraction, that was devised by Carlos Alchourrón and David Makinson in the early 1980' s, has often been overlooked since it is not in itself a plausible contraction operator. However, it is a highly useful building-block in the construction of composite contraction operators. In particular, all plausible contraction operators can be reconstructed so that the outcome of contracting a belief set K by a sentence p is defined as K ∼ f (p), where ∼ is full meet contraction and f a sentential selector, i.e. a function to and from sentences. This paper investigates the logic of full meet contraction. Seven properties of this operation are presented that contribute to making it useful as a building-block: (1) Full meet contraction is a purely logical operation. (2) It retains finitebasedness of the belief set. (3) It is the inclusion-maximal contraction that removes all sentences that can contribute to implying the input sentence. (4) It is the inclusion-maximal contraction that removes all non-tautologous consequences of the input sentence. (5) Almost all contractions can be reconstructed as full meet contraction. (6) Full meet contraction allows for recovery of the input sentence. (7) Full meet contraction provides a unified account of multiple and singleton contraction.

Place, publisher, year, edition, pages
2006. Vol. 26, 134-146 p.
Keyword [en]
Belief change, Full meet contraction, Specified meet contraction, Sentential selector
National Category
URN: urn:nbn:se:kth:diva-86043OAI: diva2:500362
QC 20120221Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-21Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 16 hits
ReferencesLink to record
Permanent link

Direct link