Introductory Letter

Dialectical Ideography and the Mission of F.E.D.



Table of Contents




FED Logo Foundation Encyclopedia Dialectica

Centers of Operation:

Stars' End, New York
Terminious, California
November 28, 2007 C.E. / B.U.E.


Subject: Dialectical, Non-Standard "Natural"-Numbers' Arithmetic & contra-Boolean Algebra [Heuristic, Intensional-Intuitional Calculi for the Catalysis of Conceptual Discovery and Theory-Formation in the Natural and Social Sciences]: Solving for the Successor System.


Dear web-user, viewing the dialectics.org website,

This [revised and expanded] introductory letter and its two Supplements provide an overall introduction to Dialectical  Ideography, and to the mission of Foundation Encyclopedia Dialectica [F.E.D.].

But why do we believe that any of this should be of any interest to you? That question, we can answer. This letter contains our answer. As to whether this material is in fact of interest to you, only you can judge.

Our goal is to help avert the renewed, global, and final Dark Age that threatens Terran humanity, this time, with total extinction: not just with local "genocides", but with a global 'humanocide', culminating the ['''psycho-historically''' foreseeable] historical emergence, convergence, and 'historical singularity', for planet Earth, of 'capitalist anti-capitalism' and 'human anti-humanism', as captured in '''The Psycho-Historical Equations''' of dialectical ideography.

All of our efforts, our very lives, are dedicated to discovering means to overcome the gathering undertow of that new Dark Age, and to applying those means, nonviolently but effectively, in accord with 'The Seldonian Imperative', the ethical imperative to act so as to help avert, if possible, the collective agony of forseeable future catastrophes of contracted social reproduction, or, if too late to completely avert said catastrophes, to act so as to help reduce both their severity and their duration.

Nonviolence is a key to that effectiveness, for violence corrupts, converting its initiators into the very evil which they had intended to overthrow.

The Dialectic According to Plato

As a result, we have embarked upon a project that has bridged, across the abyss of the last Dark Age, the most advanced «problematiques» of the ancient and modern worlds.

This project appropriates the 'meta-fractal' self-similarity of those two different, successive scales of «problematique» so as to resume some final and neglected, zenith breakthroughs within the ancient Alexandrian flowering of humanity's ancient Mediterranean civilization, in relation to what has developed subsequently, and in a way which assimilates, also, the wealth of that subsequent development.

This has led to a rediscovery, in a higher, modernized, and less Parmenidean, more Heraclitean form, of Plato's lost «arithmos eidetikos», his "arithmetic of ideas" or "arithmetic of dialectics".

This «arithmos» is alluded to in his extant writings, but its full exposition is nowhere to be found in those portions of Plato's opus which survived the last Dark Age.

It has been 'psycho-archaeologically' reassembled in a seminal study, by Jacob Klein, as follows:

