Home > Language > Concepts > What is a language?

What is a language?

A language, on SPLectrum’s reading, is a bounded set of concepts and the relations among them. Concepts are the units — whatever carries meaning as a distinguishable thing. Relations are the ways those units interact: definitional, derivational, cross-referential, idiomatic, narrowing, borrowing, and others.

Nothing more is required. Natural language qualifies; so does a mathematical formalism, a programming language, Hegel’s terminology, a scientific taxonomy, the terms on a specific web page — provided the relations among the concepts are real.

Language and vocabulary — two views

Language is the dynamic view: concepts in relation, operating, producing. Vocabulary is the static view of the same substance: concepts that label the relational they represent. Same substance, complementary cuts. A vocabulary without relations is a word list. Relations without labels have nothing to persist through. The two views need each other, and neither is prior.

The distinction justifies the site’s two-area architecture — /language/ and /vocabulary/ — without implying that language and vocabulary are separate things. They are two ways of looking at one thing.

Language games — a kind of language

Wittgenstein’s language game is one instance of this definition: a language embedded in a practice, a form of life. SPLectrum borrows the term and treats it as a specialisation. A language game is a language plus a context of use. Other instances — frozen philosophical terminologies, specialist nomenclatures no one actively “speaks” — are also languages on this definition, without the practice dimension.

The borrowing stays legible: we take language game from Wittgenstein, identify the structural kernel, and keep that kernel usable on its own.

A wider aperture

The definition doesn’t require human speakers. Animal signalling, fungal electrical networks along hyphae, the genetic code — each plausibly has concepts and relations in the structural sense. Whether to count them as languages on this definition is a question to sit with rather than a line to draw; the point here is that the structural minimum is modest enough to keep the question live.

Category theory grounds the universality

If concepts are objects and relations are morphisms, a language is a category. Mappings between languages are functors; refinements across zoom levels are natural transformations. The structure is genuinely the same across these domains — that is what makes the definition usable across human language, formal systems, specialist terminologies, and whatever else turns out to fit.