26 ideas
| 7454 | Gassendi is the first great empiricist philosopher [Hacking] |
| Full Idea: Gassendi is the first in the great line of empiricist philosophers that gradually came to dominate European thought. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.5) | |
| A reaction: Epicurus, of course, was clearly an empiricist. British readers should note that Gassendi was not British. |
| 13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: Socrates has no definition if definitions by their nature must be in purely general terms, and if no purely general terms can succeed in uniquely singling out this signated matter. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], 23) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.1.2 | |
| A reaction: There seem to be two models. That general terms actually individuate the matter of Socrates, or that they cross-reference to (so to speak) define Socrates 'by elimination', as the only individual that fits. But the latter is a poor definition. |
| 11197 | The definitions expressing identity are used to sort things [Aquinas] |
| Full Idea: What sorts things into their proper genus and species are the definitions that express what they are. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: This is straight from Aristotle, though Aristotle's view is a little more complex, I think. If the definitions 'express what they are', then definitions seem to specify the essence. |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| Full Idea: If being is what makes propositions true, then anything we can express in an affirmative proposition, however unreal, is said to be; so lacks and absences are, since we say that absences are opposed to presences, and blindness exists in an eye. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: See Idea 11194 for the alternative Aristotelian approach to being, according to categories. Do absences and lacks have real essences, or causal properties? The absence of the sentry may cause the loss of the city. |
| 11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
| Full Idea: Incidental properties have an incomplete essence, and need to refer in their definitions to their subject, lying outside their own genus. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: These are 'incidental' properties, but it is a nice question whether properties have essences. Presumably they must have if they are universals, or platonic Forms. The notion of being 'strong' can be defined without specific examples. |
| 11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
| Full Idea: If (in the Platonic view) manyness was contained in humanness it could never be one as it is in Socrates, and if oneness was part of its definition then Socrates would be Plato and the nature couldn't be realised more than once. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.100) | |
| A reaction: I suppose the reply is that since we are trying to explain one-over-many, then this unusual combination of both manyness and oneness is precisely what distinguishes forms from other ideas. |
| 13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: In the view of Aquinas, while substantial form is the ultimate ground of identity and difference of angels, it is matter that provides a principle of diversity in the case of corporeal substances. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267]) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 5.2.3 | |
| A reaction: This is at least as good a proposal as their apatial location. There is more chance of reidentifying matter than of precisely reidentifying a spatial location. Two indistinguishable spheres remain the classic problem case (of Max Black, Idea 10195) |
| 11202 | It is by having essence that things exist [Aquinas] |
| Full Idea: It is by having essence that things exist. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.94) | |
| A reaction: Compare Idea 11199, which gives a fuller picture. This idea seems to suggest essence as the cause of existence, which sounds wrong. Perhaps essence is a necessary condition of existence, but it is necessary that nothing indeterminate can exist? |
| 11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
| Full Idea: Specific essence differs from generic essence by being demarcated: individuals are demarcated within species by dimensionally defined material, but species within genus by a defining differentiation taken from the form. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.95) | |
| A reaction: It clearly won't be enough to define an individual just to define its material and its shape. The material might also be essential to the genus, as when defining fire. Probably not very helpful. |
| 11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
| Full Idea: Form alone cannot be a composite substance's essence. For a thing's essence is expressed by its definition, and unless the definition of a physical substance included both form and material, the definition wouldn't differ from mathematical objects. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: This is the sort of thoroughly sensible remark that you only get from the greatest philosophers. Minor philosophers fall in love with things like forms, and then try to use them to explain everything. |
| 11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
| Full Idea: Since being as belonging to a category expresses the 'isness' of things, and belongs to all ten Aristotelian categories, essence must be something all the natures that sort different beings into genera and species have in common. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: I like this because it is the essence which does the sorting, not the sorting which defines the essence (which seems to me to be a deep and widespread confusion). |
| 11208 | A simple substance is its own essence [Aquinas] |
| Full Idea: A simple substance is its own essence. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: Aquinas takes complex substances to have their essences in various ways, but this thought is the basis of all essence. Presumably the Greek word 'ousia' names the key ingredient. |
| 7447 | Probability was fully explained between 1654 and 1812 [Hacking] |
| Full Idea: There is hardly any history of probability to record before Pascal (1654), and the whole subject is very well understood after Laplace (1812). | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.1) | |
| A reaction: An interesting little pointer on the question of whether the human race is close to exhausting all the available intellectual problems. What then? |
| 7448 | Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking] |
| Full Idea: Probability has two aspects: the degree of belief warranted by evidence, and the tendency displayed by some chance device to produce stable relative frequencies. These are the epistemological and statistical aspects of the subject. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.1) | |
| A reaction: The most basic distinction in the subject. Later (p.124) he suggests that the statistical form (known as 'aleatory' probability) is de re, and the other is de dicto. |
| 7449 | Epistemological probability based either on logical implications or coherent judgments [Hacking] |
| Full Idea: Epistemological probability is torn between Keynes etc saying it depends on the strength of logical implication, and Ramsey etc saying it is personal judgement which is subject to strong rules of internal coherence. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.2) | |
| A reaction: See Idea 7449 for epistemological probability. My immediate intuition is that the Ramsey approach sounds much more plausible. In real life there are too many fine-grained particulars involved for straight implication to settle a probability. |
| 7450 | In the medieval view, only deduction counted as true evidence [Hacking] |
| Full Idea: In the medieval view, evidence short of deduction was not really evidence at all. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.3) | |
| A reaction: Hacking says the modern concept of evidence comes with probability in the 17th century. That might make it one of the most important ideas ever thought of, allowing us to abandon certainties and live our lives in a more questioning way. |
| 7451 | Formerly evidence came from people; the new idea was that things provided evidence [Hacking] |
| Full Idea: In the medieval view, people provided the evidence of testimony and of authority. What was lacking was the seventeenth century idea of the evidence provided by things. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.4) | |
| A reaction: A most intriguing distinction, which seems to imply a huge shift in world-view. The culmination of this is Peirce's pragmatism, in Idea 6948, of which I strongly approve. |
| 7452 | An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG] |
| Full Idea: An experiment is a test (if T, then E implies R, so try E, and if R follows, T seems right), an adventure (no theory, but try things), a diagnosis (reading the signs), or a dissection (taking apart). | |
| From: report of Ian Hacking (The Emergence of Probability [1975], Ch.4) by PG - Db (ideas) | |
| A reaction: A nice analysis. The Greeks did diagnosis, then the alchemists tried adventures, then Vesalius began dissections, then the followers of Bacon concentrated on the test, setting up controlled conditions. 'If you don't believe it, try it yourself'. |
| 7459 | Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking] |
| Full Idea: Mathematics is the model for reasoning about necessary truths, but jurisprudence must be our model when we deliberate about contingencies. | |
| From: Ian Hacking (The Emergence of Probability [1975], Ch.10) | |
| A reaction: Interesting. Certainly huge thinking, especially since the Romans, has gone into the law, and creating rules of evidence. Maybe all philosophers should study law and mathematics? |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| Full Idea: It is definition of essence that makes things understandable. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: The aim of philosophy is understanding, which is achieved by successful explanation. I totally agree with this Aristotelian view, so neatly summarised by Aquinas. |
| 11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
| Full Idea: Attribution is something mind brings to completion by constructing propositional connections and disconnections, basing itself on real-world unity possessed by the things being attributed to one another. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.102) | |
| A reaction: This compromise story seems to me to be exactly right. I take it that we respond to the real joints of nature, but using thought and language which is riddled with convention. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
| 11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
| Full Idea: When things are so related that one causes the other to exist, the cause can exist without what it causes but not vice versa. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: This is open to question, if causes are supposed to be sufficient for effects. Presumably Aquinas would support the view that if the cause had not been, the effect would not have happened. But the current idea indicates the priority relation. |