Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood
Journal of Logic, Language and Information
| Hi-index | 0.00 |
We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called "semi-classical negations". Each of these negations deals only with one of the above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning.