35 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. |
| 23269 | Philosophy must start from clearly observed facts [Galen] |
| Full Idea: True philosophers concern themselves first and foremost to take clearly observed facts as their point of departure. | |
| From: Galen (The soul's dependence on the body [c.170], Kiv.11.817) | |
| A reaction: I love this one, especially the desire that the facts be 'clearly observed'. That, thank goodness, eliminates quantum mechanics. If you don't love history and the physical sciences, you are not a philosopher. Oh, and reliable gossip. |
| 23248 | Early empiricists said reason was just a useless concept introduced by philosophers [Galen, by Frede,M] |
| Full Idea: The so-called Empiricists in Hellenistic times [as cited by Galen] denied the existence of reason, treating it as a useless theoretical postulate introduced by some philosophers | |
| From: report of Galen (An Outline of Empiricism [c.170], 87.4-9.28ff) by Michael Frede - Intro to 'Rationality in Greek Thought' p.3 | |
| A reaction: I think 'be sensible' is understood by everyone, but 'use your reason' is far from obvious. The main role of reason seems to be as an identifier for human exceptionalism. Animals obviously make good judgements. Frede thinks the empiricists were right. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 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. |
| 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? |
| 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? |
| 23266 | The spirit in the soul wants freedom, power and honour [Galen] |
| Full Idea: The spirited part of the soul is desiderative of freedom, victory, power, authority, reputation, and honour. | |
| From: Galen (The soul's dependence on the body [c.170], Kiv.2.772) | |
| A reaction: This is the concept of 'thumos' [spirit], taken straight from Plato's tripartite account of the soul, in 'Republic'. Note that it includes a desire for freedom (in an age of slavery). |
| 6003 | Galen showed by experiment that the brain controls the body [Galen, by Hankinson] |
| Full Idea: Galen established by experiments in neural anatomy that the brain really is, contra the Stoics and Aristotelians, the body's control centre. | |
| From: report of Galen (On Hippocrates and Plato [c.170]) by R.J. Hankinson - Galen (damaged) | |
| A reaction: And about time too. This is one of the most significant events in the development of human understanding. No one has been able to go back to the old view, even Descartes, no matter how much they may long to do so. |
| 23219 | Stopping the heart doesn't terminate activity; pressing the brain does that [Galen, by Cobb] |
| Full Idea: Even when an animals heart was stopped [by hand] it continued its muted whimpers, …but when the brain was pressed the animal stopped making a noise and became unconscious. | |
| From: report of Galen (The soul's dependence on the body [c.170]) by Matthew Cobb - The Idea of the Brain 1 | |
| A reaction: It's not that the ancients didn't do science. It's that ancient people paid no attention to what their scientists discovered. |
| 21799 | We just use the word 'faculty' when we don't know the psychological cause [Galen] |
| Full Idea: So long as we are ignorant of the true essence of the cause which is operating, we call it a 'faculty'. | |
| From: Galen (On the Natural Faculties [c.170], I.iv), quoted by Dominik Perler - Intro to The Faculties: a History 2 | |
| A reaction: This is probably the view of most modern neuroscientists. I want to defend the idea that we need the concept of a faculty in philosophy, even if the psychologists and neuroscientists say it is too vague for their purposes. |
| 23264 | Philosophers think faculties are in substances, and invent a faculty for every activity [Galen] |
| Full Idea: Philosophers conceive of faculties as things which inhabit 'substances' much as we inhabit houses, not realising that causes of events are conceived in relational terms. We therefore attribute as many faculties to a substance as activities. | |
| From: Galen (The soul's dependence on the body [c.170], Kiv.2.769) | |
| A reaction: This seems to demolish speculative faculties, but they were revived during the Enlightenment. I am happy to talk of 'philosophical faculties' where they are presumed to originate a type of thought, without commitment to any neuroscience. |
| 23220 | The brain contains memory and reason, and is the source of sensation and decision [Galen] |
| Full Idea: The brain is the principal organ of the psychical members. For within the brain is seated memory, reason and intellect, and from the brain is distributed the power, sensation and voluntary motion. | |
| From: Galen (The soul's dependence on the body [c.170]), quoted by Matthew Cobb - The Idea of the Brain 1 | |
| A reaction: [not sure of ref] Interesting that he assigns the whole of mind to the brain, and not just some aspect of it. He had done experiments. Understanding the role of the brain was amazingly slow. Impeded by religion, I guess. |
| 23265 | The rational part of the soul is the desire for truth, understanding and recollection [Galen] |
| Full Idea: That part of the soul which we call rational is desiderative: …it desires truth, knowledge, learning, understanding, and recollection - in short, all the good things. | |
| From: Galen (The soul's dependence on the body [c.170], Kiv.2.772) | |
| A reaction: Truth is no surprise, but recollection is. Note the separation of knowledge from understanding. This is a very good characterisation of rationality. For the Greeks it has a moral dimension, of wanting what is good. |
| 7453 | Galen's medicine followed the mean; each illness was balanced by opposite treatment [Galen, by Hacking] |
| Full Idea: Galen ran medicine on the principle of the mean; afflictions must be treated by contraries; hot diseases deserve cold medicine and moist illnesses want drying agents. (Paracelsus rebelled, treating through similarity). | |
| From: report of Galen (On Medical Experience [c.169]) by Ian Hacking - The Emergence of Probability Ch.5 | |
| A reaction: This must be inherited from Aristotle, with the aim of virtue for the body, as Aristotle wanted virtue for the psuché. In some areas Galen is probably right, that natural balance is the aim, as in bodily temperature control. |
| 6030 | Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen] |
| Full Idea: We have by nature these three appropriate relationships, corresponding to each form of the soul's parts - to pleasure because of the appetitive part, to success because of the competitive part, and to rectitude because of the rational part. | |
| From: Galen (On Hippocrates and Plato [c.170], 5.5.8) | |
| A reaction: This is a nice combination of Plato's tripartite theory of soul (in 'Republic') and Aristotle's derivation of virtues from functions. Presumably, though, reason should master the other two, and there is nothing in Galen's idea to explain this. |
| 23268 | We execute irredeemable people, to protect ourselves, as a deterrent, and ending a bad life [Galen] |
| Full Idea: We kill the irredeemably wicked, for three reasons: that they may no longer harm us; as a deterrent to others like them; and because it is actually better from their own point of view to die, when their souls are so damaged they cannot be improved. | |
| From: Galen (The soul's dependence on the body [c.170], Kiv.11.816) | |
| A reaction: The third one sounds like a dubious rationalisation, given that the prisoner probably disagrees. Nowadays we are not so quick to judge someone as irredeemable. The first one works when they run wild, but not after their capture. |