Im studying for a cognitive modelling exam and I would appreciate some clear definitions of these two logics.
I know that Descriptive logic is :what is the case.
and that Deontic logic is : what ought to be the case.
But I’m struggling to imagine what these actually mean. So some easy to understand examples please and how they differ.
I’m not familiar with the term descriptive logic, and nothing’s showing up on Google, but from your brief description, it just sounds like standard logic. In that case, it’s used to determine which statements must be true, given that another statement is true. For instance, consider the following argument:
If the premises are true, the conclusion must be true as well.
Deontic logic, on the other hand, is used to study what must be true if we consider notions of permission and obligation. Wikipedia has a good article that will give you a better overview than I can.