logic bleg
I have a question for the logically savvy:
Suppose A is a logical truth ( |= A ).
In which logics (if any) does the following fail?
(A&B) → C
entails
B → C
Thanks!
posted by Greg Frost-Arnold @ 1:35 PM
2 comments
links to this post
2 Comments:
Hi Greg!
The relevant logic R is a natural choice. p → p is a theorem, and so is ((p→ p) & q) → (p→ p). However, q → (p→ p) is not a theorem. It isn't entailed by ((p→ p) & q) → (p→ p). This inference fails in logics at RM3 and below. (The 3-valued RM3 counterexample: let p take the value 1/2 and q take the value 1.)
I don't know of any logics other than relevantish ones in which & is conjunction-like, → is conditional-like, and in which this inference fails, though I don't have a characterisation the class of logics in which it fails other than saying that it’s at least RM3 and below.
I hope that helps.
Fantastic -- Thanks a lot!
Post a Comment
Links to this post:
Create a Link
<< Home