For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=x(p(x)q)xp(x)q) is shown in some cases including:1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

In Matter and Memory, Bergson identifies a problem with perception and resolves it by arguing that matter is an aggregate of images. However, it is unclear whether and how Bergson justifies this thesis, and interpreters differ considerably on this question. This paper formulates and analyzes Bergson’s arguments for this thesis in Chapter 1 of Matter and Memory. Bergson presents five arguments, some of which echo arguments in early modern philosophy. They jointly compose a substantive, well-structured defense of his thesis. This (...) paper also illuminates an aspect of Bergson’s method that departs from his famous reliance on intuition and is grounded in his conception of the clarity required in philosophy. (shrink)

We consider several variants of Keisler’s isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation hypotheses that are stronger than Keisler’s theorem with respect to models of size $\aleph _1$ and $\aleph _0$ by $\mathrm {CH}$ and $\operatorname {cov}(\mathsf {meager}) = \mathfrak {c} \land 2^{<\mathfrak {c}} = \mathfrak {c}$ respectively. We prove that Keisler’s theorem for models of size $\aleph _1$ and $\aleph _0$ implies $\mathfrak {b} = \aleph _1$ and $\operatorname (...) {cov}(\mathsf {null}) \le \mathfrak {d}$ respectively. As a consequence, Keisler’s theorem for models of size $\aleph _0$ fails in the random model. We also show that for Keisler’s theorem for models of size $\aleph _1$ to hold it is not necessary that $\operatorname {cov}(\mathsf {meager})$ equals $\mathfrak {c}$. (shrink)

Hume’s economic essays were part of his early project of politics as one of the principal departments of the Science of Man, a project realized, first, by the morals expounded in Book 3 of the Treatise; second, by the politics and criticism in Essays Moral and Political; and third, by economic and political essays in the Political Discourses. The author sheds new light on the way in which Hume’s economic theory was developed as an integral part of his grand philosophical (...) project, one based on the theory of causal reasoning that served Hume’s theorizing throughout his social science in general and his economics in particular. A profound connection is shown between Hume’s philosophy and economics, mainly from a methodological point of view, by highlighting his theory of causation. The strictly philosophical nature and origin of Hume’s “economics” demonstrates the significant difference between his economic writings and those of his contemporaries. (shrink)

本書は、日中両国の世界への対応の差異が典型的に表れた幕末・清末の歴史を「託古改制」という新たなキーワードを用い、明治維新のシナリオを書いた知られざる思想家・横井小楠、明治維新に範をとった戊戌変法を開始 せしめた清の思想家・康有為を始め、佐久間象山と馮桂芬、吉田松陰と章炳麟という三組六人の大思想家の比較を行い、「儒教文化圏・漢字文化圏」などと概括されがちな両国の差異を浮き上がらせ、東アジアの将来の展望 に資することを目指すものである。.

Researchers and non-commercial institutions negotiate complex legislation and guidance when planning and conducting research studies. The documents and processes required differ across nations and their regulatory bodies and it can be challenging to conduct an international study, especially for non-commercial organisations. In this study, colleagues from Japan and the UK worked closely together focusing on the legislation, organisations, trial processes, ethics review and quality assurance frameworks of clinical trials in two countries, the UK, demonstrated on the model of practices in (...) the University of Bristol and University Hospital Bristol NHS Foundation Trust, and Japan, based on the model in Kyoto University Hospital. Although the ICH tripartite guidelines were developed with participation from both the EU and Japan the set-up and approval processes for clinical trials are different between the two countries while the expectations for quality assurance are similar. We will argue that the f... (shrink)

According to the widespread use of Web Services, composition of multiple services is becoming a main issue. BPEL was proposed as a Web Services workflow language in this context. Then, in many cases we need much interactions between a service requester and a BPEL process execution engine. However for the end user under the ubiquitous environment where the service is executed with a cellular phone or PDA, the interaction means simply a burden. The reason is: (1)it is hard to carry (...) out the operation manually, (2)a network connection is unstable, (3)a connection charge is relatively high. In this paper, we propose middle agents between ubiquitous users and Web Services. The agents analyze BPEL, extract the interaction which the ubiquitous users would need, then produce action operators. It makes a plan in order to achieve a service request from the user. Here the planning agent can reduce operations of the user by collecting the necessary information at the beginning which will be inputted during the IP execution. We show the architecture of the agents and an example regarding ATM service, then evaluate the number of inputs, the performance, and the quantity of data transmitted on network. Finally, we consider adaptability of this approach to generic BPEL flow. (shrink)

Negative attitudes toward robots are considered as one of the psychological factors preventing humans from interacting with robots in the daily life. To verify their influence on humans‘ behaviors toward robots, we designed and executed experiments where subjects interacted with Robovie, which is being developed as a platform for research on the possibility of communication robots. This paper reports and discusses the results of these experiments on correlation between subjects’ negative attitudes and their behaviors toward robots. Moreover, it discusses influences (...) of gender and experience of real robots on their negative attitudes and behaviors toward robots. (shrink)

