TY - JOUR T1 - The Adaptive Logic of Compatibility JF - Studia Logica Y1 - 2000 A1 - Batens, Diderik A1 - Meheus, Joke AB -

This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5 from which it follows that a specific subset of the standard worlds-models is characteristic for S5.

Keywords: compatibility, adaptive logic, ampliative reasoning, S5-semantics.

VL - 66 SP - 327–348 ER -