Journal of Symbolic Logic

Implication with Possible Exceptions

Herman Jurjus and Harrie de Swart

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not determine the meaning of deducibility and inference as implication-without-exceptions.

Article information

Source
J. Symbolic Logic, Volume 66, Issue 2 (2001), 517-535.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746458

Mathematical Reviews number (MathSciNet)
MR1833463

Zentralblatt MATH identifier
0990.03017

JSTOR
links.jstor.org

Citation

Jurjus, Herman; de Swart, Harrie. Implication with Possible Exceptions. J. Symbolic Logic 66 (2001), no. 2, 517--535. https://projecteuclid.org/euclid.jsl/1183746458


Export citation