"While the numbers with which the arithmetician deals, the arithmoi [assemblages of units — F.E.D.] mathematikoi or monadikoi [abstract, generic, idealized, qualitatively homogeneous "monads" or [idea[ized]] unitsF.E.D.] are capable of being counted up, i.e., added, so that, for instance, eight monads [eight abstract idea[ized]-units, unities, or idea-a-tomsF.E.D.] and ten monads make precisely eighteen monads together, the assemblages of eide [of 'mental seeings' or mental visions; of "ideas" — F.E.D.], the "arithmoi eidetikoi" [assemblages, ensembles, '''sets''', or [sub-]totalities of qualitatively heterogeneous ideas or «eide» — F.E.D.], cannot enter into any "community" with one another [i.e., are 'non-reductive', '''nonlinear''', "non-superpositioning", "non-additive", 'non-addable', or "non-amalgamative" — F.E.D.]. Their monads are all of different  kind [i.e., are 'categorially', ontologically, qualitatively unequalF.E.D.] and can be brought "together" only "partially", namely only insofar as they happen to belong to one and the same assemblage, whereas insofar as they are "entirely bounded off" from one another...they are incapable of being thrown together, in-comparable [incapable of being counted as replications of the same unit[y] or monad; incomparable quantitativelyF.E.D.] ... .The monads which constitute an "eidetic number", i.e., an assemblage of ideas, are nothing but a conjunction of eide which belong together. They belong together because they belong to one and the same eidos [singular form of «eide»: one particular 'internal / interior seeing', vision, or «ιδεα» — F.E.D.] of a higher order, namely a "class" or genos [akin to the grouping of multiple species  under a single genus in classical 'taxonomics' — F.E.D.]. But all will together be able to "partake" in this genos (as for instance, "human being", "horse", "dog", etc., partake in "animal") without "partitioning" it among the (finitely) many eide and without losing their indivisible unity only if the genos itself exhibits the mode of being of an arithmos [singular form of «arithmoi»: a single assemblage of units/«monads» — F.E.D.]. Only the arithmos structure with its special koinon [commonality — F.E.D.] character is able to guarantee the essential traits of the community of eide demanded by dialectic; the indivisibility [a-tom-icity or 'un-cut-ability' — F.E.D.] of the single "monads" which form the arithmos assemblage, the limitedness of this assemblage of monads as expressed in the joining of many monads into one assemblage, i.e., into one idea, and the untouchable integrity of this higher idea as well. What the single eide have "in common" is theirs only in their community and is not something which is to be found "beside" and "outside"...them. ...The unity and determinacy of the arithmos assemblage is here rooted in the content of the idea..., that content which the logos [word; rational speech; ratioF.E.D.] reaches in its characteristic activity of uncovering foundations "analytically". A special kind of [all-of-one-kind, generic-units-basedF.E.D.] number of a particular nature is not needed in this realm, as it was among the dianoetic numbers [the «arithmoi monadikoi» — F.E.D.]..., to provide a foundation for this unity. In fact, it is impossible that any kinds of number corresponding to those of the dianoetic realm [the realm of 'dia-noesis' or of '«dianoia»', i.e., of 'pre-/sub-dialectical' thinkingF.E.D.] should exist here, since each eidetic number is, by virtue of its eidetic charactereide»-character or idea-natureF.E.D.], unique in kind [i.e., qualitatively unique/distinct/heterogeneous in comparison to other «eide» — F.E.D.], just as each of its "monads" has not only unity but also uniqueness. For each idea is characterized by being always the same and simply singular [ additively idempotentF.E.D.] in contrast to the unlimitedly many homogeneous monads of the realm of mathematical number, which can be rearranged as often as desired into definite numbers. ...The "pure" mathematical monads are, to be sure, differentiated from the single objects of sense by being outside of change and time, but they are not different in this sense — that they occur in multitudes and are of the same kind (Aristotle, Metaphysics B 6, 1002 b 15 f.: [Mathematical objects] differ not at all in being many and of the same kind...), whereas each eidos is, by contrast, unreproducible [hence modelable by idempotent addition, or 'non-addability'F.E.D.] and truly one (Metaphysics A 6, 987 b 15 ff.: "Mathematical objects differ from objects of sense in being everlasting and unchanged, from the eide, on the other hand, in being many and alike, while an eidos is each by itself one only"...). In consequence, as Aristotle reports (e.g., Metaphysics A 6, 9876 b 14 ff. and N 3, 1090 b 35 f.), there are three kinds of arithmoi: (1) the arithmos eidetikosidea-number, (2) the arithmos aisthetos — sensible number, (3) and "between"...these, the arithmos mathematikos or monadikos — mathematical and monadic number, which shares with the first its "purity" and "changelessness" [here Aristotle reflects only the early, more 'Parmenidean', Plato, not the later, «autokinesis» Plato — F.E.D.] and with the second its manyness and reproducibility. Here the "aisthetic" ["sensible" or sensuousF.E.D.] number represents nothing but the things themselves which happen to be present for aisthesis [sense perceptionF.E.D.] in this number. The mathematical numbers form an independent domain of objects of study which the dianoia [the faculty of 'pre-/sub-dialectical thinking'F.E.D.] reaches by noting that its own activity finds its exemplary fulfillment in "reckoning [i.e., account-giving] and counting".... The eidetic number, finally, indicates the mode of being of the noeton [that which exists "for" thought; that which thought "beholds"; the object of thought; the idea[l]-objectF.E.D.] as such  — it defines the eidos ontologically as a being which has multiple relations to other eide in accordance with their particular nature [i.e., in accord with their contentF.E.D.] and which is nevertheless in itself altogether indivisible. The Platonic theory of the arithmoi eidetikoi is known to us in these terms only from the Aristotelian polemic against it (cf., above all, Metaphysics M 6-9)." [Excerpts from: Jacob Klein; Greek Mathematical Thought and the Origin of Algebra; Dover (New York: 1992); pages 89-91; bold, italic, underline, and color emphasis added by F.E.D.].

