__Full Title__: The Opening Stages of the The

**F**.

**.**

*E***. Dialectical 'Meta-Model' of the 'Meta-Systematic Dialectic' of the Systems of the Standard Arithmetics, Translated into a "**

*D***Q&A**" 'Dialogue-ic' Format.

Dear Readers,

Below I have extracted, for your reading pleasure and intellectual enjoyment, the section from pages

**II**-

**11**through

**II**-

**14**of

**F**.

**.**

*E***. Vignette**

*D***#4**,

__.__**The Goedelian Dialectic of the Standard Arithmetics**URLs --

http://www.dialectics.org/dialectics/Welcome.html

http://www.dialectics.org/dialectics/Vignettes.html

http://www.dialectics.org/dialectics/Vignettes_files/v.1,Part_II_of_II,Miguel_Detonacciones,F.E.D._Vignette_4,The_Goedelian_Dialectic_of_the_Standard_Arithmetics,posted_20SEP2012.pdf

The section quoted below is exemplary as to how other dialectical-mathematical 'meta-models', formulated using the

**dialectical algebra, may be translated into the format of a simple Question/Answer dialogue, based upon concepts sourced from the tradition of "Systematic Dialectics" methods of presentation.**

**N**__Q_______**In resonance with the prologue to the quote from Nicholas Rescher extracted in section**

*"***B**.

*. of Part*

**gamma****I**.: “Already the Socrates of Plato’s

*Theaetetus*conceived of inquiring thought as a discussion or dialogue that one carries on with oneself.” [

*ibid*., p.

**46**], the ‘Dyadic Seldon Function ‘meta-model’ central to this essay can be most directly interpreted -- especially taking into account what we have had to say above regarding ‘‘‘personification’’’ and '''impersonation'''-- as ‘meta-modeling’ a generic such

*‘*

__self__*-*dialogue’, as a readily reusable ‘recipe for thought’ for a systematic and well-ordered refresher for one’s self, and for re-presentation to others, of the contemporary “Standard Arithmetics”.

However, in Part

**I**., version

**2**, we translated our eight-category Dyadic Seldon Function model for the systematic dialectic of the Value-Form content in Marx’s

**into the narrative format of an**

__Capital__*‘exo-allo-dialogue’*between

*two*generic, fictive interlocutors, rather than into an

*‘endo-auto-dialogue’*within the mind of a single such generic, fictional “character”.

We can do likewise with our Dyadic Seldon Function ‘meta-model’ presentation for the ‘meta-system’ of the “Standard Arithmetics”, translating it into a somewhat Socratic, ‘dialogue-ic’ “

**Q&A**”, in a way which perhaps more compellingly reveals what is implicitly involved in the Seldon-Function categorial progression algorithm, as applied to this subject-matter.

A sample of such a translation is exhibited below.

In reviewing the dialogue below, it is important to keep in mind that the ‘‘‘analysis of categories’’’, referenced repeatedly therein, has a special meaning in this context.

The ‘‘‘analysis of a category’’’ means, herein, the process of elaboration of the content of that category, in the sense of the ‘explicitization’ of at least some of its content which would otherwise remain implicit, i.e., if only that category’s name were given: the explicit evocation of some, at least, of the

*categories of that category, and, perhaps, of some of*

**-**__sub__*their*sub-categories as well, i.e., the elaboration of at least some of the category’s ‘sub-sub-categories’, or ‘sub

**^2**-categories’, as well.

*‘**‘‘*

*Analysis*

*’’*in this, dialectical, sense, is the process of human cognition by which we “ascend” [Marx, reversing dialectical predecessors Plato,

*et al*.]

*greater detail, or to greater “determinateness” and ‘thought-concreteness’,*

__to__*greater abstraction and abstract simplicity.*

__from__It is the oppositely-directed cognitive movement/movement-of-cognition to that of

*‘‘‘*

*Synthesis*

*’’’*, whereby we “descend”

*multiple, more detailed, more specific ‘sub*

__from__**^n**-categories’,

*a single, more general, more generic, more “abstract” and simplified ‘sub*

__to__**^(n**

**-**

**1**)-category’, one that embraces, and ‘[re-]implicitizes’ into itself, all of the ‘sub

**^n**-categories’ immediately ‘“above”’ it, as well as all of those ‘sub

**^(n+1)+-**categories’ ‘“above”’ them [if any].

**Q1**

**:**

