Combining Texts

All the ideas for 'works', 'Higher-Order Logic' and 'fragments/reports'

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


64 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.
1. Philosophy / A. Wisdom / 2. Wise People
A wise man's chief strength is not being tricked; nothing is worse than error, frivolity or rashness [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that the wise man's chief strength is that he is careful not to be tricked, and sees to it that he is not deceived; for nothing is more alien to the conception that we have of the seriousness of the wise man than error, frivolity or rashness.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica II.66
     A reaction: I presume that this concerns being deceived by other people, and also being deceived by evidence. I suggest that the greatest ability of the wise person is the accurate assessment of evidence.
1. Philosophy / D. Nature of Philosophy / 1. Philosophy
When shown seven versions of the mowing argument, he paid twice the asking price for them [Zeno of Citium, by Diog. Laertius]
     Full Idea: When shown seven species of dialectic in the mowing argument, he asked the price, and when told 'a hundred drachmas', he gave two hundred, so devoted was he to learning.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.20
     A reaction: Wonderful. I have a watertight proof that pleasure is not the good, which I will auction on the internet.
1. Philosophy / D. Nature of Philosophy / 4. Divisions of Philosophy
Philosophy has three parts, studying nature, character, and rational discourse [Zeno of Citium, by Diog. Laertius]
     Full Idea: They say that philosophical theory is tripartite. For one part of it concerns nature [i.e. physics], another concerns character [i.e. ethics], and another concerns rational discourse [i.e. logic]
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.39
     A reaction: Surely 'nature' included biology, and shouldn't be glossed as 'physics'? And I presume that 'rational discourse' is 'logos', rather than 'logic'. Interesting to see that ethics just is the study of character (and not of good and bad actions).
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 / H. Deflationary Truth / 3. Minimalist Truth
Someone who says 'it is day' proposes it is day, and it is true if it is day [Zeno of Citium, by Diog. Laertius]
     Full Idea: Someone who says 'It is day' seems to propose that it is day; if, then, it is day, the proposition advanced comes out true, but if not, it comes out false.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.65
     A reaction: Those who find Tarski's theory annoyingly vacuous should note that the ancient Stoics thought the same point worth making. They seem to have clearly favoured some minimal account of truth, according to this.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
The axiom of choice is controversial, but it could be replaced [Shapiro]
     Full Idea: The axiom of choice has a troubled history, but is now standard in mathematics. It could be replaced with a principle of comprehension for functions), or one could omit the variables ranging over functions.
     From: Stewart Shapiro (Higher-Order Logic [2001], n 3)
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 / A. Overview of Logic / 5. First-Order Logic
First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro]
     Full Idea: Early study of first-order logic revealed a number of important features. Gödel showed that there is a complete, sound and effective deductive system. It follows that it is Compact, and there are also the downward and upward Löwenheim-Skolem Theorems.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Some say that second-order logic is mathematics, not logic [Shapiro]
     Full Idea: Some authors argue that second-order logic (with standard semantics) is not logic at all, but is a rather obscure form of mathematics.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.4)
If the aim of logic is to codify inferences, second-order logic is useless [Shapiro]
     Full Idea: If the goal of logical study is to present a canon of inference, a calculus which codifies correct inference patterns, then second-order logic is a non-starter.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.4)
     A reaction: This seems to be because it is not 'complete'. However, moves like plural quantification seem aimed at capturing ordinary language inferences, so the difficulty is only that there isn't a precise 'calculus'.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence can be defined in terms of the logical terminology [Shapiro]
     Full Idea: Informally, logical consequence is sometimes defined in terms of the meanings of a certain collection of terms, the so-called 'logical terminology'.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.4)
     A reaction: This seems to be a compositional account, where we build a full account from an account of the atomic bits, perhaps presented as truth-tables.
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 / G. Quantification / 5. Second-Order Quantification
Second-order variables also range over properties, sets, relations or functions [Shapiro]
     Full Idea: Second-order variables can range over properties, sets, or relations on the items in the domain-of-discourse, or over functions from the domain itself.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro]
     Full Idea: Upward Löwenheim-Skolem: if a set of first-order formulas is satisfied by a domain of at least the natural numbers, then it is satisfied by a model of at least some infinite cardinal.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)
