ABSTRACT

An axiom system for dialectical logic K-model which is based on energy-me- thod is established by author in the paper. Dialectical logic K-model supplies a computation-idea for machine, so that it can be applied in many computations for artificial intelligence. This paper described that subjective-laws is the mirror imagine reflected from objective-laws, and defined the three-step which is named by sensation, abstraction and thinking separately in artificial intelligence. At the same time, the author described axiom system for dialectical logic K-model which contains logic-variable energy conservation law, Mozi-principle (minimax principle) and forbidden law, etc. In the axiom system, it also contains a continuous-true-value function valued on interval [-1, +1], and the K-graph for logic-variable. Dialectical logic K-model would supply a computation-idea for machine so that the machine is able to think by dialectical logic method, thus an important information-treated method may be the dialectical logic.

Subject Areas:

Mathematical Logic and Foundation of Mathematics

Keywords:

Artificial Intelligence, Dialectical Logic K-Model, K-Graph $G_K$ , Kirchoff-Laws, Contradiction-Function

1. Introduction

Objective world consists of five factors which are MATTER, ENERGY, INFORMATION, SPACE and TIME. Among these factors, there are many inner or outer laws of causation called objective laws, which can also be called as objective logic. Corresponding to objective laws, there is a mirror image in machine of artificial intelligence, which can be called subjective laws, and also can be called as subjective logic. The machine of artificial intelligence only holds objective laws through subjective laws, or with another word, only holds objective logic through subjective logic. Subjective logic is built on infinite times circulation by the three-step named Sensation, Abstraction and Thinking. Sensation is input-ability to machine from objective information with sensor. Abstraction is conception-classification ability to sensed information and to name it. Thinking is the ability of machine researching from conception-classification information to get the subjective logic.

Dialectical logic K-model would supply a computation-idea for machine so that the machine is able to think by dialectical logic method [1] [2] , so an important information-treated method would be the dialectical logic. In this paper now, author has built a mathematical model for dialectical logic, and the model combines with three main identification technologies (identification technology of graph, identification technology of sound, identification technology of written language), and data-base technology and machine-self-programming technology will take a great progress to artificial intelligence.

2. Axiom System and Theorems

2.1. Conception and the Conception-Dimension

2.1.1. The Conception

The conception is the name what be named the object-thing’s main property and neglected its secondary property. Conception is the basis of artificial intelligence.

2.1.2. The conception-Dimension

The conception-dimension is the dimension-number of conception. For example, HORSE is an one-dimension conception; WHITE HORSE is a two-dimension conception; RUNNING WHITE HORSE is a three-dimension conception; ONE RUNNING WHITE HORSE is a four-dimension conception; etc.

2.1.3. Associate-Data-Base

The three main identification technologies will setup three data-base, although there are other data-base, for example physical data-base and chemical data- base, etc. These three data-bases are associated by the conception-dimension.

2.2. Several Laws

2.2.1. Definitions

Denote objective-demain by B, and subjective-demain by A; define research- arithmetic $\nabla$ (research-arithmetic is an arithmetic to get subjective-logic from objective-logic) and inverse research-arithmetic ${\nabla }^{-1}$ (inverse research-arithmetic is an arithmetic to make subjective-logic to objective-logic to check its true or false) and thus

$\begin{array}{l}\nabla \left(B_i\in B\right)\iff \nabla \left(A_i\in A\right)\\ {\nabla }^{-1}\nabla \left(B_i\in B\right)\iff {\nabla }^{-1}\nabla \left(A_i\in A\right)\\ \cdots \\ {\nabla }^{-1}\nabla \cdots {\nabla }^{-1}\nabla \left(B_i\in B\right)\iff {\nabla }^{-1}\nabla \cdots {\nabla }^{-1}\nabla \left(A_i\in A\right)\end{array}$

$\begin{array}{l}{\nabla }^{-1}\nabla =F_1\\ \cdots \\ \underset{j\text{couplesof}{\nabla }^{-1}\nabla }{\underbrace{{\nabla }^{-1}\nabla \cdots {\nabla }^{-1}\nabla {\nabla }^{-1}\nabla }}=F_j\end{array}$