For the first time, in Hume and Smith, ‘sympathy’ occupies a central position as the principle of moral judgment. The key to solving the relationship between sympathy and economic thought lies in the theory of justice. Hume and Smith inherited Hutcheson’s criticism of the Hobbesian selfish system and considered humans selfish and social. For both, the relationship between selfishness and sympathy is neither a contradiction nor a subordinate structure in which selfishness ultimately dominates sympathy. In this joint project, Hume’s institutional (...) utilitarianism could justify Smith’s economic theories and provide Smith’s theory of government with a proper philosophical foundation. I argue that this is particularly significant because Smith himself failed to provide the foundation in areas where the idea of public utility plays a vital role, such as in the critical case of national defence and the decline of martial spirit. (shrink)

This paper reports the results of questionnaire-based research conducted at an exhibition of interactive humanoid robots that was held at the Osaka Science Museum, Japan. The aim of this exhibition was to investigate the feasibility of communication robots connected to a ubiquitous sensor network, under the assumption that these robots will be practically used in daily life in the not-so-distant future. More than 90,000 people visited the exhibition. A questionnaire was given to the visitors to explore their opinions of the (...) robots. Statistical analysis was done on the data of 2,301 respondents. It was found that the visitors’ opinions varied according to age; younger visitors did not necessarily like the robots more than elderly visitors; positive evaluation of the robots did not necessarily conflict with negative evaluations such as anxiety; there was no gender difference; and there was almost no correlation between opinions and the length of time spent near the robots. (shrink)

To investigate whether people with social anxiety have less actual and “anticipatory” anxiety when interacting with a robot compared to interacting with a person, we conducted a 2 × 2 psychological experiment with two factors: social anxiety and interaction partner. The experiment was conducted in a counseling setting where a participant played the role of a client and the robot or the confederate played the role of a counselor. First, we measured the participants’ social anxiety using the Social Avoidance and (...) Distress Scale, after which, we measured their anxiety at two specific moments: “anticipatory anxiety” was measured after they knew that they would be interacting with a robot or a human confederate, and actual anxiety was measured after they actually interacted with the robot or confederate. Measurements were performed using the Profile of Mood States and the State–Trait Anxiety Inventory. The results indicated that participants with higher social anxiety tended to feel less “anticipatory anxiety” and tension when they knew that they would be interacting with robots compared with humans. Moreover, we found that interaction with a robot elicited less tension compared with interaction with a person regardless of the level of social anxiety. (shrink)

A great deal of research has been performed recently on robots that feature functions for communicating with humans in daily life, i.e., communication robots. We consider it important to develop methods to measure humans’ attitudes and emotions that may prevent them from interaction with communication robots, as indices to study short-term and long-term interaction between humans and communication robots. This study is aimed at exploring the influence of negative attitudes toward robots, focusing on applications of communication robots to daily-life services. (...) First, a scale of negative attitudes toward robots consisting of three subordinate scales, “negative attitudes toward situations of interaction with robots,” “negative attitudes toward the social influence of robots,” and “negative attitudes toward emotions in interaction with robots,” was developed based on a data sample comprising of 263 Japanese university students. This scale was administered to 240 Japanese university students to confirm its validity and reliability. In this paper, we report on the results of analyses of these data samples. Moreover, we discuss some future problems including a comparison of attitudes toward robots between nations. (shrink)

This paper examines Hume’s theory of republicanism from the perspective of the history of ancient and modern thought. Hume criticized ancient republicanism for its implicit assumption of institutional slavery, and sought the possibility of a republican constitution based on the freedom and equality of citizens. Despite the title “Idea of a Perfect Commonwealth,” its content was a concrete theory and discussed the British society as it existed in the 18th century. His conclusion was the realistic proposal of a highly democratic (...) federal republic, which not only became the origin of the U.S. Constitution through James Madison, but also serves as a valuable source of enlightenment and inspiration for our time, when the challenges and problems of party politics and mass democracy have become extremely serious. (shrink)

This essay argues that while the so-called "Hume's Early Memoranda" has long been regarded as Hume's juvenile work composed before A Treatise of Human Nature, there is significant internal and external evidence to the contrary. M. A. Stewart's recent thesis made a new attempt to move the period of composition to the early 1740s. I seek in the following essay to date the composition even later, in the latter half of the 1740s. Re-examined in this new light, the memoranda credibly (...) emerges as a work of preparation for Hume's political economy to be published as Political Discourses in 1752. Historical and biographical details thus reconstructed around the process of Hume's composition of the memoranda reveal the hitherto-unrecognized complexity with which Hume's economic thought was gradually formed in close and profound connections with his moral, political and historical thinking. (shrink)

This chapter contains section titled: Hume as Economist Hume's Philosophical Economics Luxury, Knowledge, and Economic Development Money and International Trade Quantity Theory Reconsidered Manners and Diversity of Economic Development Conclusion: Economics and Civilization References Further Reading.

Krueger & Funder (K&F) spend too much time on their critique of some classic studies in social psychology. They should have spent more time developing their constructive ideas about better methodologies and, especially, better conceptual foundations for the field. We endorse their exhortation to consider social behavior in its ecologically adaptive context, and we present a few ideas of our own about how to develop a more comprehensive conceptual framework.

