Commentary On Small Models • 1

One reason for engaging in our present order of extremely reduced but explicitly controlled case study is to throw light on the general study of languages, formal and natural, in their full array of syntactic, semantic, and pragmatic aspects.  Propositional calculus is one of the last points of departure where it is possible to see that trio of aspects interacting in a non‑trivial way without being immediately and totally overwhelmed by the complexity they generate.

The generative complexity of formal and natural languages tends to lead investigators to adopt the strategy of focusing on a single aspect of the domain, abandoning hope of understanding the whole, whether it is the still living natural language or the dynamics of inquiry crystallized in formal logic.

In the perspective adopted here, a language is a syntactic system evolved or designed to express a set of descriptions.  If the explicit symbols of a language have extensions in its object world which are actually infinite, or if the implicit categories and generative devices of a linguistic theory have extensions in its subject matter which are potentially infinite, then the finite characters of terms, statements, arguments, grammars, logics, and rhetorics force a surplus intension to color the symbols and functions of that language, all across the spectrum from object language to metalinguistic reflection.

In the aphorism of Wilhelm von Humboldt often cited by Chomsky, language requires “the infinite use of finite means”.  That is necessarily true when the extensions are infinite, when the referential symbols and grammatical categories of a language possess infinite sets of models and instances.  But it also voices a practical truth when the extensions, though finite at every stage, tend to grow at exponential rates.

Resources

• Differential Logic and Dynamic Systems
• Differential Logic • Commentary On Small Models

cc: Academia.edu • Cybernetics • Structural Modeling • Systems Science
cc: Conceptual Graphs • Laws of Form • Ma^thstodon • Research Gate