15 ideas
| 21355 | The Pre-Socratics are not simple naturalists, because they do not always 'leave the gods out' [Leroi] |
| 22353 | One view says objectivity is making a successful claim which captures the facts [Reiss/Sprenger] |
| 22356 | An absolute scientific picture of reality must not involve sense experience, which is perspectival [Reiss/Sprenger] |
| 22359 | Topic and application involve values, but can evidence and theory choice avoid them? [Reiss/Sprenger] |
| 22360 | The Value-Free Ideal in science avoids contextual values, but embraces epistemic values [Reiss/Sprenger] |
| 22362 | Value-free science needs impartial evaluation, theories asserting facts, and right motivation [Reiss/Sprenger] |
| 22364 | Thermometers depend on the substance used, and none of them are perfect [Reiss/Sprenger] |
| 11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
| 11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
| 11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
| 11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 22357 | The 'experimenter's regress' says success needs reliability, which is only tested by success [Reiss/Sprenger] |
| 22365 | The Bayesian approach is explicitly subjective about probabilities [Reiss/Sprenger] |