Combining Texts

All the ideas for 'reports', 'Maths as a Science of Patterns' and 'City of God'

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


27 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius]
     Full Idea: He studied philosophy on the principle of suspending his judgement on all points.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.3
     A reaction: In what sense was Pyrrho a philosopher, then? He must have asserted SOME generalised judgments.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius]
     Full Idea: The Sceptics say that they only employ reason as an instrument, because it is impossible to overturn the authority of reason, without employing reason.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.8
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Axioms are often affirmed simply because they produce results which have been accepted [Resnik]
     Full Idea: Many axioms have been proposed, not on the grounds that they can be directly known, but rather because they produce a desired body of previously recognised results.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.5.1)
     A reaction: This is the perennial problem with axioms - whether we start from them, or whether we deduce them after the event. There is nothing wrong with that, just as we might infer the existence of quarks because of their results.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik]
     Full Idea: Mathematical realism is the doctrine that mathematical objects exist, that much contemporary mathematics is true, and that the existence and truth in question is independent of our constructions, beliefs and proofs.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.12.9)
     A reaction: As thus defined, I would call myself a mathematical realist, but everyone must hesitate a little at the word 'exist' and ask, how does it exist? What is it 'made of'? To say that it exists in the way that patterns exist strikes me as very helpful.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik]
     Full Idea: In maths the primary subject-matter is not mathematical objects but structures in which they are arranged; our constants and quantifiers denote atoms, structureless points, or positions in structures; they have no identity outside a structure or pattern.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.1)
     A reaction: This seems to me a very promising idea for the understanding of mathematics. All mathematicians acknowledge that the recognition of patterns is basic to the subject. Even animals recognise patterns. It is natural to invent a language of patterns.
Sets are positions in patterns [Resnik]
     Full Idea: On my view, sets are positions in certain patterns.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.5)
     A reaction: I have always found the ontology of a 'set' puzzling, because they seem to depend on prior reasons why something is a member of a given set, which cannot always be random. It is hard to explain sets without mentioning properties.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
     Full Idea: An objection is that structuralism fails to explain why certain mathematical patterns are unified wholes while others are not; for instance, some think that an ontological account of mathematics must explain why a triangle is not a 'random' set of points.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.4)
     A reaction: This is an indication that we are not just saying that we recognise patterns in nature, but that we also 'see' various underlying characteristics of the patterns. The obvious suggestion is that we see meta-patterns.
There are too many mathematical objects for them all to be mental or physical [Resnik]
     Full Idea: If we take mathematics at its word, there are too many mathematical objects for it to be plausible that they are all mental or physical objects.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.1)
     A reaction: No one, of course, has ever claimed that they are, but this is a good starting point for assessing the ontology of mathematics. We are going to need 'rules', which can deduce the multitudinous mathematical objects from a small ontology.
Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
     Full Idea: I argue that mathematical knowledge has its roots in pattern recognition and representation, and that manipulating representations of patterns provides the connection between the mathematical proof and mathematical truth.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.1)
     A reaction: The suggestion that patterns are at the basis of the ontology of mathematics is the most illuminating thought I have encountered in the area. It immediately opens up the possibility of maths being an entirely empirical subject.
Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
     Full Idea: Of the equivalence relationships which occur between patterns, congruence is the strongest, equivalence the next, and mutual occurrence the weakest. None of these is identity, which would require the same position.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.3)
     A reaction: This gives some indication of how an account of mathematics as a science of patterns might be built up. Presumably the recognition of these 'degrees of strength' cannot be straightforward observation, but will need an a priori component?
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine]
     Full Idea: Since therefore I must exist in order to be mistaken, then even if I am mistaken, there can be no doubt that I am not mistaken in my knowledge that I exist…. I know that I exist, and I also know that I know.
     From: Augustine (City of God [c.427], Ch.XI.26)
     A reaction: Fine, but the main problem is his over-confidence about a stable personal identity that does the thinking.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin]
     Full Idea: Against the Stoics, the Pyrrhonians argued that if someone presents a criterion of truth, then it will be important to determine whether it is the correct criterion.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: Hence Davidson says that attempts to define truth are 'folly'. If something has to be taken as basic, then truth seems a good candidate (since, for example, logical operators could not otherwise be defined by means of 'truth' tables).
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin]
     Full Idea: The attacks of the Pyrrhonian sceptics are directed against the dogmas of the 'professors', not against the beliefs of the common people pursuing the business of daily life.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: This may be because they thought that ordinary people were too confused to be worth attacking, rather than because they lived in a state of beautifully appropriate beliefs. Naïve realism is certainly worth attacking.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin]
     Full Idea: The ancient Academic sceptics charged the Pyrrhonian sceptics with 'negative dogmatism' when they claimed that a certain kind of knowledge is impossible.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: It is this kind of point which should push us towards some sort of rationalism, because certain a priori 'dogmas' seem to be indispensable to get any sort of discussion off the ground. The only safe person is Cratylus (see Idea 578).
13. Knowledge Criteria / E. Relativism / 1. Relativism
Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius]
     Full Idea: Fifth mode: judgements vary according to local custom, law and culture (Persians marry their daughters).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius]
     Full Idea: Third mode: things like an apple vary according to which sense perceives them (yellow, sweet, and fragrant).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius]
     Full Idea: Seventh mode: perception varies according to viewing distance and angle (the sun, and a dove's neck).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius]
     Full Idea: Tenth mode: perceptions and judgements depend on comparison (light/heavy, above/below).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius]
     Full Idea: Second mode: individual men vary in responses and feelings (heat and cold, for example).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius]
     Full Idea: First mode: animals vary in their feelings and judgements (of food, for example).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius]
     Full Idea: Fourth mode: perceivers vary in their mental and physical state (such as the mad and the sick).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius]
     Full Idea: Eighth mode: perceptions of things depend on their magnitude or quantity (food and wine).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius]
     Full Idea: Sixth mode: the perception of an object depends on surrounding conditions (sunlight and lamplight).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius]
     Full Idea: Ninth mode: we perceive things according to what we expect (earthquakes and sunshine).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
The contact of spirit and body is utterly amazing, and incomprehensible [Augustine]
     Full Idea: The manner of contact of spirit with body, which produces a living being, is utterly amazing and beyond our powers of comprehension
     From: Augustine (City of God [c.427], XXI.10)
     A reaction: This leads to a rather clear objection against a theory which needs a miracle to explain a common natural phenomenon. At least Augustine was beginning to recognise that interaction is a bit of a problem.
26. Natural Theory / C. Causation / 7. Eliminating causation
There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius]
     Full Idea: The idea of cause is relative to that of which it is the cause, and so has no real existence. …Also cause must either be body causing body, or incorporeal causing incorporeal, and neither of these is possible.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius]
     Full Idea: Motion is not moved in the place in which it is is, and it is impossible that it should be moved in the place in which it is not, so there is no such thing as motion.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11