Concept and Object

In the philosophy of Gottlob Frege, the distinction between concept and object is a fundamental type distinction. Objects are complete, saturated entities — they can be named and treated as arguments. Concepts are unsaturated, predicative functions — they require objects to complete them. 'The city of Berlin' names an object; '...is a city' expresses a concept.

This distinction is ontological: concepts and objects belong to different logical categories, and confusing them produces philosophical nonsense. The concept horse is not a horse; the concept is a function, the horse is an object.

The concept-object distinction maps onto the type-token distinction in systems theory and the class-instance distinction in object-oriented programming. Frege's analysis was the first rigorous articulation of a pattern that now appears across computer science, category theory, and the ontology of emergence. The distinction between what something is and that something is remains the structural foundation of every formal classification system.