Λογική και οντολογική ύπαρξη: Η υπαρκτική ποσόδειξη στη Φιλοσοφία της Λογικής