Combining Texts

All the ideas for 'works', 'Truthmakers and Converse Barcan Formula' and 'Externalism/Internalism'

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


51 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For Plato true wisdom is supernatural [Plato, by Weil]
     Full Idea: It is evident that Plato regards true wisdom as something supernatural.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.61
     A reaction: Taken literally, I assume this is wrong, but we can empathise with the thought. Wisdom has the feeling of rising above the level of mere knowledge, to achieve the overview I associate with philosophy.
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Plato never mentions Democritus, and wished to burn his books [Plato, by Diog. Laertius]
     Full Idea: Plato, who mentions nearly all the ancient philosophers, nowhere speaks of Democritus; he wished to burn all of his books, but was persuaded that it was futile.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.7.8
2. Reason / C. Styles of Reason / 1. Dialectic
Two contradictories force us to find a relation which will correlate them [Plato, by Weil]
     Full Idea: Where contradictions appear there is a correlation of contraries, which is relation. If a contradiction is imposed on the intelligence, it is forced to think of a relation to transform the contradiction into a correlation, which draws the soul higher.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.70
     A reaction: A much better account of the dialectic than anything I have yet seen in Hegel. For the first time I see some sense in it. A contradiction is not a falsehood, and it must be addressed rather than side-stepped. A kink in the system, that needs ironing.
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
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.
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.
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'?
8. Modes of Existence / A. Relations / 3. Structural Relations
Plato's idea of 'structure' tends to be mathematically expressed [Plato, by Koslicki]
     Full Idea: 'Structure' tends to be characterized by Plato as something that is mathematically expressed.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects V.3 iv
     A reaction: [Koslicki is drawing on Verity Harte here]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
When Diogenes said he could only see objects but not their forms, Plato said it was because he had eyes but no intellect [Plato, by Diog. Laertius]
     Full Idea: When Diogenes told Plato he saw tables and cups, but not 'tableness' and 'cupness', Plato replied that this was because Diogenes had eyes but no intellect.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.2.6
Platonists argue for the indivisible triangle-in-itself [Plato, by Aristotle]
     Full Idea: The Platonists, on the basis of purely logical arguments, posit the existence of an indivisible 'triangle in itself'.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 316a15
     A reaction: A helpful confirmation that geometrical figures really are among the Forms (bearing in mind that numbers are not, because they contain one another). What shape is the Form of the triangle?
Plato's Forms meant that the sophists only taught the appearance of wisdom and virtue [Plato, by Nehamas]
     Full Idea: Plato's theory of Forms allowed him to claim that the sophists and other opponents were trapped in the world of appearance. What they therefore taught was only apparent wisdom and virtue.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.118
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If there is one Form for both the Form and its participants, they must have something in common [Aristotle on Plato]
     Full Idea: If there is the same Form for the Forms and for their participants, then they must have something in common.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If gods are like men, they are just eternal men; similarly, Forms must differ from particulars [Aristotle on Plato]
     Full Idea: We say there is the form of man, horse and health, but nothing else, making the same mistake as those who say that there are gods but that they are in the form of men. They just posit eternal men, and here we are not positing forms but eternal sensibles.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 997b
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
The Forms cannot be changeless if they are in changing things [Aristotle on Plato]
     Full Idea: The Forms could not be changeless if they were in changing things.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 998a
A Form is a cause of things only in the way that white mixed with white is a cause [Aristotle on Plato]
     Full Idea: A Form is a cause of things only in the way that white mixed with white is a cause.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The greatest discovery in human thought is Plato's discovery of abstract objects [Brown,JR on Plato]
     Full Idea: The greatest discovery in the history of human thought is Plato's discovery of abstract objects.
     From: comment on Plato (works [c.375 BCE]) by James Robert Brown - Philosophy of Mathematics Ch. 2
     A reaction: Compare Idea 2860! Given the diametrically opposed views, it is clearly likely that Plato's central view is the most important idea in the history of human thought, even if it is wrong.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
We can grasp whole things in science, because they have a mathematics and a teleology [Plato, by Koslicki]
     Full Idea: Due to the mathematical nature of structure and the teleological cause underlying the creation of Platonic wholes, these wholes are intelligible, and are in fact the proper objects of science.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: I like this idea, because it pays attention to the connection between how we conceive objects to be, and how we are able to think about objects. Only examining these two together enables us to grasp metaphysics.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Plato sees an object's structure as expressible in mathematics [Plato, by Koslicki]
     Full Idea: The 'structure' of an object tends to be characterised by Plato as something that is mathematically expressible.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: This seems to be pure Pythagoreanism (see Idea 644). Plato is pursuing Pythagoras's research programme, of trying to find mathematics buried in every aspect of reality.
