The Komori–Kashima problem, that asks whether the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.

Ant colony optimization, which is one of the metaheuristics imitating real ant foraging behavior, is an effective method to find a solution for the traveling salesman problem. The rank-based ant system has been proposed as a developed version of the fundamental model AS of ACO. In the ASrank, since only ant agents that have found one of some excellent solutions are let to regulate the pheromone, the pheromone concentrates on a specific route. As a result, although the ASrank can find (...) a relatively good solution in a short time, it has the disadvantage of being prone falling into a local solution because the pheromone concentrates on a specific route. This problem seems to come from the loss of diversity in route selection according to the rapid accumulation of pheromones to the specific routes. Some ACO models, not just the ASrank, also suffer from this problem of loss of diversity in route selection. It can be considered that the diversity of solutions as well as the selection of solutions is an important factor in the solution system by swarm intelligence such as ACO. In this paper, to solve this problem, we introduce the ant system using individual memories aiming to improve the ability to solve TSP while maintaining the diversity of the behavior of each ant. We apply the existing ACO algorithms and ASIM to some TSP benchmarks and compare the ability to solve TSP. (shrink)

芸術家は、なぜ、自らの表現を発表することで社会に何かを知らせようとしたり、自らの表現を歴史化しようとしたりするのか。「行為の芸術」としてのインターメディアを出発点に、「芸術とは何か」「芸術が存在する世 界とは何か」という問いと向き合う。とりわけ同時代芸術で発揮されているさまざまな表現の実践を、エチカ=倫理の観点から論じる。.

Microbial ecology is flourishing, and in the process, is making contributions to how the ecology and biology of large organisms is understood. Ongoing advances in sequencing technology and computational methods have enabled the collection and analysis of vast amounts of molecular data from diverse biological communities. While early studies focused on cataloguing microbial biodiversity in environments ranging from simple marine ecosystems to complex soil ecologies, more recent research is concerned with community functions and their dynamics over time. Models and concepts (...) from traditional ecology have been used to generate new insight into microbial communities, and novel system-level models developed to explain and predict microbial interactions. The process of moving from molecular inventories to functional understanding is complex and challenging, and never more so than when many thousands of dynamic interactions are the phenomena of interest. We outline the process of how epistemic transitions are made from producing catalogues of molecules to achieving functional and predictive insight, and show how those insights not only revolutionize what is known about biological systems but also about how to do biology itself. Examples will be drawn primarily from analyses of different human microbiota, which are the microbial consortia found in and on areas of the human body, and their associated microbiomes (the genes of those communities). Molecular knowledge of these microbiomes is transforming microbiological knowledge, as well as broader aspects of human biology, health and disease. (shrink)

As the number of people affected by dementia increases rapidly, dementia has been transformed into an epidemic which endangers global health and wealth, and many populations are now living in what Jain terms a time of prognosis, in fear of the disease. Through its strong association with ageing and memory loss, dementia is conceived of as a linear decline into loss of self and death, and those with dementia as other. More significantly, imagined as a threat that signifies both a (...) loss of able-bodied workforce and a large population dependent on care and support, dementia inevitably feeds into the ‘crisis-of-care’ narrative that is prominent in many ageing societies. With one of the fastest ageing populations in the world, and an extremely low birth rate, the dementia prognosis is particularly acute in Japan and dementia is strongly linked to the idea of a ‘care crisis’. This situation has produced an increasing number of cultural representations of dementia and care and this paper considers three of these cultural texts, all rooted in the historical and cultural contexts in which they were produced: the novel The Twilight Years; the film Memories of Tomorrow; and the comic book Pecoross’ Mother and Her Days. The analysis concentrates upon their representations of care, seeing this as a space where the ethical relationship between self and other can be negotiated and where time with dementia can be imagined and re-imagined. The analysis of these texts from a feminist ethics perspective demonstrates the potential of popular and creative representations to interrogate and potentially expand the meanings of dementia, ageing and living in prognosis. (shrink)

国学考証派の登場と学問領域を築き深化させた過程を、考証の方法や実践などに着目して追究。近代の実証的学問への継承まで論じる。.

本巻は、仏教論理学を存在論、認識論、論理学、真理論、言語哲学の各視点から解説し、さらに全知者・輪廻、刹那滅の論証など、最新の研究成果を通じて、その基本的構造と現代的意義を示す。.

The proceedings of the Third International Dharmakirti Conference held in Hiroshima in 1997 collect a number of papers devoted to the study of the great seventh-century Buddhist philosopher, Dharmakirti, and his impacts upon the succeeding generations of both Buddhist and non-Buddhist philosophers in India and Tibet. The Second International Dharmakirti Conference was held in Vienna, and its proceedings, Studies in the Buddhist Epistemological Tradition, have been published in this same series. The present volume contains the results of the important researches (...) made by the major Dharmakirtian scholars in the world since the last conference, so that the readers can discover the present state of affairs in the field of Buddhist epistemology and logic. Some papers are concerned with the epistemological topics, such as the notion of perceptibility, and others with the purely logical problems like an empty subject. Some deal with the Buddhist theory of language called apoha in comparison with the views of Nagarjuna, Bhartrhari and others, while others are devoted to the ontological questions, such as how to determine the causal relationship. Several papers discuss Dharmakirti in the light of criticism made by Jaina, Nyaya or Minamsa philosophers. And finally the most remarkable feature of the present volume is the increase of number of contributions devoted to the study of Tibetan tradition of Buddhist epistemology and logic which has been developed under the great influence of Dharmakirti. (shrink)

