Ezumezu as a Formal System

Abstract

A system of logic is a formal theory equipped with laws and elementary syntactic and semantic definitions specifying ways of applying those laws in reasoning and revising assumptions out of which certain conclusions could be drawn from certain premises. Here, I shall discuss the universe of discourse to a variant of three-valued logic called Ezumezu and show that the traditional laws of thought are inadequate hence, I will discuss the three new supplementary laws of thought which were introduced in chapter six. Having already formulated some of its syntactic and semantic rules in the previous chapters, I will show that in logic, Ezumezu system is comparable to systems developed by the likes of Lukasiewicz, Graham Priest, Stephen Read and other alternative logics. I will discuss two important theses namely, ontological and logical theses that will enable us to further understand the three pillars of Ezumezu logic namely, nwa-nsa, nwa-nju and nwa-izugbe already discussed in the preceding chapter. Finally, I will demonstrate the formal structure of Ezumezu logic using its two argument types called arumaristic and ohakaristic to show how conclusions could be drawn from premises.