aufheben_arithmoi_eidetikoi.

Plato may have already embarked upon an axiomatization of these three arithmetics, circa 380 B.C.E., even prior to Euclid of Alexandria's axiomatization of geometry, circa 300 B.C.E.:

"Plato seems to have realized the gulf between arithmetic and geometry, and it has been conjectured that he may have tried to bridge it by his concept of number and by the establishment of number upon a firm axiomatic basis similar to that which was built up in the nineteenth century independently of geometry; but we cannot be sure, because these thoughts do not occur in his exoteric writings and were not advanced by his successors. If Plato made an attempt to arithmetize mathematics in this sense, he was the last of the ancients to do so, and the problem remained for modern analysis to solve. The thought of Aristotle we shall find diametrically opposed to any such conceptions. It has been suggested that Plato's thought was so opposed by the polemic of Aristotle that it was not even mentioned by Euclid. Certain it is that in Euclid there is no indication of such a view of the relation of arithmetic to geometry; but the evidence is insufficient to warrant the assertion that, in this connection, it was the authority of Aristotle which held back for two thousand years a transformation which the Academy sought to complete." [Carl B. Boyer; The History of the Calculus and its Conceptual Development; Dover (NY: 1949); page 27].

We term 'Peanic' any progression of entities which conforms to the first four (Giuseppe) Peano postulates, circa 1889, which were formulated with the intent to axiomatize just the "standard natural numbers", but which are known to have "non-standard models".

'Dialectic' is a 'logic', or a ['Qualo-Peanic' 'Meta-Peanic'] 'pattern of what follows from what', more general than the "formal logic" of 'propositional followership'.

'Dialectic' generalizes about how natural populations, ensembles, systems, [sub-]totalities — both concrete, physical-'external' «arithmoi», and 'internal', human-conceptual «arithmoi», — change, including especially of how they change themselves.

