Recovery and epistemic residue
type: Item
instance of: scholarly article
title: Recovery and epistemic residue
zbMATH Open document ID: 0946.03019
DOI: 10.1023/A:1008316915066
author: Sven Ove Hansson
published in: Journal of Logic, Language and Information
publication date: 2000-10-25T00:00:00Z
review text: `Recovery' is a property of partial meet contraction on belief sets that are closed under classical consequence, and it figures as one of the standard `postulates' that together provide a syntactic characterisation of the class of all partial meet contraction operations. Of all those postulates, it is the one most open to query from an intuitive point of view, and a number of authors have produced intuitive counterexamples. In recent papers, S. Glaister and the reviewer have each (separately and rather differently) attempted to meet such criticisms, arguing that the alleged counterexamples show rather less than has been claimed for them. In the paper under review, the author summarises and discusses these `arguments for the defence'. He concludes that when applied to closed sets of formulae, recovery is reasonable as an idealisation -- where that term is understood in the sense of `a useful over-simplification' rather than as meaning a standard of excellence to be emulated.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1394842
zbMATH Keywords: partial meet contraction
zbMATH Keywords: belief sets
zbMATH Keywords: recovery
MaRDI profile type: Publication
full work available at URL: a:1008316915066
OpenAlex ID: W1593554926
description: scientific article; zbMATH DE number 1394842