Plato was less concerned than Aristotle with the source of unity in a complex object [Plato, by Koslicki]
     Full Idea: Plato was less concerned than Aristotle with the project of how to account, in completely general terms, for the source of unity within a mereologically complex object.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.5
     A reaction: Plato seems to have simply asserted that some sort of harmony held things together. Aristotles puts the forms [eidos] within objects, rather than external, so he has to give a fuller account of what is going on in an object. He never managed it!
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Plato's holds that there are three substances: Forms, mathematical entities, and perceptible bodies [Plato, by Aristotle]
     Full Idea: Plato's doctrine was that the Forms and mathematicals are two substances and that the third substance is that of perceptible bodies.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Metaphysics 1028b
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Plato says wholes are either containers, or they're atomic, or they don't exist [Plato, by Koslicki]
     Full Idea: Plato considers a 'container' model for wholes (which are disjoint from their parts) [Parm 144e3-], and a 'nihilist' model, in which only wholes are mereological atoms, and a 'bare pluralities' view, in which wholes are not really one at all.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: [She cites Verity Harte for this analysis of Plato] The fourth, and best, seems to be that wholes are parts which fall under some unifying force or structure or principle.
9. Objects / D. Essence of Objects / 2. Types of Essence
Only universals have essence [Plato, by Politis]
     Full Idea: Plato argues that only universals have essence.
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Plato and Aristotle take essence to make a thing what it is [Plato, by Politis]
     Full Idea: Plato and Aristotle have a shared general conception of essence: the essence of a thing is what that thing is simply in virtue of itself and in virtue of being the very thing it is. It answers the question 'What is this very thing?'
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
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.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Maybe there is plain 'animal' knowledge, and clearly justified 'reflective' knowledge [Vahid]
     Full Idea: There is a distinction between 'animal knowledge' (which requires only apt belief), and 'reflective knowledge' (requiring both apt and justified belief).
     From: Hamid Vahid (Externalism/Internalism [2011], 5)
     A reaction: [He cites Sosa 1991] My inclination (Idea 19711) was to think of knowledge as a continuum (possibly with a contextual component), and this distinction doesn't change my view, though it makes the point.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
Epistemic is normally marked out from moral or pragmatic justifications by its truth-goal [Vahid]
     Full Idea: It is widely believed that epistemic justification is distinct from other species of justification such as moral or pragmatic justification in that it is intended to serve the so-called 'truth-goal'.
     From: Hamid Vahid (Externalism/Internalism [2011], 1)
     A reaction: Kvanvig explicitly argues against this view. He broadens the aims, but it strikes me that other aims are all intertwined with truth in some way, so I find this idea quite plausible.
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
'Mentalist' internalism seems to miss the main point, if it might not involve an agent's access [Vahid]
     Full Idea: Since mentalism remains neutral on whether mental states need be accessible to an agent ...it does not seem to do justice to the intuitions that drive paradigm internalist positions.
     From: Hamid Vahid (Externalism/Internalism [2011], 2 A)
     A reaction: The rival view is 'access internalism', which implies that you can act on and take responsibility for your knowledge, because you are aware of its grounding. If animals know things, that might fit the mentalist picture better.
Strong access internalism needs actual awareness; weak versions need possibility of access [Vahid]
     Full Idea: A strong form of 'access internalism' is when an agent is required to be actually aware of the conditions that constitute justification; a weaker version loosens the accessibility condition, requiring only the ability to access the justification.
     From: Hamid Vahid (Externalism/Internalism [2011], 2 B)
     A reaction: The super strong version implies that you probably only know one thing at a time, so it must be nonsense. The weaker version has grey areas. I remember roughly the justification, but not the details. The justification is in my diary. Etc.
