Meinong supposed that whatever can be thought about is an object, and he believed that something is an object if it satisfies some such principle as the following : x is an object if it corresponds to a definite or indefinite description (one having the form 'the F' or 'an F') appearing in a grammatically correct sentence having a truth value.