16061
|
If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow]
|
|
Full Idea:
Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'.
|
|
From:
Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C)
|
|
A reaction:
This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic.
|
12887
|
A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim]
|
|
Full Idea:
A whole must possess an attribute peculiar to and characteristic of it as a whole; there must be a characteristic relation of dependence between the parts; and the whole must have some structure which gives it characteristics.
|
|
From:
Rescher,N/Oppenheim,P (Logical Analysis of Gestalt Concepts [1955], p.90), quoted by Peter Simons - Parts 9.2
|
|
A reaction:
Simons says these are basically sensible conditions, and tries to fill them out. They seem a pretty good start, and I must resist the temptation to rush to borderline cases.
|
13165
|
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.
|
9569
|
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.
|