An evaluation method, similar to the two-valued one for the classical logic, is introduced to give a decision procedure for some of intermediate logics. The logics treated here are obtained from some logics by adding the axiom av a.

The intermediate logics have been classified into slices (cf. Hosoi [1]), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono [2]). In order to study the structure of slices, we give a method of a finer classification of slices & n (n 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved (...) that each subslice contains continuum of logics. A characterization of logics in each subslice is given in terms of the form of models. (shrink)

We give a Gentzen-type formulation GQ for the intermediate logic LQ and prove the cut-elimination theorem on it, where LQ is the propositional logic obtained from the intuitionistic propositional logic LI by adding the axioms of the form AV A.

In this paper, a system called Caretta that integrates personal and shared workspaces to support face-to-face collaboration is described. We use PDAs for individual users' personal workspaces that enable them to reflect on their own idea. A shared workspace has been implemented by using a multiple-input sensing board, which allows a group of users to simultaneously manipulate physical objects. In order to raise the level of awareness among users, we have used augmented reality technologies and created an immersive environment for (...) the users' shared workspace. Users of Caretta can discuss and negotiate with each other in the shared workspace, while they individually examine their ideas in their own personal workspaces. Therefore, Caretta allows users to participate in group activities interchangeably and seamlessly by using both these workspaces. Caretta can be used for several types of group activities. In this paper, it is used for supporting a group of users in urban planning tasks by allowing the users to actually construct a town on the shared space and evaluate the town through computer simulations. User studies to evaluate Caretta were conducted. Usage logs of Caretta, video analyses, and comments from users proved that each user could utilize personal and shared space interchangeably at their own pace and without being hindered by other users. (shrink)

一八世紀後半から一九世紀初頭の徳川期日本においてひとつの潮流を形成した本居宣長の古学古道論が、「世界を再‐結集する」信条や世界観をどのように創出しようとしたのかを、差異と反復をめぐる新たな思考を通して 考察する。.

In this paper, we outline how one might conduct a comprehensive ethical evaluation of human brain organoid transplantation in animals. Thus far, ethical concerns regarding this type of research have been assumed to be similar to those associated with other transplants of human cells in animals, and have therefore not received significant attention. The focus has been only on the welfare, moral status, or mental capacities of the host animal. However, the transplantation of human brain organoids introduces several new ethical (...) issues. Many of these are related to uncertainty regarding whether or not brain organoids might be conscious. While these concerns might not be immediately relevant, they warrant closer scrutiny. We discuss how various ethical issues are relevant to different stages of human brain organoid transplantation and can guide the ethical evaluation of research. Our examination would broaden the horizons of the debate on the transplantation of brain organoids. (shrink)

Drawing on recent work in the contemporary philosophy of economics, this book presents new ideas on liberalism, including the concept of 'growth-oriented liberalism'. Since the end of the Cold War, questions and definitions of liberalism have moved from the sphere of political systems (the socialism versus liberalism debates) to the sphere of ethics (what it means to live in a liberal society). The chapters in this work trace the trajectory of the concept of liberalism in the philosophy of economics by (...) exploring the ideological implications of the methodological debate between socialism and liberalism, the idea of liberty as real freedom, the ethical implications of Max Weber's methodology on autonomy and liberty, and new typological theories of ideologies in the context of contemporary economic ethics. This book marks a significant contribution to the literature on liberalism in the philosophy of economics and economic methodology, and is highly recommended for readers who seek updated ideas on liberal society in its ethical and philosophical contexts. Tsutomu Hashimoto is a Professor at Hokkaido University and the President of the Synodos Institute of International Studies in Japan. (shrink)

新型コロナ対策でも注目された科学者の倫理とは? AI時代に科学とどう向き合うべきか? 最先端の研究をわかりやすく解説する。.

Human brain organoids (HBOs), three-dimensional neural tissues derived from human pluripotent stem cells, are at the forefront of biomedical research, provoking intricate ethical quandaries (Sawai...

This study examined the effects of mood and risk-taking on divergent and convergent thinking using a Q-learning computation model. The results revealed that while mood was not significantly related to divergent or convergent thinking (as creative thinking types), risk-taking exerted positive effects on divergent thinking in the face of negative rewards. The results were consistent with the representational change theory in insight problem solving. Although this theory accounts directly for insight, the underlying idea of going beyond current contexts and implicit (...) constrains could be applied to creative thinking as well. The results indeed accounted for the relevance of this theory to divergent thinking. The current study is one of the first empirical studies simultaneously examining the role of mood and risk-taking in creativity. In particular, no related studies exist that took a computational approach to estimate the relevant parameters in the framework of dynamic optimization. Our Q learning model enables to distinguish and identify the different roles of mood and risk-taking in updatingQvalues and making decisions. (shrink)

Quelle est la nature de la liberté réelle (réelle) dans notre société? Je présenterai ici une nouvelle théorie du libéralisme que j’appelle « libéralisme orienté vers la croissance ». D’abord, j’examine le concept de liberté positive et négative d’Isaiah Berlin et je pose la question fondamentale en matière de liberté, à savoir que la liberté est un idéal paradoxal. J’identifierai deux paradoxes : l’un porte sur la liberté ordinaire et les valeurs sophistiquées, l’autre sur la question de la libération et (...) de l’apathie des individus ou des populations. Comment pouvons-nous surmonter ces paradoxes? Pour répondre à cette question, j’examinerai l’argument de Charles Taylor sur la liberté positive (liberté) et en élargirai les implications. Le paradoxe est d’autant plus lorsqu’il s’agit de communautés, comme la société japonaise. Au-delà du mode de pensée communautaire de Taylor, par exemple, je construis une nouvelle théorie de la liberté en proposant de suivre trois principes : le principe de la vertu (estime de soi), le principe du changement générateur et le principe de la différenciation. Je soutiens que la pierre de touche d’une société libre dépend de la façon dont nous concevons notre gouvernance sociale sur la base de ces principes. JEL Codes : Z10, B25. (shrink)

ウェーバーの主題を発展的に継承し、社会を多元的に豊穣化するための来るべき人間像を彫琢する。.

9.11以後に、もう一つの世界は可能か?善き帝国の世界を構想する倫理的実践の試み。.