The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro]
     Full Idea: Both of the Löwenheim-Skolem Theorems fail for second-order languages with a standard semantics
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.3.2)
The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro]
     Full Idea: The Löwenheim-Skolem theorem is usually taken as a sort of defect (often thought to be inevitable) of the first-order logic.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.4)
     A reaction: [He is quoting Wang 1974 p.154]
Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro]
     Full Idea: Downward Löwenheim-Skolem: a finite or denumerable set of first-order formulas that is satisfied by a model whose domain is infinite is satisfied in a model whose domain is the natural numbers
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Zeno achieved the statement of the problems of infinitesimals, infinity and continuity [Russell on Zeno of Citium]
     Full Idea: Zeno was concerned with three increasingly abstract problems of motion: the infinitesimal, the infinite, and continuity; to state the problems is perhaps the hardest part of the philosophical task, and this was done by Zeno.
     From: comment on Zeno (Citium) (fragments/reports [c.294 BCE]) by Bertrand Russell - Mathematics and the Metaphysicians p.81
     A reaction: A very nice tribute, and a beautiful clarification of what Zeno was concerned with.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro]
     Full Idea: Full second-order logic has all the expressive power needed to do mathematics, but has an unworkable model theory.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.1)
     A reaction: [he credits Cowles for this remark] Having an unworkable model theory sounds pretty serious to me, as I'm not inclined to be interested in languages which don't produce models of some sort. Surely models are the whole point?
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Whatever participates in substance exists [Zeno of Citium, by Stobaeus]
     Full Idea: Zeno says that whatever participates in substance exists.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by John Stobaeus - Anthology 2.05a
     A reaction: This seems Aristotelian, implying that only objects exist. Unformed stuff would not normally qualify as a 'substance'. So does mud exist? See the ideas of Henry Laycock.
8. Modes of Existence / B. Properties / 11. Properties as Sets
Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro]
     Full Idea: In studying second-order logic one can think of relations and functions as extensional or intensional, or one can leave it open. Little turns on this here, and so words like 'property', 'class', and 'set' are used interchangeably.
     From: Stewart Shapiro (Higher-Order Logic [2001], 2.2.1)
     A reaction: Important. Students of the metaphysics of properties, who arrive with limited experience of logic, are bewildered by this attitude. Note that the metaphysics is left wide open, so never let logicians hijack the metaphysical problem of properties.
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.
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.
Perception an open hand, a fist is 'grasping', and holding that fist is knowledge [Zeno of Citium, by Long]
     Full Idea: Zeno said perceptions starts like an open hand; then the assent by our governing-principle is partly closing the hand; then full 'grasping' is like making a fist; and finally knowledge is grasping the fist with the other hand.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by A.A. Long - Hellenistic Philosophy 4.3.1
     A reaction: [In Cicero, Acad 2.145] It sounds as if full knowledge requires meta-cognition - knowing that you know.
11. Knowledge Aims / A. Knowledge / 7. Knowledge First
A grasp by the senses is true, because it leaves nothing out, and so nature endorses it [Zeno of Citium, by Cicero]
     Full Idea: He thought that a grasp made by the senses was true and reliable, …because it left out nothing about the object that could be grasped, and because nature had provided this grasp as a standard of knowledge, and a basis for understanding nature itself.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.42
     A reaction: Sounds like Williamson's 'knowledge first' claim - that the basic epistemic state is knowledge, which we have when everything is working normally. I like Zeno's idea that a 'grasp' leaves nothing out about the object. Compare nature with Descartes' God.
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).
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
If a grasped perception cannot be shaken by argument, it is 'knowledge' [Zeno of Citium, by Cicero]
     Full Idea: What had been grasped by sense-perception, he called this itself a 'sense-perception', and if it was grasped in such a way that it could not be shaken by argument he called it 'knowledge'. And between knowledge and ignorance he placed the 'grasp'.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.41
     A reaction: This seems to say that a grasped perception is knowledge if there is no defeater.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / d. Rational foundations
