Differential Propositional Calculus • 27
•
https://inquiryintoinquiry.com/2024/12/23/differential-propositional-calcul…
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
•
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part…
Differential Logic • Commentary On Small Models
•
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part…
Regards,
Jon
cc:
https://www.academia.edu/community/lnYpm1
cc:
https://www.researchgate.net/post/Differential_Propositional_Calculus