Combining Philosophers

All the ideas for Eubulides, Arnauld / Nicole and Oswald Veblen

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


10 ideas

5. Theory of Logic / A. Overview of Logic / 2. History of Logic
We have no adequate logic at the moment, so mathematicians must create one [Veblen]
     Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so.
     From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics
     A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic.
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).
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
     Full Idea: I can start with a triangle, and rise by degrees to all straight-lined figures and to extension itself. The lower degree will include the higher degree. Since the higher degree is less determinate, it can represent more things.
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5)
     A reaction: [compressed] This attempts to explain the generalising ability of abstraction cited in Idea 10501. If you take a complex object and eliminate features one by one, it can only 'represent' more particulars; it could hardly represent fewer.
12. Knowledge Sources / B. Perception / 3. Representation
We can only know the exterior world via our ideas [Arnauld,A/Nicole,P]
     Full Idea: We can have knowledge of what is outside us only through the mediation of ideas in us.
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], p.63), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc'
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P]
     Full Idea: The form is what renders a thing such and distinguishes it from others, whether it is a being really distinct from the matter, according to the Schools, or whether it is only the arrangement of the parts. By this form one must explain its properties.
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], III.18 p240), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 27.6
     A reaction: If we ask 'what explains the properties of this thing' it is hard to avoid coming up with something that might be called the 'form'. Note that they allow either substantial or corpuscularian forms. It is hard to disagree with the idea.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P]
     Full Idea: The mind cannot perfectly understand things that are even slightly composite unless it considers them a part at a time. ...This is generally called knowing by abstraction. (..the human body, for example).
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5)
     A reaction: This adds the interesting thought that the mind is forced to abstract, rather than abstraction being a luxury extra feature. Knowledge through analysis is knowledge by abstraction. Also a nice linking of abstraction to epistemology.
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P]
     Full Idea: If I draw an equilateral triangle on a piece of paper, ..I shall have an idea of only a single triangle. But if I ignore all the particular circumstances and focus on the three equal lines, I will be able to represent all equilateral triangles.
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5)
     A reaction: [compressed] They observed that we grasp composites through their parts, and now that we can grasp generalisations through particulars, both achieved by the psychological act of abstraction, thus showing its epistemological power.
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]
     Full Idea: Geometers by no means assume that there are lines without width or surfaces without depth. They only think it is possible to consider the length without paying attention to the width. We can measure the length of a path without its width.
     From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5)
     A reaction: A nice example which makes the point indubitable. The modern 'rigorous' account of abstraction that starts with Frege seems to require more than one object, in order to derive abstractions like direction or number. Path widths are not comparatives.