Combining Texts

All the ideas for 'Works of Love', 'Truth' and 'Truthmakers and Converse Barcan Formula'

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


29 ideas

1. Philosophy / F. Analytic Philosophy / 3. Analysis of Preconditions
In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel]
3. Truth / A. Truth Problems / 5. Truth Bearers
Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
We can't explain the corresponding structure of the world except by referring to our thoughts [Engel]
3. Truth / D. Coherence Truth / 1. Coherence Truth
The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel]
3. Truth / D. Coherence Truth / 2. Coherence Truth Critique
Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel]
Deflationism cannot explain why we hold beliefs for reasons [Engel]
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel]
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism is better understood as a theory of belief than as a theory of truth [Engel]
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel]
17. Mind and Body / C. Functionalism / 1. Functionalism
Mental states as functions are second-order properties, realised by first-order physical properties [Engel]
22. Metaethics / B. Value / 2. Values / g. Love
Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]