Modal universes

From Aware Theory
Jump to: navigation, search

Modal universes are a concept used in modal logic. They allow for a multi valued logic. Rather than a true or false answer to a question or problem they allow for a multi valued answer that is between true and false. For example, For the question Is it raining? It might not be raining here but it might be raining somewhere else. So the answer can be both true and false at the same time. When the concept of place is replaced by a universe, the question can be specified for each universe. Each universe will have a specific true or false or undefined answer to every question. So we can have answers like: for every universe it is the case, or for some universes it is the case, or for no universes it is the case. Also modal logic can be combined with fuzzy logic or (continuum logic) where the value of the answer can be some where in between true and false for each universe.