*¿*What is the simplest category that grasps the totality of our -- and, in our view, of most people’s -- ‘untheorized’, ‘unsystematic’, “chaotic” [Marx] experience, and knowledge, of the modern / contemporary Standard Arithmetics

*?*

**A1**: The category of the “

__N__

*atural**system of arithmetic, the system which is about the*

**”**

**N**

__=__**{ I**,

**II**,

**III**,

**... }**

set of numbers, and whose analysis is as follows: ... . It is the system that ‘explicitizes’ "Standard Numbers" as

*“counts”*-- as

*cardinal*numbers.

**Q2**:

*¿*Does the analysis of this arithmetic-system category,

__N__**, exhaustively systematize our previously fragmentary experience and “chaotic” knowledge of the totality of Standard Arithmetic, accounting entirely for/explaining all of the ‘ideo-phenomena’ of number that we encounter today**

__#__*?*

*¿*Or, are there other categories needed to entirely comprehend that experience and knowledge, to fully classify/systematize and explain those ‘ideo-phenomena’ of number; categories whose content is not explicitly covered by the analysis of the “

**atural Arithmetic” system-category; categories whose analysis could therefore add to our systematic grasp of the totality of the systems of modern/contemporary “Standard Arithmetic”**

__N__*?*We offer into evidence here the

**N**

**-**algebraic equation

n

n

**+**

**x1**

**=**

**n**, for all

**n**in

**N**,

not satisfiable by any number in

**N**:

**x1**is not an element of

**N**.

And this equation is

*paradoxical*from the point of view of the

__N__**definition of ‘Standard Number’, of number “**

__#__

__N__*atural*-ness

*”*, for which addition

*result in*

__cannot__*increase in numeric magnitude.*

__no__**A2**: The category of the arithmetical sub-system of the ‘‘‘

**zeros**’’’, or of the ‘

__a__

*ught numbers**’*--

a

a

**=****{**

**I**

**-**

**I**=

**0**,

**II**

**-**

**II**=

**0**,

**III**

**-**

**III**

**=**

**0**,

**...**

**}**

**--**

the sub-system category denoted by

__a__**-- is needed to satisfy the kind of equation that you cited. Your equation transforms, algebraically, to --**

__#__

x1

x1

**=**

**n**

**-**

**n**

**,**

-- and so invokes the set of results of

*‘*

*self*

*-*

*subtraction*

*’*for all “Naturals”,

**n**. The analysis of the category of

*‘*

**the**

__a__

*ughts**’*‘explicitizes’ an expansion of the meaning/definition of ‘Standard Number’, over and above that explicit in the ‘

**N**-numbers’ concept: . . ..

The upshot of this analysis is that not just “counts”, but also

*‘*

**[**

__no__**]**

__n__*-*counts’ -- certain kinds of

*‘*

__not__*-*counts’ -- are also among the ‘Standard Numbers’.

**Q3**

**:**

*¿*Do the [sub-]system categories of the “

__N__

*aturals**”*and the ‘

__a__

*ughts**’*, of “counts” as ‘Standard Numbers’ versus of

*‘*

**[**

__no__**]**

__n__*-*counts’ as ‘Standard Numbers’, simply represent two irreconcilable, absolutely disparate and separated and, in some ways, diametrically opposite categories

*?*

*¿*Or, do we find, in our experience of the human number meme, that these two categories interrelate, and even combine

*?*

*¿*That is, does the

*‘*

**[**

__no__**]**

__n__*-*counts’ category, the counter-example to, and the breakdown of, the “counts” concept/definition of ‘Standard Number’, unite with the category that it counters, to form a new

**system-of-arithmetic category**

*whole**?*

*¿*Can our explanation/systematization/classification of the ‘meta-system’ of the “Standard Arithmetics” be adequate as

*the analysis of the category*

__either__

__N__

__#__*by*

*itself*,

*the analysis of category*

__or__

__a__

__#__*by itself*, as two, distinct, disjunct alternatives

*?*

**A3**: “Yes”, the “

__N__

*aturals**and the ‘*

**”**

__a__

*ughts**’*are two different, separate, disparate, even qualitatively opposite categories of kinds of number, of number ‘ideo-ontology’. But “No”, they are

*absolutely separate, or absolutely separable, in our experience of humanity’s numbers meme. And our theory/presentation of the “Standard Arithmetics” ‘meta-system’ is inadequate to that experience if it takes*

__not__

