To βιβλίο εντάσσεται στον κλάδο της Φιλοσοφίας της Λογικής και μελετά τη λειτουργία του υπαρκτικού ποσοδείκτη στην πρωτοβάθμια και τη δευτεροβάθμια λογική ως προς τις οντολογικές του υποδηλώσεις. Παραθέτει τη σχετική συζήτηση μεταξύ των ειδικών του κλάδου σχετικά με την “οντολογική ουδετερότητα” (ontological innocence) της λογικής και επιχειρεί να προσδιορίσει τις συνθήκες υπό την οποίες οι οντολογικές υποδηλώσεις της υπαρκτικής ποσόδειξης περιορίζονται σε αντικείμενα.