76 ideas
7454 | Gassendi is the first great empiricist philosopher [Hacking] |
13838 | A decent modern definition should always imply a semantics [Hacking] |
12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
3593 | The only way to specify the corresponding fact is asserting the sentence [Williams,M] |
3585 | Coherence needs positive links, not just absence of conflict [Williams,M] |
3584 | Justification needs coherence, while truth might be ideal coherence [Williams,M] |
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] |
3599 | Deduction shows entailments, not what to believe [Williams,M] |
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] |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
10626 | Objects just are what singular terms refer to [Hale/Wright] |
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] |
3591 | We could never pin down how many beliefs we have [Williams,M] |
3582 | Propositions make error possible, so basic experiential knowledge is impossible [Williams,M] |
3592 | Phenomenalism is a form of idealism [Williams,M] |
3579 | Sense data avoid the danger of misrepresenting the world [Williams,M] |
3581 | Sense data can't give us knowledge if they are non-propositional [Williams,M] |
3564 | Is it people who are justified, or propositions? [Williams,M] |
8851 | Coherentists say that regress problems are assuming 'linear' justification [Williams,M] |
3595 | What works always takes precedence over theories [Williams,M] |
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] |
8849 | Traditional foundationalism is radically internalist [Williams,M] |
3580 | Experience must be meaningful to act as foundations [Williams,M] |
8853 | Basic judgements are immune from error because they have no content [Williams,M] |
3578 | Are empirical foundations judgements or experiences? [Williams,M] |
8855 | Sensory experience may be fixed, but it can still be misdescribed [Williams,M] |
3576 | Foundationalists are torn between adequacy and security [Williams,M] |
3577 | Strong justification eliminates error, but also reduces our true beliefs [Williams,M] |
3589 | Why should diverse parts of our knowledge be connected? [Williams,M] |
3590 | Coherence theory must give a foundational status to coherence itself [Williams,M] |
3571 | Externalism does not require knowing that you know [Williams,M] |
3574 | Externalism ignores the social aspect of knowledge [Williams,M] |
3569 | In the causal theory of knowledge the facts must cause the belief [Williams,M] |
3567 | How could there be causal relations to mathematical facts? [Williams,M] |
3586 | Only a belief can justify a belief [Williams,M] |
3573 | Externalist reliability refers to a range of conventional conditions [Williams,M] |
3565 | Sometimes I ought to distrust sources which are actually reliable [Williams,M] |
3566 | We control our beliefs by virtue of how we enquire [Williams,M] |
8852 | In the context of scepticism, externalism does not seem to be an option [Williams,M] |
3594 | Scepticism just reveals our limited ability to explain things [Williams,M] |
3575 | Scepticism can involve discrepancy, relativity, infinity, assumption and circularity [Williams,M] |
3587 | Seeing electrons in a cloud chamber requires theory [Williams,M] |
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] |
10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
3588 | Foundationalists base meaning in words, coherentists base it in sentences [Williams,M] |
12231 | Reference needs truth as well as sense [Hale/Wright] |
10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |