# 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

44 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
130 views

### Causality and Modal concepts

I am a physics student but very interested in some topic of philosophy (specially in analytic philosophy). A question which have been struggled me for some time is the relation between modal concepts ...
• 131
84 views

### Truth/actuality as an operator

Frege claimed that "it is true that" adds nothing to the actual meaning of an assertion, and following him along this line are prosentential theories of truth. However, I wonder if this is ...
• 2,935
110 views

### Propositions that can't be used to distinguish possible worlds

Are there known ways of formalizing the notion of propositions that can't be targeted by counterfactuals in a coherent way? Or of propositions that are outside the scope of the framework in question? ...
• 986
71 views

### Modal logic for absoluteness

Modern modal logic has the modalities of necessity and possibility. However, both of these can be seen as relative to the set of possible worlds and the accessibility relation chosen for the semantics....
• 189
60 views

### How to accomodate hyperintensionality in a Bayesian framework?

Generally, propositions are modelled as sets of possible worlds, and Bayesians define a credence function on the set of those propositions. They then adopt new credence functions in response to new ...
58 views

### Could we supply logics make quantification over logical constants?

In first order logic, we make quantification over individuals, and in second order logic, we make quantification over properties. So could we supply logics make quantification over logical constants, ...
• 466
63 views

### What is 'expendable' in logic and how to explain 'tautology' given this image?

This image is from http://www.nfillion.com/index.php/teaching/9-logic-112. According to this, a proposition can have 4 basic properties: (1) necessarily, (2) not possibly, (3) missing, and (4) ...
• 187
127 views

### How to do indirect proof (reductio ad absurdum) using natural deduction for modal logic?

I have been using Garson's Modal Logic for Philosophers, 2nd edition, to learn how to use natural deduction with modal logic. (BTW, does anyone know where there's an answer key for chapters 1 and 2 of ...
46 views

### What is the distinction between A-intension and C-intension?

I'm having a really hard time understanding a concept discussed in “Qualia and Analytic Conditionals” by Braddon-Mitchell and "Why We Need A-Intensions" by Jackson. Here's my extraction of these ...
41 views

### Did Quine change of opinion towards quantified modal logic?

Willard Van Orman Quine was a strong opponent to quantified modal logic calling it unreasonable and useless. But, did he always think like that? Or did he relax his attitude towards it with time? Did ...
• 311
66 views

### Can a Rigid Designator still exist if there is only one possible world?

According to Kripke, a rigid designator is a pronoun (but not all pronouns are rigid designators) and they pick out the same unique individual in each possible world. I understand this, however, if ...
130 views

### Modal logics - philosophical paradoxes using modeling by possible worlds

I'm searching for "paradoxes" in classical modal logics, meaning lines of reasoning which give a counterintuitive conclusion if performed in classical logic, which can be modelled by the (semantical) ...
• 121
60 views

### De Re, Counterfactuals, and rigidity

This is going to come off as vague or obscure; but, I hope the idea is performatively expressed: Two questions: Do you think that Kripke would argue that the impossibility of de re counterfactuals ...
• 307
80 views

### Does ◻(∀x)[Px ≡ ◻(E!x → Qx)] and ◻(∀x)(Qx → ◻E!x) entail ◻(∀x){Px ≡ ◻[E!x & (E!x → Qx)]}?

Say we are working in a free quantified modal logic system S5. Would the following argument be valid: ◻(∀x)[Px ≡ ◻(E!x → Qx)] (Premise) ◻(∀x)(Qx → ◻E!x) (Premise) ◻(∀x){Px ≡ ◻[E!x & (E!x → Qx)]}...
• 143
317 views

### Axioms for modal logics based upon counterfactuals

Suppose we have a logic for counterfactuals as with David Lewis. I here use ⇛ for the counterfactual conditional. So suppose we have: Rules: (1) If A and A→B are theorems, then B is a theorem. (2)...
• 308
64 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
85 views

### Axiom 4 in epistemic logic

In epistemic logic, axiom 4 says that if I know p, then I know that I know p. What is the philosophical value of such an axiom?
• 111
1 vote
95 views

### How to define ‘impossible’ using propositional modal logic?

I am trying to define impossibility using the symbols we have in propositional modal logic. I got ‘negation diamond alpha’ in mind as equivalent to ‘it is impossible that alpha’. It that correct and ...
• 19
1 vote
47 views

### Is there a non-transitive frame in which schema 4 is true? Or an irreflexive frame in which schema T is true?

So, I know that I can construct a frame {W, R, I} which is not transitive and in which schema 4 is not true (more specifically, Axiom Schema K and Axiom Schema 4 are not both true). I also know that I ...
1 vote
52 views

### Yablo's condition on "Truth about a subject matter"

In section 2.4 of "Aboutness" Yablo offers the following analysis of what does it mean that a statament is true about a certain subject matter/topic: So, what is the proposition we are ...
• 385
1 vote
139 views

### Proof that uniform substitution is validity preserving in modal system K?

I'm reading "A new Introduction to Modal Logic" by Hughes and Cresswell. I've encountered this proof and I can't make sense of it: I'll try to break down what I don't understand about it. ...
• 127
1 vote
30 views

### Does Kripke hold a view of free logic?