A presentation is true if we judge that no false presentation could appear like it [Zeno of Citium, by Cicero]
     Full Idea: I possess a standard enabling me to judge presentations to be true when they have a character of a sort that false ones could not have.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica II.18.58
     A reaction: [This is a spokesman in Cicero for the early Stoic view] No sceptic will accept this, but it is pretty much how I operate. If you see something weird, like a leopard wandering wild in Hampshire, you believe it once you have eliminated possible deceptions.
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.
16. Persons / F. Free Will / 6. Determinism / a. Determinism
When a slave said 'It was fated that I should steal', Zeno replied 'Yes, and that you should be beaten' [Zeno of Citium, by Diog. Laertius]
     Full Idea: When a slave who was being beaten for theft said, 'It was fated that I should steal', Zeno replied, 'Yes, and that you should be beaten.'
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.19
A dog tied to a cart either chooses to follow and is pulled, or it is just pulled [Zeno of Citium, by Hippolytus]
     Full Idea: Zeno and Chrysippus say everything is fated with the following model: when a dog is tied to a cart, if it wants to follow it is pulled and follows, making its spontaneous act coincide with necessity, but if it does not want to follow it will be compelled.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Hippolytus - Refutation of All Heresies §1.21
     A reaction: A nice example, but it is important to keep the distinction clear between freedom and free will. The dog lacks freedom as it is dragged along, but it is still free to will that it is asleep in its kennel.
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
Incorporeal substances can't do anything, and can't be acted upon either [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that an incorporeal substance was incapable of any activity, whereas anything capable of acting, or being acted upon in any way, could not be incorporeal.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.11.39
     A reaction: This is substance dualism kicked into the long grass by Zeno, long before Descartes defended dualism, and was swiftly met with exactly the same response. The interaction problem.
17. Mind and Body / E. Mind as Physical / 5. Causal Argument
A body is required for anything to have causal relations [Zeno of Citium, by Cicero]
     Full Idea: Zeno held (contrary to Xenocrates and others) that it was impossible for anything to be effected that lacked a body, and indeed that whatever effected something or was affected by something must be body.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.39
     A reaction: This seems to make stoics thoroughgoing physicalists, although they consider the mind to be made of refined fire, rather than of flesh.
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 / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
A sentence always has signification, but a word by itself never does [Zeno of Citium, by Diog. Laertius]
     Full Idea: A sentence is always significative of something, but a word by itself has no signification.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.28
     A reaction: This is the Fregean dogma. Words obviously can signify, but that is said to be parasitic on their use in sentences. It feels like a false dichotomy to me. Much sentence meaning is compositional.
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!
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
Zeno said live in agreement with nature, which accords with virtue [Zeno of Citium, by Diog. Laertius]
     Full Idea: Zeno first (in his book On Human Nature) said that the goal was to live in agreement with nature, which is to live according to virtue.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.87
     A reaction: The main idea seems to be Aristotelian - that the study of human nature reveals what our virtues are, and following them is what nature requires. Nature is taken to be profoundly rational.
Since we are essentially rational animals, living according to reason is living according to nature [Zeno of Citium, by Diog. Laertius]
     Full Idea: As reason is given to rational animals according to a more perfect principle, it follows that to live correctly according to reason, is properly predicated of those who live according to nature.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.52
     A reaction: This is the key idea for understanding what the stoics meant by 'live according to nature'. The modern idea of rationality doesn't extend to 'perfect principles', however.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
The goal is to 'live in agreement', according to one rational consistent principle [Zeno of Citium, by Stobaeus]
     Full Idea: Zeno says the goal of life is 'living in agreement', which means living according to a single and consonant rational principle, since those who live in conflict are unhappy.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by John Stobaeus - Anthology 2.06a
     A reaction: If there is a 'single' principle, is it possible to state it? To live by consistent principles sets the bar incredibly high, as any professional philosopher can tell you.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Zeno saw virtue as a splendid state, not just a source of splendid action [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that not merely the exercise of virtue, as his predecessors held, but the mere state of virtue is in itself a splendid thing, although nobody possesses virtue without continuously exercising it.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.10.38
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
One of Zeno's books was 'That Which is Appropriate' [Zeno of Citium, by Long]
     Full Idea: Zeno of Citium wrote a (lost) book entitled 'That Which is Appropriate'.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by A.A. Long - Hellenistic Philosophy 4.1
     A reaction: I cite this because I take it to be about what in Aristotle called 'the mean' - to emphasise that the mean is not what is average, or midway between the extremes, but what is a balanced response to each situation
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Zeno says there are four main virtues, which are inseparable but distinct [Zeno of Citium, by Plutarch]
     Full Idea: Zeno (like Plato) admits a plurality of specifically different virtues, namely prudence, courage, sobriety, justice, which he takes to be inseparable but yet distinct and different from one another.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Plutarch - 70: Stoic Self-contradictions 1034c
     A reaction: In fact, the virtues are 'supervenient' on one another, which is the doctrine of the unity of virtue. Zeno is not a pluralist in the way Aristotle is - who says there are other goods apart from the virtues.
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.
27. Natural Reality / C. Space / 1. Void
There is no void in the cosmos, but indefinite void outside it [Zeno of Citium, by Ps-Plutarch]
     Full Idea: Zeno and his followers say that there is no void within the cosmos but an indefinite void outside it.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Pseudo-Plutarch - On the Doctrine of the Philosophers 884a
     A reaction: Only atomists (such as Epicureans) need void within the cosmos, as space within which atoms can move. What would they make of modern 'fields'? Posidonius later said there was sufficient, but not infinite, void.
27. Natural Reality / E. Cosmology / 1. Cosmology
Things are more perfect if they have reason; nothing is more perfect than the universe, so it must have reason [Zeno of Citium]
     Full Idea: That which has reason is more perfect than that which has not. But there is nothing more perfect than the universe; therefore the universe is a rational being.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') II.20
Since the cosmos produces what is alive and rational, it too must be alive and rational [Zeno of Citium]
     Full Idea: Nothing which lacks life and reason can produce from itself something which is alive and rational; but the cosmos can produce from itself things which are alive and rational; therefore the cosmos is alive and rational.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') 2.22
     A reaction: Eggs and sperm don't seem to be rational, but I don't suppose they count. I note that this is presented as a formal proof, when actually it is just an evaluation of evidence. Logic as rhetoric, I would say.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Rational is better than non-rational; the cosmos is supreme, so it is rational [Zeno of Citium]
     Full Idea: That which is rational is better than that which is not rational; but there is nothing better than the cosmos; therefore, the cosmos is rational.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') 2.21
     A reaction: This looks awfully like Anselm's ontological argument to me. The cosmos was the greatest thing that Zeno could conceive.
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
If tuneful flutes grew on olive trees, you would assume the olive had some knowledge of the flute [Zeno of Citium]
     Full Idea: If flutes playing tunes were to grow on olive trees, would you not infer that the olive must have some knowledge of the flute?
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') II.22
28. God / C. Attitudes to God / 2. Pantheism
The cosmos and heavens are the substance of god [Zeno of Citium, by Diog. Laertius]
     Full Idea: Zeno says that the entire cosmos and the heaven are the substance of god.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.148
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).