Editing Metaphysical necessity (section)

== Types of necessity ==
Metaphysical necessity is contrasted with other types of necessity. Metaphysical necessity is often the most difficult to distinguish. Therefore, it can be helpful to understand the different types to distinguish each more clearly. 

# '''Logical necessity''': Logical necessity depends on the laws of logic. In order to claim that something is a logical necessity, it must abide by all the laws of logic. This means there must be no contradictions in [[First-order logic]]. For example, it is accurate to state that some oranges are apples, but it would not follow the laws of logic to say that some oranges are not oranges.
# '''Technological necessity:''' Technological necessity depends on the laws of technology. For something to be a technological necessity, it must fall within the current technological advancement up to that point. Technological necessities are constantly evolving and are the only type of necessity that can actually change or grow as new technologies are developed, allowing for more necessities, whereas the other types of necessity are fixed. An example of something that is technologically possible is flying with a [[Jet pack]] for short distances, however it is not technologically possible yet to fly with a jetpack from LA to NYC.
# '''Physical necessity:''' Physical necessity depends on the laws of physics. Causation is an example of a physical necessity because it falls within the laws of physics. For something to be physically necessary means that it is essential, given the current laws of physics. However, that doesn't mean that it must be observable like it would have to be for technological necessity; instead, as long as there is a law of physics that states that it is possible, it would be considered physically necessary. <ref>{{Cite journal |last=Wasserman |first=Ryan |date=2018-01-18 |title=Paradoxes of Time Travel |url=https://doi.org/10.1093/oso/9780198793335.001.0001 |journal=Oxford Scholarship Online |doi=10.1093/oso/9780198793335.001.0001|url-access=subscription }}</ref>
# '''Metaphysical necessity''': Metaphysical necessity depends on the laws of metaphysics. Something abides by the laws of metaphysics if it is [[Grounding (metaphysics)|Grounding]]. In the [[Euthyphro dilemma]], piety is grounded in love by the gods. It provides a good example of what it means to follow a law of metaphysics, and in the case of the dilemma it is used to express a law about the nature of piety.<ref>{{Cite journal |last=Wasserman |first=Ryan |date=2018-01-18 |title=Paradoxes of Time Travel |url=https://doi.org/10.1093/oso/9780198793335.001.0001 |journal=Oxford Scholarship Online |doi=10.1093/oso/9780198793335.001.0001|url-access=subscription }}</ref> Another example is that something is physical if and only if it is touchable, and the grounding law would be that something is physical if and only if it has mass. Metaphysical necessity can be difficult to grasp, but if something is not logical, technological, or physical, it is most likely a metaphysical necessity.