__a__**and**

__#__

__N__**as**

__#__*dirempt. Indeed, in our experience/knowledge of modern/contemporary Arithmetics, they both are ingredient in, and inseparable as, the vastly superior numeration system -- vastly superior to the Roman Numerals and to the other ancient, additive/'juxtapositional' numeration-systems -- that is the Indo-Arabic numeration system, the "place-value" numeration system made possible by the advent of*

__only__**0**as "place-holder", and as full number in its own right, in which separate

__a__**and**

__#__

__N__**give way to their ‘“complex unity”’, to the**

__#__

__W__**system which the former form by their ‘“combination”’. The ‘‘‘combination’’’ of the “**

__#__

__N__

*aturals**”*and the ‘

__a__

*ughts**constitutes the “*

**’**__W__

*holes*

*”*-- the “

__W__hole numbers”, such that

W

W

**=****{**

**0...0**,

**0...0**

**1**,

**0...0**

**2**,

**0...0**

**3**,

**...**

**}**,

and in which the equation

w

w

**+**

**x1**

**=**

**w**, for all

**w**in

**W**,

which is a ‘‘‘well-formed equation’’’ in

__W__**, can “now” be satisfied, namely, by**

__#__

x1

x1

**=**

**0**,

**x1**

__an element of__**is****W**.

The analysis of the

__W__**category yields a concept/definition of ‘Standard Number’ that encompasses and reconciles the “counts”**

__#__**&**

*‘*

**[**

__no__**]**

__n__*-*counts’ definitions of number, in a single concept/definition of number ‘‘‘

__W__

*hole**-*ness’’’.

**Q4**:

*¿*Does the analysis of this new, composite, successor system-of-Standard-Arithmetic category,

**, exhaust our experience and knowledge of the**

__W____#__*of contemporary/modern Standard Arithmetic(s)*

__totality__*?*

*¿*Does that analysis account entirely for, i.e., does it explain, that experience and knowledge

*?*

*¿*Or are there other categories that are required to cover, and to systematize, that experience and knowledge; required to classify, and to explain, all of it -- or, at least, more of it: including even [at least some of] the most exotic ‘ideo-phenomena’ of modern/contemporary Standard Arithmetic(s) that we have encountered; other categories whose content is not explicitly elaborated by the analysis of the “

__W__

*hole**”-*numbers arithmetic-system category; other categories whose analysis/‘content-explicitization’ would therefore add to our comprehension of the totality of modern/contemporary Standard Arithmetic(s)

*?*I call your attention, specifically, to the algebraic equation

w

w

**+**

**x2**

**=**

**0**,

**0 & w**in

**W**, which is a ‘‘‘well-formed equation’’’ in

__W__**[i.e., ‘**

__#__**w**’, ‘

**+**’,‘

**x**’, ‘

**2**’ [including as a subscript], ‘

**=**’,

**&**‘

**0**’ are all parts of the “official vocabulary” of

__W__**]. Despite this equation’s being an equation**

__#__

__of__

__W__

__#__**--**a ‘‘‘well-formed’’’, “legal” equation

__in__

__W__**[though not so in**

__#__

__N__**, because**

__#__**0**is not in

**N**] -- this equation is

__not__*satisfiable*by

*number in*

__any__**W**:

**x2**is not in

**W**. This equation defines an ‘ideo-phenomenon’ of ‘decreasive addition’, one which is paradoxical from the point of view of the new,

__W__**, definition of ‘Standard Number’, because the possibility of ‘decreasive addition’ is not instantiated within**

__#__

__W__**. The nature of number as implied and specified in**

__#__

__W__**is**

__#__*by the “number” whose existence is implied by this equation, under the name of its “unknown”,*

__contradicted__**x2**. The behavior ascribed, by this equation as a whole, to the number,

**x2**, is of a kind-of-number(s) which, when added to

__any__**W**-number, “nullifies” it, decreasing it all the way back to

**0**.

**A4**: The analysis of the

__W__**composite category as a whole, and of each of its constituent sub-categories --**

__#__

__N__**,**

__#__

__a__**,**

__#__**&**

**q**__#__**a**

**N**-- which, taken together, constitute/connote

__W__**, analyzed again, individually, but now in the context of the analysis of**

__#__**as a whole, does further advance our detailed comprehension of our experience and knowledge of the modern/contemporary Standard Arithmetic(s),**

