Re:Formal Models for Ethics
by logicchains on Sunday October 04, 2020 @07:11AM
(#24678046)
In paraconsistent logics one cannot use a proof of "X" and "not X" to prove any arbitrary statement, so it can indeed still be useful. However we still need to formally reason about the system to be able to establish that it is indeed a paraconsistent logic (that the principle of explosion doesn't apply).
Ethics does not aim to practically tell us what we should do at all times, but to give us the tools to think about such question. A system of ethics where two opposing conclusions can be reach could be perfectly fine.