This paper explores a neglected category of propositions in Arabic logic, propositions with negative predicates (sālibat al-maḥmūl), by addressing two pivotal questions concerning this propositional form: first, whether it is possible to defend it as distinct from metathetic and simple negative propositions and second, whether affirmative instances of these propositions have existential import. The paper argues for the existence of two distinct and conflicting theories of existential import frequently implicit in the views of Arabic logicians: one centered on the copula (...) and the other on the predicate. (shrink)