if Kripke doesn't want to accept Barcan's formula（the changed form in free logic） - given his essentialism - one solution is free logic. So does Kripke say that he accepts free logic or?
• 466
1 vote
196 views

### Inference Rules of Modal Logic

I'm currently reading the book "An Introduction to Non-Classical Logic." Currently, I'm being introduced to modal logic for the first time. This book seems to prefer to present the reader with the ...
• 297
1 vote
150 views

### Boethius, Logical Necessity, and Accidental Necessity: A Solution to Free Will and Foreknowledge?

In his classic book, the Consolation of Philosophy (Book V), Boethius attempts to make an argument that libertarian free will and [divine] foreknowledge are not incompatible. His argument goes ...
1 vote
110 views

### Modal Logic: Proving Schema Validity

When faced with a question of the sort, "Is schema X valid in class of frames C?", we usually go about proving or disproving this by assuming the antecedent of X and showing that the consequent ...
• 49
1 vote
40 views

### Did Carnap propose some kind of Modal Realism?

I have read in several pages that Rudolf Carnap, just as David Lewis (The creator of Modal Realism philosophical hypothesis) proposed that every logical proposition exists as a universe But is this ...
• 81
1 vote
129 views

### How and why Aristotelian essentialism is a problem for Quine?

I cannot understand how and why the Aristotelian essentialism is problematic for Quine. I have tried to read articles on the theme but probably I am not smart enough to understand them. Could you ...
• 11
1 vote
163 views

### Semantic expressiveness of modal logic

I am wondering how much of the semantic of basic philosophical questions can be expressed by formal arguments in modal logic. Here is one argument I formalised myself: P1 ◇ ∀a, ∃x // GNB(x, a) ∧ C(a)...
• 3,531
1 vote
71 views

### Does Sosa's modal definition of knowledge beg the question?

In his 1999 paper "How to Defeat Opposition to Moore", Ernest Sosa argues that sceptical, Nozickian tracking, relevant-alternative, and contextualist accounts of the sceptical paradox rely on the ...
37 views

### A "combining logic" moment in Kant

In "Ethical Theories and Moral Guidance", Pekka Väyrynen goes over proposals and arguments concerning the knowability of moral claims. Kant's relevant proposal (in the second Critique) is: ...
• 2,935
81 views

### Is there a notion analogous to “the inductive conception of set” in modal logic?

In many introductory treatments of modal logic, one defines a Kripke model with respect to some domain D. In variable domain semantics, each world in the Kripke model is assigned a different subset of ...
101 views

### Proving validity/invalidity of a modal argument

□(A v B) → (□A v □B) ...(1) This symbolic argument is intuitively invalid. In (1), if we replace B with ~A, then we see that though the antecedent is necessary, the consequent is a contradiction since ...
• 187
148 views

### "Where" does the counterpart relation subsist?

AFAIK, according to the counterpart theory, it is true of me that I could have lived a different life, if my counterpart in another possible world did live a different life. But where is it true that ...
• 2,935
67 views

### Prove that p → □p is not derivable in system K?

The only way I could think of doing this is to show that p → □p with the K axioms would imply a contradiction, but I don't think that's true. Not sure how to get started on this. Do I just have to ...
145 views

### Possibly necessarily P → Necessarily P?

So I saw this proof for ◊□p → □p but I don't know if it's true. ◊~p → □◊~p (5 axiom) ◊~p → ~◊~◊~p (Definition of □) ~~◊~◊~p → ~◊~p (Contraposition) ◊~◊~p → ~◊~p (Double negation) ◊□p → □p (Definition ...
• 1
78 views

### Is there a moral to the deontic-logic story?

In alethic modal logic, it is arguably conventional (or metaphysically thematic) to start with a possibility or a necessity operator. For example, you can start with possibility and get not-possibly (...
• 2,935
86 views

### What is basically at stake in contemporary discussions regarding essentialism and essential properties?

Modern discussions of " essentialism" ( 17th century) can be associated with the empiricism / rationalsit debate. By denying that we have acces to " real essences" , Locke also denies that we can know ...
61 views

### Alphabetic Substitution, Barcan, and Strict Implication

Context: I'm stuck on Axiom 8 from the introduction to Barcan 1946, "A Functional Calculus of First Order Based on Strict Implication." My instinct is that I'm missing a basic, perhaps obvious concept-...
141 views

### Proving the Modal Logic S5-Theorem ♦□ϕ ↔ □ϕ

As above (http://gki.informatik.uni-freiburg.de/teaching/ss15/ml/script.pdf page 59), and in many other sources, the formula ♦□ϕ ↔ □ϕ is considered a theorem in modal logic S5. However, the paper ...
• 101
59 views

### Is this valid in first-order modal logic?

(∀x)(∀y){(xEy) --> (∀z)[Tz --> (C(x,z)Ey)]} (Premise) {(∀y)[Ty --> (∃x)(Tx & xEy)]} --> {(∀y)[Ty --> (∃x)(Tx & xEy & ◻(Tx --> Ty))]} (From (1)) I'm trying to work this out in a quantified ...
• 143
144 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 ...
• 381
37 views

### How to make sense of " I know that p but I could be wrong as to p"? ( Faillibilism)

There is a well known modal fallacy regarding knowledge which says that if some subject s knows that p, then p cannot be false, and therefore , p is a necessarily true proposition. Source : [ by ...