Deontic Logic Definitions
Вставка
- Опубліковано 3 жов 2015
- Definitions of the five Deontic predicates (Obligation, Impermissibility, Permissibility, Omissibility and Optionality) in terms of obligation.
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Very good video. I must say I have always found little interest in deontic logic when compared to other forms of logic, but you may help to change my opinion.
+Daniel Sampaio I more find it interesting for the interplay between it and the other kinds of modal logics, more than for deep understandings it can provide about ethics. Thanks for watching!
Is this true?:
(1) OM(p) -> (IM(p) v PE(p) v OP(p)) [p is omissible implies that p is either impermissible, permissible or optional]
+3DMint Actually the stronger claim holds:
OM(p) -> (IM(p) v OP(p))
This follows from the definitions above, plus sentential logic:
Assume that "OM(p)" is true and '"IM(p)" is false, then it is the case that
"~Ob(p)" and "~Ob(~p)", thus "~Ob(p) & ~Ob(~p)", i.e. "Op(p)".
Also note that the disjunction "IM(p) v PE(p)" is tautologous, because it means "Ob(~p) v ~Ob(~p)", therefore it is implied by any proposition (including "OM(p)").
Finally, observe that none of the implications
OM(p) -> (PE(p) v OP(p))
OM(p) -> IM(p)
OM(p) -> PE(p)
OM(p) -> OP(p)
follows from the definitions alone.
+Daniel Sampaio Great explanation. Thanks.
It sure would help if you numbered your videos
I number the videos in my big series (like this) in the bottom corner of the title slide. The easier way to view them is to use the playlists since that will put them all in order. I could make a playlist with all of the videos, but I don't know who would watch 700+ videos in a row.
UA-cam doesn't always play them in order, so I can't tell whether the next video that pops up is going to be the next one in the series. Your work is helpful for a crash course in logic, and you explain it quite well, but I'd like to be able to follow your thinking in order, and a number for the video in the title lets me figure out whether I'm seeing them in that order or not. It's your work, of course, but there aren't many videos on this stuff and yours are some of the best.
The playlists weren't putting them in order for me. Thank you for the reply.