Questions tagged [modal-logic]

a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality

Filter by
Sorted by
Tagged with
7 votes
3 answers

Nonexistence and invalid formulas in modal logic

In first-order logic, I can essentially just ignore issues related to nonexistence and invalid formulas, without losing much. There is also free logic, in case I'm not happy with simply ignoring these ...
Thomas Klimpel's user avatar
0 votes
6 answers

Possibly, 7 isn't prime [closed]

I'm curious if in the philosophy of mathematics (or perhaps the philosophy of modality), the following has been proposed: There exists something like an imaginary (but not complex) number i such ...
George Singer's user avatar
6 votes
2 answers

What determines accessibility of possible worlds?

Recently, I have begun studying modal logic, using Brian Chellas's Modal Logic: An Introduction. Something keeping me from fully understanding the material is the idea of a possible world. They seem ...
ElStevo's user avatar
  • 63
4 votes
1 answer

Reasoning in S5

I'm currently working on implementing reasoning involving time. Since S5 (every world accessible from any other) is sufficient for what I'm trying to represent, I wanted to know what are the ...
decden's user avatar
  • 143
3 votes
1 answer

One-placed intersection operator

What is the meaning of a formulation like: "A iff ∩A ⊆p" A is a set of propositions, p is a specific proposition, and the whole formulation is explicated as "There is no possible world where all ...
djupp's user avatar
  • 53
5 votes
1 answer

For the modal realist, do possible individuals (and worlds) exist necessarily?

For David Lewis's Modal Realism, do the worlds and individuals that inhabit them exist necessarily? In a sense, the answer is "no". For an individual to exist necessarily would be for it to have a ...
Dennis's user avatar
  • 4,592
7 votes
4 answers

Are there mathematical properties a mathematical object might have only contingently?

It is generally assumed that mathematics is necessary, such that any mathematical theorem is necessarily true. This can be read as a de dicto necessity such that for any mathematical proposition p, []...
Dennis's user avatar
  • 4,592
8 votes
3 answers

Modal Logic: a question concerning accessibility

I’m reading a lot about modal logic lately, right now Lewis “On the Plurality of Worlds” and Priests “Introduction to Non-classical Logics”. It is postulated that the different worlds have nothing to ...
Lukas's user avatar
  • 3,137
6 votes
1 answer

Does modal realism dispense with Occams razor or embodies it?

Modal realism posits the reality of all logically possible worlds. This seems to radically dispense with Occams razor by allowing the reality of all logically feasible explanations. But on reflection ...
Mozibur Ullah's user avatar
25 votes
3 answers

What is modal logic for?

I understand "pure" logic as a structural description of what a valid proof is but I have never understood the reasons for using modal logic. What's an example typical of how modal logic is used?
user avatar
5 votes
1 answer

Establishing Incompletenes of Modal LPC

In Hughes and Cresswell A New Introduction to Modal Logic (1996 ed.) page 271, they attempt to establish the incompleteness of the system K + G1 + BF (where K is L(P->Q)->(LP->LQ), G1 is MLP->LMP, and ...
Double AA's user avatar
  • 175

5 6 7 8