Yes, he uses it so often, that I once concocted a horseshoe that read
A --CP--> B
i.e.
If A, ceteris paribus, B.
It was never accepted, though (or gained universal acceptance). But it _was_ a good operator. Logicians use a crooked arrow to the same effect, "nonmonotonically yields", but I follow Kemmerling in using _that_ to mean, 'causes as per reason' -- for the use by Kemmerling vide his "Utterer's meaning revisited". For the use by nonmonotonic logicians -- as different from monotone ones -- vide "Tweety is a bird, therefore, (unless he is an ostrich), she flies".
Sunday, January 31, 2010
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment