Combining Texts

All the ideas for 'works', 'Introduction: Truth and Truth-Making' and 'De Re and De Dicto'

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


48 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb]
     Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding.
     From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro
     A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea.
2. Reason / A. Nature of Reason / 2. Logos
For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle]
     Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value.
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26
2. Reason / A. Nature of Reason / 4. Aims of Reason
Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle]
     Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95
2. Reason / D. Definition / 4. Real Definition
Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine]
     Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us.
     From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51
     A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'.
2. Reason / D. Definition / 5. Genus and Differentia
Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson]
     Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined.
     From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157
     A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus?
3. Truth / B. Truthmakers / 1. For Truthmakers
There are five problems which the truth-maker theory might solve [Rami]
     Full Idea: It is claimed that truth-makers explain universals, or ontological commitment, or commitment to realism, or to the correspondence theory of truth, or to falsify behaviourism or phenomenalism.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04)
     A reaction: [compressed] This expands the view that truth-making is based on its explanatory power, rather than on its intuitive correctness. I take the theory to presuppose realism. I don't believe in universals. It marginalises correspondence. Commitment is good!
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
     Full Idea: The two strategies for justifying the truth-maker principle are that it has an explanatory role (for certain philosophical problems and theses), or that it captures the best philosophical intuition of the situation.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 04)
     A reaction: I would go for 'intuitive', but not in the sense of a pure intuition, but with 'intuitive' as a shorthand for overall coherence. To me the appeal of truth-maker is its place in a naturalistic view of reality. I love explanation, but not here.
3. Truth / B. Truthmakers / 2. Truthmaker Relation
The truth-making relation can be one-to-one, or many-to-many [Rami]
     Full Idea: The truth-making relation can be one-to-one, or many-many. In the latter case, different truths may have the same truth-maker, and one truth may have different truth-makers.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: 'There is at least one cat' obviously has many possible truth-makers. Many statements will be made true by the mere existence of a particular cat (such as 'there is an animal in the room' and 'there is a cat in the room'). Many-many wins?
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
     Full Idea: The main full-blooded truth-maker principle is that x is true iff there is a y that is its truth-maker. This implies the principles that if x is true x has a truth-maker, and the principle that if x has a truth-maker then x is true.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 03)
     A reaction: [compressed] Rami calls the second principle 'maximalism' and the third principle 'purism'. To reject maximalism is to hold a more restricted version of truth-makers. That is, the claim is that lots of truths have truth-makers.
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Most theorists say that truth-makers necessitate their truths [Rami]
     Full Idea: Most truth-maker theorists regard the necessitation of a truth by a truth-maker as a necessary condition of truth-making.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 07)
     A reaction: It seems to me that reality is crammed full of potential truth-makers, but not crammed full of truths. If there is no thinking in the universe, then there are no truths. If that is false, then what sort of weird beast is a 'truth'?
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami]
     Full Idea: Truthmaker anti-monism holds the view that there are truth-makers of different kinds. For example, objects, facts, tropes or events can all be regarded as truthmakers. Objects seem right for existential truths but not others, so anti-monism seems best.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: Presumably we need to identify the different types of truth (analytic, synthetic, general, particular...), and only then ask what truth-makers there are for the different types. To presuppose one type of truthmaker would be crazy.
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami]
     Full Idea: As truth-makers, some theorists only accept states of affairs, some only accept individuals and states of affairs, and some only accept individuals and particular properties.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 06)
     A reaction: It seems to me rash to opt for one of these. Truths come in wide-ranging and subtly different types, and the truth-makers probably have a similar range. Any one of these theories will almost certainly quickly succumb to a counterexample.
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
     Full Idea: The thesis that 'truth supervenes on being' (with or without possible worlds) offers only a necessary condition for the truth of contingent propositions, whereas the standard truth-maker theory offers necessary and sufficient conditions.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09)
     A reaction: The point, I suppose, is that the change in being might be irrelevant to the proposition in question, so any old change in being will not ensure a change in the truth of the proposition. Again we ask - but what is this truth about?
'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
     Full Idea: The important advantage of 'truth supervenes on being' is that it can be applied to positive and negative contingent truths, without postulating any entities that are responsible for the truth of negative truths.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 09)
     A reaction: [For this reason, Lewis favours a possible worlds version of the theory] I fear that it solves that problem by making the truth-maker theory so broad-brush that it not longer says very much, apart from committing it to naturalism.
3. Truth / B. Truthmakers / 7. Making Modal Truths
Maybe a truth-maker also works for the entailments of the given truth [Rami]
     Full Idea: The 'entailment principle' for truth-makers says that if x is a truth-maker for y, and y entails z, then x is a truth-maker for z.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 08)
     A reaction: I think the correct locution is that 'x is a potential truth-maker for z' (should anyone every formulate z, which in most cases they never will, since the entailments of y are probably infinite). Merricks would ask 'but are y and z about the same thing?'.
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
     Full Idea: Most truth-maker theorists are internalists about the truth-maker relation. ...But the correspondence theory makes truth an external relation to some portion of reality. So a truth-maker internalist should not claim to be a narrow correspondence theorist.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: [wording rearranged] Like many of Rami's distinctions in this article, this feels simplistic. Sharp distinctions can only be made using sharp vocabulary, and there isn't much of that around in philosophy!
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theories assume that truth is a representation relation [Rami]
     Full Idea: One guiding intuition concerning a correspondence theory of truth says that the relation that accounts for the truth of a truth-bearer is some kind of representation relation.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: I unfashionably cling on to some sort of correspondence theory. The paradigm case is of a non-linguistic animal which forms correct or incorrect views about its environment. Truth is a relation, not a property. I see the truth in a bad representation.
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationist truth is an infinitely disjunctive property [Rami]
     Full Idea: According to the moderate deflationist truth is an infinitely disjunctive property.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 10)
     A reaction: [He cites Horwich 1998] That is, I presume, that truth is embodied in an infinity of propositions of the form '"p" is true iff p'.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
     Full Idea: There are good reasons for the truth-maker theorist to reject the converse Barcan formula.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], note 16)
     A reaction: In the text (p.15) Rami cites the inference from 'necessarily everything exists' to 'everything exists necessarily'. [See Williamson 1999]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Maybe proper names involve essentialism [Plantinga]
     Full Idea: Perhaps the notion of a proper name itself involves essentialism.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.43)
     A reaction: This is just before Kripke's announcement of 'rigid designation', which seems to have relaunched modern essentialism. The thought is that you can't name something, if you don't have a stable notion of what is (and isn't) being named.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga]
     Full Idea: Can't I name all the real numbers in the interval (0,1) at once? Couldn't I name them all 'Charley', for example?
     From: Alvin Plantinga (De Re and De Dicto [1969], p.40)
     A reaction: Plantinga is nervous about such a sweeping move, but can't think of an objection. This addresses a big problem, I think - that you are supposed to accept the real numbers when we cannot possibly name them all.
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
     Full Idea: An internal relation is 'existential' if x and y relate in that way whenever they both exist. An internal relation is 'qualitative' if x and y relate in that way whenever they have certain intrinsic properties.
     From: Adolph Rami (Introduction: Truth and Truth-Making [2009], 05)
     A reaction: [compressed - Rami likes to write these things in fashionable quasi-algebra, but I have a strong prejudice in this database for expressing ideas in English; call me old-fashioned] The distinction strikes me as simplistic. I would involve dispositions.
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Surely self-identity is essential to Socrates? [Plantinga]
     Full Idea: If anything is essential to Socrates, surely self-identity is.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.37)
     A reaction: This is the modern move of Plantinga and Adams, to make 'is identical with Socrates' the one property which assures the identity of Socrates (his 'haecceity'). My view is that self-identity is not a property. Plantinga wonders about that on p.44.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki]
     Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6
     A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki]
     Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5
     A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact.
9. Objects / D. Essence of Objects / 9. Essence and Properties
An object has a property essentially if it couldn't conceivably have lacked it [Plantinga]
     Full Idea: An object has a property essentially just in case it couldn't conceivably have lacked that property.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.35)
     A reaction: Making it depend on what we can conceive seems a bit dubious, for someone committed to real essences. The key issue is how narrowly or broadly you interpret the word 'property'. The word 'object' needs a bit of thought, too!
10. Modality / A. Necessity / 4. De re / De dicto modality
Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga]
     Full Idea: To explain the 'de re' via the 'de dicto' is to provide a rule enabling us to find, for each de re proposition, an equivalent de dicto proposition.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.41)
     A reaction: Many 'de dicto' paraphrases will change the modality of a 'de re' statement, so the challenge is to find the right equivalent version. Plantinga takes up this challenge. The 'de dicto' statement says the object has the property, and must have it.
Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga]
     Full Idea: Some statements predicate modality of another statement (modality 'de dicto'); but others predicate of an object the necessary or essential possession of a property; these latter express modality 'de re'.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.26)
     A reaction: The distinction seems to originate in Aquinas, concerning whether God knows the future (or, how he knows the future). 'De dicto' is straightforward, but possibly the result of convention. 'De re' is controversial, and implies deep metaphysics.
'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga]
     Full Idea: Aquinas says if a 'de dicto' statement is true, the 'de re' version may be false. The opposite also applies: 'What I am thinking of [17] is essentially prime' is true, but 'The proposition "what I am thinking of is prime" is necessarily true' is false.
     From: Alvin Plantinga (De Re and De Dicto [1969], p.27)
     A reaction: In his examples the first is 'de re' (about the number), and the second is 'de dicto' (about that proposition).
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
What Socrates could have been, and could have become, are different? [Plantinga]
     Full Idea: Is there a difference between what Socrates could have been, and what he could have become?
     From: Alvin Plantinga (De Re and De Dicto [1969], p.44)
     A reaction: That is, I take it, 1) how different might he have been in the past, given how he is now?, and 2) how different might he have been in the past, and now, if he had permanently diverged from how he is now? 1) has tight constraints on it.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code]
     Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive.
     From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle
     A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The notion of a priori truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of a priori truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11240.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M]
     Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience.
     From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173
     A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML]
     Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims.
     From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5
     A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages).
14. Science / B. Scientific Theories / 1. Scientific Theory
Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik]
     Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances.
     From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1
14. Science / D. Explanation / 1. Explanation / a. Explanation
Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis]
     Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us).
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1
     A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA]
     Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general.
     From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung]
     Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work.
     From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji]
     Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals.
     From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial'
     A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived.
19. Language / E. Analyticity / 2. Analytic Truths
The notion of analytic truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of analytic truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11239.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin]
     Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it.
     From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1
     A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586!
25. Social Practice / E. Policies / 5. Education / a. Aims of education
It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle]
     Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it.
     From: Aristotle (works [c.330 BCE])
     A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius]
     Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead."
     From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend]
     Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent.
     From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3
     A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins]
     Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter.
     From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2
     A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now.
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus]
     Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena.
     From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20
     A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul).