«الإنسان حيوان بالضرورة»
A human is necessarily an animal.
This is an affirmative necessary proposition. Animality is contained in the concept of humanity; a human cannot, while human, fail to be an animal.
«والإنسان ليس بحجر بالضرورة»
And a human is necessarily not a stone.
This is a negative necessary proposition. As long as the human exists, being a stone is necessarily denied. Necessity is therefore compatible with both affirmation and negation.
Opening interactive controls...
Modal Propositions: The Eight Simple Modalities
«الإنسان حيوان بالضرورة»
A human is necessarily an animal.
This is an affirmative necessary proposition. Animality is contained in the concept of humanity; a human cannot, while human, fail to be an animal.
«والإنسان ليس بحجر بالضرورة»
And a human is necessarily not a stone.
This is a negative necessary proposition. As long as the human exists, being a stone is necessarily denied. Necessity is therefore compatible with both affirmation and negation.