Journal of Symbolic Logic 66 (2):517-535 (2001)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Real Ceteris Paribus Laws.Markus Schrenk - 2003 - In R. Bluhm & C. Nimtz (eds.), Proceedings of GAP.5, Bielefeld 2003. mentis.
The Constitutive Approach to Kantian Rigorism.Michael Cholbi - 2013 - Ethical Theory and Moral Practice 16 (3):439-448.
Of Gnome and Gnomes.Steven J. Jensen - 2008 - American Catholic Philosophical Quarterly 82 (3):411-428.
Blind Spots in the Toleration Literature.John Christian Laursen - 2011 - Critical Review of International Social and Political Philosophy 14 (3):307-322.
The Relationship Between KLM and MAK Models for Nonmonotonic Inference Operations.Jürgen Dix & David Makinson - 1992 - Journal of Logic, Language and Information 1 (2):131-140.
A Critique of Exceptions.Andrew Fiala - 2006 - International Journal of Applied Philosophy 20 (1):127-142.
Added to index2009-01-28
Total downloads16 ( #287,757 of 2,146,823 )
Recent downloads (6 months)1 ( #385,701 of 2,146,823 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.