Meaning | A system of logic whose formal properties resemble certain moral and epistemological concepts. |
---|
Narrower | alethic logic | The modal logic of necessity and possibility and contingency |
---|
deontic logic | The modal logic of obligation and permissibility |
doxastic logic | The modal logic of belief and disbelief |
epistemic logic | The modal logic of knowledge and uncertainty and ignorance |
Broader | symbolic logic, mathematical logic, formal logic | Any logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity |
---|