Then $F_j\left(B_i\in B\right)\iff F_j\left(A_i\in A\right)$

As above, $F_j$ is the j-th cycle research-arithmetic, obviously $F_j$ is a logic-transformation between demain A and demain B. Sometimes can denote $F_j$ by F. Symbol $\iff$ is denote the object logic and the subject logic are mirror imagine each other.

Denote subjective-logic-variable by

$A_i^{\pm n}\left(t\right)=\left\{a_1^{\pm }\left(t\right),a_2^{\pm }\left(t\right),\cdots ,a_n^{\pm }\left(t\right)\right\}$

as above, t is time-variable, right superscript $\pm n$ denote the logic-variable contains n couples of contradicting-subvariable $a_i^{\pm }\left(t\right)$ , n is called the rank-number of $A_i^{\pm n}\left(t\right)$ , right subscript i denote the i-th of causation law.

$T\left(A_i^{\pm n}\left(t\right)\right)$ is denoted the true-valued-function of logic-variable $A_i^{\pm n}\left(t\right)$ , and $T\left(A_i^{\pm n}\left(t\right)\right)\in \left[-1,1\right]$ .

Denote the mirror-image in objective-demain of $A_i^{\pm n}\left(t\right)\in A$ by $B_i\left(t\right)\in B$ .

2.2.2. Objective-Researchable Law

To every object logic-variable $B_i\left(t\right)\in B$ , there must always exist logic-transformation F, make

$A_i^{\pm n}\left(t\right)=F(B_i(\; t\; )\; )$

2.2.3. Research Error Alternating-Convergence Law

To every correct logic-transformation F, always make

$\underset{j\to \infty }{\lim }C\left|A_i^{\pm n}\left(t\right)-B_i\left(t\right)\right|=\underset{j\to \infty }{\lim }C\left|F_j\left(B_i\left(t\right)\right)-B_i\left(t\right)\right|=0$

i.e. to every finite $j<\infty$ , error-function

$E_j\left(t\right)=\left|F_j\left(B_i\left(t\right)\right)-B_i\left(t\right)\right|>0$

In the formulation as above $C=+1$ , if $j=2p+1$ ; or $C=-1$ , if $j=2p$ , $p=0,1,2,\cdots$

In fact, incorrect logic-transformation $F^{*}$ can bring the researching divergence. The faster is the convergence of $F_j$ , the brighter is the $F_j$ .

2.2.4. Logic-Variable Energy Conservation Law

For logic-variable $A_i^{\pm n}\left(t\right)$ , its inner producing-energy $E_i$ is equal to the consumed work $J_i$ by its contradiction-function (see the 10.4 contradiction-function as below), i.e.

$E_i=J_i$

2.2.5. Mozi-Principle (Minimax Principle) [3]

Logic-variable $A_i^{\pm n}\left(t\right)$ in changing, must be satisfied or must be satisfied asymptotically by that cost-function $C\left(A_i^{\pm n}\left(t\right)\right)$ is minimum and gain-function $G\left(A_i^{\pm n}\left(t\right)\right)$ is maximum. Denote the pure gain-function by $L\left(A_i^{\pm n}\left(t\right)\right)$ , i.e.

$L\left(A_i^{\pm n}\left(t\right)\right)=\max \left(G\left(A_i^{\pm n}\left(t\right)\right)-\min C\left(A_i^{\pm n}\left(t\right)\right)\right)$

or

$\underset{t\to \infty }{\lim }L\left(A_i^{\pm n}\left(t\right)\right)=\underset{t\to \infty }{\max }\left(G\left(A_i^{\pm n}\left(t\right)\right)-\underset{t\to \infty }{\min }C\left(A_i^{\pm n}\left(t\right)\right)\right)$

2.2.6. Memory-Inertia Law

1) Last-time memory law

For time-sequence $t_1<t_2<\cdots <t_k<\cdots$ , denote the memory effect-weight-function of contradiction-subvariable $a_i^{\pm }\left(t_p\right)$ from time t by $R\left(a_i^{\pm }\left(t_p\right)\right)$ ,

$R\left(a_i^{\pm }\left(t_p\right)\right)\in \left[0,1\right]$

and $R\left(a_i^{\pm }\left(t_k\right)\right)>R\left(a_i^{\pm }\left(t_j\right)\right)$

If and only if $t_k>t_j$ . Memory prefer the $a_k^{\pm }\left(t\right)$ of the last time.

2) Importance memory law

For importance-sequence $M\left(a_p^{\pm }\left(t\right)\right)<M\left(a_q^{\pm }\left(t\right)\right)<\cdots <M\left(a_r^{\pm }\left(t\right)\right)$ , and $M\left(a_i^{\pm }\left(t\right)\right)\in \left[0,1\right]$

So the memory prefer the $a_r^{\pm }\left(t\right)$ , if and only if its $M\left(a_r^{\pm }\left(t\right)\right)$ is bigger.

3) Bigger probability memory law

For property event ${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_k$ , their corresponding probability are

$P\left({\alpha }_1\right),P\left({\alpha }_2\right),\cdots ,P\left({\alpha }_k\right)$ ,

and

$P\left({\alpha }_P\right)>P(\; \alpha \; q\; )$

so the memory prefer ${\alpha }_p$ .

2.3. Machine Self-Programmable and Self-Correctable Law

In the researching process the machine must have ability to self-programmable and self-correctable without the operations by human beings.

2.4. Forbidden Law

There are two kinds of logic: one is dialectical-logic corresponding to intelligence quotient and another is imagine-logic corresponding to emotional quotient.

The imagine-logic would be forbidden into machine, because the imagine-logic will make machine to emotional quotient so that the autonomous-mind will belong to the machine. The artificial intelligence with the autonomous-mind will not like to be “a tool” for human beings, so “a new creation” will be created, of cause this is harmful to human beings.

2.5. Logic-Variable Infinite-Separable-Characteristic Law

$A_i^{\pm n}\left(t\right)=\underset{n\to \infty }{\lim }\left\{a_1^{\pm }\left(t\right),a_2^{\pm }\left(t\right),\cdots ,a_n^{\pm }\left(t\right)\right\}$

2.6. Logical Inductive and Deductive Method Theorem

For cycle research-arithmetic $F_j$ , make

$A_i^{\pm n}\left(t\right)=F_j(B_i(\; t\; )\; )$

1) (inductive) if as above is true to finite $F_k,k=1,2,\cdots ,j$

2) (hypothesis) suppose as above is true to $F_{k+1}$ ,

3) (deductive) so that as above is true to all $j<\infty$ .

Proof: through finite to prove infinite, there always exists error-function based on the 2.3. research error alternating-convergence law, if the 6.2. (hypothesis) is false, then producing the false to the 6.3. (deductive). Thus the truth to every step of $F_j$ would be carefully checked.

Proof is over.

2.7. Definitions of Logic Algorithm

For $A_i^{\pm r}\left(t\right),A_i^{\pm s}\left(t\right),A_i^{\pm k}\left(t\right)$ , denote their true-valued-function by corresponding to $T\left(A_i^{\pm r}\left(t\right)\right),T\left(A_i^{\pm s}\left(t\right)\right),T\left(A_i^{\pm k}\left(t\right)\right)$ ,

2.7.1. Logic $\cup$ (OR Arithmetic)

Definition $T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)=\max \left\{T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right\}$ logic $\cup$ is satisfied by as below

Commutative law $T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)=T\left(A_i^{\pm r}\left(t\right)\right)\cup T\left(A_i^{\pm s}\left(t\right)\right)$ associative law

$\left(T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)\right)\cup T\left(A_i^{\pm k}\left(t\right)\right)=T\left(A_i^{\pm s}\left(t\right)\right)\cup \left(T\left(A_i^{\pm r}\left(t\right)\right)\cup T\left(A_i^{\pm k}\left(t\right)\right)\right)$

