Philosophy in Progress
A research blog with a focus on philosophy of math.
Sunday, November 1, 2009
Is there a logic that...
Is there a logic that would capture inferences like:
-"John is very rich" --> "John is rich"
-"John is very very very very rich"--->"John is very rich"
Obviously it won't do to say "rich(John) ^ very (John)".
Post a Comment
Post Comments (Atom)