Combining Philosophers

All the ideas for Parmenides, Hilbert,D/Ackermann,W and C.B. Martin

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


56 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Ontology is highly abstract physics, containing placeholders and exclusions [Martin,CB]
     Full Idea: Ontology sets out an even more abstract model of how the world is than theoretical physics, a model that has placeholders for scientific results and excluders for tempting confusions.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: Most modern metaphysicians accept this account. The interesting (mildly!) question is whether physicists will accept it. If the metaphysics is really rooted in physics, a metaphysical physicist is better placed than a metaphysician knowing some physics.
2. Reason / A. Nature of Reason / 1. On Reason
Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides]
     Full Idea: Parmenides would not agree with anything unless it seemed necessary, whereas his predecessors used to come up with unsubstantiated assertions.
     From: comment on Parmenides (fragments/reports [c.474 BCE], A28) by Simplicius - On Aristotle's 'Physics' 9.116.2-
     A reaction: from Eudemus
3. Truth / A. Truth Problems / 1. Truth
Truth is a relation between a representation ('bearer') and part of the world ('truthmaker') [Martin,CB]
     Full Idea: Truth is a relation between two things - a representation (the truth 'bearer') and the world or some part of it (the 'truthmaker').
     From: C.B. Martin (The Mind in Nature [2008], 03.1)
     A reaction: That truth is about representations seems to me to be exactly right. That it is about truthmakers is more controversial. There are well known problems with negative truths, general truths, future truths etc. I'm happy with 'facts'.
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
     Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
     From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
No necessity could produce Being either later or earlier, so it must exist absolutely or not at all [Parmenides]
     Full Idea: What necessity impelled Being, if it did spring from nothing, to be produced later or earlier? Thus it must be absolutely, or not at all.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
Being must be eternal and uncreated, and hence it is timeless [Parmenides]
     Full Idea: Being has no coming-to-be and no destruction, for it is whole of limb, without motion, and without end. And it never was, nor will be, because it is now, a whole all together, one, continuous; for what creation of it will you look for?
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
Being is not divisible, since it is all alike [Parmenides]
     Full Idea: Being is not divisible, since it is all alike.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
There is no such thing as nothing [Parmenides]
     Full Idea: There is no such thing as nothing.
     From: Parmenides (fragments/reports [c.474 BCE], B06), quoted by Simplicius - On Aristotle's 'Physics' 9.86.27-
