1.Previous
3.Next

propositions express what is possible, necessary, or impossible. Rather than asserting how the world is, they describe how it could or could not have been, as in "it is possible that I will win the lottery" and "it is impossible to travel faster than light". Logicians examine the relation between different modal propositions. For example, classical modal logic states that a proposition is necessarily true if it is impossible that it is false. There are different types of modality. Alethic modality

1.Previous
3.Next