103 ideas
| 24069 | Much metaphysical debate concerns what is fundamental, rather than what exists [Koslicki] |
| Full Idea: Some of the most important debates in metaphysics or ontology do not concern existential questions, but focus on questions of fundamentality. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 5 Intro) | |
| A reaction: In modern times we have added the structure of existence to the mere ontological catalogue, and this idea makes another important addition to our concept of metaphysics. She gives disagreement over tropes as an example. |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| Full Idea: The standard requirement of definitions involves 'eliminability' (any defined terms must be replaceable by primitives) and 'non-creativity' (proofs of theorems should not depend on the definition). | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: [He cites Russell and Whitehead as a source for this view] This is the austere view of the mathematician or logician. But almost every abstract concept that we use was actually defined in a creative way. |
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| Full Idea: My current use of the Aristotelian term 'definition' is intended to correspond to what is typically accessible to a scientist only at the end of a successful investigation into the nature of a particular phenomenon. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: It is crucial to understand that Aristotle's definitions could be several hundred pages long. It has nothing to do with dictionary definitions. He proposes 'nominal' and 'real' definitions. |
| 17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
| Full Idea: A statement expressing a real definition must also accomplish more than simply to offer two different ways of singling out the same entity, since the definiens must also be explanatory of the essential nature of the definiendum. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This is why Aristotelian definitions are not just short lexicographical definitions, but may be quite length. Effectively, a definition IS an explanation. |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| Full Idea: Since essences cause the other necessary features of a thing, so definitions, as the linguistic correlates of essences, explain, together with other axioms, the propositions describing those necessary features. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: This is nice and clear. Definitions are NOT essences - they are the linguistic correlates of essences, and mirror those essences. The necessary features are not the only things needing explanation. That picture is too passive. |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| Full Idea: The set-theory account of infinity doesn't just say that we can keep on counting, but that the natural numbers are an actual infinite set. This is necessary to make sense of the powerset of ω, as the set of all its subsets, and thus even bigger. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: I don't personally find this to be sufficient reason to commit myself to the existence of actual infinities. In fact I have growing doubts about the whole role of set theory in philosophy of mathematics. Shows how much I know. |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| Full Idea: In the early versions of set theory ('naïve' set theory), the axiom of comprehension assumed that for any condition there is a set of objects satisfying that condition (so P(x)↔x∈{x:P(x)}), but this led directly to Russell's Paradox. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: How rarely any philosophers state this problem clearly (as Brown does here). This is incredibly important for our understanding of how we classify the world. I'm tempted to just ignore Russell, and treat sets in a natural and sensible way. |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| Full Idea: In current set theory Russell's Paradox is avoided by saying that a condition can only be defined on already existing sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: A response to Idea 9613. This leaves us with no account of how sets are created, so we have the modern notion that absolutely any grouping of daft things is a perfectly good set. The logicians seem to have hijacked common sense. |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| Full Idea: The modern 'iterative' concept of a set starts with the empty set φ (or unsetted individuals), then uses set-forming operations (characterized by the axioms) to build up ever more complex sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The only sets in our system will be those we can construct, rather than anything accepted intuitively. It is more about building an elaborate machine that works than about giving a good model of reality. |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| Full Idea: Neither a flock of birds nor a pack of wolves is strictly a set, since a flock can fly south, and a pack can be on the prowl, whereas sets go nowhere and menace no one. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: To say that the pack menaced you would presumably be to commit the fallacy of composition. Doesn't the number 64 have properties which its set-theoretic elements (whatever we decide they are) will lack? |
| 13258 | The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki] |
| Full Idea: The 'aggregative' objection to classical extensional mereology is that it assigns simply the wrong, set-like conditions of existence and spatio-temporal location to ordinary material objects. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 5.1) | |
| A reaction: [She attributes this to Kit Fine] The point is that there is more to a whole than just some parts, otherwise you could scatter the parts across the globe (or even across time) and claim that the object still existed. It's obvious really. |
| 13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
| Full Idea: Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8) | |
| A reaction: [compressed] |
| 14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
| Full Idea: 'Roses are red; therefore, roses are colored' may be necessarily truth-preserving, but it would not be classified as logically valid by standard systems of logic. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2) |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| Full Idea: The law of excluded middle says if a proposition is false, then its negation is true | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Surely that is the best statement of the law? How do you write that down? ¬(P)→¬P? No, because it is a semantic claim, not a syntactic claim, so a truth table captures it. Semantic claims are bigger than syntactic claims. |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| Full Idea: The three views one could adopt concerning axioms are that they are self-evident truths, or that they are arbitrary stipulations, or that they are fallible attempts to describe how things are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: Presumably modern platonists like the third version, with others choosing the second, and hardly anyone now having the confidence to embrace the first. |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| Full Idea: Berry's Paradox refers to 'the least integer not namable in fewer than nineteen syllables' - a paradox because it has just been named in eighteen syllables. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: Apparently George Boolos used this quirky idea as a basis for a new and more streamlined proof of Gödel's Theorem. Don't tell me you don't find that impressive. |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| Full Idea: Mathematics seems to be the one and only place where we humans can be absolutely sure that we got it right. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Apart from death and taxes, that is. Personally I am more certain of the keyboard I am typing on than I am of Pythagoras's Theorem, but the experts seem pretty confident about the number stuff. |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| Full Idea: 'There are two apples' can be recast as 'x is an apple and y is an apple, and x isn't y, and if z is an apple it is the same as x or y', which makes no appeal at all to mathematics. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: He cites this as the basis of Hartry Field's claim that science can be done without numbers. The logic is ∃x∃y∀z(Ax&Ay&(x¬=y)&(Az→z=x∨z=y)). |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| Full Idea: The number π is not only irrational, but it is also (unlike √2) a 'transcendental' number, because it is not the solution of an algebraic equation. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: So is that a superficial property, or a profound one? Answers on a post card. |
| 17435 | Objects do not naturally form countable units [Koslicki] |
| Full Idea: Objects do not by themselves naturally fall into countable units. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: Hm. This seems to be modern Fregean orthodoxy. Why did the institution of counting ever get started if the things in the world didn't demand counting? Even birds are aware of the number of eggs in their nest (because they miss a stolen one). |
| 17433 | We can still count squares, even if they overlap [Koslicki] |
| Full Idea: The fact that there is overlap does not seem to inhibit our ability to count squares. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: She has a diagram of three squares overlapping slightly at their corners. Contrary to Frege, these seems to depend on a subliminal concept of the square that doesn't depend on language. |
| 17439 | There is no deep reason why we count carrots but not asparagus [Koslicki] |
| Full Idea: Why do speakers of English count carrots but not asparagus? There is no 'deep' reason. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997]) | |
| A reaction: Koslick is offering this to defend the Fregean conceptual view of counting, but what seems to matter is what is countable, and not whether we happen to count it. You don't need to know what carrots are to count them. Cooks count asparagus. |
| 17434 | We struggle to count branches and waves because our concepts lack clear boundaries [Koslicki] |
| Full Idea: The reason we have a hard time counting the branches and the waves is because our concepts 'branches on the tree' and 'waves on the ocean' do not determine sufficiently precise boundaries: the concepts do not draw a clear invisible line around each thing. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: This is the 'isolation' referred to in Frege. |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| Full Idea: Mathematics hooks onto the world by providing representations in the form of structurally similar models. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: This is Brown's conclusion. It needs notions of mapping, one-to-one correspondence, and similarity. I like the idea of a 'model', as used in both logic and mathematics, and children's hobbies. The mind is a model-making machine. |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| Full Idea: I'm tempted to say that mathematics is so rich that there are indefinitely many ways to prove anything - verbal/symbolic derivations and pictures are just two. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 9) | |
| A reaction: Brown has been defending pictures as a form of proof. I wonder how long his list would be, if we challenged him to give more details? Some people have very low standards of proof. |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| Full Idea: The celebrity of the famous proof in 1976 of the four-colour theorem of maps is that a computer played an essential role in the proof. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: The problem concerns the reliability of the computers, but then all the people who check a traditional proof might also be unreliable. Quis custodet custodies? |
| 17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
| Full Idea: Being the successor of the successor of 0 is more explanatory than being predecessor of 3 of the nature of 2, since it mirrors more closely the method by which 2 is constructed from a basic entity, 0, and a relation (successor) taken as primitive. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This assumes numbers are 'constructed', which they are in the axiomatised system of Peano Arithmetic, but presumably the numbers were given in ordinary experience before 'construction' occurred to anyone. Nevertheless, I really like this. |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| Full Idea: Maybe all of mathematics can be represented in set theory, but we should not think that mathematics is set theory. Functions can be represented as order pairs, but perhaps that is not what functions really are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: This seems to me to be the correct view of the situation. If 2 is represented as {φ,{φ}}, why is that asymmetrical? The first digit seems to be the senior and original partner, but how could the digits of 2 differ from one another? |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| Full Idea: The basic definition of a graph can be given in set-theoretic terms,...but then what could an unlabelled graph be? | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: An unlabelled graph will at least need a verbal description for it to have any significance at all. My daily mood-swings look like this.... |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| Full Idea: Epistemology is a big worry for structuralists. ..To conjecture that something has a particular structure, we must already have conceived of the idea of the structure itself; we cannot be discovering structures by conjecturing them. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: This has to be a crucial area of discussion. Do we have our heads full of abstract structures before we look out of the window? Externalism about the mind is important here; mind and world are not utterly distinct things. |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| Full Idea: Set theory is at the very heart of mathematics; it may even be all there is to mathematics. The notion of set, however, seems quite contrary to the spirit of structuralism. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: So much the worse for sets, I say. You can, for example, define ordinality in terms of sets, but that is no good if ordinality is basic to the nature of numbers, rather than a later addition. |
| 14505 | Some questions concern mathematical entities, rather than whole structures [Koslicki] |
| Full Idea: Those who hold that not all mathematical questions can be concerned with structural matters can point to 'why are π or e transcendental?' or 'how are the prime numbers distributed?' as questions about particular features in the domain. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.1 n6) | |
| A reaction: [She cites Mac Lane on this] The reply would have to be that we only have those particular notions because we have abstracted them from structures, as in deriving π for circles. |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| Full Idea: We could not discover irrational numbers by physical measurement. The discovery of the irrationality of the square root of two was an intellectual achievement, not at all connected to sense experience. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Brown declares himself a platonist, and this is clearly a key argument for him, and rather a good one. Hm. I'll get back to you on this one... |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| Full Idea: A simple argument makes it clear that all mathematical arguments are abstract: there are infinitely many numbers, but only a finite number of physical entities, so most mathematical objects are non-physical. The best assumption is that they all are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: This, it seems to me, is where constructivists score well (cf. Idea 9608). I don't have an infinity of bricks to build an infinity of houses, but I can imagine that the bricks just keep coming if I need them. Imagination is what is unbounded. |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| Full Idea: Numbers are not 'abstract' (in the old sense, of universals abstracted from particulars), since each of the integers is a unique individual, a particular, not a universal. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: An interesting observation which I have not seen directly stated before. Compare Idea 645. I suspect that numbers should be thought of as higher-order abstractions, which don't behave like normal universals (i.e. they're not distributed). |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| Full Idea: Perhaps, instead of objects, numbers are associated with properties of objects. Basing them on objects is strongly empiricist and uses first-order logic, whereas the latter view is somewhat Platonistic, and uses second-order logic. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: I don't seem to have a view on this. You can count tomatoes, or you can count red objects, or even 'instances of red'. Numbers refer to whatever can be individuated. No individuation, no arithmetic. (It's also Hume v Armstrong on laws on nature). |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| Full Idea: Are there mathematical properties which can only be discovered using a particular notation? | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
| A reaction: If so, this would seem to be a serious difficulty for platonists. Brown has just been exploring the mathematical theory of knots. |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| Full Idea: For the instinctive nominalist in mathematics, there are no numbers, only numerals. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: Maybe. A numeral is a specific sign, sometimes in a specific natural language, so this seems to miss the fact that cardinality etc are features of reality, not just conventions. |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| Full Idea: In mathematics, the most brilliant formalist of all was Hilbert | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: He seems to have developed his fully formalist views later in his career. See Mathematics|Basis of Mathematic|Formalism in our thematic section. Kreisel denies that Hilbert was a true formalist. |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| Full Idea: Constuctivists link truth with constructive proof, but necessarily lack constructions for many highly desirable results of classical mathematics, making their account of mathematical truth rather implausible. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The tricky word here is 'desirable', which is an odd criterion for mathematical truth. Nevertheless this sounds like a good objection. How flexible might the concept of a 'construction' be? |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| Full Idea: If we define p as '3 if Goldbach's Conjecture is true' and '5 if Goldbach's Conjecture is false', it seems that p must be a prime number, but, amazingly, constructivists would not accept this without a proof of Goldbach's Conjecture. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 8) | |
| A reaction: A very similar argument structure to Schrödinger's Cat. This seems (as Brown implies) to be a devastating knock-down argument, but I'll keep an open mind for now. |
| 458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
| Full Idea: From what in no wise exists, it is impossible for anything to come into being; for Being to perish completely is incapable of fulfilment and unthinkable. | |
| From: Empedocles (fragments/reports [c.453 BCE], B012), quoted by Anon (Lyc) - On Melissus 975b1-4 |
| 5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
| Full Idea: Empedocles claims that things are alternately changing and at rest - that they are changing whenever love is creating a unity out of plurality, or hatred is creating plurality out of unity, and they are at rest in the times in between. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Physics 250b26 | |
| A reaction: I suppose one must say that this an example of Ruskin's 'pathetic fallacy' - reading human emotions into the cosmos. Being constructive little creatures, we think goodness leads to construction. I'm afraid Empedocles is just wrong. |
| 17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
| Full Idea: The relata of the grounding relation are typically taken to be facts or propositions, while the relata of ontological dependence ...are objects and their characteristics, activities, constituents and so on. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.5 n25) | |
| A reaction: Interesting. Good riddance to propositions here, but this seems a bit unfair to facts, since I take facts to be in the world. Audi's concept of 'worldly facts' is what we need here. |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| Full Idea: David's painting of Napoleon (on a white horse) is a 'picture' of Napoleon, and a 'symbol' of leadership, courage, adventure. It manages to be about something concrete and something abstract. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 3) | |
| A reaction: This strikes me as the germ of an extremely important idea - that abstraction is involved in our perception of the concrete, so that they are not two entirely separate realms. Seeing 'as' involves abstraction. |
| 17436 | We talk of snow as what stays the same, when it is a heap or drift or expanse [Koslicki] |
| Full Idea: Talk of snow concerns what stays the same when some snow changes, as it might be, from a heap of snow to a drift, to an expanse. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: The whiteness also stays the same, but isn't stuff. |
| 13289 | Structures have positions, constituent types and number, and some invariable parts [Koslicki] |
| Full Idea: Structures make available positions or places for objects, and place restraints on the type of constituent, and on their configuration. ...These lead to restrictions on the number of objects, and on which parts of the structure are invariable. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.6) | |
| A reaction: [compressed] That's a pretty good first shot at saying what a structure is, which I have so far not discovered any other writer willing to do. I take this to be an exploration of what Aristotle meant by 'form'. |
| 14501 | 'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki] |
| Full Idea: The 'categorical' properties are roughly those that concern what goes on in the actual world; the properties excluded from that family are the 'hypothetical' ones, which concern what goes on in other worlds. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 3.2.3.1) | |
| A reaction: The awkward guest at this little party is the 'dispositional' properties, which are held to exist in the actual world, but have implications for other worlds. I'm a fan of them. |
| 13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
| Full Idea: Empedocles says there is no coming-to-be of anything, but only a mingling and a divorce of what has been mingled. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314b08 | |
| A reaction: Aristotle comments that this prevents Empedocleans from distinguishing between superficial alteration and fundamental change of identity. Presumably, though, that wouldn't bother them. |
| 14495 | I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki] |
| Full Idea: My project is to put the notion of structure or form squarely back at the center of any adequate account of the notion of part, whole and object. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: Excellent. It is the fault of logicians, who presumably can't cope with such elusive and complex concepts, that we have ended up with objects as lists of things or properties, or quantifications over them. |
| 13264 | If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki] |
| Full Idea: If a whole is just a structure, we wonder how the guests could really be part of the dinner party seating structure, when the complex whole is fully exhausted by the structure that specifies the slots. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 4.2.2) | |
| A reaction: This cuts both ways. A dinner party may necessarily require guests, but the seating plan can be specified in the absence of any guests, who may never turn up. A seating plan is not a dinner party. Perhaps we have two objects here. |
| 24065 | Structured wholes are united by the teamwork needed for their capacities [Koslicki] |
| Full Idea: A structured whole derives its unity from the way in which its parts interact with other parts to allow both the whole and its parts to manifest those of their capacities which require 'team work' among the parts. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], Intro) | |
| A reaction: This is a culminating thesis of her book. She defends it at length. It looks like a nice theory for things which are lucky enough to have capacities involving teamwork. Does this mean a pebble can't be unified? She wants a dynamic view. |
| 14497 | The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki] |
| Full Idea: That objects are compounds of matter and form yields a solution to the Problem of Constitution: the clay is merely a proper part of the statue (viz. its matter); the 'remainder' of the statue is its formal or structural components which distinguish it. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Info) | |
| A reaction: Thus philosophers have thought that it might consist of two objects because they have failed to grasp what an 'object' is. I would add that we need to mention 'essence', so that the statue can survive minor modifications. This is the solution! |
| 13280 | Statue and clay differ in modal and temporal properties, and in constitution [Koslicki] |
| Full Idea: The statue and the clay appear to differ in modal properties (such as being able to survive squashing), and temporal properties (coming into existence after the lump of clay), and in constitution (only the statue is constituted of the clay). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2) | |
| A reaction: I think the modal properties are the biggest problem here. You can't say a thing and its constitution are different objects, as they are necessarily connected. Structure comes into existence at t, but the structure isn't the whole object. |
| 24066 | The form explains kind, structure, unity and activity [Koslicki] |
| Full Idea: Hylomorphists tend to agree that the form (rather than matter) explains 1) kind membership, 2) structure, 3) unity, 4) characteristic activities. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 3.2.1) | |
| A reaction: [compressed; she explains each of them] Personally I would add continuity through change (statue/clay). Glad to see that kind membership is not part of the form. And what about explaining observed properties? Does form=essence? |
| 14496 | Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki] |
| Full Idea: The notion of structure or form, far from being a mysterious and causally inert invention of philosophers, lies at the very center of many scientific and other rigorous endeavours, such as mathematics, logic, linguistics, chemistry and music. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: This echoes my own belief exactly, and places Aristotle at the centre of the modern stage. Her list of subjects is intriguing, and will need a bit of thought. |
| 13279 | There are at least six versions of constitution being identity [Koslicki] |
| Full Idea: The view that constitution is identity has many versions: eliminativism (van Inwagen), identity relative to time (Gallois), identity relativized to sort (Geach), four-dimensionalism (Lewis, Sider), contingent identity (Gibbard), dominant kinds (Burke). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2 n17) | |
| A reaction: [she offers other names- useful footnote] Eliminativism says there is no identity. Gallois's view is Heraclitus. Geach seems to deny nature, since sorts are partly conventional. 4-D, nah! Gibbard: it could be the thing but lack its identity? Kinds wrong. |
| 14498 | For three-dimensionalist parthood must be a three-place relation, including times [Koslicki] |
| Full Idea: Parthood (for the three-dimensionalist) must be a three-place relation between pairs of objects and times, not the timeless two-place relation at work in the original Calculus of Individuals. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 2.2) |
| 13283 | The parts may be the same type as the whole, like a building made of buildings [Koslicki] |
| Full Idea: A building may be composed of proper parts which are themselves buildings; a particular pattern may be composed of proper parts which are themselves patterns (even the same pattern, on a smaller scale). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.12) | |
| A reaction: This strikes me as a rather important observation, if you are (erroneously) trying to establish the identity of a thing simply by categorising its type. |
| 13266 | Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki] |
| Full Idea: The modern theory of parts and wholes was intended primarily to replace set theory; in this way, wholes came out looking as much like sets as they possibly could, without set theory's commitment to an infinite hierarchy of abstract objects. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: A very nice clarificatory remark, which explains well this rather baffling phenomenon of people who think there is nothing more to a whole than a pile of parts, as if a scrap heap were the same as a fleet of motor cars. |
| 14500 | Wholes are entities distinct from their parts, and have different properties [Koslicki] |
| Full Idea: A commitment to wholes is a commitment to entities that are numerically distinct from their parts (by Leibniz's Law, they don't share all of their properties - the parts typically exist, but the whole doesn't, prior to its creation). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 3.1) | |
| A reaction: Presumably in classical mereology no act of 'creation' is needed, since all the parts in the universe already form all the possible wholes into which they might combine, however bizarrely. |
| 13281 | Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki] |
| Full Idea: In my approach (as in that of Plato and Aristotle), wholes are in no way identified with parts; rather, a commitment to wholes is a commitment to entities numerically distinct from their proper parts. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.11) | |
| A reaction: Calling the whole an 'entity' doesn't seem to capture it. She seems to think there are some extra parts, in addition to the material parts, that make something a whole. I think this might be a category mistake. A structure is an abstraction. |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| Full Idea: We can distinguish (as Aristotle and Fine do) between what belongs to the essence of an object, and what merely follows from the essence of an object. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: This can help to clarify the confusions that result from treating necessary properties as if they were essential. |
| 17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
| Full Idea: According to the approach of Plantinga, Forbes and Mackie, the primary job of essences is to individuate the entities whose essences they are across worlds and times at which these entities exist. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4 n13) | |
| A reaction: A helpful simplification of what is going on. I wish those authors would just say this one their first pages. They all get in a right tangle, because individuation is either too easy, or hopeless. 'Tracking' is a good word for this game. |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| Full Idea: Individual instances of a kind of phenomenon, in Aristotle's view, can only be perceived through sense-perception; but they are not the proper subject-matter of scientific demonstration and definition. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: A footnote (11) explains that this is because they involve syllogisms, which require universals. I take Aristotle, and anyone sensible, to rest on individual essences, but inevitably turn to generic essences when language becomes involved. |
| 24067 | Hylomorphic compounds need an individual form for transworld identity [Koslicki] |
| Full Idea: It is difficult to see how forms could serve as cross-world identity principles for hylomorphic compounds, unless these forms are particular or individual entities. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 3.4.3) | |
| A reaction: This is a key part of her objection to treating the form as universal or generic. I agree with her view. |
| 17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
| Full Idea: Fine assumes that essences can be identified with collections of propositions that are true in virtue of the identity of a particular object, or objects. ...There is not, on this approach, much of a distinction between essences and real definitions. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This won't do, because the essence of a physical object is not a set of propositions, it is some aspects of the object itself, which are described in a definition. Koslicki notes that psuché is an essence, and the soul is hardly a set of propositions! |
| 17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
| Full Idea: To make room for a less propositional conception of essence than that assumed by Fine, I urge that we distinguish more firmly between essences and real definitions (which state these essences in the form of propositions). | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: Yes. The idea that essence is just a verbal or conceptual entity would be utterly abhorrent to Aristotle (a hero for Fine), and it is anathema to me too. We intend essences to be in the world (even if we are deceived about that). They explain! |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| Full Idea: If an object has a certain property essentially, then it follows that the object has the property necessarily (if it exists). | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.2) | |
| A reaction: She is citing Fine, who says that the converse (necessity implying essence) is false. I agree with that. I also willing to challenge the first bit. I suspect an object can retain identity and lose essence. Coma patient; broken clock; aged athlete. |
| 457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
| Full Idea: There is no creation of substance in any one of mortal existence, nor any end in execrable death, but only mixing and exchange of what has been mixed. | |
| From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Plutarch - 74: Reply to Colotes 1111f | |
| A reaction: also Aristotle 314b08 |
| 462 | One vision is produced by both eyes [Empedocles] |
| Full Idea: One vision is produced by both eyes | |
| From: Empedocles (fragments/reports [c.453 BCE], B088), quoted by Strabo - works 8.364.3 |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| Full Idea: Demonstration encompasses more than deductive entailment, in that the explanatory order of priority represented in a successful demonstration must mirror precisely the causal order of priority present in the phenomena in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: She is referring to Aristotle's 'Posterior Analytics'. Put so clearly this sounds like an incredibly useful concept in discussing how we present good modern scientific explanations. Reinstating Aristotle is a major priority for philosophy! |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| Full Idea: In a proper demonstrative argument, the middle term must be explanatory of the conclusion, in a very specific sense: the middle term must state what properly belongs to the definition of the kind of phenomenon in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: So 'All men are mortal, S is a man, so S is mortal'. The middle term is 'man', which gives a generic explanation for why S is mortal. Explanation as categorisation? I don't think this is the whole story of Aristotelian explanation. |
| 17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
| Full Idea: It is plausible to think that an explanation, when successful, captures or represents (by argument, or a why? question) an underlying real-world relation of dependence which obtains among the phenomena cited. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: She cites causal dependence as an example. I'm incline to think that 'grounding' is a better word for the target of good explanations than is 'dependence' (which can, surely, be mutual, where ground has the directionality needed for explanation). |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| Full Idea: The Greek does not disambiguate between 'cause' and 'explanation', since the same terms ('aitia' and 'aition') can be translated in both ways. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n15) | |
| A reaction: This is essential information if we are to understand Aristotle's Four Causes, which are quite baffling if we take 'causes' in the modern way. The are the Four Modes of Explanation. |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| Full Idea: Both the question 'what is thunder?', and the question 'why does thunder occur?', for Aristotle, are answered simultaneously, once it has been discovered what the essence of thunder it, i.e. what it is to be thunder. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n10) | |
| A reaction: I take this idea to be pretty much the whole story about essences. |
| 22765 | Wisdom and thought are shared by all things [Empedocles] |
| Full Idea: Wisdom and power of thought, know thou, are shared in by all things. | |
| From: Empedocles (fragments/reports [c.453 BCE]), quoted by Sextus Empiricus - Against the Logicians (two books) II.286 | |
| A reaction: Sextus quotes this, saying that it is 'still more paradoxical', and that it explicitly includes plants. This may mean that Empedocles was not including inanimate matter. |
| 1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
| Full Idea: Empedocles assumes that thinking is either identical to or very similar to sense-perception. | |
| From: report of Empedocles (fragments/reports [c.453 BCE], A86) by Theophrastus - On the Senses 9 | |
| A reaction: Not to be sniffed at. We can, of course, control our thinking (though we can't control the controller) and we contemplate abstractions, but that might be seen as a sort of perception. Vision is not as visual as we think. |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| Full Idea: The current usage of 'abstract' simply means outside space and time, not concrete, not physical. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: This is in contrast to Idea 9609 (the older notion of being abstracted). It seems odd that our ancestors had a theory about where such ideas came from, but modern thinkers have no theory at all. Blame Frege for that. |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| Full Idea: The older sense of 'abstract' applies to universals, where a universal like 'redness' is abstracted from red particulars; it is the one associated with the many. In mathematics, the notion of 'group' or 'vector space' perhaps fits this pattern. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: I am currently investigating whether this 'older' concept is in fact dead. It seems to me that it is needed, as part of cognitive science, and as the crucial link between a materialist metaphysic and the world of ideas. |
| 17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
| Full Idea: In 'feature dependence', the ontologically dependent entity may be thought of as the result of a process of abstraction which takes the 'bearer' as its starting point and arrives at the abstracted entity by blocking out all the irrelevant features. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: She seems unaware that this is traditional abstraction, found in Aristotle, and a commonplace of thought until Frege got his evil hands on abstraction and stole it for other purposes. I'm a fan. |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| Full Idea: In addition to the sense and reference of term, there is the 'computational' role. The name '2' has a sense (successor of 1) and a reference (the number 2). But the word 'two' has little computational power, Roman 'II' is better, and '2' is a marvel. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
| A reaction: Very interesting, and the point might transfer to natural languages. Synonymous terms carry with them not just different expressive powers, but the capacity to play different roles (e.g. slang and formal terms, gob and mouth). |
| 552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
| Full Idea: Empedocles was the first to give evil and good as principles. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Metaphysics 985a | |
| A reaction: Once you start to think that good and evil will only matter if they have causal powers, it is an easy step to the idea of a benevolent god, and a satanic anti-god. Otherwise the 'principles' could be ignored. |
| 589 | 'Nature' is just a word invented by people [Empedocles] |
| Full Idea: Nature is but a word of human framing. | |
| From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Aristotle - Metaphysics 1015a |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| Full Idea: There seem to be no actual infinites in the physical realm. Given the correctness of atomism, there are no infinitely small things, no infinite divisibility. And General Relativity says that the universe is only finitely large. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: If time was infinite, you could travel round in a circle forever. An atom has size, so it has a left, middle and right to it. Etc. They seem to be physical, so we will count those too. |
| 21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
| Full Idea: In Empedocles we have a dividing principle, 'Strife', set against 'Friendship' - which is the One and is to him bodiless, while the elements represent matter. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Plotinus - The Enneads 5.1.09 | |
| A reaction: The first time I've seen the principle of Love in Empedocles identified with the One of Parmenides. Plotinus is a trustworthy reporter, I think, because he was well read, and had access to lost texts. |
| 2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
| Full Idea: Empedocles holds that the corporeal elements are four, but that all the elements, including those which create motion, are six in number. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a16 |
| 6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
| Full Idea: Empedocles used numerical ratios to explain different kinds of matter; for example, bone is two parts water, four parts fire, two parts earth; and blood is an equal blend of all four elements. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Brad Inwood - Empedocles | |
| A reaction: Why isn't the ration 1:2:1? This presumably shows the influence of Pythagoras (who had also been based in Italy, like Empedocles), as well as that of the earlier naturalistic philosophers. It was a very good theory, though wrong. |
| 13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
| Full Idea: Empedocles says that Fire, Water, Air and Earth are four elements, and are thus 'simple' rather than flesh, bone and bodies which, like these, are 'homoeomeries'. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a26 | |
| A reaction: The translation is not quite clear. I take it that flesh and bone may look simple, because they are homoeomerous, but they are not really - but what is his evidence for that? Compare Idea 13208. |
| 459 | All change is unity through love or division through hate [Empedocles] |
| Full Idea: These elements never cease their continuous exchange, sometimes uniting under the influence of Love, so that all become One, at other times again moving apart through the hostile force of Hate. | |
| From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
| 13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
| Full Idea: Empedocles says it is evident that all the other bodies down to the 'elements' have their coming-to-be and their passing-away: but it is not clear how the 'elements' themselves, severally in their aggregated masses, come-to-be and pass-away. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 325b20 | |
| A reaction: Presumably the elements are like axioms - and are just given. How do electrons and quarks come-to-be? |
| 13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
| Full Idea: It is not an adequate explanation to say that 'Love and Strife set things moving', unless the very nature of Love is a movement of this kind and the very nature of Strife a movement of that kind. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 333b23 | |
| A reaction: I take this to be of interest for showing Aristotle's quest for explanations, and his unwillingness to be fobbed off with anything superficial. I take a task of philosophy to be to push explanations further than others wish to go. |
| 460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
| Full Idea: Besides these elements, nothing else comes into being, nor does anything cease. For if they had been perishing continuously, they would Be no more; and what could increase the Whole? And whence could it have come? | |
| From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
| 14504 | The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki] |
| Full Idea: Theoretical terms such as 'mass', 'force', 'motion', 'species' and 'phlogiston' seem to indicate that the Kripke/Putnam approach to natural kind terms is committed to an excessive amount of stability in the meaning and reference of such expressions. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.6.2) | |
| A reaction: This sounds right to me. The notion of 'rigid' designation gives a nice framework for modal logic, but it doesn't seem to fit the shifting patterns of scientific thought. |
| 13285 | Natural kinds support inductive inferences, from previous samples to the next one [Koslicki] |
| Full Idea: Natural kinds are said to stand out from other classifications because they support legitimate inductive inferences ...as when we observe that past samples of copper conduct electricity and infer that the next sample will too. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.3.1) | |
| A reaction: A slightly more precise version of the Upanishad definition of natural kinds which I favour (Idea 8153). If you can't predict the next one from the previous one, it isn't a natural kind. You can't quite predict the next tiger from the previous one. |
| 13287 | Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki] |
| Full Idea: Candidate species concepts can be intrinsic: morphological, physiological or genetic similarity; or relational: biology such as interbreeding and reproductive isolation, ecology, such as mate recognition in a niche, or phylogenetics (ancestor relations). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1) | |
| A reaction: She says the relational ones are more popular, but I gather they all hit problems. See John Dupré on the hopelessness of the whole task. |
| 13284 | Should vernacular classifications ever be counted as natural kind terms? [Koslicki] |
| Full Idea: It is controversial whether classificatory expressions from the vernacular should ever really be counted as genuine natural kind terms. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.2) | |
| A reaction: This is a similar confrontation between the folk and the scientific specialist as we find in folk psychology. There are good defences of folk psychology, and it looks plausible to defend the folk classifications as having priority. |
| 13286 | There are apparently no scientific laws concerning biological species [Koslicki] |
| Full Idea: It has been observed that there are apparently no scientific laws concerning biological species. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1) | |
| A reaction: The central concept of biology I take to be a 'mechanism'. and I suspect that this view of science is actually applicable in physics and chemistry, with so-called 'laws' being a merely superficial description of what is going on. |
| 5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
| Full Idea: Is it just an accident that teeth and other parts of the body seem to have some purpose, and creatures survive because they happen to be put together in a useful way? Everything else has been destroyed, as Empedocles says of his 'cow with human head'. | |
| From: report of Empedocles (fragments/reports [c.453 BCE], 61) by Aristotle - Physics 198b29 | |
| A reaction: Good grief! Has no one ever noticed that Empedocles proposed the theory of evolution? It isn't quite natural selection, because we aren't told what does the 'destroying', but it is a little flash of genius that was quietly forgotten. |
| 461 | God is a pure, solitary, and eternal sphere [Empedocles] |
| Full Idea: God is equal in all directions to himself and altogether eternal, a rounded Sphere enjoying a circular solitude. | |
| From: Empedocles (fragments/reports [c.453 BCE], B028), quoted by John Stobaeus - Anthology 1.15.2 |
| 466 | God is pure mind permeating the universe [Empedocles] |
| Full Idea: God is mind, holy and ineffable, and only mind, which darts through the whole cosmos with its swift thought. | |
| From: Empedocles (fragments/reports [c.453 BCE], B134), quoted by Ammonius - On 'De Interpretatione' 4.5.249.6 |
| 1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
| Full Idea: It is a consequence of Empedocles' view that God is the most unintelligent thing, for he alone is ignorant of one of the elements, namely strife, whereas mortal creatures are familiar with them all. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - De Anima 410b08 |
| 1522 | It is wretched not to want to think clearly about the gods [Empedocles] |
| Full Idea: Wretched is he who cares not for clear thinking about the gods. | |
| From: Empedocles (fragments/reports [c.453 BCE], B132), quoted by Clement - Miscellanies 5.140.5.1 |