Assertion: propositional logic | /r/HasProperty | interesting
Facets:
value: to mathematicians
type: TRANSITIVE-OBJECT
value: especially
type: DEGREE
Source sentences:
text: While predicate logic is especially interesting to mathematicians, modal logic is especially interesting to philosophers because many of the most interesting arguments in the history of philosophy—arguments about the nature and existence of God, free will, the soul, and much more—are modal in nature and can only be analyzed in a deep way using the techniques of modal logic.