30 ideas
| 12036 | Xenophanes began the concern with knowledge [Annas] |
| Full Idea: Xenophanes begins a long concern with knowledge and its grounds. | |
| From: Julia Annas (Ancient Philosophy: very short introduction [2000], Intro) | |
| A reaction: Having that on his cv ought to make Xenophanes more famous than he is. |
| 12046 | Plato was the first philosopher who was concerned to systematize his ideas [Annas] |
| Full Idea: In the ancient world Plato was seen as a pivotal figure, the first philosopher who was concerned to systematize his ideas. | |
| From: Julia Annas (Ancient Philosophy: very short introduction [2000], Ch.6) |
| 1403 | A rational donkey would starve to death between two totally identical piles of hay [Buridan, by PG] |
| Full Idea: A rational donkey faced with two totally identical piles of hay would be unable to decide which one to eat first, and would therefore starve to death | |
| From: report of Jean Buridan (talk [1338]) by PG - Db (ideas) | |
| A reaction: also De Caelo 295b32 (Idea 19740). |
| 10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
| Full Idea: In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: Hence people now standardly accept ZFC, rather than just ZF. |
| 10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
| Full Idea: Zermelo's Axiom of Choice asserts that for any set of non-empty sets that (pairwise) have no elements in common, then there is a set that 'simultaneously chooses' exactly one element from each set. Note that this is an existential claim. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The Axiom is now widely accepted, after much debate in the early years. Even critics of the Axiom turn out to be relying on it. |
| 10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
| Full Idea: The Axiom of Choice seems clearly true from the Platonistic point of view, independently of how sets may be defined, but is rejected by those who think such existential claims must show how to pick out or define the object claimed to exist. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The typical critics are likely to be intuitionists or formalists, who seek for both rigour and a plausible epistemology in our theory. |
| 10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
| Full Idea: The Trichotomy Principle (any number is less, equal to, or greater than, another number) turned out to be equivalent to the Axiom of Choice. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: [He credits Sierpinski (1918) with this discovery] |
| 10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
| Full Idea: The Axiom of Choice is a pure existence statement, without defining conditions. It was necessary to provide a foundation for Cantor's theory of transfinite cardinals and ordinal numbers, but its nonconstructive character engendered heated controversy. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) |
| 10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
| Full Idea: A structure is said to be a 'model' of an axiom system if each of its axioms is true in the structure (e.g. Euclidean or non-Euclidean geometry). 'Model theory' concerns which structures are models of a given language and axiom system. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This strikes me as the most interesting aspect of mathematical logic, since it concerns the ways in which syntactic proof-systems actually connect with reality. Tarski is the central theoretician here, and his theory of truth is the key. |
| 10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
| Full Idea: In the late 1950s Tarski and Vaught defined and established basic properties of the relation of elementary equivalence between two structures, which holds when they make true exactly the same first-order sentences. This is fundamental to model theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This is isomorphism, which clarifies what a model is by giving identity conditions between two models. Note that it is 'first-order', and presumably founded on classical logic. |
| 10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
| Full Idea: The Löwenheim-Skolem Theorem, the earliest in model theory, states that if a countable set of sentences in a first-order language has a model, then it has a countable model. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: There are 'upward' (sentences-to-model) and 'downward' (model-to-sentences) versions of the theory. |
| 10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
| Full Idea: Before Tarski's work in the 1930s, the main results in model theory were the Löwenheim-Skolem Theorem, and Gödel's establishment in 1929 of the completeness of the axioms and rules for the classical first-order predicate (or quantificational) calculus. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
| Full Idea: Completeness is when, if a sentences holds in every model of a theory, then it is logically derivable from that theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
| Full Idea: 'Recursion theory' is the subject of what can and cannot be solved by computing machines | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Ch.9) | |
| A reaction: This because 'recursion' will grind out a result step-by-step, as long as the steps will 'halt' eventually. |
| 10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
| Full Idea: In 1936 Church showed that Principia Mathematica is undecidable if it is ω-consistent, and a year later Rosser showed that Peano Arithmetic is undecidable, and any consistent extension of it. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int IV) |
| 16678 | Without magnitude a thing would retain its parts, but they would have no location [Buridan] |
| Full Idea: If magnitude were removed from matter by divine power, it would still have parts distinct from one another, but they would not be positioned either outside one another or inside one another, because position would be removed. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.8 f. 11va), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 14.4 | |
| A reaction: This shows why Quantity is such an important category for scholastic philosopher. |
| 16793 | A thing is (less properly) the same over time if each part is succeeded by another [Buridan] |
| Full Idea: Less properly, one thing is said to be numerically the same as another according to the continuity of distinct parts, one in succession after another. In this way the Seine is said to be the same river after a thousand years. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.10, f. 13vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 29.3 | |
| A reaction: This is a rather good solution to the difficulty of the looser non-transitive notion of a thing being 'the same'. The Ship of Theseus endures (in the simple case) as long as you remember to replace each departing plank. Must some parts be originals? |
| 16726 | Why can't we deduce secondary qualities from primary ones, if they cause them? [Buridan] |
| Full Idea: The entire difficulty in this question is why through a knowledge of the primary tangible qualities we cannot come to a knowledge of flavors or odors, since these are their causes, since we often go from knowledge of causes to knowing their effects. | |
| From: Jean Buridan (Questions on Aristotle's Posterior Analytics [1344], I.28c), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.2 | |
| A reaction: He is commenting on Idea 16725. Still a nice puzzle in the philosophy of mind. Will neuroscientists ever be able to infer to actual character of some quale, just from the structures of the neurons? |
| 16577 | Induction is not demonstration, because not all of the instances can be observed [Buridan] |
| Full Idea: Inductions are not demonstrations, because they do not conclude on account of their form, since it is not possible to make an induction from all cases. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3 | |
| A reaction: Thus showing that demonstration really is meant to be as conclusive as a mathematical proof, and that Aristotle seems to think such a thing is possible in physical science. |
| 16576 | Science is based on induction, for general truths about fire, rhubarb and magnets [Buridan] |
| Full Idea: Induction should be regarded as a principle of natural science. For otherwise you could not prove that every fire is hot, that all rhubarb is purgative of bile, that every magnet attracts iron. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3 | |
| A reaction: He is basing this on Aristotle, and refers to 'Physics' 190a33-b11. |
| 3546 | 'Phronesis' should translate as 'practical intelligence', not as prudence [Annas] |
| Full Idea: The best translation of 'phronesis' is probably not 'prudence' (which implies a non-moral motive), or 'practical wisdom' (which makes it sound contemplative), but 'practical intelligence', or just 'intelligence'. | |
| From: Julia Annas (The Morality of Happiness [1993], 2.3) |
| 12037 | Euripides's Medea is a key case of reason versus the passions [Annas] |
| Full Idea: Euripides's Medea has remained a key case for discussion of reason and the passions. | |
| From: Julia Annas (Ancient Philosophy: very short introduction [2000], Ch.1) |
| 3547 | Epicureans achieve pleasure through character development [Annas] |
| Full Idea: Since having a virtue does not reduce to performing certain kinds of acts, the Epicurean will achieve pleasure only by aiming at being a certain kind of person. | |
| From: Julia Annas (The Morality of Happiness [1993], 2.4) | |
| A reaction: No Epicurean would want to merely possess virtues, without enacting them. I assume that virtues are sought as guides to finding the finest pleasures (such as friendship). |
| 3543 | Cyrenaics pursue pleasure, but don't equate it with happiness [Annas] |
| Full Idea: Cyrenaics claimed our final good was pleasure, best achieved by seeking maximum intensity of pleasurable experiences, but they explicitly admitted that this was not happiness. | |
| From: Julia Annas (The Morality of Happiness [1993], 1) |
| 12040 | Virtue is a kind of understanding of moral value [Annas] |
| Full Idea: There is a widespread view in ancient ethics that virtue is a kind of understanding of moral value. | |
| From: Julia Annas (Ancient Philosophy: very short introduction [2000], Ch.3) | |
| A reaction: In Aristotle's case, this coincides with his apparent view that 'understanding' is the aim of all areas of human thought. See Idea 12038. |
| 3541 | Ancient ethics uses attractive notions, not imperatives [Annas] |
| Full Idea: Instead of modern 'imperative' notions of ethics (involving obligation, duty and rule-following), ancient ethics uses 'attractive' notions like those of goodness and worth | |
| From: Julia Annas (The Morality of Happiness [1993], Intro) |
| 3550 | Principles cover life as a whole, where rules just cover actions [Annas] |
| Full Idea: Principles concern not just types of actions, but one's life as a whole, grasping truths about the nature of justice, and the like; they explain rules, giving the 'why' and not just the 'what'. | |
| From: Julia Annas (The Morality of Happiness [1993], 2.4) |
| 3551 | Virtue theory tries to explain our duties in terms of our character [Annas] |
| Full Idea: An ethics of virtue moves from an initial interest in what we ought to do to an interest in the kinds of people we are and hope to be, because the latter is taken to be the best way of understanding the former. | |
| From: Julia Annas (The Morality of Happiness [1993], 2.5) |
| 3552 | If excessively good actions are admirable but not required, then duty isn't basic [Annas] |
| Full Idea: Supererogatory actions are admirable and valuable, and we praise people for doing them, but they do not generate obligations to perform them, which casts doubt on obligation as the basic notion in ethics. | |
| From: Julia Annas (The Morality of Happiness [1993], 2.6) |
| 3542 | We should do good when necessary, not maximise it [Annas] |
| Full Idea: Why should I want to maximise my acting courageously? I act courageously when it is required. | |
| From: Julia Annas (The Morality of Happiness [1993], 1) |