Combining Texts

Ideas for 'After Finitude', 'works' and 'On 'Generation and Corruption''

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

display all the ideas for this combination of texts


4 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 / E. Nonclassical Logics / 7. Paraconsistency
We can allow contradictions in thought, but not inconsistency [Meillassoux]
     Full Idea: For contemporary logicians, it is not non-contradiction that provides the criterion for what is thinkable, but rather inconsistency.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: The point is that para-consistent logic might permit isolated contradictions (as true) within a system, but it is only contradiction across the system (inconsistencies) which make the system untenable.
Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux]
     Full Idea: Paraconsistent logics were only developed in order to prevent computers, such as expert medical systems, from deducing anything whatsoever from contradictory data, because of the principle of 'ex falso quodlibet'.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux]
     Full Idea: Paraconsistent logics are only ever dealing with contradictions inherent in statements about the world, never with the real contradictions in the world.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)
     A reaction: Thank goodness for that! I can accept that someone in a doorway is both in the room and not in the room, but not that they are existing in a real state of contradiction. I fear that a few daft people embrace the logic as confirming contradictory reality.