Combining Texts

All the ideas for 'reports', 'Modal Logic' and 'The Advancement of Learning'

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


34 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.
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is the best knowledge, because it is the simplest [Bacon]
     Full Idea: That knowledge is worthiest which is charged with least multiplicity, which appeareth to be metaphysic
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.6)
     A reaction: A surprising view, coming from the father of modern science, but essentially correct. Obviously metaphysics aspires to avoid multiplicity, but it is riddled not only with complexity in its researches, but massive uncertainties.
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon]
     Full Idea: Knowledges are as pyramides, whereof history is the basis. So of natural philosophy, the basis is natural history, the stage next the basis is physic; the stage next the vertical point is metaphysic.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.6)
     A reaction: The father of modern science keeps a place for metaphysics, as the most abstract level above the physical sciences. I would say he is right. It leads to my own slogan: science is the servant of philosophy.
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon]
     Full Idea: Physic should contemplate that which is inherent in matter, and therefore transitory; and metaphysic that which is abstracted and fixed
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.3)
     A reaction: He cites the ancients for this view, with which he agrees. One could do worse than hang onto metaphysics as the study of necessities, but must then face the attacks of the Quineans - that knowledge of necessities is beyond us.
Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon]
     Full Idea: Physic inquireth and handleth the material and efficient causes; and metaphysic handleth the formal and final causes.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.3)
     A reaction: Compare Idea 12119. This divides up Aristotle's famous Four Causes (or Explanations), outlined in 'Physics' II.3. The concept of 'matter', and the nature of 'cause' seem to me to fall with the purview of metaphysics. Interesting, though.
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 / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
Normal system K has five axioms and rules [Cresswell]
     Full Idea: Normal propositional modal logics derive from the minimal system K: wffs of PC are axioms; □(p⊃q)⊃(□p⊃□q); uniform substitution; modus ponens; necessitation (α→□α).
     From: Max J. Cresswell (Modal Logic [2001], 7.1)
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
D is valid on every serial frame, but not where there are dead ends [Cresswell]
     Full Idea: If a frame contains any dead end or blind world, then D is not valid on that frame, ...but D is valid on every serial frame.
     From: Max J. Cresswell (Modal Logic [2001], 7.1.1)
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell]
     Full Idea: In S4 there are exactly 14 distinct modalities, and any modality may be reduced to one containing no more than three modal operators in sequence.
     From: Max J. Cresswell (Modal Logic [2001], 7.1.2)
     A reaction: The significance of this may be unclear, but it illustrates one of the rewards of using formal systems to think about modal problems. There is at least an appearance of precision, even if it is only conditional precision.
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 all the long complex modalities reduce to just three, and their negations [Cresswell]
     Full Idea: S5 contains the four main reduction laws, so the first of any pair of operators may be deleted. Hence all but the last modal operator may be deleted. This leaves six modalities: p, ◊p, □p, and their negations.
     From: Max J. Cresswell (Modal Logic [2001], 7.1.2)
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell]
     Full Idea: If one wants the quantifiers in each world to range only over the things that exist in that world, and one doesn't believe that the same things exist in every world, one would probably not want the Barcan formula.
     From: Max J. Cresswell (Modal Logic [2001], 7.2.2)
     A reaction: I haven't quite got this, but it sounds to me like I should reject the Barcan formula (but Idea 9449!). I like a metaphysics to rest on the actual world (with modal properties). I assume different things could have existed, but don't.
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
     Full Idea: A relation is 'Euclidean' if aRb and aRc imply bRc.
     From: Max J. Cresswell (Modal Logic [2001], 7.1.2)
     A reaction: If a thing has a relation to two separate things, then those two things will also have that relation between them. If I am in the same family as Jim and as Jill, then Jim and Jill are in the same family.
10. Modality / A. Necessity / 4. De re / De dicto modality
A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell]
     Full Idea: A de dicto necessary truth says that something is φ, that this proposition is a necessary truth, i.e. that in every accessible world something (but not necessarily the same thing in each world) is φ.
     From: Max J. Cresswell (Modal Logic [2001], 7.2.1)
     A reaction: At last, a really clear and illuminating account of this term! The question is then invited of what is the truthmaker for a de dicto truth, assuming that the objects themselves are truthmakers for de re truths.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
We don't assume there is no land, because we can only see sea [Bacon]
     Full Idea: They are ill discoverers that think there is no land, when they can see nothing but sea.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.5)
     A reaction: Just the sort of pithy remark for which Bacon is famous. It is an obvious point, but a nice corrective to anyone who wants to apply empirical principles in a rather gormless way.
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
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
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 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
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 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
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
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
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
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
14. Science / A. Basis of Science / 3. Experiment
Science moves up and down between inventions of causes, and experiments [Bacon]
     Full Idea: All true and fruitful natural philosophy hath a double scale or ladder, ascendent and descendent, ascending from experiments to the invention of causes, and descending from causes to the invention of new experiments.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.1)
     A reaction: After several hundred years, I doubt whether anyone can come up with a better account of scientific method than Bacon's.
14. Science / B. Scientific Theories / 5. Commensurability
Many different theories will fit the observed facts [Bacon]
     Full Idea: The ordinary face and view of experience is many times satisfied by several theories and philosophies.
     From: Francis Bacon (The Advancement of Learning [1605], II.VIII.5)
     A reaction: He gives as his example that the Copernican system and the Ptolemaic system both seem to satisfy all the facts. He wrote in 1605, just before Galileo's telescope. His point is regularly made in modern discussions. In this case, he was wrong!
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
People love (unfortunately) extreme generality, rather than particular knowledge [Bacon]
     Full Idea: It is the nature of the mind of man (to the extreme prejudice of knowledge) to delight in the spacious liberty of generalities, as in a champaign region, and not in the inclosures of particularity.
     From: Francis Bacon (The Advancement of Learning [1605], II.VIII.1)
     A reaction: I have to plead guilty to this myself. He may have pinpointed the key motivation behind philosophy. We all want to know things, as Aristotle said, but some of us want the broad brush, and others want the fine detail.
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon]
     Full Idea: To say 'leaves are for protecting of fruit', or that 'clouds are for watering the earth', is well inquired and collected in metaphysic, but in physic they are impertinent. They are hindrances, and the search of the physical causes hath been neglected.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.7)
     A reaction: This is the standard rebellion against Aristotle which gave rise to the birth of modern science. The story has been complicated by natural selection, which bestows a sort of purpose on living things. Nowadays we pursue both paths.
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
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Essences are part of first philosophy, but as part of nature, not part of logic [Bacon]
     Full Idea: I assign to summary philosophy the operation of essences (as quantity, similitude, diversity, possibility), with this distinction - that they be handled as they have efficacy in nature, and not logically.
     From: Francis Bacon (The Advancement of Learning [1605], II.VII.3)
     A reaction: I take this to be a splendid motto for scientific essentialism, in a climate where modal logicians appear to have taken over the driving seat in our understanding of essences.
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