__W____#__**. But, all of that analysis still leaves out[side of itself] fundamental aspects of our experience and knowledge of the ‘ideo-phenomena’ of this ‘human-phenomic’ totality that we ‘‘‘name’’’**

__#__**.**

__#__In particular, the category of the axiomatic system-component for the “

**inus numbers”,**

__m__

__m__**, is needed to solve the equation**

__#__

w

w

**+**

**x2**

**=**

**0**, in which

**x2**functions as an “additive inverse” of

**w**.

The analysis of this “

**inus numbers” category is needed to advance our comprehension of the modern/contemporary Standard Arithmetic(s) beyond the ken of the**

__m__

__W__**category. The analysis of the axiomatic sub-system category of the “**

__#__**inus numbers”, or of the “negative[ly]-signed” numbers, such that**

__m__

**m**

__=__**{**

**±**

**0**

**-**

**I**

**=**

**-**

**1**,

**±**

**0**

**-**

**II**=

**-**

**2**,

**...**

**}**,

'explicitizes' the following expansion of the meaning -- of the definition -- of the ‘Standard Numbers’: . . ..

The upshot of this expansion is that numbers, and that counting, and that ‘‘‘counting numbers’’’, can have

**-- can have one of two**

*direction**‘‘‘*

*co*

**-**

*linear directionalities**’’’*, in terms of the number-“line” convention of the ‘‘‘analytic-geometric’’’ visualization of the ‘‘‘number-spaces’’’ of these number-systems: an explicit

*right**-*

**[labeled by the ‘**

*hand directionality***+**’ sign], or an explicit

*left**-*

**[labeled by the ‘**

*hand directionality***-**‘ sign], or, in just a "single" case -- the case of

**±**

**0**

**--**directional ‘‘‘neutrality’’’/

*‘*

*intra**-*

**-**

__bi__**ality**’ [‘

**±**’].

**Q5**:

*¿*Do the [sub-[axioms-]]systems categories of the arithmetic of the “

__W__

*holes**”*

**&**of the arithmetic of the ‘

__m__

*inuses**’*, of the apparently/superficially

*‘*

*undirectional**’*,

*“*

*direction*

**-**

*less**”*, or

*“*

*mono*

**-****counts” as**

*directional**‘*

*Standard Numbers*

*’*versus of explicitly

*‘*

__other__

**-****counts’ as**

__directional__*‘*

*Standard Numbers*

*’*, simply form two irreconcilable, absolutely disparate and separated and, in some ways, diametrically opposite categories

*?*

*¿*Or, do we find, in our experience of the human number meme, that these two categories interrelate, and even combine

*?*

*¿*That is, does the

*‘*

__other__

**-****counting’ category,**

__directional__

__m__**, the counter-example to, and ‘demotor’ of, the**

__#__

__W__**concept/definition of**

__#__*‘*

*Standard Number*

*’*, which signals the failure of the

__W__**category to constitute the totality of Standard Arithmetic, unite with the category that it counters, demotes, and criticizes, to form an**

__#__*integral*new system-of-arithmetic category

*?*

*¿*Can our sought-after total explanation/systematization/classification of the ‘meta-system’ of the “Standard Arithmetics” be adequate as

*the analysis of the category*

__either__

__W__

__#__*by itself*,

*the analysis of category*

__or__

__m__

__#__*by itself*, seen as radically disjunct alternatives

*?*

**A5**: “Yes”, the “

__W__

*holes**”*and the ‘

__m__

*inuses**’*are two different, separate, disparate, even qualitatively opposite categories of kinds of number, of number ‘ideo-ontology’. But “No”, they are

*absolutely separate, nor absolutely separable, in our experience and knowledge of humanity’s numbers meme. And our theory/presentation of the “Standard Arithmetics” ‘meta-system’ is inadequate to that experience if it takes*

__not__

__W__**and**

__#__

__m__

__#__*as dirempt. Indeed, we have encountered an axiomatic system-of-arithmetic category in which, and by which, the three -- the explicitly-[*

__only__**inus-]signed “**

__m__**inus numbers”, the explicitly-[plus-]signed “plus-numbers”, and, at their meeting point, between them, the explicitly-[double-]signed ‘neutral number’ [**

__m__**±**

**0**] -- are all

**into a single system of arithmetic, the system of the integers,**

*i**ntegrated*

__Z__

__#__**.**Per this system-category,

__Z__**, we have**

__#__

Z

Z

