A survey is made of work since 1879 on foundational problems viewed as an analysis, by reduction and formalization, of the concepts proof, feasible, number, set, and constructivity. It is suggested that there are five domains of concepts and methods, viz., anthropologism, finitism, intuitionism, predicativism, and platonism. It is also suggested that the central problem is to characterize these domains by formalization and to determine their interrelations by different forms of reduction. Finally, the range of logic in the narrower sense (...) is discussed, and applications of mathematical logic are briefly outlined.ZusammenfassungDie Entwicklung der Grundlagenforschung seit dem Jahre 1879 wird hier im Überblick dargestellt und zwar vom Standpunkt einer Analyse durch Reduktion and Formalisierung der Begriffe Beweis, Zahl, Menge und Konstruktivität aus gesehen. Fünf Bereiche von Begriffsbildungen und Methoden werden zu Grunde gelegt, nämlich: Anthropologismus, Finitismus, Intuitionismus, Prädikativismus und Platonismus. Als zentrale Aufgabenstellung wird hier die Charakterisierung dieser Bereiche durch Formalisierung betrachtet und weiterhin die Bestimmung ihrer gegenseitigen Zusammenhänge durch verschiedene Arten von Reduktionen. Schliesslich wird das Gebiet der Logik im engeren Sinne diskutiert und Anwendungen der mathematischen Logik skizziert.RésuméL'article réexamine les travaux faits depuis 1879 sur les problèmes du fondement des mathématiques, que P'on considère comme des analyses par réduction et formalisation des concepts de démonstration, de nombre, d'ensemble, et de constructivité. On suggère qu'il existe cinq domaines de concepts et de méthodes, à savoir: anthropologisme, finitisme, intuitionisme, « predicativism » et platonisme. On suggère aussi que le problème essentiel consiste à caractériser ces domaines par formalisation et à déterminer leurs relations réciproques par différentes formes de réduction. Finalement, on étudie la portée de la logique prise dans son sens le plus étroit et on esquisse rapidement les applications de la logique mathématique. (shrink)

The present situation of the HIV/AIDS epidemic is very grim in China. The probability of China becoming a country with a high prevalence of HIV/AIDS cannot be excluded because there have been factors which promote the wide spread of HIV if we fail to take timely action to prevent it at the opportune moment. However, China's HIV prevention policy is inadequate. Health professionals and programmers believed that they could take a conventional public health approach to cope with the HIV epidemic. (...) They simply ignored the fact that HIV infection is an epidemic so special that their approach is not effective to deter the epidemic. Many health professionals and programmers bypassed ethical issues that had emerged in the prevention of the HIV epidemic. Even some health educators, sexologists and officials believe that `AIDS is the punishment for promiscuity', and this belief has led to discrimination and stigmatization of AIDS patients, HIV positive people, their family members and high risk groups. Although homosexuality is not illegal, the police can always find any reason to detain homosexuals. A difficult ethical issue is about the laws prohibiting prostitution and drug use in China which force prostitutes and intravenous drug users underground, giving them no chance to access information, education and the services needed to protect them. The dilemma facing China is whether to stay with a restrictive policy for the reason of ideology cleansing or to turn to a more supportive policy. It is necessary to have some change in the ethical framework to evaluate the action in HIV prevention. Tolerance should be the first ethical principle. (shrink)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be , to have , and to do . All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing to be, set theory (...) for describing 'to have,' and algebras, particularly the process algebra, for describing to do. This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra (RTPA) that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

Because my wife is doing research on women and has read a raft of theoretical books on feminism, we often discuss our respective stand-points with each other. As intellectuals, we will inevitably have standpoints quite close to some kind of feminism—my feeling is that if someone does not respect women's rights, that person cannot be called an intellectual—but there are an awful lot of different theories of feminism , and it is important to know which kind.

Using logic analysis method with contemporary philosophy conception, made the definition of a life. Analyzing the reason of a disease and characteristics of drug, explained the Chinese traditional theory of materia medica. Demonstrated the best drug contain the function of Monarch drug, Minister drug, serviceman drug and missioner drug, instructed human drug reseach in future.

This paper is an introduction to micro-epistemology, philosophical reflection of "quantum wealth" as well as an anthropological analysis of the nature of human cognition in the scale of quantum. It covers the problems of the observation in and the trueness of micro-cognition, the perception of quantum phenomena, the relations between micro-cognition and practice as well as between macro-subject and micro-object, the descriptological turn in micro-cognition, the description of micro-world and some special descriptological problems in micro-cognition, etc. Micro-cognition, just as quantum (...) theory shows, relates to a scale out ofordinary for human being. Quantum theory means a farther clarification of the background of human person’s existence and the human-world relation. It means an enormous extending of the framework of scientific theory, and thereby the rebuilding of the foundation of philosophy. It also means the refining and therationalization of our conceptual tools and, in a certain extent, the reconstruction of the foundation of epistemology. (shrink)

By means of comparison between Lao Tzu’s theory of Tao in ancient China and the concept of metaphysics originated from ancient Greece, the author redefined the concept of “form” and therefore, elaborated the meaning of metaphysics from its Chinese translation. According to the author’s re-interpretation of Tao Te Ching, Lao Tzu had resolved the ontological questions in a different way with that of ancient Greek philosophers, and he had answered the question of “One and Many”. In the past, people had (...) omitted the fact that there are actually two different “ones” in this question, and hence, metaphysics and ontology had been remained in a confused state. By giving an example in natural science, the author had illustrated clearly what is the metaphysical Tao, and then extendedthe idea to metaphysics of morals. As a conclusion, the author suggests that it is better to use a new term to replace the imperfectly defined “metaphysics”, for example, metaformology. (shrink)

Appreciating nature may at its best feature have three levels of experience according to practical aesthetics. The first level is more sensuous as it largely pleases the ear and eye, the second level is more psychological as it chiefly pleases the mind and mood, and the third level is more sublimate as it mainly pleases the will and spirit. In Chinese culture the affinity between man and nature can be traced back to the traditional conception of tian ren he yi (...) 天人合一 as heaven-human oneness, which will be ultimately conducive to the artistic realm or aesthetic state of being. (shrink)

Walter Benn Michaels's The Shape of the Signifier: 1967 to the End of History makes the ostensive cul-de-sac of identity politics the dominant symptom of postmodernism per se. The Shape connects its argument to the controversy over intention and interpretation created by Steven Knapp and Walter Benn Michaels's twenty-year-old essay "Against Theory." This very connection, however, highlights the not-quite-acknowledged presence of a certain type of romanticism in both works that each also wants to attack. Misunderstanding Paul de Man's notion of (...) materiality, Michaels becomes the latest thinker hoping to free us from the inchoateness of romantic sensation, both as the indulgence of sensory experience and the cognitive sloppiness of nonmeaning as the sense of meaning. Far from a Fukuyama-inspired postmodern condition, Michaels's scenario actually adumbrates a basic problem between romanticism and modernism-as-modernity. (shrink)

The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the first author. It is proved in this note that a closed logic theory Γ is consistent if and only if it contains no interior point in the logic metric space. Moreover the relationship between logic (...) closedness and topological closedness of a logic theory Γ is discussed. Finally, the concept of full divergency is also characterized by means of the topological concept of density. (shrink)