If a coherent logical system can assign truth to contradictions (as in paraconsistent logic), then avoiding contradiction is not a precondition of validity but one norm among many.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
norm(Distinguished from purely external enforcement mechanisms; norms operate even when no external observer is present)
A culturally evolved mutual expectation held within a group, with the additional property that individuals who violate it may punish themselves through guilt or shame
paraconsistent logic(Used to challenge the modal inference from □¬p to ¬◇p in Fitch's knowability argument)
A logical system in which contradictions do not entail arbitrary conclusions, and in which a necessarily false statement may be both false and true at some world — making it both necessarily false and possible
validity(Formal logic; distinguished from syntactic deducibility)
The model-theoretic counterpart to deducibility; an argument is valid if its conclusion is true under every interpretation in which its premises are true