2.7.2. Logic $\cap$ (AND Arithmetic)

Definition $T\left(A_i^{\pm s}\left(t\right)\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)=\min \left\{T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right\}$ logic $\cap$ is satisfied by as below commutative law

$T\left(A_i^{\pm s}\left(t\right)\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)=T\left(A_i^{\pm r}\left(t\right)\right)\cap T\left(A_i^{\pm s}\left(t\right)\right)$ associative law

$\left(T\left(A_i^{\pm s}\left(t\right)\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)\right)\cap T\left(A_i^{\pm k}\left(t\right)\right)=T\left(A_i^{\pm s}\left(t\right)\right)\cap \left(T\left(A_i^{\pm r}\left(t\right)\right)\cap T\left(A_i^{\pm k}\left(t\right)\right)\right)$

2.7.3. Logic Hybrid Arithmetic (OR & AND)

Logic hybrid arithmetic is satisfied as below

Distributive law

$\begin{array}{l}T\left(A_i^{\pm s}\left(t\right)\right)\cup \left(T\left(A_i^{\pm r}\left(t\right)\right)\cap T\left(A_i^{\pm k}\left(t\right)\right)\right)\\ =\left(T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)\right)\cap \left(T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm k}\left(t\right)\right)\right)\end{array}$

2.7.4. Logic N (NOT Arithmetic)

$N\left[T\left(A_i^{\pm n}\left(t\right)\right)\right]=\pm 1-T\left(A_i^{\pm n}\left(t\right)\right)$ , if $T\left(A_i^{\pm n}\left(t\right)\right)>0$ is positive in front of the 1; if $T\left(A_i^{\pm n}\left(t\right)\right)<0$ is negative in front of the 1.

Denote $\underset{p}{\underbrace{N\left[N\left[\cdots N\left[A_i^{\pm n}\left(t\right)\right]\right]\right]}}=N^p\left[A_i^{\pm n}\left(t\right)\right]$

Arithmetic N is satisfied by as below idempotent law $N^p\left[A_i^{\pm n}\left(t\right)\right]=A_i^{\pm n}\left(t\right)$ , if $p=2k$ ; $N^p\left[A_i^{\pm n}\left(t\right)\right]=N\left[A_i^{\pm n}\left(t\right)\right]$ , if $p=2k+1$ ; $k=0,1,2,\cdots$

2.8. De Morgan’s Theorem

$N\left[T\left(A_i^{\pm s}\left(t\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)\right)\right]=N\left[T\left(A_i^{\pm s}\left(t\right)\right)\right]\cup N\left[T\left(A_i^{\pm r}\left(t\right)\right)\right]$ (1)

$N\left[T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)\right]=N\left[T\left(A_i^{\pm s}\left(t\right)\right)\right]\cap N\left[T\left(A_i^{\pm r}\left(t\right)\right)\right]$ (2)

Proof:

