Change search
ReferencesLink to record
Permanent link

Direct link
Bootstrap Contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2013 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 101, no 5, 1013-1029 p.Article in journal (Refereed) Published
Abstract [en]

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are "self-evident" in the sense that there is only one serious candidate that can be the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some "self-evident" contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction.

Place, publisher, year, edition, pages
2013. Vol. 101, no 5, 1013-1029 p.
Keyword [en]
Belief change, Blockage contraction, Bootstrap contraction, Cognitive realism, Kernel contraction, Multiple contraction, Outcome set, Partial meet contraction, Perimaximal contraction, Preface paradox, Repertoire contraction, Shielded contraction
National Category
URN: urn:nbn:se:kth:diva-133187DOI: 10.1007/s11225-012-9418-7ISI: 000325031900006ScopusID: 2-s2.0-84884803868OAI: diva2:659898

QC 20131028

Available from: 2013-10-28 Created: 2013-10-28 Last updated: 2013-11-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal
Studia Logica: An International Journal for Symbolic Logic

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

Altmetric score

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link