more from this thinker     |     more from this text


Single Idea 22505

[filed under theme 10. Modality / C. Sources of Modality / 6. Necessity from Essence ]

Full Idea

If it is necessary that, if a triangle contains two right angles, that a quadrilateral has four, it is clear that the cause of this is that a triangle has two.

Gist of Idea

The two right angles of a triangle necessitate that a quadrilateral has four

Source

Aristotle (Eudemian Ethics [c.333 BCE], 1222b31)

Book Ref

Aristotle: 'Eudemian Ethics I,II and VIII', ed/tr. Woods,Michael [OUP 1992], p.21


A Reaction

We would not normally use the word 'cause' for this, but 'necessitates' seems to fit, and I like the word 'determines' (because it can be both physical and abstract). An example of what I think of as an Aristotelian necessity maker.


The 17 ideas with the same theme [necessity comes from the essence of actual things]:

The two right angles of a triangle necessitate that a quadrilateral has four [Aristotle]
Some things have external causes of their necessity; others (the simple) generate necessities [Aristotle]
Aristotle's says necessary truths are distinct and derive from essential truths [Aristotle, by Koslicki]
Necessity is in reference to essence or to cause [Spinoza]
Metaphysical necessities are true in virtue of the essences of things [Ellis]
Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis]
Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K]
Metaphysical necessities are true in virtue of the nature of all objects [Fine,K]
It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K]
Essentialism is often identified with belief in 'de re' necessary truths [Mautner]
If basic physics has natures, then why not reality itself? That would then found the deepest necessities [Heil]
If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe]
Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe]
The big challenge for essentialist views of modality is things having necessary existence [Hale]
Essentialism doesn't explain necessity reductively; it explains all necessities in terms of a few basic natures [Hale]
If necessity derives from essences, how do we explain the necessary existence of essences? [Hale]
We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs]