48 ideas
| 7454 | Gassendi is the first great empiricist philosopher [Hacking] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 10354 | Correspondence could be with other beliefs, rather than external facts [Kusch] |
| 10353 | Tarskians distinguish truth from falsehood by relations between members of sets [Kusch] |
| 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] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [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] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [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] |
| 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] |
| 7449 | Epistemological probability based either on logical implications or coherent judgments [Hacking] |
| 10337 | We can have knowledge without belief, if others credit us with knowledge [Kusch] |
| 10357 | Methodological Solipsism assumes all ideas could be derived from one mind [Kusch] |
| 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] |
| 10339 | Foundations seem utterly private, even from oneself at a later time [Kusch] |
| 10331 | Testimony is reliable if it coheres with evidence for a belief, and with other beliefs [Kusch] |
| 10338 | The coherentist restricts the space of reasons to the realm of beliefs [Kusch] |
| 10340 | Individualistic coherentism lacks access to all of my beliefs, or critical judgement of my assessment [Kusch] |
| 10345 | Individual coherentism cannot generate the necessary normativity [Kusch] |
| 10350 | Cultures decide causal routes, and they can be critically assessed [Kusch] |
| 10343 | Process reliabilism has been called 'virtue epistemology', resting on perception, memory, reason [Kusch] |
| 10341 | Justification depends on the audience and one's social role [Kusch] |
| 10325 | Vindicating testimony is an expression of individualism [Kusch] |
| 10324 | Testimony does not just transmit knowledge between individuals - it actually generates knowledge [Kusch] |
| 10327 | Some want to reduce testimony to foundations of perceptions, memories and inferences [Kusch] |
| 10329 | Testimony won't reduce to perception, if perception depends on social concepts and categories [Kusch] |
| 10330 | A foundation is what is intelligible, hence from a rational source, and tending towards truth [Kusch] |
| 10334 | Testimony is an area in which epistemology meets ethics [Kusch] |
| 10336 | Powerless people are assumed to be unreliable, even about their own lives [Kusch] |
| 10323 | Communitarian Epistemology says 'knowledge' is a social status granted to groups of people [Kusch] |
| 10348 | Private justification is justification to imagined other people [Kusch] |
| 10335 | Myths about lonely genius are based on epistemological individualism [Kusch] |
| 7452 | An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG] |
| 7459 | Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking] |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| 10349 | To be considered 'an individual' is performed by a society [Kusch] |
| 10344 | Our experience may be conceptual, but surely not the world itself? [Kusch] |
| 10358 | Often socialising people is the only way to persuade them [Kusch] |
| 10333 | Communitarianism in epistemology sees the community as the primary knower [Kusch] |
| 10351 | Natural kinds are social institutions [Kusch] |
| 10332 | Omniscience is incoherent, since knowledge is a social concept [Kusch] |