Maybe we need access to our justification, and also to know why it justifies [Vahid]
     Full Idea: Access internalism may also have a truth-conducive conception of justification, where one should not only know what one's reasons are, but also why one's beliefs are probable on one's reasons.
     From: Hamid Vahid (Externalism/Internalism [2011], 2 B)
     A reaction: [he cites Bonjour 1985] Sounds reasonable. It would seem odd if you had clear access to the reason, but didn't understand it, because you had just learned it by rote.
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
Internalism in epistemology over-emphasises deliberation about beliefs [Vahid]
     Full Idea: The internalist approach in epistemology seems to suggest an over-inellectualized and deliberative picture of our belief-forming activities.
     From: Hamid Vahid (Externalism/Internalism [2011], 2.2 B)
     A reaction: This strikes me as confused. The question is not how do I arrive at my beliefs but what justifies my believing them, and what justifies the beliefs in themselves? My head is full of daft beliefs produced by TV advertising.
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism may imply that identical mental states might go with different justifications [Vahid]
     Full Idea: According to the 'mentalist' version of internalism, an externalist is someone who maintains that two people can be in the same present mental states while one has a justified belief and the other does not.
     From: Hamid Vahid (Externalism/Internalism [2011], 2 A)
     A reaction: It seems an unlikely coincidence, that we have identical mental states, but your is (say) reliably created but mine isn't. Nevertheless this does seem to be an implication of externalism, though not a definition of it.
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
With a counterfactual account of the causal theory, we get knowledge as tracking or sensitive to truth [Vahid]
     Full Idea: The causal theory of justification was soon replaced by Nozick's construal of knowledge as counterfactually sensitive to its truth value (that is, it tracks truth). A counterfactual theory of causation connects this to the causal theory.
     From: Hamid Vahid (Externalism/Internalism [2011], 3)
     A reaction: This is presented as an externalist theory, close to the causal theory (and prior to the reliability theory). But how could you be 'sensitive' to a changing truth if the justification was all external? Externally supported beliefs seem ossified.
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
Externalism makes the acquisition of knowledge too easy? [Vahid]
     Full Idea: Internalists say that externalism is inadequate because it makes the obtaining of knowledge and justified beliefs too easy
     From: Hamid Vahid (Externalism/Internalism [2011], 4)
     A reaction: This looks like a key issue in epistemology. Do children and animals have lots of knowledge, which they soak up unthinkingly, or do only thinking adults really 'know' things? Why not have degrees of knowledge?
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben]
     Full Idea: For Plato, an acceptable explanation is one such that there is no possibility of there being the opposite explanation at all, and he thought that only explanations in terms of the Forms, but never physical explanations, could meet this requirement.
     From: report of Plato (works [c.375 BCE]) by David-Hillel Ruben - Explaining Explanation Ch 2
     A reaction: [Republic 436c is cited]
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
Plato wanted to somehow control and purify the passions [Vlastos on Plato]
     Full Idea: Plato put high on his agenda a project which did not figure in Socrates' programme at all: the hygienic conditioning of the passions. This cannot be an intellectual process, as argument cannot touch them.
     From: comment on Plato (works [c.375 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.88
     A reaction: This is the standard traditional view of any thinker who exaggerates the importance and potential of reason in our lives.
19. Language / F. Communication / 1. Rhetoric
Plato's whole philosophy may be based on being duped by reification - a figure of speech [Benardete,JA on Plato]
     Full Idea: Plato is liable to the charge of having been duped by a figure of speech, albeit the most profound of all, the trope of reification.
     From: comment on Plato (works [c.375 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.12
     A reaction: That might be a plausible account if his view was ridiculous, but given how many powerful friends Plato has, especially in the philosophy of mathematics, we should assume he was cleverer than that.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Plato never refers to examining the conscience [Plato, by Foucault]
     Full Idea: Plato never speaks of the examination of conscience - never!
     From: report of Plato (works [c.375 BCE]) by Michel Foucault - On the Genealogy of Ethics p.276
     A reaction: Plato does imply some sort of self-evident direct knowledge about that nature of a healthy soul. Presumably the full-blown concept of conscience is something given from outside, from God. In 'Euthyphro', Plato asserts the primacy of morality (Idea 337).
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
As religion and convention collapsed, Plato sought morals not just in knowledge, but in the soul [Williams,B on Plato]
     Full Idea: Once gods and fate and social expectation were no longer there, Plato felt it necessary to discover ethics inside human nature, not just as ethical knowledge (Socrates' view), but in the structure of the soul.
     From: comment on Plato (works [c.375 BCE]) by Bernard Williams - Shame and Necessity II - p.43
     A reaction: anti Charles Taylor
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Plato's legacy to European thought was the Good, the Beautiful and the True [Plato, by Gray]
     Full Idea: Plato's legacy to European thought was a trio of capital letters - the Good, the Beautiful and the True.
     From: report of Plato (works [c.375 BCE]) by John Gray - Straw Dogs 2.8
     A reaction: It seems to have been Baumgarten who turned this into a slogan (Idea 8117). Gray says these ideals are lethal, but I identify with them very strongly, and am quite happy to see the good life as an attempt to find the right balance between them.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is better with the addition of intelligence, so pleasure is not the good [Plato, by Aristotle]
     Full Idea: Plato says the life of pleasure is more desirable with the addition of intelligence, and if the combination is better, pleasure is not the good.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Nicomachean Ethics 1172b27
     A reaction: It is obvious why we like pleasure, but not why intelligence makes it 'better'. Maybe it is just because we enjoy intelligence?
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
Plato decided that the virtuous and happy life was the philosophical life [Plato, by Nehamas]
     Full Idea: Plato came to the conclusion that virtue and happiness consist in the life of philosophy itself.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.117
     A reaction: This view is obviously ridiculous, because it largely excludes almost the entire human race, which sees philosophy as a cul-de-sac, even if it is good. But virtue and happiness need some serious thought.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Plato, unusually, said that theoretical and practical wisdom are inseparable [Plato, by Kraut]
     Full Idea: Two virtues that are ordinarily kept distinct - theoretical and practical wisdom - are joined by Plato; he thinks that neither one can be fully possessed unless it is combined with the other.
     From: report of Plato (works [c.375 BCE]) by Richard Kraut - Plato
     A reaction: I get the impression that this doctrine comes from Socrates, whose position is widely reported as 'intellectualist'. Aristotle certainly held the opposite view.
23. Ethics / F. Existentialism / 4. Boredom
Plato is boring [Nietzsche on Plato]
     Full Idea: Plato is boring.
     From: comment on Plato (works [c.375 BCE]) by Friedrich Nietzsche - Twilight of the Idols 9.2
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle]
     Full Idea: With a single exception (Plato) everyone agrees about time - that it is not generated. Democritus says time is an obvious example of something not generated.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Physics 251b14
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.