This collection of essays provides a comprehensive view of the economic thought of the Scottish Enlightenment. Organized as a chronological account of the rise and progress of political economy in eighteenth century Scotland, each chapter discusses the way in which the moral and economic improvement of the Scottish nation became a common concern. Contributors not only explore the economic discourses of David Hume, James Steuart and Adam Smith but also consider the neglected economic writings of Andrew Fletcher, Robert Wallace, Francis (...) Hutcheson, William Robertson, John Millar and Dugald Stewart. This book addresses the question of how these economic writings interacted with the moral, political and historical arguments of the time and shows how contemporary issues related to the union with England, natural jurisprudence, classical republicanism and manners and civilization all contained an economic dimension. Key chapters include: The ancient modern controversy in the Scottish Enlightenment The 'Scottish Triangle' in the shaping of political economy: David Hume, Sir James Steuart and Adam Smith Civilization and history in Lord Kames and William Robertson Adam Smith in Japan This view of the origin of economic science in Britain is markedly different from traditional accounts and will be of interest to economic, political and social historians. (shrink)

We found that children sometimes abused a social robot placed in a shopping mall hallway. They verbally abused the robot, repeatedly obstructed its path, and sometimes even kicked and punched the robot. To investigate the reasons for the abuse, we conducted a field study in which we interviewed visiting children who exhibited serious abusive behaviors, including physical contact. We analyzed interview contents to determine whether the children perceived the robot as human-like, why they abused it, and whether they thought that (...) the robot would suffer from their abusive behavior. We obtained valid interviews from 23 children over 13 days of observations. We found that 1) the majority of the children engaged in abuse because they were curious about the robot’s reactions or enjoyed abusing it and considered it human-like, and 2) about half of them believed the robot was capable of perceiving their abusive behaviors. (shrink)

Shuzo Kuki is a Japanese philosopher, belonging to the Kyoto school, who lived about a hundred years ago. He learned philosophy in Europe and developed an original theory of contingency, by accommodating the Asiatic way of thinking on the one hand, and Western philosophy on the other. In this article, I show that we can find similarities between his theory of contingency and the philosophy of Deleuze, especially in regard to the subject of temporality and eternal return. Needless to say, (...) the theory of the third time is a crucial theme in Difference and Repetition, and is closely related to the time of eternity, and the original or primitive contingency. Taking into consideration these aspects of time is indispensable in examining in depth the concepts of difference and virtuality. Kuki's theory of contingency, which incorporates early twentieth-century European philosophy, elucidates these concepts in an unexpected way. Therefore, my aim in this article is not to attempt a comparison between Eastern and Western thought by quoting Deleuze, but to illustrate a hidden lineage of thought, which runs from the nineteenth century into the philosophy of virtuality of the twentieth century. This same lineage appears in Japan in Kuki's theory, and Deleuze's thought is, at least in one aspect, a modern manifestation of the same roots. (shrink)

The concept of the ‘island’ constitutes a unique theme in Deleuze's thought: desert islands and perversion, continental islands and isolated islands, the connection between the emergence of life and orogeny, the relationship between imagination and islands, and the sea as a rhizome. To think from this point of view on Japan, it is neither an isolated island nor an oceanic island in Deleuze's sense. Rather, it is a place where a unique stratum of thought has accumulated like a multilayered plateau. (...) Japan has often been portrayed as a malignant kind of rhizome, as an oriental land, a land of animism. However, the Japanese islands, as part of the Pacific Rim island arc, and, on the other hand, as a place which bears the forces from the continent, can also be depicted as a manifold location, bearing the rhizome called the sea in a unique way. Not only does it have only a virtual signifier = signifiant of One-ness, but it can also be said to hold multiple strata of signifiers = signifiants within its arc between the continent and ocean. My aim in this paper is to explicate this place called ‘Japan’ as a case study of what Deleuze calls geophilosophy in his last book with Guattari, What is Philosophy? (shrink)

これまでの哲学が再三にわたって論じてきた「私」という問題。しかしそこには、大きな見落としがあったのではないか?産まれる、子をはらむ、産む、死んでいく、だけど誰かが残る。こうしたことを、それ自身として真 正面からとらえる。そのための哲学が、ここからはじまる。.

構造主義からアクターネットワークセオリーまで、哲学と人類学という二つの知的実践は交錯してきた。その現代的な意義を考える。 ドゥルーズ=ガタリ、メルロ=ポンティ、サルトル、モース、デュルケム、ヴィヴェイロス・デ・カストロ、デスコラ、ストラザーン――いずれも「自然」をめぐり、レヴィ=ストロースの神話論理の再解釈や「構造」の捉 えなおしとして進行してきた哲学と人類学について、思考様式の違いや歴史的な影響関係、主題の反復を浮き彫りにする。.

偶然性や身体論などこれまで論じてきた問題にもさらに深いまなざしを向けつづける著者による集大成。.

「順序よく漏れなく」、「人が関わるあらゆる事柄の基本的な筋道について、言葉による地図を作成すること」。松永澄夫の哲学。.