Necessity and Possibility

Some things are true.

Some things could have been true.

Some things must be true.

Some things could not possibly be true.

These distinctions concern modality.

The two basic modal notions are:

• necessity,
• possibility.

They expand logic beyond what is actually the case.

Actuality

Consider:

Istanbul is in Türkiye.

This is actually true.

But logic can ask more:

Could Istanbul have had a different name?

Could the borders of countries have developed differently?

Actuality is only one modal category.

Possibility

A proposition is possible if it could be true in at least one relevant way things might have been.

For example:

“This coin lands heads.”

Before the toss, heads is possible.

Possibility does not mean probability 50%.

It means non-impossibility.

Necessity

A proposition is necessary if it could not have been false.

Examples often include:

[ 2+2=4 ]

or:

No bachelor is married,

given ordinary definitions.

Necessity is stronger than truth.

Contingency

A proposition is contingent if:

• it is true,
• but could have been false.

For example:

“Paris is the capital of France.”

This is true.

Historical institutions could have developed differently.

So the truth appears contingent.

Impossible Propositions

A proposition is impossible if it cannot be true.

For example:

A square circle exists,

under ordinary Euclidean concepts.

Impossibility is stronger than falsity.

A false statement may merely fail in the actual world.

Modal Operators

Modal logic introduces operators.

Necessarily:

[ \Box P ]

Possibly:

[ \Diamond P ]

These enrich ordinary propositional logic.

Duality

In standard modal logic:

[ \Diamond P \equiv \neg \Box \neg P ]

Meaning:

P is possible

iff

it is not necessary that P is false.

Similarly:

[ \Box P \equiv \neg \Diamond \neg P ]

Necessity and possibility are dual notions.

Truth Does Not Imply Necessity

If P is true, that does not mean:

[ \Box P ]

For example:

It is raining now.

may be true.

It need not be necessary.

Reality contains contingent facts.

Necessity Implies Truth?

In standard modal systems with reflexive accessibility, if P is necessary, then P is true in the actual world.

This principle is formalized in system T:

[ \Box P \rightarrow P ]

But modal systems can differ depending on what “necessity” is meant to represent.

Logical Necessity

Some statements are necessary because denying them violates logic.

Example:

[ P \lor \neg P ]

in classical logic.

Such necessity is logical.

Mathematical Necessity

Mathematical truths are often treated as necessary.

If:

[ 7+5=12 ]

then perhaps it is true in every possible world where standard arithmetic applies.

But philosophical accounts differ on why.

Physical Necessity

Physical laws introduce another kind of necessity.

If the laws of nature are fixed, certain events may follow necessarily from conditions.

But could the laws themselves have been different?

That is a separate modal question.

Nomological Necessity

Necessity relative to laws of nature is called nomological necessity.

For example:

Given certain laws and initial conditions, an outcome may be physically necessary.

This is weaker than logical necessity.

Metaphysical Necessity

Philosophers also discuss metaphysical necessity.

Some truths may be necessary not merely by definition or logic but because of the nature of things.

Examples often involve identity and essence.

This is controversial territory.

Kripke and Necessary A Posteriori

Saul Kripke famously argued that some truths can be:

• discovered empirically,
• yet necessary.

For example:

Water is H₂O.

If “water” rigidly designates the substance H₂O, then once discovered, the identity may hold necessarily.

This challenged older assumptions.

Contingent A Priori?

Kripke also discussed cases suggesting some propositions can be knowable a priori yet contingent.

This separates two dimensions:

• epistemic: how we know,
• modal: how things could have been.

Necessity is not the same as certainty.

Epistemic vs Modal

“I am certain P”

does not mean:

“P is necessary.”

And:

“P is necessary”

does not mean:

“I can know it without evidence.”

Knowledge and modality are distinct axes.

Possible Worlds

One influential way to model modality uses possible worlds.

A possible world is not necessarily another physical universe.

It can be understood as a complete way things might have been.

Then:

[ \Box P ]

means P is true in all relevant possible worlds.

And:

[ \Diamond P ]

means P is true in at least one.

Accessibility

Modal logics often include an accessibility relation between worlds.

One world may count as possible relative to another.

Different constraints on accessibility produce different modal systems.

This will be the focus of the next essay.

Counterfactuals

We constantly reason about possibilities that did not occur.

“If I had left earlier, I would have caught the train.”

This is a counterfactual.

Counterfactual reasoning requires comparing actuality with alternatives.

Causation and Possibility

Causal claims often have modal content.

To say:

A caused B

may imply:

if A had not occurred, B would not have occurred,

under relevant conditions.

Causation and counterfactual dependence are closely related.

Planning

Intelligence depends on possibility.

An agent imagines:

• action A,
• action B,
• possible outcomes.

Planning is modal simulation.

The mind reasons over unrealized futures.

Science

Scientific models explore possible states.

A simulation asks:

Given these laws and conditions, what could happen?

Prediction and explanation are deeply modal.

Risk

Risk analysis distinguishes:

• possible,
• probable,
• catastrophic.

A low-probability event can still be possible.

Possibility is not probability.

This distinction matters in decision making.

Probability vs Modality

Probability assigns weights to possibilities.

Modal logic asks whether a possibility is available at all.

A proposition may be:

possible with probability near zero.

Or impossible with probability exactly zero under the model.

The concepts should not be collapsed.

Necessity and Identity

Identity creates modal puzzles.

If:

Hesperus = Phosphorus,

and both names rigidly designate Venus, Kripke argues the identity is necessary.

Yet humans discovered it empirically.

Modal structure can differ from epistemic discovery.

Essence

What properties could an object lose and still remain the same object?

Could a person have had different hair color?

Probably.

Could they have been a triangle?

Probably not.

Questions like this concern essential vs accidental properties.

Essential Properties

An essential property is one an object must have to be what it is.

An accidental property can change without destroying identity.

Determining essence is a metaphysical task.

Logic provides tools but not all answers.

Modal Fallacy

People sometimes confuse actuality with necessity.

“This happened, therefore it had to happen.”

That inference is invalid.

Events can be actual without being inevitable.

Another Modal Fallacy

From:

Necessarily, if P then Q

it does not always follow that:

If P, then necessarily Q.

Scope matters.

Modal operators interact subtly with conditionals and quantifiers.

The Philosophical Lesson

Necessity and possibility let logic speak not only about the actual world but about alternatives.

They distinguish:

• what is,
• what could be,
• what must be,
• what cannot be.

This creates a richer logic of reality.

The Next Question

How can these modal ideas be formalized?

What rules should govern:

[ \Box ]

and:

[ \Diamond ]

And why do different notions of necessity require different formal systems?

The next topic is:

modal logic.