Oppy subclasificó los argumentos ontológicos en categorías definitorias, conceptuales (o hiperintensionales), modales, meinongianos, experimentales, merológicos, de orden superior o hegelianos, basadas en las cualidades de sus premisas.