91 ideas
8558 | One system has properties, powers, events, similarity and substance [Shoemaker] |
8559 | Analysis aims at internal relationships, not reduction [Shoemaker] |
19160 | A comprehensive theory of truth probably includes a theory of predication [Davidson] |
19151 | Antirealism about truth prevents its use as an intersubjective standard [Davidson] |
19144 | 'Epistemic' truth depends what rational creatures can verify [Davidson] |
19148 | There is nothing interesting or instructive for truths to correspond to [Davidson] |
19166 | The Slingshot assumes substitutions give logical equivalence, and thus identical correspondence [Davidson] |
19167 | Two sentences can be rephrased by equivalent substitutions to correspond to the same thing [Davidson] |
19150 | Coherence truth says a consistent set of sentences is true - which ties truth to belief [Davidson] |
19145 | We can explain truth in terms of satisfaction - but also explain satisfaction in terms of truth [Davidson] |
19146 | Satisfaction is a sort of reference, so maybe we can define truth in terms of reference? [Davidson] |
19174 | Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths [Davidson] |
19136 | Many say that Tarski's definitions fail to connect truth to meaning [Davidson] |
19139 | Tarski does not tell us what his various truth predicates have in common [Davidson] |
19147 | Truth is the basic concept, because Convention-T is agreed to fix the truths of a language [Davidson] |
19172 | To define a class of true sentences is to stipulate a possible language [Davidson] |
19153 | Truth is basic and clear, so don't try to replace it with something simpler [Davidson] |
19170 | Tarski is not a disquotationalist, because you can assign truth to a sentence you can't quote [Davidson] |
18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
18182 | The extension of concepts is not important to me [Maddy] |
18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
15092 | Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker] |
8543 | Genuine properties are closely related to genuine changes [Shoemaker] |
8551 | Properties must be essentially causal if we can know and speak about them [Shoemaker] |
8557 | To ascertain genuine properties, examine the object directly [Shoemaker] |
15761 | We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker] |
15756 | Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker] |
19173 | Treating predicates as sets drops the predicate for a new predicate 'is a member of', which is no help [Davidson] |
15758 | Things have powers in virtue of (which are entailed by) their properties [Shoemaker] |
8547 | One power can come from different properties; a thing's powers come from its properties [Shoemaker] |
8549 | Properties are functions producing powers, and powers are functions producing effects [Shoemaker] |
12678 | Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis] |
8545 | A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker] |
15757 | 'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker] |
15759 | The identity of a property concerns its causal powers [Shoemaker] |
15760 | Properties are clusters of conditional powers [Shoemaker] |
15762 | Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker] |
8552 | If properties are separated from causal powers, this invites total elimination [Shoemaker] |
4040 | The notions of property and of causal power are parts of a single system of related concepts [Shoemaker] |
15765 | Actually, properties are individuated by causes as well as effects [Shoemaker] |
8548 | Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker] |
9485 | Universals concern how things are, and how they could be [Shoemaker, by Bird] |
8550 | Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker] |
8555 | There is no subset of properties which guarantee a thing's identity [Shoemaker] |
8554 | Possible difference across worlds depends on difference across time in the actual world [Shoemaker] |
19142 | Probability can be constrained by axioms, but that leaves open its truth nature [Davidson] |
15764 | 'Conceivable' is either not-provably-false, or compatible with what we know? [Shoemaker] |
8562 | It is possible to conceive what is not possible [Shoemaker] |
8556 | Grueness is not, unlike green and blue, associated with causal potential [Shoemaker] |
19169 | Predicates are a source of generality in sentences [Davidson] |
18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
19149 | If we reject corresponding 'facts', we should also give up the linked idea of 'representations' [Davidson] |
19163 | You only understand an order if you know what it is to obey it [Davidson] |
19152 | Utterances have the truth conditions intended by the speaker [Davidson] |
19162 | Meaning involves use, but a sentence has many uses, while meaning stays fixed [Davidson] |
19131 | We recognise sentences at once as linguistic units; we then figure out their parts [Davidson] |
19156 | Modern predicates have 'places', and are sentences with singular terms deleted from the places [Davidson] |
19176 | The concept of truth can explain predication [Davidson] |
19133 | If you assign semantics to sentence parts, the sentence fails to compose a whole [Davidson] |
19132 | Top-down semantic analysis must begin with truth, as it is obvious, and explains linguistic usage [Davidson] |
19158 | 'Humanity belongs to Socrates' is about humanity, so it's a different proposition from 'Socrates is human' [Davidson] |
19154 | The principle of charity says an interpreter must assume the logical constants [Davidson] |
19161 | We indicate use of a metaphor by its obvious falseness, or trivial truth [Davidson] |
8542 | If causality is between events, there must be reference to the properties involved [Shoemaker] |
8560 | If causal laws describe causal potentialities, the same laws govern properties in all possible worlds [Shoemaker] |
15763 | If properties are causal, then causal necessity is a species of logical necessity [Shoemaker] |
8561 | If a world has different causal laws, it must have different properties [Shoemaker] |
8553 | It looks as if the immutability of the powers of a property imply essentiality [Shoemaker] |