Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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

6
votes
3answers
252 views

Has any philosopher ever claimed that possibility can't really be tensed?

Has any philosopher ever claimed that possibility can't really be tensed? So that whatever will be possible is possible now. I really have no idea, and would love an answer. I'll add my motive, so ...
5
votes
1answer
275 views

What is Plantinga's “trivial property”?

I have seen the term "trivial property" used several times, and some authors seem to be attributing it to Plantinga, but I cannot find his definition. I have seen others define it as a property ...
3
votes
2answers
204 views

Getting started with reading papers in (philosophical) logic

I have worked through some textbooks thus far, but would like to get started reading papers in the field of logic. Can anyone recommend any papers or how I could get started? I found that many papers ...
-2
votes
2answers
180 views

Why does this reductio ad absurdum work?

A is something which we do not know the truth value of, for example: A = It will rain tomorrow. It might happen, it might not. So possibly A is true, and possibly ~A is also true. What is wrong with ...
1
vote
2answers
271 views

Are statements in modal logic true or false?

A bit new to modal logic. I believe that it is the case if we say "It is possible that P is true in world w", then this statement is "true". This is not the same as saying P is true. Just that P is ...
1
vote
1answer
79 views

In what ways are formalisms like modal logic Eurocentric?

I mean this as a linguistic question, not a cultural one. Operators in modal logic, like must and should exist in English, and many other languages -- but not in all of them. I mean: Modality is not ...
9
votes
2answers
165 views

What is the explanation for inferring existence in every possible world from existence in some in Plantinga's Ontological Argument?

I found the following version of the Ontological Argument online (I'm pretty certain its Plantinga's but I couldn't find an exact source). Here is how it goes: It is possible that a maximally great ...
2
votes
1answer
206 views

A problem with Modal Logic (necessary truths)

I have this problem with Modal Logic that I am not sure I see which propositions in this logic are necessary besides tautological propositions. I mean metaphysically, something is necessary if it's ...
2
votes
1answer
285 views

What is the fallacy in deriving necessity of an event from God's foreknowledge of it?

Here is the form: If God knows I will eat lentils tonight, then necessarily I will eat lentils tonight God knows I will eat lentils tonight Therefore, necessarily I will eat lentils tonight. Now, ...
1
vote
1answer
105 views

Proving ¬Lp ∨ Lp

I want to prove this using only Necessitation Rule, Distribution Axiom and Reflexivity Axiom from modal logic (their combination is sometimes called modal system T). As I can't conclude that ¬Lp &...
6
votes
1answer
163 views

Is it provable that epistemically possible (possible for all I know) does not imply possible?

Here is an argument that it is not. Let's start with some equivalences: X is epistemically possible iff X is possible for all I know iff not (X is impossible given what I know) iff X is not ...
2
votes
1answer
162 views

Why do “L” and “M” name the strong and weak modal operators in modal logic?

Though the box and diamond are the more common representations of the strong and weak modal operators in modal logic, “L” and “M” are also used. I suspect that those letters were chosen because they ...
0
votes
0answers
101 views

Real impossible worlds

What is the name of a/the metaphysic that affirms the reality of all worlds including impossible worlds? Actualism denies the reality of all non-actual worlds, possibilism affirms the reality of all ...
1
vote
1answer
78 views

Validity of: ◻◇◻p → ◇p in transitive frames

How can I show the (in)validity of: ◻◇◻p → ◇p in a transitive frame? Proof method: I want to do this by showing in a transitive frame that ◻◇◻p holds and that ◇p doesn't hold. (I think that ◻◇◻p ...
6
votes
1answer
247 views

Does semantic externalism imply modal realism?

Semantic externalism, or more broadly externalism about mental content, is the idea that propositions, intentions, attitudes, etc. derive their meaning from the external world as opposed to internally ...
2
votes
0answers
84 views

What is the difference between Herbrand Logic and Relational Logic or Predicate Logic?

I am learning a course from Stanford University, and it introduces the notion of Herbrand Logic. However in Wikipedia I cannot find a definition specifically for "Herbrand Logic", only for Herbrand ...
1
vote
1answer
327 views

Existence as a predicate and Godel's ontological argument

I am referring to this paper https://github.com/FormalTheology/GoedelGod/blob/master/GodProof-ND.pdf which has formalized the ontological argument. If I am not mistaken, watered down, the argument ...
3
votes
1answer
206 views

Consistency in Modal Metaphysics

I read this article Modal Metaphysics weeks ago, but one thing that struck and perplexed me was the definition of consistency offered in this article. According to this article, it seems that one ...
1
vote
1answer
97 views

Reasons to think that metaphysical theories express contingent truths

In a paper I read recently, the author claims that metaphysical theories such as Determinism or Materialism/Physicalism may be regarded as contingent truths. I take Determinism and Materialism/...
1
vote
1answer
65 views

Is there any way to represented nested modalities in alethic modal logic?

It is possible to represent simple statements involving possibility and necessity in alethic modal logic and possible world semantics. But consider a statement like "It is possible that it is ...
11
votes
1answer
321 views

Is it possible to not know that one knows p?

An axiom that is often included in standard modal logic is Kp => KKp If we use epistemic modal logic, so that K translates as 'he knows', then recalling p stands for a proposition, we have that Kp ...
4
votes
1answer
371 views

Is there anyone who believes that all modal statements are meaningless or trivial?

It is often useful to interpret statements in various modal logics using possible-world semantics. For instance "it is necessary that P" means "P is true in all possible worlds", "it is possible that ...
6
votes
5answers
195 views

Is Modal Logic Logic?

What makes "Modal Logic" Logic? Why are symbols that stand for "necessary", for example, taken as symbols of Logic (of the same level of symbols that stand for "exists")? What are the limits that ...
2
votes
1answer
432 views

Prove ◇(p ∨ q) → (◇p ∨ ◇q) and ◇(p ∧ q) → (◇p ∧ ◇q) in Modal Logic K

I would really appreciate a rundown of a proof of one of the formulas or both: 1) ◇(p ∨ q) → (◇p ∨ ◇q) 2) ◇(p ∧ q) → (◇p ∧ ◇q) I'm allowed to use following proof procedures of modal logic K: 1) ...
3
votes
1answer
217 views

