display all the ideas for this combination of texts
5 ideas
| 18904 | 'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen] |
| Full Idea: Sommers took the 'predicable' terms of any language to come in logically charged pairs. Examples might be red/nonred, massive/massless, tied/untied, in the house/not in the house. The idea that terms can be negated was essential for such pairing. | |
| From: report of Fred Sommers (Intellectual Autobiography [2005]) by George Engelbretsen - Trees, Terms and Truth 2 | |
| A reaction: If, as Rumfitt says, we learn affirmation and negation as a single linguistic operation, this would fit well with it, though Rumfitt doubtless (as a fan of classical logic) prefers to negation sentences. |
| 18895 | Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers] |
| Full Idea: What would a 'laws of thought' logic that cast light on natural language deductive thinking be like? Such a logic must be variable-free, conforming to normal syntax, and its modes of reasoning must be transparent, to make them virtually instantaneous. | |
| From: Fred Sommers (Intellectual Autobiography [2005], 'How We') | |
| A reaction: This is the main motivation for Fred Sommers's creation of modern term logic. Even if you are up to your neck in modern symbolic logic (which I'm not), you have to find this idea appealing. You can't leave it to the psychologists. |
| 19663 | 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. |
| 19664 | 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) |
| 19665 | 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. |