The realm of necessary non-existence cannot be explored, because it is unknowable [Parmenides]
     Full Idea: The other way of enquiry, that IT IS NOT, and IT is bound NOT TO BE, cannot be explored, for you could neither recognise nor express that which IS NOT.
     From: Parmenides (fragments/reports [c.474 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 9.116.28-
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Parmenides at least saw Being as the same as Nous, and separate from the sensed realm [Parmenides, by Plotinus]
     Full Idea: Parmenides made some approach to the doctrine of Plato in identifying Being with Intellectual-Principle [Nous] while separating Real Being from the realm of sense.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Plotinus - The Enneads 5.1.08
     A reaction: The point is that for Parmenides the One is the essence of Being, but for platonists there is something prior to and higher than Being. For Plato it is the Good; for Plotinus it is a revised (non-Being) concept of the One.
7. Existence / B. Change in Existence / 1. Nature of Change
All our concepts of change and permanence are just names, not the truth [Parmenides]
     Full Idea: All things that mortals have established, believing in their truth, are just a name: Becoming and Perishing, Being and Not-Being, and change of position, and alteration of bright colour.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
8. Modes of Existence / B. Properties / 9. Qualities
A property is a combination of a disposition and a quality [Martin,CB]
     Full Idea: I take properties to have a dual nature; in virtue of possessing a property, an object possesses both a particular dispositionality and a particular qualitative character.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: That leaves you with the question of the relationship between the disposition and the quality. I say you must choose, and I choose the disposition. Qualities (which are partly subjective, obviously) arise from fundamental dispositions.
8. Modes of Existence / B. Properties / 11. Properties as Sets
Properties are the respects in which objects resemble, which places them in classes [Martin,CB]
     Full Idea: If objects belong to classes in virtue of resemblances they bear to one another, they resemble one another in virtue of their properties. Objects resemble in some way or respect, and you could think of these ways or respects as 'properties'.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: If you pare the universe down to one object with five distinct properties, they resemble nothing, and fail this definition. Resemblance seems like the epistemology, not the ontology.
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
Properties are ways particular things are, and so they are tied to the identity of their possessor [Martin,CB]
     Full Idea: The redness or sphericity of this tomato cannot migrate to another tomato. This is a consequence of the idea that properties are particular ways things are. The identity of a property is bound up with the identity of its possessor.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: This is part of his declaration that he believes in tropes. At the very least, properties can be thought of separately, and have second-order properties that don't seem tied to the particulars.
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
Objects are not bundles of tropes (which are ways things are, not parts of things) [Martin,CB]
     Full Idea: The bundle theory for tropes treats properties inappositely as parts of objects. Objects can have parts, but an object's properties are not its parts, they are particular ways the object is.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: The 'way an object is' seems a very vague concept. Most things that get labelled as tropes are actually highly complex. Without mention of causal powers I think these discussions drift in a muddle.
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
A property that cannot interact is worse than inert - it isn't there at all [Martin,CB]
     Full Idea: A property that is intrinsically incapable of affecting or being affected by anything else, actual or possible, is not merely a case of inertness - it amounts to a no-thing.
     From: C.B. Martin (The Mind in Nature [2008], 06.6)
     A reaction: In the end Martin rejects Shoemaker's purely causal account of properties, but he clearly understands Shoemaker's point well.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
If unmanifested partnerless dispositions are still real, and are not just qualities, they can explain properties [Martin,CB]
     Full Idea: Given a realist view of dispositions as fully actual, even without manifestations or partners, a purely dispositional account of properties has a degree of plausibility, which is enhanced because properties lack purely qualitative characterisations.
     From: C.B. Martin (The Mind in Nature [2008], 06.4)
     A reaction: In the end Martin opts for a mixed account, as in Idea 15484, but he gives reasons here for the view which I favour. If he concedes that dispositions may exist without manifestation, they must surely lack qualities. Are they not properties, then?
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Properties endow a ball with qualities, and with powers or dispositions [Martin,CB]
     Full Idea: Each property endows a ball with a distinctive qualitative character and a distinctive range of powers or dispositionalities.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: I think this is the wrong way round. Do properties support powers, or powers support properties? I favour the latter. Properties are much vaguer than powers. Powers generate the required causation and activity.
Qualities and dispositions are aspects of properties - what it exhibits, and what it does [Martin,CB]
     Full Idea: For any intrinsic and irreducible property, what is qualitative and what is dispositional are one and the same property considered as what that property exhibits of its nature and what that property is directive and selective for in its manifestation.
     From: C.B. Martin (The Mind in Nature [2008], 06.6)
     A reaction: This is supposed to support qualities and dispositions as equal partners, but I don't see how 'what a property exhibits' can have any role in fundamental ontology. What it exhibits may be very misleading about its nature.
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Dispositions in action can be destroyed, be recovered, or remain unchanged [Martin,CB]
     Full Idea: Three forms of dispositionality are illustrated by explosives (which are destroyed by manifestation), being soluble (where the dispositions is lost but recoverable), and being stable (where the disposition is unchanged).
     From: C.B. Martin (The Mind in Nature [2008], 02.7)
     A reaction: [compressed] Presumably the explosives could be recovered after the explosion, since the original elements are still there, but it would take a while. The retina remains stable by continually changing. There are no simple distinctions!
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
Powers depend on circumstances, so can't be given a conditional analysis [Martin,CB]
     Full Idea: Nobody believes, or ought to believe, that manifestations of powers follow upon the single event mentioned in the antecedent of the conditional independently of the circumstances.
     From: C.B. Martin (The Mind in Nature [2008], 02.4)
     A reaction: Another way of putting it would be that the behaviour of powers is more ceteris paribus than law.
'The wire is live' can't be analysed as a conditional, because a wire can change its powers [Martin,CB]
     Full Idea: According to the conditional analysis of 'the wire is live', if the wire is touched then it gives off electricity. What ultimately defeats this analysis is the acknowledged possibility of objects gaining or losing powers.
     From: C.B. Martin (The Mind in Nature [2008], 02.3)
     A reaction: He offers his 'electro-fink' as a counterexample, where touching the wire changes its disposition. The conditional analysis is simple and clearcut, but dispositions in reality are complex and unstable.
9. Objects / C. Structure of Objects / 1. Structure of an Object
Structural properties involve dispositionality, so cannot be used to explain it [Martin,CB]
     Full Idea: I take it as obvious that any structural property involves dispositionality and, therefore, cannot be used to 'explain' dispositionality.
     From: C.B. Martin (The Mind in Nature [2008], 04.3)
     A reaction: I think this is the right way round. The so-called 'categorical' properties seem to be close in nature to the 'structural' properties.
Structures don't explain dispositions, because they consist of dispositions [Martin,CB]
     Full Idea: It is self-defeating to try to explain dispositionality in terms of structural states because structural states are themselves dispositional.
     From: C.B. Martin (The Mind in Nature [2008], 01.2)
     A reaction: No doubt structures have dispositions, but are they entirely dispositional? Might there be 'emergent' dispositions which can only be explained by the structure itself, rather than by the dispositions that make up the structure?
9. Objects / C. Structure of Objects / 7. Substratum
I favour the idea of a substratum for properties; spacetime seems to be just a bearer of properties [Martin,CB]
     Full Idea: I favour the old idea of substratum: the haver of properties not itself had as a property. Space-time might itself be the bearer of properties, not itself borne as a property.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: A very nice idea. The choice is between saying either that fundamentals like space-time and physical fields are the propertyless bearers of properties, or that they purely consist of properties (so properties are fundamental, not substrata).
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Properly understood, wholes do no more causal work than their parts [Martin,CB]
     Full Idea: There is no causal work for the whole that is not done by the parts, provided the complex role of the parts is fully appreciated.
     From: C.B. Martin (The Mind in Nature [2008], 04.1)
     A reaction: It seems like a truth that because some parts are doing particular causal work (e.g. glue), the whole can acquire causal powers that the mereological sum of parts lacks.
9. Objects / E. Objects over Time / 1. Objects over Time
Something must be unchanging to make recognition and knowledge possible [Aristotle on Parmenides]
     Full Idea: Parmenides and Melissus were the first to appreciate that there must be unchanging entities, if recognition and knowledge are to exist.
     From: comment on Parmenides (fragments/reports [c.474 BCE], A25) by Aristotle - On the Heavens 298b14
9. Objects / F. Identity among Objects / 1. Concept of Identity
Only abstract things can have specific and full identity specifications [Martin,CB]
     Full Idea: Abstract entities (as nonspatiotemporal) seem to be the only candidates for specific and full identity specifications.
     From: C.B. Martin (The Mind in Nature [2008], 05.2 n1)
     A reaction: Martin says that only the 'mad logician' seeks such specifications elsewhere. Some people like persons to have perfect identity. God is a popular candidate too. Can objects have perfect 'macroscopic' identity?
The concept of 'identity' must allow for some changes in properties or parts [Martin,CB]
     Full Idea: We must avoid a use of 'identity' that implies that any entity over time must be said to lack continuing identity simply because it has changed properties or has lost, added, or had substituted some parts.
     From: C.B. Martin (The Mind in Nature [2008], 04.3)
     A reaction: This may the key area where the logical-mathematical type of philosophy comes into contact with the natural-metaphysical type. Imagine Martin's concept of 'identity' in mathematics. π changes to 3.1387... during the calculation!
10. Modality / A. Necessity / 5. Metaphysical Necessity
The first way of enquiry involves necessary existence [Parmenides]
     Full Idea: The first way of enquiry is the one that IT IS, and it is not possible for IT NOT TO BE, which is the way of credibility, for it follows truth.
     From: Parmenides (fragments/reports [c.474 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 9.116.28-
     A reaction: also Proclus 'Timeus'
10. Modality / A. Necessity / 8. Transcendental Necessity
Necessity sets limits on being, in order to give it identity [Parmenides]
     Full Idea: Powerful necessity holds Being in the bonds of a limit, which constrains it round about, because divine law decrees that Being shall not be without boundary. For it is not lacking, but if it were spatially infinite, it would lack everything.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
It is pointless to say possible worlds are truthmakers, and then deny that possible worlds exist [Martin,CB]
     Full Idea: To claim that the truthmaker for a counterfactual, for example, is a set of possible worlds, but to deny that these worlds really exist, seems pointless.
     From: C.B. Martin (The Mind in Nature [2008], 03.3)
     A reaction: Lewis therefore argues that they do exist. Martin argues that possible worlds are not truthmakers. He rests his account of modality on dispositions. I prefer Martin.
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
Thinking implies existence, because thinking depends on it [Parmenides]
     Full Idea: To think is the same as the thought that IT IS, for you will not find thinking without Being, on which it depends for its expression.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
12. Knowledge Sources / B. Perception / 1. Perception
Parmenides treats perception and intellectual activity as the same [Theophrastus on Parmenides]
     Full Idea: Parmenides treats perception and intellectual activity as the same.
     From: comment on Parmenides (fragments/reports [c.474 BCE], A46) by Theophrastus - On the Senses 3.1
     A reaction: cf Theaetetus pt 1
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Only reason can prove the truth of facts [Parmenides]
     Full Idea: Reason alone will prove the truth of facts.
     From: Parmenides (fragments/reports [c.474 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.3.3
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
Explanations are mind-dependent, theory-laden, and interest-relative [Martin,CB]
     Full Idea: Explanations are mind-dependent, theory-laden, and interest-relative.
     From: C.B. Martin (The Mind in Nature [2008], 10.2)
     A reaction: I don't think you can rule out the 'real' explanation, as the one dominant causal predecessor, such as the earthquake producing a tsunami.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / d. Other minds by analogy
Analogy works, as when we eat food which others seem to be relishing [Martin,CB]
     Full Idea: The long-derided way of analogy works! Otherwise why, when someone else is relishing a food we have not tried, is it reasonable for us to try it ourselves?
     From: C.B. Martin (The Mind in Nature [2008], 12.2)
     A reaction: Why wouldn't we rush to eat something an animal was relishing? Nice idea.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
Memory requires abstraction, as reminders of what cannot be fully remembered [Martin,CB]
     Full Idea: Selectivity and abstraction are required for the development of memory, because reminders and promptings are rarely replicas of what is being remembered.
     From: C.B. Martin (The Mind in Nature [2008], 10.3)
     A reaction: I take the key idea of mental life to be that of a 'label'. This need not be verbal, so 'conceptual label'. It could be an image, as on a road sign. Labelling is the most indispensable aspect of thought. We label objects, parts, properties and groups.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
People who say that the cosmos is one forget that they must explain movement [Aristotle on Parmenides]
     Full Idea: Those who assert that the universe is one and a single nature, when they try to give the causes of generation and destruction, miss out the cause of movement.
     From: comment on Parmenides (fragments/reports [c.474 BCE]) by Aristotle - Metaphysics 988b
There could be movement within one thing, as there is within water [Aristotle on Parmenides]
     Full Idea: Why does it follow from there being only one thing that it is unmoving, since, for example, water moves internally while remaining one?
     From: comment on Parmenides (fragments/reports [c.474 BCE]) by Aristotle - Physics 186a16
     A reaction: One suspects that Parmenides wasn't used to critical questions like this, and would have sharpened up his theory if it had been subjected to criticism. How big was the One? Maybe Aristotle is the real father of philosophy.
The one can't be divisible, because if it was it could be infinitely divided down to nothing [Parmenides, by Simplicius]
     Full Idea: Since the one is everywhere alike, then if it is divisible, it will be equally divisible everywhere….so let it be divided everywhere. It is obvious that nothing will remain and the whole will vanish, and so (if it is compound) it is composed of nothing.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Simplicius - On Aristotle's 'Physics' 9.139.5-
     A reaction: he is quoting Porphyry
Defenders of the One say motion needs the void - but that is not part of Being [Parmenides, by Aristotle]
     Full Idea: Defenders of the One say that there could not be motion without a void, and that void is what does not exist, and that nothing that is not belongs to being.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 325a26
     A reaction: This is why motion is an illusion, a view also supported by the paradoxes of Zeno of Elea. Aristotle goes on to give Democritus's response to this idea. Parmenides was contemplating 'void', before Democritus got to it.
The one is without any kind of motion [Parmenides]
     Full Idea: The one is without any kind of motion.
     From: Parmenides (fragments/reports [c.474 BCE]), quoted by Plato - Parmenides 139a
Reason sees reality as one, the senses see it as many [Aristotle on Parmenides]
     Full Idea: Since he is forced to be guided by appearances, he assumes that the one exists from the viewpoint of reason, but that a plurality exists from the viewpoint of the sense, and so he posits two principles and causes - hot and cold.
     From: comment on Parmenides (fragments/reports [c.474 BCE], A24) by Aristotle - Metaphysics 986b27-
     A reaction: A profound thought. Empiricists emphasies experience, and end up with fragmented reality. Reason explains experience, and in the process sees the world as unities (like objects), though a single unity is going too far.
Reality is symmetrical and balanced, like a sphere, with no reason to be greater one way rather than another [Parmenides]
     Full Idea: Since there is a spatial limit, it is complete on every side, like the mass of a well-rounded sphere, equally balanced from its centre in every direction; for it is not bound to be at all either greater or less in this direction or that.
     From: Parmenides (fragments/reports [c.474 BCE], B08 ll.?), quoted by Simplicius - On Aristotle's 'Physics' 9.145.1-
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
He taught that there are two elements, fire the maker, and earth the matter [Parmenides, by Diog. Laertius]
     Full Idea: He taught that there were two elements, fire and earth; and that one of them occupies the place of the maker, the other that of the matter.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Pa.2
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Instead of a cause followed by an effect, we have dispositions in reciprocal manifestation [Martin,CB]
     Full Idea: The two-event cause-and-effect view is easily avoided and replaced by the view of mutual manifestations of reciprocal disposition partners, suggesting a natural contemporaneity.
     From: C.B. Martin (The Mind in Nature [2008], 05.1)
     A reaction: This view, which I find much more congenial than the traditional one, is explored in the ideas of Mumford and Anjum.
Causation should be explained in terms of dispositions and manifestations [Martin,CB]
     Full Idea: Disposition and manifestation are the basic categories by means of which cause and effect are to be explained.
     From: C.B. Martin (The Mind in Nature [2008], 07.8)
     A reaction: 'Manifestation' sounds a bit subjective. The manifestation evident to us may not indicate what is really going on below the surface. I like his basic picture.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Causal counterfactuals are just clumsy linguistic attempts to indicate dispositions [Martin,CB]
     Full Idea: 'Causal' counterfactuals have a place, of course, but only as clumsy and inexact linguistic gestures to dispositions, and they should be kept in that place.
     From: C.B. Martin (The Mind in Nature [2008], 02.6)
     A reaction: Counterfactuals only seem to give a regularity account of causation, by correlating an effect with a minimal context which will give rise to it. Surely dispositions run deeper than that?
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Causal laws are summaries of powers [Martin,CB]
     Full Idea: Causal laws are summaries of what entities are capable and incapable of.
     From: C.B. Martin (The Mind in Nature [2008], 02.8)
     A reaction: That's a pretty good formulation. Personally I favour a Humean analysis, perhaps along Lewis's lines, but on a basis of real powers. This remark of Martin's has got me rethinking.
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
It is feeble-minded to look for explanations of everything being at rest [Aristotle on Parmenides]
     Full Idea: For people to ignore the evidence of their senses and look for an explanation for everything being at rest is feeble-minded.
     From: comment on Parmenides (fragments/reports [c.474 BCE]) by Aristotle - Physics 253a32
     A reaction: Not exactly an argument, but an interestingly robust assertion of commonsense against dodgy arguments. Aristotle is not exactly an empiricist, but he is on that side of the fence.
27. Natural Reality / C. Space / 1. Void
The void can't exist, and without the void there can't be movement or separation [Parmenides, by Aristotle]
     Full Idea: Some philosophers thought what is must be one and immovable. The void, they say, is not: but unless there is a void what is cannot be moved, nor can it be many, since there is nothing to keep things apart.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 325a06
     A reaction: Somehow this doesn't seem very persuasive any more! I suppose we would distinguish various degrees of void, and assert the existence of sufficient void to allow movement and separation. We must surely agree that total nothingness doesn't exist.
27. Natural Reality / C. Space / 6. Space-Time
We can't think of space-time as empty and propertyless, and it seems to be a substratum [Martin,CB]
     Full Idea: It makes no sense in ontology or modern physics to think of space-time as empty and propertyless. Space-time nicely fulfils the condition of a substratum.
     From: C.B. Martin (The Mind in Nature [2008], 04.6)
     A reaction: At the very least, space-time seems to be 'curved', so it had better be something. Time has properties like being transitive. Space-time (or fields) might be a pure bundle of properties (the only pure bundle?), rather than a substratum.
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
What could have triggered the beginning [of time and being]? [Parmenides]
     Full Idea: What need would have aroused it later or sooner, starting from nothing to come into being?
     From: Parmenides (fragments/reports [c.474 BCE]), quoted by Robin Le Poidevin - Travels in Four Dimensions 02 'Everything'
     A reaction: [Barnes 1982:178] This remains an excellent question. The last I heard was a 'quantum fluctuation', but that seems to be an event, which therefore needs time.
27. Natural Reality / E. Cosmology / 1. Cosmology
He was the first to discover the identity of the Morning and Evening Stars [Parmenides, by Diog. Laertius]
     Full Idea: He appears to have been the first to discover that Hesperus and Lucifer were the same star.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Pa.3
     A reaction: This is the famous example used by Frege to discuss reference and meaning.
He was the first person to say the earth is spherical [Parmenides, by Diog. Laertius]
     Full Idea: He was the first person who asserted that the earth was of a spherical form.
     From: report of Parmenides (fragments/reports [c.474 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Pa.2