Thinking and the structure of the world

This paper formulates a basic system of ontology that has several interesting qualities: (1) it is suggested very strongly by the most naive and simplest consideration of certain perplexities involving psychological states; (2) the system does justice to several apparently conflicting insights that have been debated by many philosophers; (3) the system separates the a priori from the empirical elements of the world very nicely and neatly; (4) indeed, the system concentrates all the empirical elements of the world on two irreducible dyadic predicates; (5) for this reason the system seems to be a nice formulation of a conception of the world that was started by Plato, was envisioned by Leibniz, guided Frege, at least in part, and was defended by Meinong. The system appears, therefore, to have the historico-philosophical value of illuminating the long and important abstractist and rationalist tradition. I motivate its development with an initial discussion of a problem widely discussed nowadays. This is meant to honor those great metaphysicians by suggesting how contemporary their insights into the problems were, even if their solutions are not followed. Among other things, the system accomplishes the following: (i) provides an account of possible objects; (ii) provides