Consider the following truth table.
I am hungry | My eyes are closed |
---|---|
0 | 0 |
0 | 1 |
1 | 0 |
1 | 1 |
Each row is possible. But that seems to me like an incomplete statement. Instead, I think it makes more sense to say each row is possible in reality. But this leads me to my question. What is meant by saying something is possible in reality?
I might be hungry in the current moment in time, or I might not be hungry in the current moment in time. Similarly, my eyes might be closed in the current moment in time, or my eyes might not be closed in the current moment in time.
So reality in the context of my question seems to have something to do with the current moment in time. But this raises additional questions like "what is time", "does 'the current moment in time' make sense according to the theory of relativity?".
Let A be a statement. A statement symbolizes a proposition. A proposition is true or false but not true and false simultaneously. The word 'simultaneously' thus falls in the domains of logic and physics.
Let |A| mean the current truth value of the proposition denoted by A.
|A|=1 means the proposition denoted by A is currently true.
Thus Einstein's theory affects the meaning of 'truth' as well.
Although I have raised many questions, I am only concerned with one. What does it mean to say something is possible in reality. The notion of 'possible' falls in the domain of modal logic, which Einstein was unfamiliar with. So answers using SQML will be most appreciated.