n Filosofia Theoretica: Journal of African Philosophy, Culture and Religions - Quantification in African logic

Volume 2, Issue 2
  • ISSN : 2276-8386
  • E-ISSN: 2408-5987



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 . 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.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error