This study is an attempt to construct a quantitative link for international regimes with global leadership. The country's willingness to lead in solving global issues as the first mover in the formation of an international regime is measured and characterized by analyzing their ratification behavior in multilateral conventions deposited to the United Nations which shape of the global community. For this purpose, a set of quantitative indicators, the Index of Global Leadership Willingness and the Global Support Index, was defined and (...) calculated for each country based on its actual ratification year data for 120 multilateral conventions covering global issues such as peace and security, environment, commerce, communication, intellectual property protection, human rights, and labor. By proposing a framework of global leadership analysis, the study seeks to provide an empirical testing of the transformation of global governance towards cooperation without hegemony paradigm. The paper analyses changes in the leadership willingness indices of selected country groups, such as the G3, G7/8, and G20, over the century and finds that the will to drive the international agenda of these groups of leaders is in decline. Moreover, our study provides evidence to argue that our current world is actually without consistent global leadership across domains of the world affairs. Although several countries still show visible leadership in specific policy domains, such as environment and intellectual property, neither the G7/8 nor the G20 was playing a comparable role to those performed by the G3 a hundred years ago. (shrink)

The issue of distributive justice receives substantial amount of attention in our society. On the one hand, we are sensitive to whether and the extent to which people are responsible for being worse off. On the other hand, we are mindful of society’s worst-off members. There has been a debate over luck egalitarianism, which relates to the former concern, and relational egalitarianism, which echoes the latter. By investigating the psychological processes of these two concerns, this paper examines the reliability of (...) the argument that Elizabeth Anderson, a renowned relational egalitarian, presents against luck egalitarianism and for relational egalitarianism. It also considers whether it is possible to support luck egalitarianism and relational egalitarianism simultaneously, using an online experiment. The results of the experiment show that, first, for ordinary people, the luck consideration is as important as the basic capabilities consideration. Second, while real people consider the degree of compensation through the factors of causality and responsibility, the lack of basic capabilities directs them to determine how much victims of bad luck should be compensated. This suggests that pluralist egalitarianism is on the right track. (shrink)

The generation of complex organ structures such as the eye requires the intricate orchestration of multiple cellular interactions. In this paper, early retinal development is discussed with respect to the structure formation of the optic cup. Although recent studies have elucidated molecular mechanisms of retinal differentiation, little is known about how the unique shape of the optic cup is determined. A recent report has demonstrated that optic‐cup morphogenesis spontaneously occurs in three‐dimensional stem‐cell culture without external forces, indicating a latent intrinsic (...) order to generate the structure. Based on this self‐organizing phenomenon, we introduce the “relaxation‐expansion” model to mechanically interpret the tissue dynamics that enable the spontaneous invagination of the neural retina. This model involves three consecutive local rules (relaxation, apical constriction, and expansion), and its computer simulation recapitulates the optic‐cup morphogenesis in silico. (shrink)

The trolley problem is a classic thought experiment that evokes an ethical dilemma. Thomson’s “bystander” and “footbridge” versions of the trolley problem induce different intuitive judgments about what to choose in the ethical dilemma. However, we can question how robust these intuitive judgments are. We thus conducted an online survey experiment of Thomson’s versions of the trolley problem which showed that more respondents tended to choose not pulling the lever in the bystander version and pushing a person off the bridge (...) in the footbridge version when they believed they were not being watched. These results illustrate that people’s decisions deviate from the social norms in the absence of the public’s attention. To activate the practice of holding the manufacturers to a normative expectation based on the social norms, we suggest the law must be changed. (shrink)

We define the effective integrability of Fine-computable functions and effectivize some fundamental limit theorems in the theory of Lebesgue integrals such as the Bounded Convergence Theorem, the Dominated Convergence Theorem, and the Second Mean Value Theorem. It is also proved that the Walsh-Fourier coefficients of an effectively integrable Fine-computable function form a Euclidian computable sequence of reals which converges effectively to zero. This property of convergence is the effectivization of the Walsh-Riemann-Lebesgue Theorem. The article is closed with the effective version (...) of Dirichlet's test. (shrink)

