-
10Using the prover ANDP to simplify orthogonalityAnnals of Pure and Applied Logic 124 (1-3): 49-70. 2003.In the 1920s, Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used different concepts to axiomatize the geometry: he used 14 axioms to describe the axiomatization for apartness geometry. Then he added axioms A1 and A2 to his apartness geometry to get his affine geometry, then he added axioms O1, O2, O3 and O4 to the affine geometry to get orthogonality. In total, this gives 22 axioms. von Plato used four relations to describe the concept of orthogonality in O1, O2 an…Read more
-
13Simplifying von Plato's axiomatization of Constructive Apartness GeometryAnnals of Pure and Applied Logic 102 (1-2): 1-26. 2000.In the 1920s Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used different concepts to axiomatize it. He used 14 axioms to formulate constructive apartness geometry, seven of which have occurrences of negation. In this paper we show with the help of ANDP, a theorem prover based on natural deduction, that four new axioms without negation, shorter and more intuitive, can replace seven of von Plato's 14 ones. Thus we obtained a near negation-free new system consisting …Read more
-
20A minimal pair joining to a plus cupping Turing degreeMathematical Logic Quarterly 49 (6): 553-566. 2003.A computably enumerable degree a is called nonbounding, if it bounds no minimal pair, and plus cupping, if every nonzero c.e. degree x below a is cuppable. Let NB and PC be the sets of all nonbounding and plus cupping c.e. degrees, respectively. Both NB and PC are well understood, but it has not been possible so far to distinguish between the two classes. In the present paper, we investigate the relationship between the classes NB and PC, and show that there exists a minimal pair which join to a…Read more
-
5Li Daozeng Wen JiZhongguo Jian Zhu Gong Ye Chu Ban She. 2006.本书包括一个思想者、一个建筑者、一个教育者等三大部分,收入了《古为今用,洋为中用,推陈出新》、《空间的平断面形状》、《美国购物中心的发展趋势》等文章。
-
3Xin shi qi ren yu wen hua de fan siBai hua zhou wen yi chu ban she. 2006.本书分为人的发现与震撼、文化热在神州、美学理论风云三个部分,内容包括关于人道主义的论争、人文精神问题讨论、自然人化与美的关系问题等.
-
8Jun shi si kao lu: dui wo jun zhi jun fang lüe he zuo zhan yi shu de hui gu yu tan taoJun shi ke xue chu ban she. 2007.本书分为“关于我军的治军方略”、“关于我军的作战艺术”两部分,内容包括:得民心、聚军心、造就军事人才、重视和改善物质条件、科学制定体制编制等.
-
112根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
40根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
61Target the Object of PhilosophyProceedings of the Xxii World Congress of Philosophy 4 67-73. 2008.From the daily life, how to get the access to philosophy, what is the approaches to philosophy? Regarding the big topics /big affair in the world, are they related to the philosophy? what and how shall the philosophy do? About some concept, word, have we already fully confirmed their meaning? What shall the philosophy do to make their meaning clear and confirmed? Refers to the philosophy itself, have we already confirmed its study object? What is Philosophy? what is the main study object for the…Read more
-
71根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
72根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
60黑格尔认识论和本体论的根本错 误以及我的新的本体论和认识论Proceedings of the Xxii World Congress of Philosophy 34 73-84. 2008.Almost all think Hegel’s Ontology and Cognition is wrong. Yeah, his is wrong. But, what mistake? What mistake is the essential one? How to demonstrate Hegel’s this essential mistake in his great Ontology and Cognition system? This section is Ontology. But, Ontology can not be there without the Cognition. Hegel’s great achievement in philosophy history is his Cognition. While, His main mistake is also in his Cognition, and, his that mistake in Cognition is at the basis of hisOntology, his wrong O…Read more
-
59根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
38根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
32根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
39根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
46明确哲学的研究对象Proceedings of the Xxii World Congress of Philosophy 4 133-141. 2008.From the daily life, how to get the access to philosophy, what is the approaches to philosophy? Regarding the big topics /big affair in the world, are they related to the philosophy? what and how shall the philosophy do? About some concept, word, have we already fully confirmed their meaning? What shall the philosophy do to make their meaning clear and confirmed? Refers to the philosophy itself, have we already confirmed its study object? What is Philosophy? what is the main study object for the…Read more
-
43根据最新的本体论和认识论, 我们应该有怎样的教育理论Proceedings of the Xxii World Congress of Philosophy 37 385-401. 2008.As per my new theory in ontology and cognition, the theory of education could be demonstrated. My this paper is to demonstrate the theory of education as per my new ontology and cognition. Following is my new theory in ontology and cognition: New ontology: The Onto is the uniform contradiction being. The essence of people: The uniform contrast body within people’s body, is “ego and nonego. “New Cognition: Cognition course moves by the force from the contrast between the Ego and Nonego within an …Read more
-
33一切人文知识的根本根据是什么Proceedings of the Xxii World Congress of Philosophy 53 383-391. 2008.RENE DESCARTES had a dream, to find out the root basis theory for human’s all knowledge. Obviously in 16th century, that was only a dream. Since the onto is the root basis of everything, then, the knowledge of everything should have their root in the onto. Believing in this law, the philosophiers like Descartes in the thousands years history, had the same dream--to find out the root basis theory for all the knowledge. This root basis theory for knowledge, in fact, is refers to the onto, but at t…Read more
-
74Evolutionary autonomous agents and the naturalization of phenomenologyPhenomenology and the Cognitive Sciences 5 (3-4): 351-363. 2006.The phenomenological goal of grounding the content of conceptual thought in the background understanding of everyday, skillful coping was approached using evolutionary autonomous agent methodology. The behavior of an EAA evolved to perform a specified motor task was identified with skillful coping. Changes in the dynamics of the EAA controller occurred when the EAA encountered an unexpected obstacle with loss of longer time scale components in its hierarchical temporal organization. These tempor…Read more