more on this theme     |     more from this text

Single Idea 7452

[filed under theme 14. Science / A. Basis of Science / 3. Experiment ]

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).

Gist of Idea

An experiment is a test, or an adventure, or a diagnosis, or a dissection

Source

report of Ian Hacking (The Emergence of Probability [1975], Ch.4) by PG - Db (ideas)

Book Ref

Hacking,Ian: 'The Emergence of Probability' [CUP 1975], p.35

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'.

The 19 ideas from Ian Hacking

7447 Probability was fully explained between 1654 and 1812 [Hacking]
7448 Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking]
7459 Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking]
7449 Epistemological probability based either on logical implications or coherent judgments [Hacking]
7450 In the medieval view, only deduction counted as true evidence [Hacking]
7451 Formerly evidence came from people; the new idea was that things provided evidence [Hacking]
7452 An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG]
7454 Gassendi is the first great empiricist philosopher [Hacking]
13833 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking]
13834 Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking]
13835 Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking]
13837 With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking]
13838 A decent modern definition should always imply a semantics [Hacking]
13839 Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking]
13843 If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking]
13840 First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking]
13844 A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking]
13842 Second-order completeness seems to need intensional entities and possible worlds [Hacking]
13845 The various logics are abstractions made from terms like 'if...then' in English [Hacking]