ObjectiveNoisy galvanic vestibular stimulation (nGVS) is often used to improve postural stability in disorders, such as neurorehabilitation montage. For the safe use of nGVS, we investigated whether arterial pressure (AP) and heart rate vary during static supine and slow whole-body tilt with random nGVS (0.4 mA, 0.1–640 Hz, gaussian distribution) in a healthy elderly population.MethodsThis study was conducted with a double-blind, sham-controlled, cross-over design. Seventeen healthy older adults were recruited. They were asked to maintain a static supine position on a (...) bed for 10 min, and the bed was tilted up (TU) to 70 degrees within 30 s. After maintaining this position for 3 min, the bed was passively tilted down (TD) within 30 s. Real-nGVS or sham-nGVS was applied from 4 to 15 min. The time course of mean arterial pressure (MAP) and RR interval variability (RRIV) were analyzed to estimate the autonomic nervous activity.ResultnGVS and/or time, including pre-/post-event (nGVS-start, TU, and TD), had no impact on MAP and RRIV-related parameters. Further, there was no evidence supporting the argument that nGVS induces pain, vertigo/dizziness, and uncomfortable feeling.ConclusionnGVS may not affect the AP and RRIV during static position and whole-body tilting or cause pain, vertigo/dizziness, and discomfort in the elderly. (shrink)

In political philosophy, reflective equilibrium is a standard method used to systematically reconcile intuitive judgments with theoretical principles. In this paper, we propose that survey experiments and a model selection method—i.e., the Akaike Information Criterion (AIC)-based model selection method—can be viewed together as a methodological means of satisfying the epistemic desiderata implicit in reflective equilibrium. To show this, we conduct a survey experiment on two theories of distributive justice, prioritarianism and sufficientarianism. Our experimental test case and AIC-based model selection method (...) demonstrate that the refined sufficientarian principle, a widely accepted principle of distributive justice, is no more plausible than the prioritarian principle. This tells us that some changes of certain intuitions revolving around sufficientarianism should be examined (separately) based on the findings of the survey experiment and AIC model selection. This shows the potential of our approach—both practically and methodologically—as a novel way of applying reflective equilibrium in political philosophy. (shrink)

Dharmakirti's Thought and Its Impact on Indian and Tibetan Philosophy. Ed. Shoryu Katsura. Österreichische Akademie der Wissenschaften. Beiträge zur Kultur- und Geistesgeschichte Asiens 32. Vienna 1999. xix, 474 pp. ATS 990; DM 136.

As the title of the present article shows, it highlights the three philosophically integrated areas – (1) pramāṇa-epistemology (theory of comprehensive knowledge involving both perception and inference), (2) logic (although a part of pramāṇa-epistemology, it has two modes, namely, inductive reasoning and deductive reasoning), and (3) language (or semantics, i.e. the double negation theory of meaning, which falls under inference). These are interconnected as well as overlapping within the Buddhist mainstream tradition of the process philosophy as opposed to the substantialist (...) philosophy. The same is the case with the three celebrated Buddhist thinkers – Vasubandhu, Dignāga (also spelt as Diññāṇa), and Dharmakīrti – who develop their radical and critical views focusing on these areas in historical-cum-philosophical order. It is worth noting that within the same mainstream Buddhist tradition, each one of the three thinkers picks up the problematic issues from their predecessors – from the Buddha to their immediate predecessors respectively – for their solutions against the backdrop of the two conflicting mainstream traditions – Buddhist and non-Buddhist. The central focus of these thinkers is first to identify the crucial issues, doctrinal principles, terminology, and methodology in their own ways and conceptual frameworks, which generate not only the mutual conflicts in the course of dialogues but also strengthen their positions by means of their new radical ideas, innovations, terminologies, methodologies, and doctrinal principles. As a result, the three selected areas and their crucial issues are explained, elaborated, and interpretated for better understanding. All of which are rooted in the Buddha’s path of wisdom, ethics, and liberation from the human predicament (duḥkha-nivṛtti). In this grand project of the deepest concerns, the Buddha utilized multiple strategies like understanding and controlling the problematic nature of the mind (Pāli citta, manasa) and its concomitance (Pāli cetasika, dhammā) by means of the concentrative meditation (Pāli jhāna, Sanskrit (hereafter Skt., dhyāna), cultivation of knowledge (Pāli vijjā, Skt. vidyā) and conduct/moral purity (Pāli caraṇa, Skt. ācaraṇa), destruction of afflictions/defilements (Pāli kilesa, Skt. kleśa), critical and logical thinking with valid arguments, and so on. His disciples also treat him as the possessor of valid method, arguments, meaning, practice, and purpose (Skt. pramāṇabhūta, the term used by Dignāga). He believed in the common humanity as the community of sufferers and the autonomy of every human being (Pāli attakāra), but strongly rejected the hierarchy of humanity on the basis of caste, birth, and dogmatic religious identity. For these reasons, following the Buddha and his celebrated followers like Vasubandhu, Dignāga, and Dharmakīrti, my task in this article is how to clearly and elaborately discuss the above identified issues and theories, first to understand them for myself and then logically prove the whole process of knowledge and the designed purpose through communication to those who have the intention to hear and understand the framework of common language for their benefits. I wish the readers like students and young teachers benefit from my research work. Further, since my learning of the Tibetan language is zero, but comfortable in Sanskrit and Pāli, I have been heavily dependent on three great modern thinkers who have widely written independently and also translated the Buddhist Tibetan texts, which were translated from the original Sanskrit texts now lost, into English in the areas of Buddhist epistemology, logic, and semantics. These modern scholars are Masaaki Hattori, Shoryo Katsura, and Richard Hayes. Besides them, I have also little benefitted from some other scholars who have worked in the same areas. (shrink)