Modal Logic - Possibility

  • I
  • Thread starter Nim
  • Start date
Nim
74
0

Main Question or Discussion Point

One of the ways we use the term possibility is "We can go to Mars". Another way is "We may learn how to travel to Mars faster than light as our understanding of physics progresses".

What exactly does it mean in modal logic? Would a statement like 1+1=2 be considered possible in modal logic or necessary or both?
 

Answers and Replies

832
386
Logically possible means not ruled out by something that is true or is logically necessary. Everything that is logically necessary is also logically possible.
 
  • Like
Reactions: Nim
832
386
I should have said "true in all possible worlds", rather than simply "true" -- a thing could be false in our world and still be logically possible.
 
1,140
223
One of the ways we use the term possibility is "We can go to Mars". Another way is "We may learn how to travel to Mars faster than light as our understanding of physics progresses".
Neither of those statements contains the term (or operator of) possibility. The first one is a simple statement of ability "We are able to go to Mars". The second does contain the notion of possibility and can be restated "It is possible for us to learn how to travel to Mars faster than light...".

What exactly does it mean in modal logic?
Possibility has no meaning on its own, it acquires meaning with reference to a frame of worlds. If a proposition is true in any frame that is accessible then it is possible.

Would a statement like 1+1=2 be considered possible in modal logic or necessary or both?
That depends on how you define the accessible frame. If the frame includes normal decimal arithmetic then the statement is clearly possible so the modal proposition "it is possible that 1 + 1 = 2" is true in that model. If the frame includes arithmetic modulo 2 then the modal proposition "it is possible that not (1 + 1 = 2)" is true, which in most formulations of modal logic implies that the proposition "it is necessary that 1 + 1 = 2" is false. Of course one could argue that 2 is not a value of arithmetic modulo 2 and so the proposition has no meaning in that world, but then you are in danger of straying into philosophy which is
  • where, in my (limited) experience, modal logic usually ends up
  • not allowed on Physics Forums.
 

Related Threads for: Modal Logic - Possibility

  • Last Post
Replies
17
Views
1K
  • Last Post
Replies
5
Views
1K
Replies
2
Views
2K
Replies
7
Views
3K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
23
Views
3K
  • Last Post
Replies
2
Views
466
  • Last Post
Replies
2
Views
616
Top