Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng &Thomas Ågotnes -2013 -Synthese 190 (S1).detailsWhile dynamic epistemic logics with common knowledge have been extensively studied, dynamic epistemic logics with distributed knowledge have so far received far less attention. In this paper we study extensions of public announcement logic ( $\mathcal{PAL }$ ) with distributed knowledge, in particular their expressivity, axiomatisations and complexity. $\mathcal{PAL }$ extended only with distributed knowledge is not more expressive than standard epistemic logic with distributed knowledge. Our focus is therefore on $\mathcal{PACD }$ , the result of adding both common and (...) distributed knowledge to $\mathcal{PAL }$ , which is more expressive than each of its component logics. We introduce an axiomatisation of $\mathcal{PACD }$ , which is not surprising: it is the combination of well-known axioms. The completeness proof, however, is not trivial, and requires novel combinations and extensions of techniques for dealing with $S5$ knowledge, distributed knowledge, common knowledge and public announcements at the same time. We furthermore show that $\mathcal{PACD }$ is decidable, more precisely that it is $\textsc {exptime}$ -complete. This result also carries over to $\mathcal{S 5\mathcal CD }$ with common and distributed knowledge operators for all coalitions (and not only the grand coalition). Finally, we propose a notion of a trans-bisimulation to generalise certain results and give deeper insight into the proofs. (shrink)
Xi fang guo ji zheng zhi xue: li shi yu li lun = International politics in the west: history and theories.YizhouWang -2007 - Beijing: Zhongguo she hui ke xue chu ban she.details本收从思想史的角度,记叙西方国际政治学80年以来的演进过程,包括各阶段的主要特征、成就和问题。对理想主义、现实主义、行为主义、全球主义、后现代主义、新自由主义等各大流派进行了介绍和评点。.
No categories
Harmonious Technology: A Confucian Ethics of Technology.Pak-Hang Wong &Tom XiaoweiWang -2021 - New York, NY: Routledge.detailsTechnology has become a major subject of philosophical ethical reflection in recent years, as the novelty and disruptiveness of technology confront us with new possibilities and unprecedented outcomes as well as fundamental changes to our ‘normal’ ways of living that demand deep reflection of technology. However, philosophical and ethical analysis of technology has until recently drawn primarily from the Western philosophical and ethical traditions, and philosophers and scholars of technology discuss the potential contribution of non-Western approaches only sparingly. Given the (...) global nature of technology, however, there is an urgent need for multiculturalism in philosophy and ethics of technology that include non-Western perspectives in our thinking about technology. While there is an increased attention to non-Western philosophy in the field, there are few systematic attempts to articulate different approaches to the ethics of technology based on other philosophical and ethical traditions. The present edited volume picks up the task of diversifying the ethics of technology by exploring the possibility of Confucian ethics of technology. In the six chapters of this volume, the authors examine various ideas, concepts, and theories in Confucianism and apply them to the ethical challenges of technology; in the epilogue the editors review the key ideas articulated throughout the volume to identify possible ways forward for Confucian ethics of technology. -/- Harmonious Technology revives Confucianism for philosophical and ethical analysis of technology and presents Confucian ethics of technology as another approach to the ethic of technology. It will be essential for philosophers and ethicists of technology, who are urged to consider beyond the Western paradigms. More broadly, the volume will be of interest to students and scholars in the fields of philosophy, science and technology studies, innovation studies, political science, and social studies. (shrink)
Shi de lun.Zebin Yu &ZepuWang (eds.) -1993 - Guiyang Shi: Guizhou jiao yu chu ban she.details论述了教师道德的形成和发展,教师道德规范体系,教师道德实践中的调控机制、道德评介、道德修养的途径和方法等。.
当代哲学家的社会责任和历史使命.FucangWang -2008 -Proceedings of the Xxii World Congress of Philosophy 24:83-93.detailsIn last century, the first, mankind was subjected to wars and hunger. The second, the earth was subjected to pollution and consumption. As a result of excessivedevelopment, the environment and the ecosystem was broken, the resources and the energy dried up nearly. This is the common problem that mankind has to face. Until the beginning of this century, this kind of crisis still can not be controlled effectively. Philosophy is the knowledge about world view, Philosopher should be certainly advocate of (...) civilization, self-restraint, protecting environment, maintaining ecosystem long haul and getting away from the crisis. Philosopher should never content with considering with appeal; but there must be more active. The XXII World Congress of Philosophy that we are holding should benefit themankind to obtain more comfortable environment and more rich resources in XXII century. (shrink)
No categories
A new smooth method based on rotated hyperbola for support vector machine in classification.EnWang -2018 -Journal of Physics 2018 (1074).detailsA smooth rotated hyperbola model for support vector machine (SVM) is proposed. The method is based on the approximation property of the hyperbola to its asymptotic lines. The rotated hyperbola model has the least error on approximating the plus function when the angle between the two asymptotic lines is 135 degree. Experimental result shows that compared with other smooth methods, the rotated hyperbola function support vector machine (RHSSVM) reduces the compute time and can efficiently handle large scale and high dimensional (...) programs. (shrink)
Export citation
Bookmark
Analysis the Importance of The Concept of "Objective Non-Reality" In The Development of Philosophy.EnWang -2017 -Multidisciplinary Digital Publishing Institute Proceedings 2017 (1).detailsFrom the origin of ancient Greek philosophy to the philosophy of medieval ages, although it appeared the discussion of "nominalism" and "realism" in medieval times, the exploration of the concept of "objective but non-real" did not get further developed. From the view of the inherent integration of the unity of general rationality on science and philosophy, professor Wu Kun revived the concept of "objective but non-reality" and creatively developed his "philosophy of information" system. Because the existence of "objective but non-reality" (...) is inherently a kind of "crossover" field in the traditional philosophy, it certainty solve the problems of traditional philosophy from the ontology, which will lead to the breakthrough in the fundamental paradigm in philosophy, and the philosophy begin its fundamental turn. (shrink)
Export citation
Bookmark
Chuanshan da zhuan.LixinWang -2019 - Changsha: Yuelu shu she.details王船山,名夫之,字而农,号姜斋,中岁自称“一瓠道人”。生于明朝万历四十七(1619)年,卒在清康熙三十一(1692)年。湖南衡阳人。王船山先生是中国历史上广博的学者和伟大的思想家。本书作者在详细查阅充 足的史料、充分躬身研究多年和多次船山遗迹考察的基础上,详述了船山的传奇一生及其心路历程。书中虽然主要是以船山的实际人生经历为表达目标,但同时也涉及了船山一些很精深的思想。通过对于船山及其思想的理解,我 们也可以进而了解人类的精神之伟大与崇高,了解古今中外的贤哲们,为了延续和发展人类的精神慧命所作的坚忍不拔的努力和贡献的意义。阅读此书,可以激发读者对于湖湘文化和传统文化的兴趣。.
Cheng fa de zhe li.LifengWang -2006 - Beijing: Qing hua da xue chu ban she.details本书着重研究惩罚的社会必要性和心理基础,并分析惩罚的客体、根据、内容和主体,进而构建惩罚的公正、人道和功利原则,并提醒人们注意正义的局限所在以及宽恕的意义。.
Computation, Logic, Philosophy: A Collection of Essays.Wang Hao &HaoWang -1990 - Springer.details~Et moi,.... si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non· The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and (...) non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics...'; 'One service logic has rendered com puter science...'; 'One service category theory has rendered mathematics...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series. (shrink)
Die Dimension der Kulturphilosophie in der Phänomenologie von Edmund Husserl.JunWang -2012 -Prolegomena 11 (1):35-54.detailsDie Dimension der Kulturphilosophie wird in der Phänomenologie Husserls in drei Stufen unterteilt: Die erste Stufe besteht aus der Phänomenologie der “Lebenswelt” sowie der kritischen Reflexion der naturwissenschaftlichen Kultur in Europa, die unser Leben bis in die Gegenwart hinein beherrscht. Die Phänomenologie der Lebenswelt, die Husserl auch “philosophische Kultur” nennt, wird vornehmlich als Therapie gegen die Krise der europäischen Wissenschaften entwickelt, welche die Form einer technisch-wissenschaftlich geprägten Zivilisation verabsolutiert und zur V ergessenheit des lebensweltlichen und sinnlichen Ursprungs geführt haben. Die (...) sich entfaltende Kultur ist zweitens für Husserl jene Gestaltung menschlicher Wirklichkeit, in welcher die Philosophie und deren V orformen in den Religionen aller nationalen Kulturtraditionen als tatsächliche Kulturleistungen wirksam werden. In seinen Kaizo-Aufsätzen hat er phänomenologisch die religiöse von der wissenschaftlichen Kultur unterschieden und ihre jeweilige Herkunftsgeschichte dargestellt. Die letzte Stufe aller Kulturwirklichkeit sieht Husserl in jener Dimension, die er vornehmlich als Korrelat von Heimwelt und Fremdwelt zu bezeichnen sucht. Das interkulturelle Verständnis und die Kommunikationen der Kulturwelten orientiert sich vor allem an diesem intersubjektiven V erständnismodell von Heimwelt und Fremdwelt, das tief in der “Erde” der “Lebenswelt” wurzelt. (shrink)