$\begin{array}{c}N\left[T\left(A_i^{\pm s}\left(t\right)\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)\right]=\pm 1-\left(T\left(A_i^{\pm s}\left(t\right)\right)\cap T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ =\pm 1-\min \left\{T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right\}\\ =\max \left\{\pm 1-T\left(A_i^{\pm s}\left(t\right)\right);\pm 1-T\left(A_i^{\pm r}\left(t\right)\right)\right\}\\ =N\left[T\left(A_i^{\pm s}\left(t\right)\right)\right]\cup \left[T\left(A_i^{\pm r}\left(t\right)\right)\right]\end{array}$

Formulation (1) proof is over.

$\begin{array}{c}N\left[T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)\right]=\pm 1-\left(T\left(A_i^{\pm s}\left(t\right)\right)\cup T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ =\pm 1-\max \left\{T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right\}\\ =\min \left\{\pm 1-T\left(A_i^{\pm s}\left(t\right)\right);\pm 1-T\left(A_i^{\pm r}\left(t\right)\right)\right\}\\ =\min \left\{N\left[T\left[A_i^{\pm s}\left(t\right)\right]\right];N\left[T\left[A_i^{\pm r}\left(t\right)\right]\right]\right\}\\ =N\left[T\left(A_i^{\pm s}\left(t\right)\right)\right]\cap N\left[T\left(A_i^{\pm r}\left(t\right)\right)\right]\end{array}$

Formulation (2) proof is over.

Remark 1: As above when time t is degenerated into a constant and destroy the contradictions in the formulations, then the formulations will be degenerated into the mathematical model of formal logic, i.e. Boolean algebra.

2.9. Logic Algorithm True-Valued-Function Composition Theorem

For logic arithmetic of true-valued-function $T\left(A_i^{\pm s}\left(t\right)\right),T\left(A_i^{\pm r}\left(t\right)\right)$ , as below there is a composition theorem:

If equation $T\left(A_i^{\pm s}\left(t\right)\right)-T\left(A_i^{\pm r}\left(t\right)\right)=0$ exist root-set $T=\left\{t_1,t_2,\cdots ,t_m\right\}\in \left[t_0,t\right]$ , and $t_1<t_2<\cdots <t_m$ so that

$\begin{array}{l}\max \left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ =\underset{t\in \left[t_0,t_1\right]}{\max }\left(T\left(A_i^{\pm s}\left(t\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\right)+\underset{t\in \left[t_1,t_2\right]}{\max }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ +\underset{t\in \left[t_2,t_3\right]}{\max }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)+\cdots +\underset{t\in \left[t_m,t\right]}{\max }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\end{array}$

as same as above, also

$\begin{array}{l}\min \left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ =\underset{t\in \left[t_0,t_1\right]}{\min }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)+\underset{t\in \left[t_1,t_2\right]}{\min }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\\ +\underset{t\in \left[t_2,t_3\right]}{\min }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)+\cdots +\underset{t\in \left[t_m,t\right]}{\min }\left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)\end{array}$

If equation $T\left(A_i^{\pm s}\left(t\right)\right)-T\left(A_i^{\pm r}\left(t\right)\right)=0$ in which the possible augment root and complex root will be removed out.

If $T\left(A_i^{\pm s}\left(t\right)\right)-T\left(A_i^{\pm r}\left(t\right)\right)\ne 0$ , so the root-set $T=\varnothing$ that $\max \left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)$ or $\min \left(T\left(A_i^{\pm s}\left(t\right)\right);T\left(A_i^{\pm r}\left(t\right)\right)\right)$ in which select a maximum or minimum of pure function.

Proof: obviously based on definition of logic arithmetic.

Proof is over.

2.10. Kirchoff’s Power-Function Law and Kirchoff’s Flow-Function Law [4]

Defines a connecting directed simple graph $G_K$ with $2\left(n+1\right)$ nodes and E edges $G_K=\left\{V_{2\left(n+1\right)};E\right\}$

In graph $G_K$ every node will be given a power-function $v_i\left(t\right)$ ; for node $V_i$ and node $V_j$ , if edge $E_{ij}\in E$ , then on the edge $E_{ij}$ exists a power-function

$e_{ij}\left(t\right)=v_j\left(t\right)-v_i\left(t\right)$ (3)

In Formulation (3), lower reaches node is left and upper reaches node is right, in opposite direction would sign a negative in the front of $e_{ij}\left(t\right)$ .

In graph $G_K$ if the edge $E_{ij}$ exists, then give a flow-function $f_{ij}\left(t\right)$ , its direction is from the upper reaches node to the lower reaches node. The graph $G_K$ would be satisfied by 10.2., 10.3., 10.4., 10.5. as below.

2.10.1. Kirchoff’s Power-Function Law

In the graph $G_K$ every cycle $W_{ij}$ is satisfied by

${\displaystyle \sum }_{\text{if}{E}_{ij}\in W_{ij}}{e}_{ij}\left(t\right)=0$

2.10.2. Kirchoff’s Flow-Function Law

