In this thesis we develop an analysis of the logical and ontological aspects of negation, and especially, those associated with the existence and nature of negated properties and the relationship between negation and difference. From the idea that properties - contrary to objects - are those entities which correspond to predicates, we offer an understanding of properties and of the relationship between them and predicates. After that, we discuss the distinction between subject and predicate, trying to make clear the scope of the notion of predicate, and if, and to what extent, we can acknowledge the existence of logically complex properties like non-F proprieties. Lastly, we inquire into the nature of denied properties, emphasizing the relationship between the notions of negation, denied property, and difference. Throughout our work we tried to develop a conception of property, negation, and denied property, taking for granted the premise - rarely taken into account - that properties are applicability conditions of predicates, and not merely their denotation or reference. Consequently, the notion of property we have developed is connected not only with the notion of truth, but also with the notions of falsity and difference. Hence, we launch a new perspective over the notion of property, according to which the acceptance of denied properties and the analysis of denied properties in terms of difference are natural consequences of the general notion of property.