Questions tagged [deontic-logic]
The deontic-logic tag has no usage guidance.
7
questions
1
vote
0
answers
50
views
+500
How many possible worlds does SDL need (at a minimum)?
The SEP article on deontic logic, in sec. 2.3, reads:
We assume that we have a set of possible worlds, W, and a relation, A, relating worlds to worlds, with the intention that Aij iff j is a world ...
- 12.2k
1
vote
1
answer
31
views
Does OB-RM support, "If A is good, and if B then A, then B is good"?
OB-RM is a proposition in deontic logic according to which:
Now I was trying to work with a different moral operator g for "it is good that,"W and I wanted to be able to show that:
(gA &...
- 12.2k
1
vote
2
answers
42
views
If p then it is not obligatory to know p and if not p then it is not obligatory to know not p → not obligatory to know p or not p?
Suppose that if I am happy I am not obliged to know it, and if I am not happy I am not obliged to know it, then does that mean that I am not obliged to know if I am happy or not? It seems non ...
user67675
2
votes
0
answers
25
views
How to express an is/too-much gap?
Phrases like "too much" and "not enough" can be morally charged fairly easily, so how would we express the fact/value distinction in these terms? I was thinking of using special ...
- 12.2k
0
votes
0
answers
21
views
Characterizing Mally's infamous theoretical outcomes as degenerate cases of moral representation
The gist of those outcomes is a collapse of "is" and "ought" into each other, e.g.:
(Apologies for the cutoff.) Is it safe to say that what Mally "discovered" was not, ...
- 12.2k
1
vote
0
answers
11
views
In a situational deontic logic, is a permission with no alternative degenerate?
Relativize issues of permissibility to situations, so that we would say things like, "In situation S, it is permitted that P." Let PMA = "It is permitted that A," and OBA = "...
- 12.2k
3
votes
0
answers
61
views
Rather than "ought to be true = is true" being impossible, might it not just be a trivial stage of moral representation?
I just finished reading Eugenia Cheng's essay on moral phraseology in mathematics, and so I want to go over something she says on pg. 20:
A recent lecturer of Part III Category Theory declared that ...
- 12.2k