In the graph $G_K$ every node $V_i$ is satisfied by

${\displaystyle \sum }_{\text{if}{E}_i\in V_i}{f}_i\left(t\right)=0$

as above input flow $f_i\left(t\right)$ is positive and output flow $f_i\left(t\right)$ is negative.

2.10.3. Contradiction-Function

Defines

$R_{ij}\left(t\right)=\frac{e_{ij}\left(t\right)}{f_{ij}(\; t\; )}$

is the contradiction-function of dge $E_{ij}$ in graph $G_K$ .

2.10.4. Work and Energy Law

In the graph $G_K$ every edge $E_{ij}$ , make

$W_{ij}={\displaystyle {\int }_{t_0}^{t_1}{e}_{ij}\left(t\right)f_{ij}\left(t\right)\text{d}t}$

$W_{ij}$ is called what work done in $\left[t_0,t_1\right]$ by contradiction-function $R_{ij}\left(t\right)$ on edge $E_{ij}$ .

2.11. Structure in Graph $G_K$ of Logic-Variable $A_i^{\pm n}\left(t\right)$ (Figure 1)

1) Graph $G_K$ have n couples of nodes and two nodes $V_{+1},V_{-1}$ , total $2\left(n+1\right)$ ;

2) Graph $G_K$ is a no-loop, no-multiple edge directed simple graph;

3) In the graph $G_K$ , n + 1 positive nodes construct a perfect subgraph, another n + 1 negative node construct another perfect subgraph;

4) Node $V_{+1}$ connect only to node $V_{-1}$ , positive node $V_q^{+}$ connect only to negative node $V_q^{-}$ what right subscript is equal.

5) The power-function of node $V_{+1}$ is a constant +1，the power-function of $V_{-1}$ is a constant −1, the power-function of edge $E_{+1,-1}$ is a constant +2, the flow-function of edge $E_{+1,-1}$ is a constant I;

6) In the graph $G_K$ , other nodes and edges all be defined power-function $v_i\left(t\right)$ , power-function $e_{ij}\left(t\right)$ , flow-function $f_{ij}\left(t\right)$ and contradiction-function $R_{ij}\left(t\right)$ , these are satisfied by Kirchhoff laws as above.

2.12. Heredity and Variation Theorem

1) For $t\in \left[t_0,t_1\right]$ , if the 1-Order derivative of function $Q_{ij}\left(t\right)$ exist and if

$\frac{\text{d}{Q}_{ij}\left(t\right)}{\text{d}t}\ne 0$

then $Q_{ij}\left(t\right)$ is called variation, or not is called heredity.

2) Every contradiction-function $R_{ij}\left(t\right)$ always can be seen an algebra-sum of a constant C and function $R_{ij}\left(t\right)$ i.e.

$R_{ij}\left(t\right)=Q_{ij}\left(t\right)+C$ (4)

and if

$\frac{\text{d}{Q}_{ij}\left(t\right)}{\text{d}t}\ne 0$

then in Formulation (4) $Q_{ij}\left(t\right)$ is variation and C is heredity.

3) Heredity and variation theorem

Heredity and variation is basic law in object-logic of cause in subject-logic.

Prove: combining the 11.1. and 11.2. as above which can be proved obviously.

2.13. The Critical-Point Theorem

For the contradiction-function $R_{ij}\left(t\right)$ , if its m-order derivative exist and the points as below make

$\frac{{\text{d}}^k{R}_{ij}\left(t\right)}{\text{d}{t}^k}=0,\text{or}\infty ,k=0,1,\cdots ,m;$

and some special-selected points are called critical-point.

Property-Function Critical-Point Theorem

The existence of critical-points will make what some new property-function is born or some old property-function is dead.

2.14. Isomorphic-Equality ↔

If the rank-number of logic-variable $A_i^{\pm s}\left(t\right),A_j^{\pm r}\left(t\right)$ is equal i.e. $s=r$ , then $A_i^{\pm s}\left(t\right)$ and $A_j^{\pm r}\left(t\right)$ is called isomorphic-equality, denote isomorphic-equality as

