Tanto el problema de las negaciones de la lógica aristotélica como el problema de la atribución existencial están perfectamente resueltas en la lógica actual mediante el Cálculo lógico.