more from this thinker     |     more from this text


Single Idea 13254

[filed under theme 4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic ]

Full Idea

We could reject the inference from A to itself (on grounds of circularity).

Gist of Idea

A doesn't imply A - that would be circular

Source

JC Beall / G Restall (Logical Pluralism [2006], 8)

Book Ref

Beall,J/Restall,G: 'Logical Pluralism' [OUP 2006], p.91


A Reaction

[Martin-Meyer System] 'It's raining today'. 'Are you implying that it is raining today?' 'No, I'm SAYING it's raining today'. Logicians don't seem to understand the word 'implication'. Logic should capture how we reason. Nice proposal.


The 8 ideas with the same theme [logic which requires some relevance of antecedent to consequent]:

Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess]
A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend]
Excluded middle must be true for some situation, not for all situations [Beall/Restall]
It's 'relevantly' valid if all those situations make it true [Beall/Restall]
Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall]
Relevant logic does not abandon classical logic [Beall/Restall]
A doesn't imply A - that would be circular [Beall/Restall]
Relevant logic may reject transitivity [Beall/Restall]