$A_i^{\pm s}\left(t\right)\leftrightarrow A_j^{\pm r}(\; t\; )$

Isomorphic-equality ↔ is satisfied by as below reflexive law $A_j^{\pm r}\left(t\right)\leftrightarrow A_j^{\pm r}\left(t\right),A_i^{\pm s}\left(t\right)\leftrightarrow A_i^{\pm s}\left(t\right)$ symmetrical law if $A_j^{\pm r}\left(t\right)\leftrightarrow A_i^{\pm s}$ , then $A_i^{\pm s}\left(t\right)\leftrightarrow A_j^{\pm r}\left(t\right)$ transtive law if $A_i^{\pm s}\left(t\right)\leftrightarrow A_j^{\pm r}\left(t\right)$ and $A_j^{\pm r}\left(t\right)\leftrightarrow A_m^{\pm k}\left(t\right)$ , then $A_i^{\pm s}\left(t\right)\leftrightarrow A_m^{\pm k}(\; t\; )$

2.14.1. Similarity between Logic-Variable $A_i^{\pm s}\left(t\right)$ and $A_j^{\pm r}\left(t\right)$ , Thinking Analogy Method

1) Definition: the two logic-variable $A_i^{\pm s}\left(t\right)$ and $A_j^{\pm r}\left(t\right)$ is called similarity, if

a. $A_i^{\pm S}\left(t\right)\leftrightarrow A_j^{\pm r}\left(t\right)$ ;

b. in the graph $G_K^i$ and $G_K^j$ , their contradiction-function of corresponding edge is proportion i.e.

$R_{ij}^i\left(t\right)=C{R}_{ij}^j\left(t\right),R_{ij}^i\left(t\right)\in G_K^i,R_{ij}^j\left(t\right)\in G_K^j$

in formulation as above C is a constant.

2) If $A_i^{\pm s}\left(t\right)$ and $A_j^{\pm r}\left(t\right)$ is called similarity, what is denoted as $A_i^{\pm s}\left(t\right)~A_j^{\pm r}\left(t\right)$ . The relation is satisfied as below reflexive law $A_i^{\pm s}\left(t\right)~A_i^{\pm s}\left(t\right),A_j^{\pm r}\left(t\right)~A_j^{\pm r}\left(t\right)$ symmetrical law if $A_i^{\pm s}\left(t\right)~A_j^{\pm r}\left(t\right)$ , then $A_j^{\pm r}\left(t\right)~A_i^{\pm s}\left(t\right)$ transtive law if $A_i^{\pm s}\left(t\right)~A_j^{\pm r}\left(t\right)$ , and $A_j^{\pm r}\left(t\right)~A_m^{\pm k}\left(t\right)$ , then $A_i^{\pm s}\left(t\right)~A_m^{\pm k}(\; t\; )$

3) Thinking analogy theorem

Two of logic?variable $A_i^{\pm s}\left(t\right)$ and $A_j^{\pm r}\left(t\right)$ are analogy-able in thinking, if and only if

$A_i^{\pm s}\left(t\right)~A_j^{\pm r}(\; t\; )$

Proof: based on the definition of similarity, if

$A_i^{\pm s}\left(t\right)~A_j^{\pm r}(\; t\; )$

then

$A_i^{\pm s}\left(t\right)=C{A}_j^{\pm r}(\; t\; )$

In formulation as above, C is a constant, thus they are analogy-able in thinking.

Proof is Over.

3. Conclusion

As shown above, author has established an axiom system depending on several laws, some definitions, graph G_K and Mozi-principle, and proved some theorems for dialectical logic K-model. The advanced properties and theorems for dialectical logic K-model will be explained in succedent papers by the author.

Cite this paper

Jiang, Y.Z. (2017) Axiom System and Some Theorems for Dialectical-Logic K-Model. Open Access Library Journal, 4: e3817. https://doi.org/10.4236/oalib.1103817

References