## Reports on Mathematical Logic

### No. 25 (1991)

N. C. A. da COSTA, F. A. DORIA and N. PAPAVERO

MEINONG'S THEORY OF OBJECTS AND HILBERT'S $\epsilon$-SYMBOL

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.