Combining Texts

Ideas for 'works', 'Spreading the Word' and 'works'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend]
     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.
     From: report of Graham Priest (works [1998]) by Michèle Friend - Introducing the Philosophy of Mathematics 6.8
     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.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.