Combining Texts

All the ideas for 'works', 'Truth (2nd edn)' and 'The Question of Ontology'

expand these ideas     |    start again     |     specify just one area for these texts

22 ideas

3. Truth / A. Truth Problems / 1. Truth
6334 The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
6342 Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
6332 The common-sense theory of correspondence has never been worked out satisfactorily [Horwich]
3. Truth / H. Deflationary Truth / 1. Redundant Truth
6335 The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
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]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
6339 Logical form is the aspects of meaning that determine logical entailments [Horwich]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743 De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
12215 The existence of numbers is not a matter of identities, but of constituents of the world [Fine,K]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
12211 It is plausible that x^2 = -1 had no solutions before complex numbers were 'introduced' [Fine,K]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
12209 The indispensability argument shows that nature is non-numerical, not the denial of numbers [Fine,K]
7. Existence / A. Nature of Existence / 1. Nature of Existence
12214 'Exists' is a predicate, not a quantifier; 'electrons exist' is like 'electrons spin' [Fine,K]
7. Existence / A. Nature of Existence / 4. Abstract Existence
12212 Just as we introduced complex numbers, so we introduced sums and temporal parts [Fine,K]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
12216 Real objects are those which figure in the facts that constitute reality [Fine,K]
12218 Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K]
7. Existence / D. Theories of Reality / 1. Ontologies
12217 For ontology we need, not internal or external views, but a view from outside reality [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
12213 Ontological claims are often universal, and not a matter of existential quantification [Fine,K]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
6338 We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich]
19. Language / D. Propositions / 1. Propositions
6340 There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
6341 Right translation is a mapping of languages which preserves basic patterns of usage [Horwich]