46 ideas
| 9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
| 6334 | The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich] |
| 6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
| 6332 | The common-sense theory of correspondence has never been worked out satisfactorily [Horwich] |
| 6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
| 6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
| 6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
| 23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
| 6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| 6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| 23708 | Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG] |
| 23709 | Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye] |
| 23707 | Powers are properties which necessitate dispositions [Friend/Kimpton-Nye] |
| 23714 | Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye] |
| 23711 | A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye] |
| 23712 | Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye] |
| 23698 | Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye] |
| 23699 | 'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye] |
| 23700 | A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye] |
| 23701 | A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye] |
| 23702 | A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye] |
| 23703 | Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye] |
| 23704 | We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye] |
| 8431 | Problems with Goodman's view of counterfactuals led to a radical approach from Stalnaker and Lewis [Horwich] |
| 23710 | Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye] |
| 9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
| 9342 | Understanding needs a priori commitment [Horwich] |
| 9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
| 9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
| 9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
| 9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
| 2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |
| 2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
| 6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| 6340 | There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich] |
| 6341 | Right translation is a mapping of languages which preserves basic patterns of usage [Horwich] |
| 8432 | Analyse counterfactuals using causation, not the other way around [Horwich] |
| 23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |