Question

Suppose we defined an honest agent as one who intends to focus on stating truths, with liars as those who intend to focus on stating falsehoods. But if there are other relations an agent can bear towards honesty, we end up with a broader possible moral scheme for the attendant principle-of-virtue (e.g. in a 3VL system, an agent who focuses on the post-bivalent value is not honest and is not a liar, but when {3} there is like Łukasiewicz' possible in one of his logical programs, then there is another aretaic status, besides honest and a liar, for those who (weird as this might be) focus on stating sentences of type {3}).

Reciprocally, can we derive a justified system of 3VL (or more) by reflection from the deontic relations as initial terms of definition in this context?

Answer 1

Kant's universal law formulation of the categorical imperative can be used to derive a justified system of 3VL or more by reflecting on the deontic relations and the principle of honesty.

Step-by-step explanation:

In the context of deontological ethics, Kant's universal law formulation of the categorical imperative can be used to derive a justified system of 3-valued logic (3VL) or more. According to Kant, moral actions are those that can be universally applied without contradiction. If we apply this principle to the concept of honesty, we can determine whether a 3VL system is morally acceptable.

For example, if we consider a 3VL system where there is a third truth value, represented by the symbol {3}, an agent who focuses on stating sentences of type {3} would not be considered honest or a liar. However, if we universalize this action and everyone in the system starts focusing on stating sentences of type {3}, the principle of honesty would become contradictory when applied universally. In this case, the 3VL system would not be morally justified according to Kant's universal law formulation.

Therefore, by reflecting on the deontic relations and applying the universal law formulation, we can derive a justified system of 3VL or more.