n Filosofia Theoretica: Journal of African Philosophy, Culture and Religions - Quantification in African logic
|Article Title||Quantification in African logic|
|© Publisher:||Calabar School of Philosophy|
|Journal||Filosofia Theoretica: Journal of African Philosophy, Culture and Religions|
|Affiliations||1 University of Calabar, Nigeria|
|Publication Date||Jul 2013|
|Pages||409 - 422|
By predication alone, Africans say many things with seeming ease which ordinarily they would not and could not say. The metalogical beauty of it is that they say without having said and they make hills flat without having lifted a hoe. In this one finds African predicate logic a lot richer than its western counterpart. Predicate logic, sometimes called quantification logic was invented by the German Logician Gottlob Frege in his monumental book Bergriffsschrift. It has since been broken down to a number of classifications namely first-order, second-order and higher-order. In African demarcation, we shall treat just the first and the second order. The mainline of difference between the western and the African versions of these logics are to be found in the quantifiers, rules, evaluations, operators, variables, proof mechanisms and the criterion for logically valid formulae. For the latter, while validity depends on subject matter in African logic, in western logic it depends primarily on logical form. Logical form in its secondary role is just like another tool in a kit box for African logic. In what follows, I shall outline the main doctrines of the first and the second order logics.
Article metrics loading...