形式的哲学精神探本

文章认为形式与理性之间具有本源关联,这一关联肇始于柏拉图的理性的形式化。西方心灵崇尚的理想之美有两种形态:一种是源于理性的自我聚集本性的和谐美,另一种是构建超验的、纯粹形式的、真善美统一的世界。形式的撼天动地的伟大能量体现在两个方面:其一是为目的论的解释和美的概念产生联系提供深刻的存在论、认识论和价值论的根据,另一是作为理性的基本同一性的外化的赋型、抽象和表现这三种活动。理性-形式不会随着现代社会和文化的反传统浪潮而终结,它与非理性的矛盾本质上是化解自然与文化之冲突的表征。

AN IMPROVED RECURSIVE DOUBLING ALGORITHM FOR THE PARALLEL SOLUTION OF LINEAR RECURRENCE R

An improved recursive doubling algorithm for solving linear recurrence R <n,1>is given,whose parallel time complexity is (τ++τ.) logn when n processors are available,achieving the lower bound in array processor type computation.

The Rational Man Model in Social and Political Studies： A Plea for Relevance

This paper examines the assumptions of the Rational Man （RM） model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and political situations. It is suggested that the assumptions of RM model should be relaxed using the familiar methods and techniques of elementary formal logic. The concept of relevance is then introduced to take account of a ＂weaker＂ formal requirement in an attempt to explain events and processes in human action and/or behavior. The concept of ＂justification by reasons＂ is then introduced as a necessary though not sufficient requirement of explaining events and processes in social and political studies

Application of Rational Expansion Method for Differential-Difference Equation

In this paper, we applied the rational formal expansion method to construct a series of sofiton-like and period-form solutions for nonlinear differential-difference equations. Compared with most existing methods, the proposed method not only recovers some known solutions, but also finds some new and more general solutions. The efficiency of the method can be demonstrated on Toda Lattice and Ablowitz-Ladik Lattice.

A Family of Integrable Rational Semi-Discrete Systems and Its Reduction

Within framework of zero curvature representation theory, a family of integrable rational semi-discrete systems is derived from a matrix spectral problem. The Hamiltonian forms of obtained semi-discrete systems are constructed by means of the discrete trace identity. The Liouville integrability for the obtained family is demonstrated. In the end, a reduced family of obtained semi-discrete systems and its Hamiltonian form are worked out.

Simplest Normal Forms of Generalized Neimark-Sacker Bifurcation

The normal forms of generalized Neimark-Sacker bifurcation are extensively studied using normal form theory of dynamic system. It is well known that if the normal forms of the generalized Neimark-Sacker bifurcation are expressed in polar coordinates, then all odd order terms must, in general, remain in the normal forms. In this paper, five theorems are presented to show that the conventional Neimark-Sacker bifurcation can be further simplified. The simplest normal forms of generalized Neimark-Sacker bifurcation are calculated. Based on the conventional normal form, using appropriate nonlinear transformations, it is found that the generalized Neimark-Sacker bifurcation has at most two nonlinear terms remaining in the amplitude equations of the simplest normal forms up to any order. There are two kinds of simplest normal forms. Their algebraic expression formulas of the simplest normal forms in terms of the coefficients of the generalized Neimark-Sacker bifurcation systems are given.

Towards a Formal Theory of v-Contradictions

On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate and arithmetical one, intended to be a formalizaton of identically false formulas. We argue somewhat in favor of such a system from the point of view of its meta theory （it is complete and consistent one）, of properties of duality, symmetry etc., as well as of a logic of a possible world.

Projection Operator on Rational Noncommutative Orbifold T^2/Z_4

In this paper, we introduce the reduced matrix in kq representation and provide the reduced matrix elements of a projection operator P on the rational noncommutative orbifold T^2/Z_4.we give the closed form for the projector by Jacobi elliptical functions. Since projectors correspond to soliton solutions of the field theory on the noncommutative orbifold, we thus present a corresponding soliton solution.

A Generalized Form of Whitney's Theorem

Whitney＇s theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney＇s theorem will be derived.

An Equivalence of Moore＇s Paradox and G6del＇s Incompleteness Sentence in Two-Valued Algebra of Formal Ethics

The paper submits surprising results of systematical investigating a formal-ethical aspect of conjoining Wittgenstein＇s, Moore＇s, Parmenides＇, GSdel＇s, and Lukasiewicz＇s ideas. A critique of Wittgenstein＇s critique of the natural language of ethics and of metaphysics results in submitting and elaborating a new paradigm of metaphysics as formal axiology （in particular, formal ethics）. In result, the classical metaphysics and ethics of moral rigor are represented as two-valued algebraic systems of metaphysics and formal ethics respectively. By means of this algebraic model, all the well-known scandal-making metaphysical tenets of Parmenides are produced as translations of corresponding algebraic equations from the symbolic language to the natural one. At the level of submitted discrete mathematical model of formal axiology, Parmenides＇ metaphysical （formal-axiological） concepts ＂consistency＂ and ＂inconsistency,＂ ＂completeness＂ and ＂incompleteness＂ are compared with G^del＇s logic ones. Formal-axiological meanings of the words ＂consistency,＂ ＂incompleteness,＂ ＂being,＂ ＂nonbeing,＂ ＂movement,＂ ＂knowledge,＂ ＂belief,＂ etc., are considered as moral-evaluation-functions determined by one moral-evaluation-variable. Binary moral-evaluation-functions are studied as well. The functions are precisely defined by tables. Precise definitions of ＂formal-axiological-equivalence,＂ ＂formal-axiological-law,＂ and ＂formal-axiological contradiction＂ are submitted. Thus, one can either generate or examine formal-axiological equations of algebra of metaphysics by ＂computing＂ relevant compositions of moral-value-functions. Using this ＂moral-value-table-computation-technique,＂ one can arrive to a surprising conclusion that both the notorious sentence of Moore （called ＂epistemic paradox＂） and the incompleteness sentence of Godel are formally-axiologically inconsistent ones： Hence, they are formally-axiologically equivalent. For overcoming the negative psychological effect of such a surprising result, the author has used graphic models explicating the famous Lukasiewicz＇s statement ＂Logic is morality of thought and speech.＂

