La predicazione esistenziale e la metafisica modale

“Se tutto esiste, allora ci sono cose che non esistono”. Si vogliono considerare due teorie metafisiche del predicato di esistenza che hanno una caratteristica: sono generalmente considerate come due teorie contraddittorie. Attraverso Decartes e Leibniz la tesi della contraddittorietà salta per risultare due teorie contrarie: pur non potendo essere entrambe vere, possono essere entrambe false. In mezzo ad esse si può collocare la metafisica modale.