'Dialectic' is about both '[allo-]flexion' or '[allo-]flexivity' — the 'bending', or '''alteration''', of the 'course of development' of one '[ev]entity' by the actions of others — and about 'self-re-flexivity', 'self-re-fluxivity', 'self-dialogue', 'self-controversion', self-activityself-change, or "self-contra-kinesis" [in summary, about '''self-bending''': the 'self-induced', self-determining '''bending''' of the 'course of development' of an 'eventity' as a result of its own, immanent, '''inertial''', ''ballistic''', 'intra-dual', 'essence-ial', 'self-force'].

'Dialectic' is the name for the fundamental [and ever self-developing] modus operandi of nature, including that of human[ized] nature, but also including that of pre-human and extra-human nature.

'Dialectic' is about the subject/verb/object-identical meta-dynamic of 'quanto-qualitatively', 'quanto-ontologically' [self-]changing, [self-]developing, via-'metafinite'-singularity '[self-]bifurcating' 'meta-systems' or 'process-entities' ['eventities'], manifested in all levels, at all '[meta-]scales', for all '''orders''' of 'natural history', including that part of 'natural history' which we call Terran human history, and, by hypothesis, in the history of humanoid species generally, throughout this cosmos ['human-natur[e-]al history'].

For Plato, «Dialektike», 'dialectical thought-technology', as manifested in his «arithmos eidetikos», names a higher form of human cognition. It is higher than that of «Doxa», mere opinion. It is also higher than that of «Dianoia» or «Dianoesis»; higher than that which Hegel termed «Verstand», "The Understanding" [cf. Plato].

"Dialectical thought" names a higher stage of human cognitive development, a higher "state" of human [self-]awareness, a higher form of human self-identity, and of '''human subject-ivity''', beyond even those associated with the most advanced possible forms of axiomatic, deductive, mathematical logic, still «dianoetic» and partly sub-rational due to the frequent arbitrariness, authoritarianism, and dogmatism of their unjustified axioms and primitives:

"...disputation and debate may be taken as a paradigmatic model for the general process of reasoning in the pursuit of truth, thus making the transition from rational controversy to rational inquiry. There is nothing new about this approach. Already the Socrates of Plato's Theaetetus conceived of inquiring thought as a discussion or dialogue that one carries on with oneself. Charles Saunders Peirce stands prominent among those many subsequent philosophers who held that discursive thought is always dialogical. But Hegel, of course, was the prime exponent of the conception that all genuine knowledge must be developed dialectically. ... These conclusions point in particular towards that aspect of the dialectic which lay at the forefront of Plato's concern. He insisted upon two fundamental ideas: (1) that a starting point for rational argumentation cannot be merely assumed or postulated, but must itself be justified, and (2) that the modus operandi of such a justification can be dialectical. Plato accordingly mooted the prospect of rising above a reliance on unreasoned first principles. He introduced a special device he called "dialectic" to overcome this dependence upon unquestioned axioms. It is worthwhile to see how he puts [this] in his own terms:

"There remain geometry and those other allied studies which, as we have said, do in some measure apprehend reality; but we observe that they cannot yield anything clearer than a dream-like vision of the real so long as they leave the assumptions they employ unquestioned and can give no account of them. If your premise is something you do not really know and your conclusion and the intermediate steps are a tissue of things you do not really know, your reasoning may be consistent with itself, but how can it ever amount to knowledge? ... So... the method of dialectic is the only one which takes this course, doing away with assumptions. ... Dialectic will stand as the coping-stone of the whole structure; there is no other study that deserves to be put above it."

Plato's writings do not detail in explicit terms the exact nature of this crucial enterprise of dialectic. Presumably we are to gain our insight into its nature not so much by way of explanation as by way of example  — the example of Plato's own practice in the dialogues." [Nicholas Rescher; Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge; SUNY Press (Albany, NY: 1977); pages 46-48; bold, italic, underline, and color emphasis added by F.E.D.].

The procedure of formal proof, of deductively deriving theorems from axioms and postulates, is the exercise of «dianoesis» «par excellence». But the process of discovery, formulation, selection, refinement, and optimization of the individual axioms themselves, and of systems of axioms, resides beyond the «dianoetic» realm. Formal and mathematical logic provide it with no algorithmic guidance. That process belongs to the realm of dialectics.

The Enigma of the Platonic Dialectic

The following extracts provide an overview of the difficulties confronting modern scholars of Plato in deciphering the unified meaning of the Platonic dialectic / ‹‹arithmoi eidetikoi››.  Prior to the insights of Jacob Klein, Denise Schmandt-Besserat, and others regarding ancient arithmetic, and the integration of those insights in the work of Karl Seldon and Sophya St. Germain, no such unified meaning had been recovered.

We learn, for instance, in J. O. Urmson’s The Greek Philosophical Vocabulary, in the entry for the Greek word ‹‹arithmos›› which is translated, in this entry, simply as “number of the ‘‘‘psycho-historical’’’ fact that the ancient Greek concept of “number” differed markedly from – and was, in some ways, ‘ideo-ontologically’ shrunken with respect to our own. However, in another way, that ancient conception was ‘ideo-ontologically’ expansive relative to the modern one, in that it included a concept of “nonaddible”, and therefore apparently of qualitative – qualitatively heterogeneous – “numbers”:

“Zero was unknown as a number, and one also was not counted as a number, the first number being the duas two.” [J. O. Urmson, The Greek Philosophical Vocabulary, Duckworth & Co., Ltd. [London: 1990], pp.31-32].

We also learn of a key “obscure” distinction in Plato’s “unwritten doctrines”, between Plato’s concept of ‘dianoiac’ “mathematical numbers", the ‹‹arithmoi monadikoi››, versus his dialectical ‘‘‘idea-numbers’’’, the ‹‹arithmoi eidetikoi››:

“From the Pythagoreans … who consider number to be the first principle number played a great role in metaphysics, especially in Plato’s unwritten doctrines, involving obscure distinctions of e.g. ‹‹sumblêtoi›› and ‹‹asumblêtoi›› addible and non-addible numbers.” [Urmson, ibid., emphasis added by F.E.D.].

Thus it appears that Plato too, with the Pythagoreans, considered ‘“number”’ to be the “first principle”. But Plato ‘‘‘also’’’ considered the “Forms”, the ‹‹eide›› the «ιδεας» to be the “first principle”. However, these ‘‘‘two’’’ considerations, for Plato, constituted no contradiction. The «ιδεας» or ‹‹eide›› were, for Plato, ‘‘‘numbers’’’– i.e., ‹‹arithmoi›› namely, the ‹‹arithmoi eidetikoi››, the very ‹‹arithmoi›› of his ‹‹dialektiké››.

This ‘‘‘idea-number’’’ notion of Plato’s has been replete with all manner of perplexity for modern scholarship:

arithmós:  number (see also arithmos eidetikos and arithmos mathematikos)

   3.  The most perplexing aspect of ancient number theory is Aristotle’s repeated assertions that Plato taught that the eide were numbers (e.g. Meta. 987b), a position that must be distinguished from 1) the existence of the eide of numbers (see arithmos eidetikos) and 2) the existence of the “mathematicals” as an intermediate grade of being (see mathematika, metaxu). But nowhere in the dialogues does Plato seem to identify the eide with number. To meet this difficulty some have postulated a theory of later “esoteric” Platonism known to Aristotle (but see agrapha dogmata), while others have attempted to see the emergence of the eide-arithmos theory described in such passages as Phil. 25a-e, the reduction of physical objects back to geometrical shapes in Tim. 53c-56c (see stoicheion), and the increasing stress on a hierarchy among the Forms (see Soph. 254d and genos, hyperousia), which, according to Theophrastus, Meta. 6b, would suggest the descending series archai (i.e., monas/dyas or peras/apeiron, qq.v.), arithmoi, eide, aistheta. Still others say that Aristotle either deliberately or unknowingly confused the position of Plato with those of Speusippus and Xenocrates (see mathematika).” [F. E. Peters, Greek Philosophical terms:  A Historical Lexicon, NYU Press [NY: 1990], pp. 25-26].

In the entry for the Greek word ‹‹dialektiké››, translated, in this reference, as the English “dialectic”, we learn the following:

On the testimony of Aristotle dialectic was an invention of Zeno the Eliatic, probably to serve as a support for the hypothetical antinomies of Parmenides ... But what was a species of verbal polemic (what Plato would call “eristic” or disputation...) for the Eliatics was transformed by Plato into a high philosophic method. The connecting link was undoubtedly the Socratic technique of question and answer in his search for ethical Definitions…, a technique that Plato explicitly describes as dialectical (Crat. 390c). …With the hypostatization of the Socratic definitions as the Platonic eide … the role of dialectic becomes central and is the crown of the ideal curriculum described in the Republic:  after ten years devoted to mathematics the philosopher-to-be will devote the years between thirty and thirty-five to the study of dialectic. …

What is dialectic?  The question is not an easy one since Plato, as usual, thought about it in a variety of ways. There is the view of the Phaedo and the Republic, which envisions dialectic as a progressively more synoptic ascent, via a series of “positions” (hypotheseis, q.v.; the Theory of Forms is one such in the Phaedo 100b), until an ultimate is reached (Phaedo 101d, Rep. 511e).  In the Republic, where the context of the discussion is confessedly moral, this “unhypothesized principle” is identified with the good-in-itself (auto to agathon; Rep. 532a-b) that subsumes within itself all of the lower hypotheses (ibid., 533c-d) [cf. the Hegelian core concept of dialectic, named by the German word ‹‹aufheben›› -- F.E.D.] … If the dialectic of the Phaedo and the Republic may be described as “synoptic” …, that which emerges from the Phaedrus onward is decidedly “diacritic”… it is introduced in Phaedrus 265c-266b (compare Soph. 253d-e) and consists of two different procedures, “collection” (synagogue, q.v.) and “division” (diairesis, q.v.), the latter process being amply illustrated in subsequent dialogues like the Sophist, Politicus, and Philebus. The earlier dialectic appeared similar to the operations of eros (q.v.) [recall Herbert Marcuse’s comment, in his Reason and Revolution, to the effect that '''eros is the force that binds matter together into ever higher unities'''-- F.E.D.], but here we are transported into an almost Aristotelian world of classification through division; ascent has been replaced by descent. While it is manifest that we are here still dealing with ontological realities, it is likewise clear that a crucial step has been taken along the road to a conceptual logic. The term [i.e., the terminus – F.E.D.] of the diairesis is that eidos which stands immediately above the sensible particulars (Soph. 229d), and, while this is “really real” (ontos on) in the Platonic scheme of things, it is significant that the same process ends, in Aristotle, in the atomon eidos, the infima species in a logical descent (De an. II, 414b)…” [Peters, ibid., pp. 36-37].

Within the kind of ‹‹arithmoi eidetikoi›› structure described in the extract from Jacob Klein’s book, and depicted in the illustrations above, both the ‘‘‘ascending’’’ and ‘‘‘descending’’’ paths are intrinsic. Further clues regarding this supposedly only synchronic dialectical structure may be gleaned from the entry on ‹‹diairesis›› in the above-sited lexicon, by Peters:

diairesis: separation, division, distinction

1. Division, a procedure that did not interest Socrates since the thrust of his enquiry was toward a single eidos (see epagoge), becomes an important feature in the later dialogues where Plato turns his attention to the question of the relationship between eide.  Expressed in terms of Aristotelian logic diairesis is part of the progress from genus to species; but, as is clear from a key passage in the Parmenides, where he first puts the question (129d-e), Plato did not see it as a conceptual exercise. The dialectical search of which diairesis is part has as its object the explication of the ontological realities that are grasped by our reflection (logismos).

2. The pursuit of the interrelated eide begins with an attempt at comprehending a generic form (Phaedrus 265d); this is “collection” (synagoge, q.v.).  It is followed by diairesis, a separation off of the various eide found in the generic eidos, down to the infima species (Soph. 253d-e). Plato is sparing of details in both the theory and the practice of synagoge, and, while the Sophist and the
Politicus are filled with examples of diairesis, there is relatively little instruction on its methodology. We are told, however, that the division is to take place “according to the natural joints” (Phaedrus 265e). What these are becomes clearer from the Politicus:  they are the differences (diaphorai, q.v.) that separate one species from another in the generic form (Pol. 262a-263b, 285b).

3.  The method of division raises certain serious questions, so serious, indeed, that they might very well shake confidence in the existence of the eide. …  Do the species constitute the genus
or are they derived from it? …” [Peters, ibid., pp. 34-35].

Of the meaning of this ‘sub-method’ of the Platonic dialectical method, termed ‹‹diairesis››, the Urmson source provides the following:

diairien (in past tense, dielein), diairesis:  to divide, division, used in many contexts in Greek as in English. In philosophy particularly the logical division of a genus into species. In the Phaedrus and the Sophist Plato speaks of a method of sunagôgê collection – and diairesis division -- as the supreme method of philosophy: … and, Phaedrus, I myself am a lover of divisions and collections in order to become able to speak and think (Pl. Phaedrus 266b); … unless one is capable of dividing things and subsuming each thing individually under a single form, one will never become skilled in discussion to the limit of human capacity (Pl. Phaedrus 273d): … a longstanding laziness about dividing genera into species (Pl. Soph. 267d).” [Urmson, ibid., pp. 39-40].

The “mystery” of the first movement, and ‘sub-method’, of the dialectical “method of discovery”, ‹‹synagoge››, is also further addressed in our two sources:

sunagein: to collect; sunagôgê:  the action of collecting. Non-technically: … we shall bring together the brides and the bridegrooms (Pl. Rep. 459e).  Also used as a technical term by Plato, particularly in the Sophist and the Phaedrus, where the contrary of sunagôgê is diairesis, division: … I am myself, Phaedrus, a lover of these divisions and collections (Pl. Phaedrus 266b). Collection appears to be bringing together under a single genus a variety of things which are then to be divided formally into species and sub-species: … to survey under one form things that are scattered in many areas (Pl. Phaedrus 265d).” [Urmson, ibid., pp. 158-159].

synagôgé: collection

The Platonic type of “induction” (for the more normal type of induction, i.e., a collection of individual instances leading to a universal, see epagoge) that must precede a division (diairesis) and that is a survey of specific forms (eide) that might constitute a genus (Phaedrus 265d, Soph. 253d).  An example is Soph. 226a, and the process is also suggested in Rep. 533c-d, and Laws 626d…” [Peters, ibid., p. 188].

Parts of the entries under ‹‹eidos›› in the Peters source can serve as a summary of our findings, above, regarding the enigma of the Platonic dialectic:

eídos:  appearance, constitutive nature, form, type, species, idea

  12. At various points in the dialogues Plato seems to grant preeminence to one or other [sic] of the
eide.  Thus, both the Good (Rep. 504e-509c) and the Beautiful (Symp. 210a-212b) are thrown into relief, to say nothing of the notorious hypotheses of the One in the Parmenides (137c-142; see hen, hyperousia). But the problem of the interrelationship, or, as Plato calls it, “combination” or “communion” (koinonia), and, by implication, of the subordination of the eide is not taken up formally until the Sophist.  It is agreed, again on the basis of predication, that some eide will blend with others and some will not, and that it is the task of dialectic to discern the various groupings, particularly through the diacritic method known as diairesis (q.v.; Soph. 253b-e). …  [Peters, ibid., p. 49, emphasis added by F.E.D.].

  8. Though the eide are the centerpiece of Platonic metaphysics, nowhere does Plato undertake a proof for their existence; they first appear as a hypothesis (see Phaedo 100b-101d) and remain so, even though subjected to a scathing criticism (Parm. 130a-134e).  They are known, in a variety of methods, by the faculty of reason (nous; Rep.532a-b, Tim. 51d). One such early method is that of recollection (anamnesis, q.v.), where the individual soul recalls the eide with which it was in contact before birth (Meno 80d-85b, Phaedo 72c-77d; see palingenesia). Without the attendant religious connotations is the purely philosophical method of dialektike (q.v.; see Rep. 531d-535a; for its difference from mathematical reasoning, ibid., 510b-511a; from eristic, Phil. 15d-16a).  As it is first described the method has to do with the progress from a hypothesis back to an unhypothesized arché (Phaedo 100a, 101d; Rep. 511b), but in the later dialogues dialektiké appears as a fully articulated methodology comprising “collection” (synagoge, q.v.) followed by a “division” (diairesis, q.v.) that moves, via the diaphorai, from a more comprehensive Form down to the atomon eidos.  Finally, one may approach the eide through eros (q.v.), the desiderative parallel to the earlier form of dialectic (see epistrophe).” [Peters, ibid., pp. 47-48].