more from this thinker | more from this text
Full Idea
Priest and Routley have developed paraconsistent relevant logic. 'Relevant' logics insist on there being some sort of connection between the premises and the conclusion of an argument. 'Paraconsistent' logics allow contradictions.
Gist of Idea
A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions
Source
report of Graham Priest (works [1998]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8
Book Ref
Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.160
A Reaction
Relevance blocks the move of saying that a falsehood implies everything, which sounds good. The offer of paraconsistency is very wicked indeed, and they are very naughty boys for even suggesting it.
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
13254 | A doesn't imply A - that would be circular [Beall/Restall] |
13255 | Relevant logic may reject transitivity [Beall/Restall] |