Discussion Overview
The discussion revolves around the interpretation of possibility and necessity in modal logic, exploring how these concepts apply to statements and their truth across different possible worlds. Participants examine the implications of modal logic for mathematical statements and the contextual nature of possibility.
Discussion Character
- Exploratory
- Technical explanation
- Conceptual clarification
- Debate/contested
Main Points Raised
- Some participants propose that "logically possible" refers to statements not ruled out by something that is true or logically necessary, suggesting that everything logically necessary is also logically possible.
- One participant clarifies that a statement could be false in the actual world yet still be logically possible, emphasizing the importance of "true in all possible worlds."
- Another participant discusses the contextual meaning of possibility, stating that it requires reference to a frame of worlds, where a proposition is considered possible if true in any accessible frame.
- Regarding the statement "1 + 1 = 2," it is noted that its classification as possible or necessary depends on the defined accessible frame, with examples provided from normal decimal arithmetic and arithmetic modulo 2.
- There is a suggestion that discussions around the philosophical implications of modal logic may lead to complications not permitted in the forum.
Areas of Agreement / Disagreement
Participants express differing views on the definitions and implications of possibility and necessity in modal logic, indicating that multiple competing interpretations remain without consensus.
Contextual Notes
The discussion highlights limitations in definitions of accessible frames and the implications of different mathematical contexts on the interpretation of statements. There is also a noted tension between mathematical reasoning and philosophical considerations.