Logic — math, philosophy & computational aspects

logic, math, philosophy, math games, math help, mathematical logic, philosophy of education, math facts

Archive for December, 2009

public domain automated theorem provers?

Does anyone know of good public domain automated theorem provers?
I’d be interested in experimenting with one as a tool for helping
me prove theorems.  Most of the proofs I’d be interested in doing
this way are in real analysis.  Someone once mentioned that the
first order theory of the reals is computable but that the best
known algorithm is hyperexponential.  I’d be interested in
experimenting with this despite the pessimistic complexity
bound.  Also, I’m not averse to implementing it myself if
given a pointer to an algorithm in the literature.

Please send all replies to me since I am not a regular reader
of these groups.  I will post a summary on request.

Kevin Atteson
atte…@dnamite.humgen.upenn.edu

posted by admin in Uncategorized and have No Comments

Re: Fundamental Assumption of Science

john baez wrote:
> Well, this happens to be true in every topos, which means simply that
> the folks who invented topoi saw no advantage to considering forms of
> logic in which this failed to be true.   I am sure that if one wanted,
> one could come up with forms of logic in which it failed, and even come
> up with applications… but basically, people haven’t come up with good
> reasons to use the word "all" in such a way that this fails.

To muddy the waters a bit more for those of you following this thread and
this recent bit concerning the topoi vrs. Sets controversy… :-) Corollary
2 on page 569 of Mac Lane and Moerdijk’s *Sheaves in Geometry and Logic*
pertains to the immediate point:

     Let T be a geometric theory. A formula (x)(phi(x)->psi(x)) as above
     holds in all models of T in any topos, iff it holds in all models of
     T in the topos Sets.

A large class of theories *are* geometric (don’t ask me for percentages!)
as are many formulas like the one in the Corrolary. The point being that in some
cases leaving Sets isn’t going to give you any new proofs.

Since this is the last proved result in the book, they leave me hanging
with respect to whether this uniquely classifies Sets among the topoi. Which,
though probably not the case, would be neat since it might provide an
avenue for the completion of the orginal programme which invented topoi in the
first place – the categorical characterization of Sets.

> Well, let’s see.  How about this… what’s the precise analogy between

> if ((A implies B) and A) then B

> and what you do when you multiply a matrix by a vector to get another
> column vector?

LISP?

Jim Walters
tryg…@halcyon.com

posted by admin in Uncategorized and have Comments (16)

How do you prove an axiom to be an axiom ?

There is a very clever way of proving the Hahn-Banachs theorem, by
introducing Zorn’s lemma, but I find this annoying…

How can I be sure that this ‘lemma’ really is an axiom?…

Does anyone know how to prove that Zorn’s lemma is an axiom ?
i.e. to prove that Zorn’s lemma can be neither proved nor disproved…

Zorn’s lemma.
|  Every chain in a partially ordered set wich is bounded above contains
|  a maximal element.

( There is another more fundamental axiom from wich this ‘lemma’ might
  be proved I think ?, but in that case the same question applies to
  that axiom unless that axiom is a more ‘obvious’ as axiom )

Or if anyone knows where I can find such a proof I would appreciate it ?
..references ?

Thanks !

 /Fredrik.
  m92…@student.tdb.uu.se

posted by admin in Uncategorized and have Comments (8)

HUMBLE REQUEST: Signs of Mathing too long

       Earlier this semester I had studied a bit too long for an algebra
class.  As I left my desk I passed by two other students who were playing
chess.  One of them made a daring move, and I quickly scanned the board
to see if it was a smart move.  All of a sudden, my subconscious mind said,
"Sure it’s an OK move – all the pieces are still pairwise relatively prime."

        When it occurred to me what was bouncing around inside my head, I
realized that I must not be the only one.  Hence I intend to start a list
of "You know you’ve been MATHING too long when…" stories, much like the
"You know you’ve been HACKING too long when…" stories commonly seen on
alt.folklore.computers.

        If you ever had a mathematics-related experience as above,
