Combining Philosophers

All the ideas for Proclus, Lloyd Morgan and Rayo,A/Uzquiasno,G

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


9 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
     Full Idea: The two best understood conceptions of set are the Iterative Conception and the Limitation of Size Conception.
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]
     Full Idea: There are set theories that countenance exceptions to the Principle of Separation in exchange for a universal set.
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2)
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
     Full Idea: The possibility of unrestricted quantification does not immediately presuppose the existence of an all-inclusive domain. One could deny an all-inclusive domain but grant that some quantifications are sometimes unrestricted.
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.1)
     A reaction: Thus you can quantify over anything you like, but only from what is available. Eat what you like (in this restaurant).
Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
     Full Idea: There are doubts about whether absolute generality is possible, if there are certain concepts which are indefinitely extensible, lacking definite extensions, and yielding an ever more inclusive hierarchy. Sets and ordinals are paradigm cases.
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.1)
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
     Full Idea: If one thought of second-order quantification as quantification over first-level Fregean concepts [note: one under which only objects fall], talk of domains might be regimented as talk of first-level concepts, which are not objects.
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2)
     A reaction: That is (I take it), don't quantify over objects, but quantify over concepts, but only those under which known objects fall. One might thus achieve naïve comprehension without paradoxes. Sound like fun.
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
Life has a new supervenient relation, which alters its underlying physical events [Morgan,L]
     Full Idea: When some new kind of relatedness is supervenient (say at the level of life), the way in which the physical events which are involved run their course is different in virtue of its presence.
     From: Lloyd Morgan (Emergent Evolution [1923], pp.15-16), quoted by Terence Horgan - From Supervenience to Superdupervenience 1
     A reaction: This is a clear assertion of 'downward causation' at the first introduction of 'supervenience', supporting 'emergentism' about life and mind. That is, the newly-emerged feature has new causal powers that affect the physical system from outside. Wrong!
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.
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]
     Full Idea: We generally take an assertion's domain of discourse to be implicitly restricted by context. [Note: the standard approach is that this restriction is a semantic phenomenon, but Kent Bach (2000) argues that it is a pragmatic phenomenon]
     From: Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.1)
     A reaction: I think Kent Bach is very very right about this. Follow any conversation, and ask what the domain is at any moment. The reference of a word like 'they' can drift across things, with no semantics to guide us, but only clues from context and common sense.