MEINONG'S THEORY OF OBJECTS AND HILBERT'S
A b s t r a c t.
We propose a formalization of Meinong's theory of objects with the help of
Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with
an eye towards its application in an axiomatization of the natural sciences.