where your mathematical intuition applies itself too closely to reality
(i.e., not wanting to climb up a staircase and then suddenly realizing that
you could just take one step backwards MODULO the staircase and land at
the top), please mail me, C…@math.niu.edu, or post it to this thread.
I will compile your responses and give them a permanent spot on my
Wacky Web page (A web page that *THE* Rt Rev’d Colin James III called
"a colossal waste of time" on comp.theory!)

Now, ObYKYBHTLW (to make this relevant to alt.folklore.computers):

        My girlfriend is taking a data structures class, and had to
write a recursive B-tree traversal routine in IBM 360 ASSEMBLER!!!!
YEEEAGGGHHHH!!!  Anyways, a few days into it she sent me very
frightening e-mail.  It turned out that one morning she woke up, hit
the snooze bar, woke up later, hit the snoose bar, woke up later,
hit the snoose bar, and thought, "I’m not late – I’m doing this recursively,
so when I finally wake up it’ll be the time the alarm first went off."

        I told her in response that if anyone in the CSCI department found
out about this they’d commit her.  And then woops, I accidentally pressed
the "automatically forward this to Lisa’s data structures professor" key.

        Damn these QWERTY keyboards, so confusing….

–                                                      -Caj
             88    
  ,ad8888ba, "" |=– That’s right – the ‘@’ character is actually MY NAME,  
 d8P’    `"’:88 |=– reduced 10.7 times for transmission purposes.  Forget
d8:         ;88 |=– some stupid name like "octothorpe" or "virgule":  the
88:   ,adPYa888 |=– ‘@’ is hereby officially called the CAJ!!1!  All that
88:   88    `88 |=– time you spent programming in FORTH you were actually
Y8:   88,   ,88 |=– aiding, unwittingly, the propagation of my *almighty*
 Y8a. `Ybaa8P88 |=– *wisdom*!  KIBO may have a newsgroup and a stupid lil
o `"Y8888YP"d8P |=– dog, but I RESIDE IN ASCII!!!!!  I AM IMMORTAL!!!11!!
Yb,       _,8P’      
`YY88888888P"’       C…@math.niu.edu — My opinions do not represent.

posted by admin in Uncategorized and have Comments (24)

Ordering in ( ) – free expressions

In parenthesis-free expressions, such as p => q v r, the truth value
of (p => q) v r is different than p => (q v r).  By convention,
operational grouping prioritizes the operators as <=>, =>, v, and &,
from the strongest (encompassing the most) to the weakest.  That is, the
negation affects the variables the least, and the <=> the most.  So,
for example, p & q => ~r would be grouped (p & q) => (~r), where =>
affects the whole expression, and ~ the least.  Ordering conventions
like this one also exist in mathematics.  Other than the convention
to maintain consistency in evaluating these parenthesis-free
expressions, what is the basis for ordering or grouping the
variables and their operators in this fashion?  Additionally, how
are the other 12 operators in logical space (such as XOR, nand, and
so forth) prioritized?
This is one lacuna in my logic courses that was never filled in,
or if it was, then I cannot access that part of my neural net that
received the information.  Please provide articles, references, and whatever
information that might be useful.  I

Jeremy Horne
 ++ 0
jolan@AZTEC

or jho…@nando.net

or (919) 403-2228.

posted by admin in Uncategorized and have No Comments

Discrete Textbook?

Can anyone recommend a good discrete math textbook geared well towards
self-study? I’d prefer something ~20$ or so, as I’ll eventually be
buying the one my college uses anyway. I just want to get a head start
because people seem to get eaten alive in that class, at least where I
go. Thanks in advance for any suggestions. (BTW, if you recommend
something, please give me enough information so that I can actually order
it – I’ll probably go through Barnes & Noble.)


Faust/What Chaos?/rcal…@primenet.com/Armant St. John-Carmichael
I cannot hear your words because who you are is shouting at me.
                                -R.W. Emerson

posted by admin in Uncategorized and have Comments (2)

Falsifiability

"For any action there is a reaction." The statement is commonly accepted
as scientific but I don’t see how it is to be falsified.

not Ax.Ey.[reaction(x,y)] <=> Ex.Ay.[not reaction(x,y)]

As one can easily observe the negation is not instantiable because it
contains an universal operator. Thus, it is not testable.

        ***

"For any metal rod with the ends at temperatures T, T’ and for all
temperatures t, t’ such as T<t<t’<T’ there is point x on the rod such as
the temperature t(x) is t<t(x)<t’." I would call that a temperature
density hypothesis.

not AT.T’.t.t’.Ex.[T<t<t'<T'=>t<t(x)<t']
        <=> ET.T’.t.t’.Ax.[T<t<t'<T' and not t<t(x)<t']

The falsifiability problems are similar.

        ***

Now consider the following hypothesis, dismissed by Popper as
unfalsifiable: "For any occurence there is a cause."

not Ax.Ey.[causes(x,y)] <=> Ex.Ay.[not cause(x,y)]

The statement is indeed unfalsifiable.

        ***

There is no falsifiability criteria to distinguish between the first two
hypotheses which feel scientific and the last one that feels metaphysical.

I would appreciate if someone can comment on this difficulty and/or point
me to some literature that discusses it.

Regards,
Dan


  gh…@qucis.queensu.ca *** http://www.qucis.queensu.ca/~ghica/info.html
Control people’s minds and they’ll thank you for it… if you tell them to.

posted by admin in Uncategorized and have Comments (2)

How do you prove an axiom to be an axiom

Proving an axiom …   This a a topic to which I returned many time logic.  My students would ask "how do we know?"  The generalized
response, of course,is epistemology.  In the case of answering the
question, "From where do we get our ideas on how to construct the
axioms, and probably, more importantly, the methods and rules for
constructing them?"  I respond by inviting the questioner to the
new field of philosophy called "autopoiesis," or the study of
selself-organization."

— experiencing line noise — sorry about that.

That is autopoiesis, or the study of self-organization.   If anyone out there
is interesting in pursuing this discussion, contact me through at jo…@aztec.asu.edu  or  jho…@nando.net   .   I am on nando.net  every night.

The more recognized name is "self-organizing systems."    Yes, just how do
….

Yes, just how DO things become coherent to us?  Do we impose order, or
is it imposed upon us?  We create axioms from our experience, but,
really, the question is how do we do this?   Deductive systems are
closed in the formal sense, and we do draw upon what has "worked" in
the past as a closed system, but the matter is quite open, as indicated
by the family of problems referred to as "incompleteness," Church’s
theorem, etc.

Again, I entertain dialog on autopoiesis.  I am somewhat new in this
particular arena of self-organization, but it seems to be a core
issue in  many debates about who we are and why we are here.

Jeremy Horne
jho…@nando.net

posted by admin in Uncategorized and have No Comments

Church-Rosser Theorem

Some references to the Church-Rosser Theorem:

"Lambda-Calculus Combinators and Functional Programming"
G. Revesz, Cambridge Tracts in Theoretical Computer Science

"Some properties of conversion"
A. Church and J.B. Rosser
Trans. Amer. Math. Soc., Vol 39 (1936) pp 472-482

"Introduction to Combinatory Logic"
Hindley, Lercher, and Seldin.
Cambridge University Press

"Introduction to Combinators and [symbol]Lambda-Calculus"
Hindley and Seldin
Cambridge University Press, 1986

posted by admin in Uncategorized and have No Comments

THE 'MAN AND WORLD' SYSTEM. Vol.8 – End.

*************************** Vol.8 ******************************

                          CHAPTER III

                           TAXONOMY

     Historically, taxonomy goes back to ancient astrologers, to
Aristoteles and Theophrastus.  Aristoteles  provided  the  first
classification and  description  of  many  animal  species,  and
Theophrastus developed observation methods and  generalizations.
Taxonomy receives   a  further  development  in  Linne’s  botany
philosophy, Lamarck’s zoology philosophy, Lyell’s classification
of rocks,  and  in  Darwin’s  Derivative theory of the origin of
species. Logically,  taxonomy includes a classification  of  any
objects: Mendeleev’s  periodical  system  of  chemical elements,
Butlerov’s theory of chemical  structure,  Fedorov’s  structural
crystallography and mineralogy, Schwann-Schleiden’s cell theory,
Hertzsprung-Russell’s spectral classification of stars,
Hubble’s classification of the Galaxies, etc. They are all based
on structural determinism  of objects.

              I. The postulate of structural determinism

     All objects in the surrounding  world  represent  different
forms of unified matter.  By virtue of the material unity of the
world, the objects are not only different but  also  similar  to
each other.  The objects’ similarity is due to the fact that all
of them are built up from  unified  matter:  they  are  akin  by
origin and  are interrelated genetically.  The diference is that
they are   constructed   differently    and    are    inimitable
morphologically.
     The morphological difference and the genetic similarity  of
the objects  is  reflected  in our consciousness via categories:
individual, species, and genus. The ascent from an individual to
a species  and  from  this latter to a genus forms the basis for
the ascent from a single to a special and from this latter to
the universal.

                 1. The principle of singleness

     Each concrete   object  is  individual  and  inimitable  in
another. The category of the  individual   reflects   in    our
consciousness the  extreme degree of difference between objects:
their singleness  and  morphological  inimitableness,   and   an
individual –  a  single  something finite in space and transient
with the time, through the combination of which matter exists at
each time instant. Nothing is eternal in the eternal world – all
the concrete is relative.

                              -16-

                2. The principle of speciality

                3. The principle of universality

     All species of  objects  represent  different  links  in  a
common chain  of  development  of matter:  they are akin to each
other. The category  of  genus  reflects  the  second  stage  of
genetic similarity  of  objects  -  a phylogenetic similarity of
species between themselves.  Phylogenetic divergence of  species
occurs as  a  result  of  the  nonuniformity of quantitative and
qualitative changes   in   the   process   of    ontogenetic
development of individuals and a succession of their generation.
Nomologically, this  process  is  reflected  in   the   law   of
nonuniformity of motion and development of matter and in the law
of transition of quantitative to qualitative changes.
     The categories of individual,  species and genus reflect in
our consciousness the objective presence of morphological stages
in the  development  of  matter  and  are  the  initial  ones in
cognition of  its  forms.  In  accordance  with  the   objective
presence of these stages, regions of the real world do come into
existence, and branches of our knowledge do arise, hence sciences
emerge. On the basis of a morphological difference-similarity of
forms of  matter,  through  Plato’s  dichotomy  -  a  successive
dichotomy of  higher genera into lower genera and species and
through Aristoteles’   logic   of   classes   –   a   successive
categorization of  individuals  under  a species and a genus,  a
taxonomic classification of these forms is accomplished. On this
same morphological   basis   an   objective  differentiation  of
branches of Knowledge takes effect. Special sciences ought to be
concerned with the Ooda genera which, according to Aristoteles,
are the first definitions of the existent. Each genus of objects
has its  own  universality,  ought  to be treated by its special
science and is described by its own certain class of categories.
This provides  the  basis  for  the  construction of the genetic
structure of the world and,  accordingly,  the genetic structure
of sciences.   All   sciences   are  divided  into  genetic  and
predicative (see the genetic structure  of  the  world  and  the
genetic structure of sciences).

                           CHAPTER IV

                            ONTOLOGY

     Historically, ontology    as   a   science   of   universal
definitions, goes back to Old-Indian philosophers of two schools
of thought: Vaisheshika  and  Nyanya,  and to Aristoteles’ first
philosophy. Aristoteles, by calling the teaching of the existent
the "first   philosophy",   thereby   determined  its  role  and
significance in philosophy.  The first philosophy,  according to
Aristoteles, treats,  as its subject, the existent as something
universal rather than in some of its parts, i.e. it is not aimed
at examining   and  explaining  the  specific  features  of  all
individual genera of the existent and,  moreover, the individual
features of each particular existent.  Any existent, Aristoteles
posits, is defined in itself  -  it  has  a  limited  number  of
attributive predicates; otherwise, when describing it, one would
have to go to infinity of random definitions – the postulate  of
predicative determinism.

          II. The postulate of predicative determinism

     Any concrete  object  is  finite:  it is bounded in itself.
Each facet of an object has its specific  character  and  is  in
regular coordinationally-subordinative   interrelationship  with
all the others.  Any object exists only so far as the  unity  of
its facets  is  conserved  - the interrelationship of its facets
and relations.  Each  objet’s  facet   is   reflected   in   our
consciousness by   its  special  definition, the  predicate,  of
categories. Each category,  as the object’s facet,  has its  own
specific character,   and   for   the  object  to  be  described
correctly, it must be in the same regular coordinationally-
-subordinative interrelationship   with  other  categories  that
reflect this object’s facets.

                              -17-

             1. The principle of specific character

     Each category reflects  one  and  only  one  facet  of  the
object: form,   content,   quality,  quantity,  measure,  cause,
effect, etc.  The  categories,  as  the  object’s  facets,   are
irreducible one to another and do not substitute for each other.
Each category,  as the object’s facet, is an indivisible  but
continually ontological unity.  This signifies that there cannot
be half a category or some of its parts.  Therein lies the basic
difference of an ontological unity from a mathematical unity.
     If the object’s facets,  since a given object is  conserved
as a  given  something,  are inseparably linked with each other,
then the categories can and are usually employed separately.
     Thus, the form can be treated independently of the content,
and the quality – independently of the quantity, and vice versa.
     Separate use   of   the    categories    complicates    the
establishment  of  an  interrelationship between them.  A simple
listing and even an investigation of separate  categories  fails
to  provide  either  a comprehensive definition of the object or
its systematic description. If however, there is a regularity in
the interrelationship between the objects’ facets,  then it will
also necessarily be present in the interrelationship between the
categories.   Logically,   links   and   relations  between  the
categories may and should correspond to those between the facets
of objects being defined.

                2. The principle of coordination

     Each part of  an  object  has  one  and  only  one  polarly
correlative facet:  top and bottom,  front and rear,  right- and
left-hand sides;  opposite points in a sphere; banks in a river;
the poles of the Earth, etc. Accordingly, each category also has
one and  only  one  correlative  opposite.  This  regularity  is
embodied in  the  twoness  -  the  dialectical  symmetry  of the
categories: form and content,  quality and quantity, essence and
phenomenon, cause and effect, etc.
     Pairs-dyads of  the  categories have  long  been  known  in
philosophy. But  they  had been considered in isolation not only
from each other but also in  isolation  from  the  subject,  the
carrier of definitions. Dyads of definitions, taken without the
definiendum, become  devoid  of  their  gnostic   meaning,   are
rendered aimless  and detached from each other,  and turn into a
heap of uncoordinated links of a noncreated system of categories
aimed at   modeling   the   object   in   its   many-sidedness.
Investigation of isolated  pairs  of  categories  is  almost  so
unproductive as is investigation of separate categories.
     The opposites  in  a  contradiction   can   not   only   be
coordinationally correlated   but   they   also  are  correlated
subordinatively.

               3. The principle of subordination

     Each correlative  pair  of   facets   of   an   object   is
collaterally subordinated  through  a third facet.  Accordingly,
also pairs of categories must be collaterally subordinated in  a
new, third, category: form and content in a subject, quality and
quantity in the measure,  cause and effect in a phenomenon, etc.
Without merging of the opposites into something third, no onward
march is possible in the development of matter and cognition  of
its forms.
     At the same  time,  dialectical  merging  of  two  opposite
facets is  only  one  aspect of dialectical motion.  If there is
merging of the opposites into a single whole, then there must of
necessity be  also  a  dichotomy  of  a  single whole into the
opposites.
     Dialectical analysis  through  a  dichotomy  of  a single
whole into  the  opposites,  as  dialectical  synthesis  through
merging of  the  opposites  into a single whole,  is a mandatory
element of cognition.  "Everything,  - Heraclides says,  - is  a
transition to  something  different,  from dichotomy to unity,
and from unity to dichotomy".
     Dialectical unity and struggle, joining and division of the
opposites reflects the essence of dialectical motion in  Nature,
thinking and practice – in the world as a whole.

                       a. The triple law

     Any contradiction  represents  a certain structure of three
elements: two opposites (thesis and antithesis),  and  a  single
whole (synthesis). "A single whole, – Heraclides says, – is that
which consists of two opposites".  Plato names such a  structure
the  single-separate  and  maintains  that,  with the ability to
think  dialectically,  a  knowledge  becomes   at   most   true.
Dialectical   thinking,   Plato  states,  imparts  a  structural
character  to  cognition.  Proclus  interpreted  the  structural
dependence   between  the  facets  in  a  contradiction  as  the
overwhelming universal law of development and referred to it  as
the triple dialectical law. Fichte endowed the triple law with a
structural      form      of      the       logical       triad:
thesis-antithesis-synthesis.   Kant   argued   that  the  triple
correlation of notions is  rooted  in  the  character  of  human
reason.  Hegel claimed that the process of dialectical motion of
thought  implies  a  sequential  ascent  from   thesis   through
antithesis  to  synthesis.  Constructively,  the  triple  law is
modeled in the form of a heuristic triad:

                        thesis
                               \ synthesis
                     antithesis/

                              -18-

     The triad represents a logical figure that reflects the
coordinationally-subordinative interrelation     between     the
opposites in a contradiction.
     The triad forms the  basis  for  constructing  any  logical
deduction and   any   mathematical  equation.  This  means  that
dialectics and mathematics operate on  the  basis  of  the  same
algorithm. But   there   is   an  intrinsic  difference  between
equations in mathematics and triads in dialectics.
     Relations between terms involved in a mathematical equation
lack any strict coordination and subordination and are mobile  -
labile. Mathematics    abstracts    itself    from   qualitative
differences between    coordinational    and     subordinational
interrelationships in  an  equation.  Hence it is prevented from
constructing a "rigorous" system  of  definitions.  Mathematical
equations are  too  fluctuating to do so;  they reflect merely a
quantitative definiteness of interrelationships of  the  subject
with the predicates.
     Relations between   the   members  of  dialectical  triads,
however,are tight-stable,  strictly coordinated and subordinated
between themselves.   It  is  this  constitutes  the  preise  of
categorial-dialectical structuring in  thinking  and  cognition,
thus opening  up  new  vistas  for  a  constructive  modeling of
objects in  their  unified  separatness,   –   an   avenue   for
constructing systems  of  categories that adequately reflect and
describe objects under investigation.
     When intercomparing stable and labile triads, it is easy to
notice a disproportion in  the  development  of  dialectics  and
mathematics. While   mathematics   has  achieved  much  success,
dialectics as a science is still in its infancy. This is because
dialectics requires   greater   abstraction   force   then  does
mathematics.

                    b. Law of dual division.

     Dialectical dichotomy is dual. This statement is modeled in
the following form :

                Thesis            Thesis’
                      \           /
                        SYNTHESIS
                      /           \
             Antithesis          Antithesis’

     The law  of dual division is a logical algorithm of the law
of unity and interaction of opposites.
     All premises    of   dialectical-materialist   monism   are
logically enclosed intj a unified formula in  the  law  of  dual
division. The  material unity and the objective diversity of the
World, conservation  and  circulation  of  matter,   substantial
dimorphism of  matter,  and  the  structural  determinism of its
complex forms.

       III. Dialectics of the concrete and the abstract.

     Dialectics of  the  concrete  and  the  abstract   is   the
principal gnosiological  contradiction.  We  always consider any
object in two ways,  in two  opposite  aspects  :  concrete  and
abstract, as a concrete and abstract definitness.
     In the former case the object is regarded as  "it"  in  its
individual immediatness,  such  as  it  is  given in our sensual
perception.
     In the latter case the object is regarded as "the same", as
some individual abstract unit,  identical to any other object of
a given genus or a given commonalty.
     The dialectical opposite (antithesis) between the  concrete
and abstract definitenesses reflects the contradictory nature of
the object.
     In accordance  with the principle of dichotomy,  the object
in both the concrete and  abstract  aspects  must  also  be  and
actually is  considered  in  two  ways,  from  two dialectically
opposite sides.
     We treat  the  object  in  its concrete aspect,  on the one
hand, as something "in itself",  estranged from the other, taken
in itself,  without  any relation to the other,  in its internal
unity, and  on  the  other  -  as  something  "for  the  other",
contrasted with  the  other,  in  relation to the other,  in its
external diversity – the principle of unity and diversity.
     We also  treat  the  object in its abstract aspect from two
dialectically opposite  sides:  as  something  separate  single,
identical to  any  other  object  of  a given genus and in total
commonalty with the other.  A monad identity with the other, and
a coenosic  commonalty  with  the  other constitute inseparable,
dialectically symmetric sides of the object – the principle of a
separate and a common.

            1. The principle of unity and diversity

     Any object   in  its  concrete  definiteness  is  something
unified in itself and diverse for the other. "Once – Aristoteles
remarks –  we  speak  of the object on taking it in itself,  and
another time – in its relation to the other". Dialectically, any
concrete object  must  be regarded both "in itself" and "for the
other", in its unity  and  diversity.  In  conformity  with  the
triple law, this dependence can be modeled as follows:

                Principle of unity and diversity
                ——————————–
                             OBJECT
                ——————————–
                   Unity       |    Diversity
                ——————————–

                              -19-

          2. The principle of a separate and a common

     Any object   in  its  abstract  definiteness  is  something
separate –  identical  to  the  other  and  something  common  -
combined with the other:  Man and society,  the existent and the
world, etc.  A separate does not exist differently than in  this
relation which leads to a common.  A common exists in a separate
and through a separate.  As an individual man  does  not
exist differently  than  in that relation which forms a society.
Society exists in each  individual  man ,  through  each
individual human  being.  In  just  the same way,  an individual
existent does not exist differently than in this relation  which
forms the  world.  The world exists in each individual existent,
through each individual existent.
     A separate  is  an abstract deprived of individuality,  one
identical to the other.  This provides the basis for the initial
mathematical abstraction – the unit – the reference point.
     A separate  is  a  totality  of objects of a given genus in
co-existence, a multitude taken in unity.  A common as such  has
its own peculiarities of being and development.  Thus,  the laws
of being and development of the eternal and infinite world –  an
aggregate commonalty of all the existent, are different from the
laws of  being  and  development  of  a  finite  and   transient
individual existent.  The  laws  of  being  and  development  of
society are  different from the laws of being and development of
individual Man. Although one does not exist without the other.
     In accordance  with the triple law,  this dependence can be
modeled as follows:

              Principle of a separate and a common
              ————————————
                             OBJECT
              ————————————
                 Separate      |        Common
              ————————————

     The principle  of  a  separate  and  a  common  is the same
logical corollary of the triple law as is the principle of unity
and diversity. Both of them express, albeit in different aspects
– abstract  and  concrete,  the  regularities   of   dialectical
dichotomy –  merging  of  opposites that define one and the same
object.
                 3. The law of double dichotomy

     The abstract  does not exist without the concrete,  and the
concrete necessarily leads to the abstract.  A dual character of
the approach  to  considering objects is a regularity immanently
inherent in dialectical  dichotomy  -  analysis-synthesis  -  of
opposites  that  define the object in its multivalence.  Therein
lies the  specific  character  of  predicative  dichotomy,   its
difference from genetic dichotomy.  This difference is expressed
in terms of the notions:  the law of double dichotomy,  and  the
law of dual division.
     The law of dual division is representative of the  specific
character of   genetic  dichotomy  in  the  process  of  eternal
circulation of matter.
     The law   of   double  dichotomy  represents  the  specific
character of a predicative definition of objects – their
single-separatedness and definiteness in themselves.
     Constructively, the law of double dichotomy is  modeled  as
follows:
                    Law of double dichotomy
             ————————————–
               The separate      |    The general
             ————————————–
                              OBJECT
             ————————————–
                   Unity         |     Diversity
             ————————————–

     The law  of  doble  dichotomy  opens  up  the  way  for   a
consistent definition of the object in all its multi-sidedness.
Not only do the principle of unity and diversity,  the  separate
and the  common  complement  each other but also penetrate each
other. Each parameter of one  principle  can  be  considered  in
relation to  the  other principle.  This offers real scope for a
consistent, dialectical development of the entire  aggregate  of
definitions for  any  kind  of  objects into groups,  series and
systems of contradictions.
     The law  of double dichotomy is an algorithm of dialectical
motion of  definitions  and  forms  an  heuristic  basis  for  a
categorial-dialectical modeling  -  a construction of systems of
categories that adequately represent objects  of  cognition.  It
opens the  door to a structural description of any object in its
single-separatedness. The law of double  dichotomy  is  used  to
construct a   system   of:   ontological   categories,  natural,
gnosiological, teleological,  astral, mineralogical, biological,
anthropological, ecological,   existential,  economic,  gentile,
ethical, aesthetical,  social,  ideological,  and  others   that
emerge from the genetic structure of the world.
     This furnishes an apportunity to create a unified system of
knowledge of  the  real  world  and to do what thinkers had been
dreaming of for millenia.  Only on this basis is it possible  to
resolve the  problem  of reproduction of human life and to crack
the challenge of survival  of  the  human  genus.  The  proposed
system of knowledge,  as a representation of the real picture of
the world,  must serve as a basis for education, as the image of
the real world,  out of which Man had come into existence and in
which he lives.

                              -20-

     A unified system of knowledge of the real world can provide
the basis for a categorial-system encyclopaedism  which,  unlike
an arbitrary-alphabetical one, is a  consistent  development  of
categories of genera of the existent.
     This does not come within the capabilities of an individual
man and an individual collective body.  Since  it  is  a
general-scientific problem,  it  requires pooling efforts of all
scientists. The unified world and the unity of knowledge thereof
must be opposed by the unity of scientists, both conceptually-
methodological and organizational.  The unified world recognizes
no national  borders,  much  as a unified knowledge thereof does
not recognize any national borders.
     The task  is  a  considerable  challenge but it has to come
under the scrutiny of science;  otherwise,  we can never get out
of the  pluro-relativistic abyss to provide the scientific basis
for rational reproduction of human life, and, as before, we will
continue beating  our  heads  against  the walls in our national
quarters, helplessly  and  carelessly  anticipating   a   global
catastrophe. A  practical  problem of survival must initially be
solved theoretically.

                                * * *

                        All rights reserved.

******************************** End  **************************

posted by admin in Uncategorized and have No Comments