**=****{**

**...**,

**-**

**3**,

**-**

**2**,

**-**

**1**,

**±**

**0**,

**+**

**1**,

**+**

**2**,

**+**

**3**,

**...**

**}**.

The explicit three-fold bi-directional classification of numbers is effected in

__Z__

__#__**.**That is, each number in

**Z**has

*a leftward [*

__either__**-**] direction,

*a rightward [*

__or__**+**] direction,

*or*no direction at all/neither direction, or both directions at once, with equal “weight” [

**±**

**]**. If a pair of ‘oppositely-directioned’

__Z__**-numbers that are also of equal magnitude [of equal “absolute value”] combine additively, they ‘‘‘mutually annihilate’’’ undoing both their directions and their magnitudes, yielding/leaving/arriving at**

__#__**±**

**0**:

w

w

**+**

**x2**

**=**

**±**

**0**, if

**x2**

**=**

**-**

**w**,

and although it is true that

**-**

**w**is

__in__

**NOT****W**, it is also true that

**-**

**w**__in__

**IS****m**, which, in turn, is a subset of

**Z**.

Thus, in this

__m__**-and-**

__#__

__W__**-synthesizing axioms-system, the equation**

__#__

w

w

**+**

**x2**

**=**

**±**

**0**can be satisfied.

The composite axioms-system category

__Z__**‘‘‘contains’’’ seven axioms sub-systems sub-categories:**

__#__**(a**.

**)**the

**3**past-

**tages categories**

__s__

__N__**,**

__#__

__a__**,**

__#__**&**

**#**q**a**

**N**, which, added together,

**=**

__W__**, which are/is ‘evolutely’ conserved in**

__#__

__Z__**, plus**

__#__**(b**.

**)**

__m__**, the core of**

__#__

__Z__**, plus;**

__#__**(c**.

**)**

**#**

**q****m**

**N**, connoting the conversion of the

__N__**into a part of the**

__#__

__Z__**, plus;**

__#__**(d**.

**)**

**#****q****m**

**a**, connoting conversion of

__a__**into another part of**

__#__

__Z__**, plus;**

__#__**(e**.

**)**

**#****q****m**

**a**

**N**, connoting ‘

__m__

__#__**-**ization’ of

__#__

**q****a**

**N**. We have thusly found our way to a ‘‘‘meta-system transition’’’ [cf. Turchin],

WW

__#__

**---)**

__Z__**,**

__#__a transition within the ‘‘‘meta-system’’’ which is formed by the

*of these GÃ¶delian-Dialectical transitions --*

__totality__

__N__

__#__

**---)**

__W____#__

**---)**

__Z____#__

**---)**

__Q__

__#__

**---)**

__R__

__#__

**---)**

__C____#__

**---)**

__H__

__#__

**---)****. . .**

-- just as, earlier in this dialogue, we found our way similarly to the ‘‘‘meta-system transition’’’

__N__

__#__

**---)**

__W__**.**

__#__**Q6**:

*¿*Does the analysis of this new, composite, successor system-of-Standard-Arithmetic category,

__Z__**, exhaustively systematize our experience and knowledge of the**

__#__*of contemporary/modern Standard Arithmetic(s)*

__totality__*?*

*¿*Does that analysis account entirely for, i.e., does it explain, that experience and knowledge

*?*

*¿*Or are there other categories, already encountered by us

__systematically, in our “chaotic” [Marx] experience and fragmentary knowledge of modern/contemporary Standard Arithmetics, that are required to more fully cover, and to more fully systematize, and to render more fully intelligible, that experience and knowledge; required to classify, and to explain, all of it -- or, at least, more of it: even [at least some of] the most exotic ‘ideo-phenomena’ of modern/contemporary Standard Arithmetic(s) that we have ever encountered__

**un***?*

*¿*Are there other categories whose content is not explicitly elaborated by the analysis of the

*“*

*Integers**”*arithmetic-system category,

__Z__**, and of its sub-categories, in the context of the**

__#__*“*

*Integers**”*system-category as a whole

*? ¿*Are there other categories whose analysis/‘content-explicitization’/elaboration would therefore add to/improve/increase the coverage of our theory’s comprehension of [another part of] the

*of the ‘ideo-phenomena’ of modern/contemporary Standard Arithmetic(s)*

__totality__*?*

**. . .**

**. . .**

**. . .**

**. . .**

**. . .**

**"****Regards,**

Miguel