Can we delete this article? We can merge this with Aristotlian Logic.