27 ideas
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
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] |
23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
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] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |