Hostname: page-component-586b7cd67f-l7hp2 Total loading time: 0 Render date: 2024-11-24T03:29:03.587Z Has data issue: false hasContentIssue false
  • English
  • Français

Implication with possible exceptions

Published online by Cambridge University Press:  12 March 2014

Herman Jurjus  and
Harrie de Swart
Herman Jurjus
Affiliation:
Department of Philosophy, Tilburg University, P.O. Box 90153, Nl 5000 Le Tilburg, The, Netherlands, E-mail: [email protected]
Harrie de Swart
Affiliation:
Department of Philosophy, Tilburg University, P.O. Box 90153, Nl 5000 Le Tilburg, The, Netherlands, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 2 , June 2001 , pp. 517 - 535
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[Abbot 69]Abbott, J.C., Sets, Lattices and Boolean Algebras, Allyn and Bacon, Boston, 1969.Google Scholar
[Nait Abdallah 95]Abdallah, A. Nait, The Logic of Partial Information, Springer, Berlin / Heidelberg / New York, 1995.CrossRefGoogle Scholar
[Adams 75]Adams, E.W., The Logic of Conditionals, Reidel, The Netherlands, 1975.CrossRefGoogle Scholar
[AGM 85]Alchourrón, C. E., Gärdenfors, P., and Makinson, D., On the logic of theory change: partial meet contraction and revision functions, this Journal, vol. 50 (06 1985), no. 2, pp. 510–530.Google Scholar
[Bacchus 90]Bacchus, F., Representing and Reasoning with Probabilistic Knowledge: a logical approach to probabilities, MIT Press, Cambridge, 1990.Google Scholar
[Boutilier 90]Boutilier, C., Conditional Logics of Normality as Modal Systems, Proceedings AAAI-90, vol. 2, AAAI Press / MIT Press, 1990, pp. 594–599.Google Scholar
[Boutilier 94]Boutilier, C., Conditional Logics of Normality: A Modal Approach, Artificial Intelligence, vol. 68 (1994), no. 1, pp. 87–154.CrossRefGoogle Scholar
[Brewka 91]Brewka, G., Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, 1991.Google Scholar
[Flach 95]Flach, P.A., Conjectures: an inquiry concerning the logic of induction, Ph.D. thesis, Institute for Language Technology & Artificial Intelligence, Tilburg University, 1995.Google Scholar
[Gaal 64]Gaal, S.A., Point Set Topology, Academic Press, New York - London, 1964.Google Scholar
[Gabbay 95]Gabbay, D.M., Conditional Implications and Non-monotonic Consequence, Conditionals: from philosophy to computer science, Oxford University Press, New York, 1995, pp. 337–359.CrossRefGoogle Scholar
[Geffner 92]Geffner, H., Default Reasoning: causal and conditional theories, MIT Press, 1992.Google Scholar
[Jurjus 97]Jurjus, H.H., The Exception Proves the Rule; Non-monotonic Logic via Topology, Ph.D. thesis, Tilburg University, Faculty of Philosophy, 1997.Google Scholar
[KLM 90]Kraus, S., Lehmann, D., and Magidor, M., Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence, vol. 44 (1990), pp. 167–207.CrossRefGoogle Scholar
[Lamarre 91]Lamarre, Ph., S4 as the Conditional Logic of Nonmonotonicity, Proceedings of the 2nd international conference (kr91) (Allen, J., Fikes, R., and Sandewall, E., editors), Kaufmann Publishers, 1991, pp. 357–367.Google Scholar
[Makinson 93]Makinson, D., Five Faces of Minimality, Studio Logica, vol. 52 (1993), pp. 339–379.CrossRefGoogle Scholar
[Shoham 88]Shoham, Y., Efficient Reasoning about Rich Temporary Do-mains, Journal of Philosophical Logic, vol. 17 (1988), pp. 443–474.CrossRefGoogle Scholar