In this paper we concentrate on open problems in two directions in the development of the theory of constructive algebraic systems. The first direction deals with universal algebras whose positive open diagrams can be computably enumerated. These algebras are called positive algebras. Here we emphasize the interplay between universal algebra and computability theory. We propose a systematic stu...

Evolutionary psychological theories have engendered much skepticism in the modern scientific climate. Why? We argue that, although sometimes couched in the language of unfalsifiability, the skepticism results primarily from the perception that evolutionary theories are less verifiable than traditional psychological theories. It is more difficult to be convinced of the veracity of an evolutionar...

Every serious school of psychotherapy has its own theory—often only vaguely formulated—concerning the active ingredients in psychotherapy. Many of these theories are presented as mutually exclusive. The author presents an overview of some of the important, primarily psychoanalytically founded, theories of the factors in individual psychotherapy that are responsible for inducing change. It is im...

Traditional international sci-tech cooperation theories mainly focus on the ability and advantage owned by cooperative parties, and according to which to guide the direction of international science and technology cooperation. Based on the integration of traditional theories of international science and technology cooperation and concrete practice, this paper proposes the selection advantage pa...

The problems I want to consider and the results I want to discuss are PRIMA FACI E of a very traditional proof theoretic sort: they concern the reduction of subsystems of second and higher order arithmetic to constructively unproblematic theories. The arguments for these results seem also to be of a traditional proof theoretic sort: they use formai and semiformal sequent calculi and exploit the...

Knowledge representation and reasoning systems run into danger when they attempt to implement traditional belief change theories intended for ideal reasoning agents. Resource limitations can cause a system that guarantees consistency to fail. We present a belief space whose formalization incorporates the fact that it is not guaranteed to be deductively closed (e.g. unknown implicit beliefs migh...

Serious mathematical defect in the important kinematics theorem known in continuum mechanics as Convection (or Transport) Theorem is reported. We claim that the traditional demonstration does not take into account a special constraint on integrand functions given in Lagrangian representation. Thus, we put in doubt that the traditional procedure for the transition from integral formulations of p...

This paper reports an ongoing study related to the design of conceptual design model of interactive television (iTV) advertisement towards impulse purchase tendency. Despite many studies have been proposing factors of impulse purchase in many different advertising medium like website, mobile, traditional retail store, and traditional television; none of the impulse purchase model is dedicated t...

How does the human visual system detect and interpret human actions? Traditional models of the visual system suggest that the same set of visual processes is used by all observers to analyze all classes of visual images. This theoretical framework predicts that observers, whether paralyzed or athletic, analyze and perceive objects and actions similarly. Embodied theories of perception assert th...

Some theories of the coordination of speech gestures maintain that higher-level phonological categories such as the segment are not needed for the description of observed timing patterns. Likewise, few theories of phonology make substantial reference to gestures. The present paper examines evidence of timing stability between gestures within traditional segmental units. Specifically, relative t...