@article{Langan_2018, title={The Metaformal System: Completing the Theory of Language}, volume={14}, url={https://cosmosandhistory.org/index.php/journal/article/view/740}, abstractNote={The standard theory of languages has two levels, one centering on the study, teaching, and application of natural languages, and the other on formal languages and formal systems as applied throughout the mathematical and empirical sciences, in analytic philosophy, and for computer programming, software engineering, artificial intelligence, and related technologies. On both of these levels, standard language theory is <em>dualistic</em>, defining languages in isolation from their domains of discourse and treating attributes in isolation from their objective instances while omitting important properties and functions ordinarily provided or executed by language users, automata, or physical systems on which they appear to supervene. This decoupling of languages from their universes, and from necessary linguistic functions such as display, processing, interpretation, and communication, has profound epistemological bearing, limiting scientific knowledge by precluding the linguistic formulation of any verifiable comprehensive description of reality. This paper proposes that in addition to the two existing levels of standard language theory involving natural and formal languages and systems, the theory of language be recognized to possess a third "metaformal" level on which languages and their universes are "wrapped" in a uniquely structured, totally self-contained  metalanguage, the <em>Metaformal System</em>, which restores missing linguistic functionality while using a supertautological intelligibility criterion to generically couple languages with their universes on a fundamental level of shared structure and dynamics, thereby restoring the potential for a verifiable comprehensive and fully connected understanding of the reality we share. <!--[if gte mso 9]><xml> 800x600 </xml><![endif]--><!--[if gte mso 9]><xml> Normal 0 false false false EN-AU X-NONE X-NONE MicrosoftInternetExplorer4 </xml><![endif]--><!--[if gte mso 9]><xml> </xml><![endif]--><!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman",serif;} </style> <![endif]-->}, number={2}, journal={Cosmos and History: The Journal of Natural and Social Philosophy}, author={Langan, Christopher}, year={2018}, month={Aug.}, pages={207–227} }