Combining Philosophers

All the ideas for Eubulides, Proclus and Mark Jago

unexpand these ideas     |    start again     |     specify just one area for these philosophers


6 ideas

4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Paraconsistent reasoning can just mean responding sensibly to inconsistencies [Jago]
     Full Idea: A practical application of paraconsistent reasoning is in large databases. It does not mean that contradictions could be true, but only that we sometimes need to draw sensible conclusions from inconsistent data. 'Dialethists' believe some contradictions.
     From: Mark Jago (Paraconsistent Logic [2010])
     A reaction: Interesting as a more cautious and sensible attitude to the scandal of paraconsistency.
5. Theory of Logic / L. Paradox / 1. Paradox
If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]
     Full Idea: The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person.
     From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School
     A reaction: Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976).
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]
     Full Idea: The liar paradox of Eubulides says 'if you state that you are lying, and state the truth, then you are lying'.
     From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School
     A reaction: (also Cic. Acad. 2.95) Don't say it, then. These kind of paradoxes of self-reference eventually lead to Russell's 'barber' paradox and his Theory of Types.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]
     Full Idea: The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap.
     From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School
     A reaction: (also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213).
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus]
     Full Idea: Geometry does not ask 'why?' ..When from the exterior angle equalling two opposite interior angles it is shown that the interior angles make two right angles, this is not a causal demonstration. With no exterior angle they still equal two right angles.
     From: Proclus (Commentary on Euclid's 'Elements' [c.452], p.161-2), quoted by Paolo Mancosu - Explanation in Mathematics §5
     A reaction: A very nice example. It is hard to imagine how one might demonstrate the cause of the angles making two right angles. If you walk, turn left x°, then turn left y°, then turn left z°, and x+y+z=180°, you end up going in the original direction.
18. Thought / E. Abstraction / 1. Abstract Thought
The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus]
     Full Idea: It is unsurprising that geometry was discovered in the necessity of Nile land measurement, since everything in the world of generation goes from imperfection to perfection. They would naturally pass from sense-perception to calculation, and so to reason.
     From: Proclus (Commentary on Euclid's 'Elements' [c.452]), quoted by Charles Chihara - A Structural Account of Mathematics 9.12 n55
     A reaction: The last sentence is the core of my view on abstraction, that it proceeds by moving through levels of abstraction, approaching more and more general truths.