Combining Texts

All the ideas for 'works (all lost)', 'Truthmakers and Converse Barcan Formula' and 'Does Emp.Knowledge have Foundation?'

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


21 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
If all laws were abolished, philosophers would still live as they do now [Aristippus elder]
     Full Idea: If all laws were abolished, philosophers would still live as they do now.
     From: Aristippus the elder (fragments/reports [c.395 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.4
     A reaction: Presumably philosophers develop inner laws which other people lack.
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]
     Full Idea: The truthmaker principle seems compelling, because if a proposition is true, something must be different from a world in which it is false. The principle makes this specific, by treating 'something' as a quantifier binding a variable in name position.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: See Williamson for an examination of the logical implications of this. The point is that the principle seems to require some very specific 'thing', which may be asking too much. For a start, it might be the absence of a thing.
3. Truth / B. Truthmakers / 7. Making Modal Truths
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
     Full Idea: The converse Barcan formula does not allow any contingent truths at all to have a truthmaker. Once cannot combine the converse Barcan formula with any truthmaker principle worth having.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: One might reply, so much the worse for the converse Barcan formula, but Williamson doesn't think that.
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
     Full Idea: Friends of the truthmaker principle should reject the Kripke semantics of varying domains.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: See other ideas from this paper to get a sense of what that is about.
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]
     Full Idea: In S5, necessity and possibility are not themselves contingent matters. This is plausible for metaphysical modality, since metaphysical possibility, unlike practical possibility, does not depend on the contingencies of one's situation.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: This is the clearest statement I have found of why S5 might be preferable for metaphysics. See Nathan Salmon for the rival view. Williamson's point sounds pretty persuasive to me.
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
     Full Idea: If the domain of propositional quantification is constant across worlds, the Barcan formula and its converse hold.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: So the issue is whether we should take metaphysics to be dealing with a constant or varying domains. Williamson seems to favour the former, but my instincts incline towards the latter.
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
     Full Idea: The converse Barcan is at least plausible, since its denial says there is something that could fail to meet a condition when everything met that condition; but how could everything meet that condition if that thing did not?
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: Presumably the response involves a discussion of domains, since everything in a given domain might meet a condition, but something in a different domain might fail it.
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is either objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], p.262)
     A reaction: [see Prior 1971:31-4] He talks of quantifying into sentence position.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
     Full Idea: If quantification into sentence position is substitutional, then it is metaphysically neutral. A substitutionally interpreted 'existential' quantification is semantically equivalent to the disjunction (possibly infinite) of its substitution instances.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
     A reaction: Is it not committed to the disjunction, just as the objectual reading commits to objects? Something must make the disjunction true. Or is it too verbal to be about reality?
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
     Full Idea: We should not assume that all quantification is objectual or substitutional.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2)
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]
     Full Idea: If one uses 'fact' as a noun, the question arises why one cannot name the fact that dogs bark 'Mary'.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §2 n10)
     A reaction: What an intriguing thought! Must all nouns pass this test? 'The courage of the regiment was called Alfred'?
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
     Full Idea: Consideration of our ability to count objects across possibilities strongly favour both the Barcan formula and its converse.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §3)
     A reaction: I'm not sure that I can understand counting objects across possibilities. The objects themselves are possibilia, and possibilia seem to include unknowns. The unexpected is highly possible.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / c. Empirical foundations
If observation is knowledge, it is not just an experience; it is a justification in the space of reasons [Sellars]
     Full Idea: In characterizing an observational episode or state as 'knowing', we are not giving an empirical description of it; we are placing it in the logical space of reasons, of justifying and being able to justify what one says.
     From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.123)
     A reaction: McDowell has made the Kantian phrase 'the logical space of reasons' very popular. This is a very nice statement of the internalist view of justification, with which I sympathise more and more. It is a rationalist coherentist view. It needn't be mystical!
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
Observations like 'this is green' presuppose truths about what is a reliable symptom of what [Sellars]
     Full Idea: Observational knowledge of any particular fact, e.g. that this is green, presupposes that one knows general facts of the form 'X is a reliable symptom of Y'.
     From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.123)
     A reaction: This is a nicely observed version of the regress problem with justification. I would guess that foundationalists would simply deny that this further knowledge is required; 'this is green' arises out of the experience, but it is not an inference.
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
The concept of 'green' involves a battery of other concepts [Sellars]
     Full Idea: One can only have the concept of green by having a whole battery of concepts of which it is one element.
     From: Wilfrid Sellars (Does Emp.Knowledge have Foundation? [1956], p.120)
     A reaction: This points in the direction of holism about language and thought, but need not imply it. It might be that concepts have to be learned in small families. It is not clear, though, what is absolutely essential to 'green', except that it indicates colour.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas]
     Full Idea: The Cyrenaics are the most radical ancient moral philosophers, since they are the only school explicitly to reject the importance of achieving an overall final end.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Julia Annas - The Morality of Happiness 11.1
     A reaction: This looks like dropping out, but it could also be Keats's 'negative capability', of simply participating in existence without needing to do anything about it.
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon]
     Full Idea: The surest road to happiness is not the path through rule nor through servitude, but through liberty.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Xenophon - Memorabilia of Socrates 2.1.9
     A reaction: The great anarchist slogan. Personally I don't believe it, because I agree a little with Hobbes that authority is required to make cooperation flourish, and that is essential for full happiness. If I were a slave, I would agree with Aristippus.
23. Ethics / A. Egoism / 3. Cyrenaic School
Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius]
     Full Idea: Pleasure is the good because we desire it from childhood, when we have it we seek nothing further, and the most avoidable thing is its opposite, pain.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.8
People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius]
     Full Idea: When blamed for buying expensive food he asked "Would you have bought it for just three obols?" When the person said yes, he said,"Then it is not that I am fond of pleasure, but that you are fond of money".
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.7.4
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius]
     Full Idea: Errors ought to meet with pardon, for a man does not err intentionally, but influenced by some external circumstances. We should not hate someone who has erred, but teach him better.
     From: report of Aristippus the elder (fragments/reports [c.395 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.9
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]
     Full Idea: That there is just one necessary existent is surely false, for if x is a necessary, {x} is a distinct necessary existent.
     From: Timothy Williamson (Truthmakers and Converse Barcan Formula [1999], §1)
     A reaction: You would have to believe that sets actually 'exist' to accept this, but it is a very neat point.