58 ideas
| 162 | Can we understand an individual soul without knowing the soul in general? [Plato] |
| Full Idea: Do you think it possible to form an adequate conception of the nature of an individual soul without considering the nature of soul in general? | |
| From: Plato (Phaedrus [c.366 BCE], 270c) | |
| A reaction: Do animals understand anything (as opposed to simply being aware of things)? |
| 160 | The highest ability in man is the ability to discuss unity and plurality in the nature of things [Plato] |
| Full Idea: When I believe that I have found in anyone the ability to discuss unity and plurality as they exist in the nature of things, I follow his footsteps as if he was a god. | |
| From: Plato (Phaedrus [c.366 BCE], 266b) | |
| A reaction: This sounds like the problem of identity, which is at the heart of modern metaphysics. |
| 166 | A speaker should be able to divide a subject, right down to the limits of divisibility [Plato] |
| Full Idea: A speaker must be able to define a subject generically, and then to divide it into its various specific kinds until he reaches the limits of divisibility. | |
| From: Plato (Phaedrus [c.366 BCE], 277b) |
| 5831 | The new view is that "water" is a name, and has no definition [Schwartz,SP] |
| Full Idea: Perhaps the modern view is best expressed as saying that "water" has no definition at all, at least in the traditional sense, and is a proper name of a specific substance. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: This assumes that proper names have no definitions, though I am not clear how we can grasp the name 'Aristotle' without some association of properties (human, for example) to go with it. We need a definition of 'definition'. |
| 9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
| Full Idea: Until the 1960s standard truth-table semantics were the only ones that there were. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.10.1) | |
| A reaction: The 1960s presumably marked the advent of possible worlds. |
| 9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
| Full Idea: 'dom R' indicates the 'domain' of a relation, that is, the set of all objects that are members of ordered pairs and that have that relation. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
| Full Idea: 'fld R' indicates the 'field' of a relation, that is, the set of all objects that are members of ordered pairs on either side of the relation. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
| Full Idea: 'ran R' indicates the 'range' of a relation, that is, the set of all objects that are members of ordered pairs and that are related to by the first objects. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
| Full Idea: We write F : A → B to indicate that A maps into B, that is, the domain of relating things is set A, and the things related to are all in B. If we add that F = B, then A maps 'onto' B. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
|
Full Idea:
F(x) is a 'function', which indicates the unique value which y takes in |
|
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
| Full Idea: The 'powerset' of a set is all the subsets of a given set. Thus: PA = {x : x ⊆ A}. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
| Full Idea: Two sets are 'disjoint' iff their intersection is empty (i.e. they have no members in common). | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
| Full Idea: The 'domain' of a relation is the set of all objects that are members of ordered pairs that are members of the relation. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9701 | A 'relation' is a set of ordered pairs [Enderton] |
| Full Idea: A 'relation' is a set of ordered pairs. The ordering relation on the numbers 0-3 is captured by - in fact it is - the set of ordered pairs {<0,1>,<0,2>,<0,3>,<1,2>,<1,3>,<2,3>}. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) | |
| A reaction: This can't quite be a definition of order among numbers, since it relies on the notion of a 'ordered' pair. |
| 9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
| Full Idea: A 'function' is a relation which is single-valued. That is, for each object, there is only one object in the function set to which that object is related. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
| Full Idea: A function 'maps A into B' if the domain of relating things is set A, and the things related to are all in B. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
| Full Idea: A function 'maps A onto B' if the domain of relating things is set A, and the things related to are set B. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
| Full Idea: A relation is 'reflexive' on a set if every member of the set bears the relation to itself. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
| Full Idea: A relation is 'symmetric' on a set if every ordered pair in the set has the relation in both directions. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
| Full Idea: A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
| Full Idea: A relation is 'transitive' on a set if the relation can be carried over from two ordered pairs to a third. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
| Full Idea: A relation satisfies 'trichotomy' on a set if every ordered pair is related (in either direction), or the objects are identical. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
| Full Idea: An 'equivalence relation' is a binary relation which is reflexive, and symmetric, and transitive. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
| Full Idea: Equivalence classes will 'partition' a set. That is, it will divide it into distinct subsets, according to each relation on the set. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], Ch.0) |
| 9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
| Full Idea: The process is dubbed 'conversational implicature' when the inference is not from the content of what has been said, but from the fact that it has been said. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7.3) |
| 9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
| Full Idea: The point of logic is to give an account of the notion of validity,..in two standard ways: the semantic way says that a valid inference preserves truth (symbol |=), and the proof-theoretic way is defined in terms of purely formal procedures (symbol |-). | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.3..) | |
| A reaction: This division can be mirrored in mathematics, where it is either to do with counting or theorising about things in the physical world, or following sets of rules from axioms. Language can discuss reality, or play word-games. |
| 5829 | We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP] |
| Full Idea: We can refer to Thales by using the name "Thales" even though perhaps the only description we can supply is false of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: It is not clear what we would be referring to if all of our descriptions (even 'Greek philosopher') were false. If an archaeologist finds just a scrap of stone with a name written on it, that is hardly a sufficient basis for successful reference. |
| 5830 | The traditional theory of names says some of the descriptions must be correct [Schwartz,SP] |
| Full Idea: The traditional theory of proper names entails that at least some combination of the things ordinarily believed of Aristotle are necessarily true of him. | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §III) | |
| A reaction: Searle endorses this traditional theory. Kripke and co. tried to dismiss it, but you can't. If all descriptions of Aristotle turned out to be false (it was actually the name of a Persian statue), our modern references would have been unsuccessful. |
| 9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
| Full Idea: A is a logical truth (tautology) (|= A) iff it is a semantic consequence of the empty set of premises (φ |= A), that is, every interpretation makes A true. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.3.4) | |
| A reaction: So the final column of every line of the truth table will be T. |
| 9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
| Full Idea: A truth assignment 'satisfies' a formula, or set of formulae, if it evaluates as True when all of its components have been assigned truth values. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.2) | |
| A reaction: [very roughly what Enderton says!] The concept becomes most significant when a large set of wff's is pronounced 'satisfied' after a truth assignment leads to them all being true. |
| 9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
| Full Idea: If every proof-theoretically valid inference is semantically valid (so that |- entails |=), the proof theory is said to be 'sound'. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7) |
| 9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
| Full Idea: If every semantically valid inference is proof-theoretically valid (so that |= entails |-), the proof-theory is said to be 'complete'. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.1.7) |
| 9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
| Full Idea: If a wff is tautologically implied by a set of wff's, it is implied by a finite subset of them; and if every finite subset is satisfiable, then so is the whole set of wff's. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5) | |
| A reaction: [Enderton's account is more symbolic] He adds that this also applies to models. It is a 'theorem' because it can be proved. It is a major theorem in logic, because it brings the infinite under control, and who doesn't want that? |
| 9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
| Full Idea: A set of expressions is 'decidable' iff there exists an effective procedure (qv) that, given some expression, will decide whether or not the expression is included in the set (i.e. doesn't contradict it). | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.7) | |
| A reaction: This is obviously a highly desirable feature for a really reliable system of expressions to possess. All finite sets are decidable, but some infinite sets are not. |
| 9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
| Full Idea: The Enumerability Theorem says that for a reasonable language, the set of valid wff's can be effectively enumerated. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 2.5) | |
| A reaction: There are criteria for what makes a 'reasonable' language (probably specified to ensure enumerability!). Predicates and functions must be decidable, and the language must be finite. |
| 7953 | Reasoning needs to cut nature accurately at the joints [Plato] |
| Full Idea: In our reasoning we need a clear view of the ability to divide a genus into species, observing the natural joints, not mangling any of the parts, like an unskilful butcher. | |
| From: Plato (Phaedrus [c.366 BCE], 265d) | |
| A reaction: In modern times this Platonic idea has become the standard metaphor for realism. I endorse it. I think nature has joints, and we should hunt for them. There are natural sets. The joints may exist in abstract concepts, as well as in objects. |
| 16121 | I revere anyone who can discern a single thing that encompasses many things [Plato] |
| Full Idea: If I believe that someone is capable of discerning a single thing that is also by nature capable of encompassing many, I follow 'straight behind, in his footsteps, as if he were a god'. | |
| From: Plato (Phaedrus [c.366 BCE], 266b) | |
| A reaction: [Plato quote Odyssey 2.406] This is the sort of simple but profound general observation which only the early philosophers bothered to make, and no one comments on now. Encompassing many under one is the very essence of thinking. |
| 153 | It takes a person to understand, by using universals, and by using reason to create a unity out of sense-impressions [Plato] |
| Full Idea: It takes a man to understand by the use of universals, and to collect out of the multiplicity of sense-impressions a unity arrived at by a process of reason. | |
| From: Plato (Phaedrus [c.366 BCE], 249b) |
| 154 | We would have an overpowering love of knowledge if we had a pure idea of it - as with the other Forms [Plato] |
| Full Idea: What overpowering love knowledge would inspire if it could bring a clear image of itself before our sight, and the same may be said of the other forms. | |
| From: Plato (Phaedrus [c.366 BCE], 250d) | |
| A reaction: the motivation in Plato's theory |
| 9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
| Full Idea: Not all sentences using 'if' are conditionals. Consider 'if you want a banana, there is one in the kitchen'. The rough test is that a conditional can be rewritten as 'that A implies that B'. | |
| From: Herbert B. Enderton (A Mathematical Introduction to Logic (2nd) [2001], 1.6.4) |
| 151 | True knowledge is of the reality behind sense experience [Plato] |
| Full Idea: True knowledge is concerned with the abode of true reality, without colour or shape, intangible but utterly real, apprehensible only to the intellect. | |
| From: Plato (Phaedrus [c.366 BCE], 247c) |
| 165 | If the apparent facts strongly conflict with probability, it is in everyone's interests to suppress the facts [Plato] |
| Full Idea: There are some occasions when both prosecution and defence should positively suppress the facts in favour of probability, if the facts are improbable. | |
| From: Plato (Phaedrus [c.366 BCE], 272e) |
| 9296 | The soul is self-motion [Plato] |
| Full Idea: Self-motion is of the very nature of the soul. | |
| From: Plato (Phaedrus [c.366 BCE], 245e) | |
| A reaction: This culminates a length discussion of the soul. He gives an implausible argument that the soul is immortal, because it could never cease its self-motion. Why are we so unimpressed by motion, when the Greeks were amazed by it? |
| 23997 | Plato saw emotions and appetites as wild horses, in need of taming [Plato, by Goldie] |
| Full Idea: Plato had a conception of the emotions and our bodily appetites as being like wild horses, to be harnassed and controlled by reason. | |
| From: report of Plato (Phaedrus [c.366 BCE]) by Peter Goldie - The Emotions 4 'Education' | |
| A reaction: This seems to make Plato the patriarch of puritanism. See Symposium, as well as Phaedrus. But bringing up children can often seem like taming wild beasts. |
| 5826 | The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP] |
| Full Idea: The conjunction of properties associated with a term such as "lemon" is often called the intension of the term "lemon". | |
| From: Stephen P. Schwartz (Intro to Naming,Necessity and Natural Kinds [1977], §II) | |
| A reaction: The extension of "lemon" is the set of all lemons. At last, a clear explanation of the word 'intension'! The debate becomes clear - over whether the terms of a language are used in reference to ideas of properties (and substances?), or to external items. |
| 5946 | 'Phaedrus' pioneers the notion of philosophical rhetoric [Lawson-Tancred on Plato] |
| Full Idea: The purpose of the 'Phaedrus' is to pioneer the notion of philosophical rhetoric. | |
| From: comment on Plato (Phaedrus [c.366 BCE], Ch.10) by Hugh Lawson-Tancred - Plato's Republic and Greek Enlightenment | |
| A reaction: This is a wonderfully challenging view of what Plato was up to. One might connect it with Rorty's claim that philosophy should move away from epistemology and analysis, towards hermeneutics, which sounds to me like rhetoric. 'Phaedrus' is beautiful. |
| 159 | Only a good philosopher can be a good speaker [Plato] |
| Full Idea: Unless a man becomes an adequate philosopher he will never be an adequate speaker on any subject. | |
| From: Plato (Phaedrus [c.366 BCE], 261a) | |
| A reaction: Depends. Hitler showed little sign of clear philosophical thinking, but the addition of lights and uniforms seemed to sweep reasonably intelligent people along with him. |
| 158 | An excellent speech seems to imply a knowledge of the truth in the mind of the speaker [Plato] |
| Full Idea: If a speech is to be classed as excellent, does that not presuppose knowledge of the truth about the subject of the speech in the mind of the speaker. | |
| From: Plato (Phaedrus [c.366 BCE], 259e) | |
| A reaction: I like the thought that Plato's main interest was rhetoric, but with the view that the only good rhetoric is truth-speaking. It would be hard to admire a speech if you disagreed with it. |
| 155 | Beauty is the clearest and most lovely of the Forms [Plato] |
| Full Idea: Only beauty has the privilege of being the most clearly discerned and the most lovely of the forms. | |
| From: Plato (Phaedrus [c.366 BCE], 250e) | |
| A reaction: the motivation in Plato's theory |
| 143 | The two ruling human principles are the natural desire for pleasure, and an acquired love of virtue [Plato] |
| Full Idea: In each one of us there are two ruling and impelling principles: a desire for pleasure, which is innate, and an acquired conviction which causes us to aim at excellence. | |
| From: Plato (Phaedrus [c.366 BCE], 237d) | |
| A reaction: This division is too neat and simple. An obsession with pleasure I would take to be acquired. If you set out to do something, I think there is an innate desire to do it well. |
| 157 | Most pleasure is release from pain, and is therefore not worthwhile [Plato] |
| Full Idea: Life is not worth living for pleasures whose enjoyment entirely depends on previous sensation of pain, like almost all physical pleasures. | |
| From: Plato (Phaedrus [c.366 BCE], 258e) | |
| A reaction: Eating exotic food which is hard to obtain? (Pay someone to obtain it). Rock climbing. Training for sport. |
| 144 | Reason impels us towards excellence, which teaches us self-control [Plato] |
| Full Idea: The conviction which impels us towards excellence is rational, and the power by which it masters us we call self-control. | |
| From: Plato (Phaedrus [c.366 BCE], 237e) |
| 156 | Bad people are never really friends with one another [Plato] |
| Full Idea: It is not ordained that bad men should be friends with one another. | |
| From: Plato (Phaedrus [c.366 BCE], 255b) |
| 148 | If the prime origin is destroyed, it will not come into being again out of anything [Plato] |
| Full Idea: If the prime origin is destroyed, it will not come into being again out of anything. | |
| From: Plato (Phaedrus [c.366 BCE], 245d) | |
| A reaction: This is the essence of Aquinas's Third Way of proving God's existence. |
| 152 | The mind of God is fully satisfied and happy with a vision of reality and truth [Plato] |
| Full Idea: The mind of a god, sustained by pure intelligence and knowledge, is satisfied with the vision of reality, and nourished and made happy by the vision of truth. | |
| From: Plato (Phaedrus [c.366 BCE], 247d) |
| 150 | We cannot conceive of God, so we have to think of Him as an immortal version of ourselves [Plato] |
| Full Idea: Because we have never seen or formed an adequate idea of a god, we picture him to ourselves as a being of the same kind as ourselves but immortal. | |
| From: Plato (Phaedrus [c.366 BCE], 246d) |
| 149 | There isn't a single reason for positing the existence of immortal beings [Plato] |
| Full Idea: There is not a single sound reason for positing the existence of such a being who is immortal | |
| From: Plato (Phaedrus [c.366 BCE], 246d) |
| 146 | Soul is always in motion, so it must be self-moving and immortal [Plato] |
| Full Idea: All soul is immortal, for what is always in motion is immortal. Only that which moves itself never ceases to be in motion. | |
| From: Plato (Phaedrus [c.366 BCE], 245c) |