Multivariate Vector Valued Salzer's Theorem

In this paper, the important Salzer's theorem for rational interpolation is generalized to the multivariate vector valued case.

Traveling Wave Solutions for Nonlinear Differential-Difference Equations of Rational Types

Differential-difference equations are considered to be hybrid systems because the spatial variable n is discrete while the time t is usually kept continuous.Although a considerable amount of research has been carried out in the field of nonlinear differential-difference equations,the majority of the results deal with polynomial types.Limited research has been reported regarding such equations of rational type.In this paper we present an adaptation of the(G /G)-expansion method to solve nonlinear rational differential-difference equations.The procedure is demonstrated using two distinct equations.Our approach allows one to construct three types of exact traveling wave solutions(hyperbolic,trigonometric,and rational) by means of the simplified form of the auxiliary equation method with reduced parameters.Our analysis leads to analytic solutions in terms of topological solitons and singular periodic functions as well.

A New Model for Simulation of Cold Roll-Forming of Tubes by Using Spline Finite Strip Method

A new model,called object model,for the simulation of cold roll-forming of tubes is presented.The model inherits the advantages of old models and is the embodiment of forming process that the strip is rolled step by step from feed rollers to last rolling pass.The elastic-plastic large deformation spline finite strip method based on updated Lagrangian method has been developed by improving the stiffness and transition matrix.Combined theory formulas and new analytical model,the forming process of a tube has been simulated successfully as an example.The analytical results are submitted and indicate that the proposed simulation method and new model are applicable.

China's civil law since reform and opening up in 1978

Since reform and opening up were launched in 1978, China＇s civil law has made progress in terms of both values and systems. Specifically, the status of the individual as the subject of private law has been gradually established, the autonomy of private law as the cornerstone of civil law has been laid down, private interests and rights have been recognized and genuinely guaranteed, and the scientific nature of civil law has developed rapidly. However, there is still some room for improvement in degree of formal rationality of current civil law. Upholding the autonomy and formal and rational development of civil law is of great significance for Chinese society. At the same time, it is necessary to preserve a certain degree of openness in civil law in order to overcome some inherent defects in formal rational law.

Determinant Solutions to a (3+1)-Dimensional Generalized KP Equation with Variable Coefficients

1 Introduction Although partial differential equations that govern the motion of solitons are nonlinear, many of them can be put into the bilinear form. Hirota, in 1971, developed an ingenious method to obtain exact solutions to nonlinear partial differential equations in the soliton theory, such as the KdV equation, the Boussinesq equation and the KP equation （see [1-2]）.

The hyper-surfaces with two linear dependent mean curvature functions in space forms

We formulate a class of functionals in space forms such that its critical points include the r-minimal hyper-surface and the minimal hyper-surface as special cases. We obtain the algebraic, differential and variational characteristics of the critical surfaces determined by the critical points. We prove the Simons' type nonexistence theorem which indicates that in the unit sphere, there exists no stable critical surfaces, and the Alexandrov's type existence theorem which indicates that in Euclidean space, the sphere is the only stable critical surfaces.

A first-principles study of dihydroazulene as a possible optical molecular switch

By applying nonequilibrium Green's function formalism combined with first-principles density functional theory, we investigate the electronic transport properties of the dihydroazulene optical molecular switch. Three kinds of adsorption sites including the hollow, bridge and top sites are studied. The two forms of this molecule, namely the open form and the closed form, can reversibly switch from each other upon photoexcitation. Their transmission spectra are remarkably distinctive. Theoretical results show that the current of the closed form is always significantly larger than that of the open form for all three adsorption sites, which promises this system as possibly one of the good candidates for optical switches due to its unique advantage, and which may have some potential applications in the future molecular circuit.

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space：where rn is any positive integer satisfying 0 〈 2m 〈 n. We first prove that the positive solutions of （0.1） are super polyharmonic, i.e.,where x＊ = （x1,... ,Xn-1, --Xn） is the reflection of the point x about the plane Rn-1. Then, we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of （0.3）, in which α can be any real number between 0 and n. By some Pohozaev type identities in integral forms, we prove a Liouville type theorem--the non-existence of positive solutions for （0.1）.

The BV Formalization of Chern-Simons Theory on Deformed Superspace

In this paper we will study non-abelian Chern-Simons theory on a deformed superspace. We will deform the superspace in such a way that it includes the noncommutativity between bosonic and fermionic coordinates. We will first analyse the BRST and the anti-BRST symmetries of the Chern-imons theory on this deformed superspace. Then we will analyse the extended BRST and the extended anti-BRST symmetries of this theory in the Batalin-Vilkovisky （BV） formalism. Finally, we will express these extended BRST and extended anti-BRST symmetries in extended superspace formalism by introducing new Grassmann coordinates.