Classes of frames in Modal logic

In Modal logic, a frame is defined as a pair (W,R), where W is a non-empty set (of possible worlds, states, or other terminology), and R is a binary relation on W. However, what exactly is a 'class ...
1
vote
2answers
201 views

Skepticism and Belief in Doxastic Logic

It seems to me that the proposition: "I am skeptical of everything" is synonymous with "I don't believe in anything". But obviously in Doxastic logic there must be some form of axioms that say that ...
4
votes
5answers
5k views

If everything is possible, is it possible for something to be impossible?

If everything is possible, is it possible for something to be impossible? Possibility and impossibility are modal notions; and are dual in the usual formulation; the SEP remarks: It would seem to ...
3
votes
2answers
142 views

Defining logical possibility without circularity

In explaining logical possibility (broad), I tend to say that a thing is logically possible if it exists in some possible world, some possible description of reality, but in what sense is such a world/...
0
votes
1answer
102 views

Why does a blind inaccessible world verify, but not falsify, 𝓐 ↣ 𝓑?

Picture 1: Last example on the 'Additional Examples' website for Chapter 11. (Not in the textbook) Picture 2: p 319, Sweet Reason: A Field Guide to Modern Logic (2010 2 ed) by Henle, Garfield, ...
3
votes
1answer
124 views

Can one be a Modal Realist without also having to incorporate the existence of impossible worlds?

I know Modal Realism well enough itself, and have read many of the objections (and subsequent responses) that David Lewis himself took up in relation to the philosophical position. My question is, do ...
2
votes
1answer
132 views

The definition of a possible world

I have a two-part question about the definition of a possible world. I will make the assumption that time is tensed. First of all, is a possible world a complete list of all propositions that are ...
1
vote
1answer
243 views

Exercise 2.2b from A New Introduction to Modal Logic

I am kind of stuck on page 48 on exercise 2.2b in Hughes and Cresswell; In case you don't have the book at hand here's the question: Let K** be K but with N and K replaced by LT: L( p→ p), ...
4
votes
3answers
259 views

According to modal realism, how many possible worlds are there?

Modal realism tells us there is an infinity of possible worlds, but how many are there exactly? Is it countable infinity ℵ₀, uncountable infinity 𝖈, or some other, bigger uncountable infinity?
3
votes
1answer
165 views

What is the difference between ∃ (existence) and A (actuality)?

The existential quantification can, it seems, be used with modal logic. Now excuse my naivety, but: if so, what is the difference between being actual and existential quantification? I'm just asking ...
1
vote
0answers
45 views

Is there a symbolic formulation of modal realism?

Is there a symbolic formulation of modal realism, i.e. the doctrines of modal realism captured in some formal system?
1
vote
1answer
104 views

Necessity and possibility (again)

My question is inspired by the following post: Necessity in relation to possibility It seems that necessity does not entail possibility in every modal logic. In order to do so, one may require the ...
1
vote
1answer
263 views

Necessity in relation to possibility

(1) Does necessity (materially) imply possibility? (2) Does possibility (materially) imply necessity? From a logical point of view: If by material implication (A -> B), we mean (-A or B), then it ...
2
votes
1answer
44 views

Can the square that ends a proof (similar to QED) be considered to claim the same thing as “necessarily” from modal logic?

I've only thought of this because superficially they look the same, and seem to be making similar claims. When you prove a statement P=>Q ◻, then is it the same as writing ◻P=>Q in modal logic?
6
votes
2answers
481 views

Is there modal logic without possible worlds?

Would it be desirable to carry out a deflationary research programme in modal logic? In other words, would it be desirable to re-think modal logic without the possible worlds semantics? The original ...
1
vote
1answer
54 views

Question on modal logic

Suppose the sentence p is possible, and -p is impossible. Is the disjunction p v -p necessary?
4
votes
4answers
306 views

Why did many valued logic fail in describing modal logic?

The SEP article on many valued logic makes the following statement: The introduction of systems of MVL by Łukasiewicz (1920) was initially guided by the (finally unsuccessful) idea of ...
4
votes
4answers
434 views

Does modal logic have truth tables?

The title says it all. Does modal logic have truth tables. I do not presuppose any system of modal logic.
3
votes
2answers
298 views

Why might truth imply necessity?

It seems well established (or, well-accepted) that necessity implies truth. For instance, in a context of epistemic logic, if one knows A, then A is true. On the other hand, I found on the Internet ...
1
vote
1answer
128 views

Law of excluded middle in modal logic?

Does the law of excluded middle (p or -p is provable) hold in modal logic? I would personally say yes, for from an algebraic logic point of view, modal logic is modelled via e.g. closure algebras (...
3
votes
4answers
184 views

What is the name of the position which claims that “everything that is possible, exists”?

Question. What is the name of the following position? Everything that is possible, exists. Thus, in particular, every possible universe actually exists, as a concrete reality. I don't mean ...
2
votes
1answer
2k views

How can you derive De Morgan's Law?

Can someone help me prove De Morgan's Law. In my logic class we are using a very basic set of rules for derivations and I can't for the life of me figure out how to prove the law with them. It's not ...
4
votes
1answer
131 views

Am I not a material thing?

I can not doubt that I exist. I can doubt that any material thing exists. Therefore, I am not a material thing This is a redux of Descartes's modal argument for dualism (e.g. in second and sixth ...
3
votes
4answers
688 views

How can a tautology not be necessarily true?

My logic/philosophy exercises include the following statement: "Every tautology is knowable a priori but not every tautology is necessarily true." I'm bamboozled. How can a tautology not be ...
0
votes
1answer
73 views

Is the Counterfactual Conditional Closed Under Entailment?

I often read that the counterfactual conditional "is standardly held to be closed under entailment", but I am not sure if I understand what it means: Say p counterfactually implies q, and q implies r; ...
2
votes
1answer
87 views

Modal Realism: Possible Worlds spatio-temporally isolated?

In Lewis' 5th doctrine of possible worlds in modal realism it says: Possible worlds are unified by the spatiotemporal interrelations of their parts; possible worlds are spatiotemporally isolated from ...