Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting‐valued structures. In this paper, we first provide a systematic treatment of sheaves of structures and Heyting‐valued structures from the viewpoint of categorical logic. We then prove a form of Łoś's theorem for Heyting‐valued structures. We also give a characterization of Heyting‐valued structures for which Łoś's theorem holds with respect to any maximal filter.

Management information system (MIS) professionals have a central role in technology development, determining how technology is used in organizations, and the effects it has on clients and society. MIS stakeholders have expressed concern regarding MIS professional's role in computer crime, and security of electronically stored information. It is recognized that MIS professionals must make decisions based on their professional ethics. The Association for Computing Machinery (ACM) and the Data Processing Management Association (DPMA) have developed codes of ethics to help guide (...) practitioners with ethical professional decision making. In this study, a model was developed from the combined ACM and DPMA codes of ethics and used in the construction of a survey instrument. The survey was conducted using public sector MIS professionals, and findings relative to the influences that codes of ethics, ethical enforcement systems, and membership in professional organizations has on ethical perception were studied. In addition, the influence that ethical obligation to particular constituencies had on respondents' ethical attitudes was also investigated. The study indicated that ethical obligation of public sector MIS professionals is stronger for management and employers than for peers, society, or clients. (shrink)

The present study collected a larger set of three-dimensional data on human crania from the Kofun period (as well as from previous periods, i.e., the Jomon and Yayoi periods) in the Japanese archipelago (AD 250 to around 700) than previous studies. Three-dimensional geometric morphometrics were employed to investigate human migration patterns in finer-grained phases. These results are consistent with those of previous studies, although some new patterns were discovered. These patterns were interpreted in terms of demic diffusion, archaeological findings, and (...) historical evidence. In particular, the present results suggest the presence of a gradual geological cline throughout the Kofun period, although the middle period did not display such a cline. This discrepancy might reflect social changes in the middle Kofun period, such as the construction of keyhole-shaped mounds in the peripheral regions. The present study implies that a broader investigation with a larger sample of human crania is essential to elucidating macro-level cultural evolutionary processes. (shrink)

荷田春満が活躍した「荷田派の時代」に光を当て、近世の祭祀、神社・神職の実践的な活動と国学の思想を関連づけ、神道学による国学研究の枠組みを広げる意欲作。.

According to the theory of natural pedagogy, humans have a set of cognitive adaptations specialized for transmitting and receiving knowledge through teaching; young children can acquire generalizable knowledge from ostensive signals even in a single interaction, and adults also actively teach young children. In this article, we critically examine the theory and argue that ostensive signals do not always allow children to learn generalizable knowledge more efficiently, and that the empirical evidence provided in favor of the theory of natural pedagogy (...) does not defend the theory as presented, nor does it support a weakened version of the theory. We argue that these problems arise because the theory of natural pedagogy is grounded in a misguided assumption, namely that learning about the world and learning about people are two distinct and independent processes. If, on the other hand, we see the processes as interrelated, then we have a better explanation for the empirical evidence. (shrink)

Maʼamarim she-hevi ha-Ḥo. ha-l. be-shem aḥerim -- Maʼamarim she-katav ha-Ḥo. ha-l. be-ʻatsmo.

The problem of the other was one of the central problems for the founder of phenomenology, Edmund Husserl. He investigated the other as the alter ego intensively in the Fifth Cartesian Meditation, in which he introduced the conceptions of “analogical apperception'' and “pairing'' as fundamental forms of “passive synthesis.'' Although it is no doubt Husserl who investigated the other most seriously and intensively, there is anaporiain his theory of the other. If the other is an object of ego's intentional consciousness, (...) the other turns out to be no more than a modification of the ego. In the face of such anaporia, some phenomenologists embarked upon inquiry into the other. This paper focuses primarily on Alfred Schutz's discussion of the “other'' in general and about the “stranger'' in particular. (shrink)

January 6th, 2013 at Kyoto University. Organizer: Hisashi Nakao.

In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was initially valid when it was made, might later become invalid. Furthermore, in the process of replanning, it is necessary to take into account the side effects of actions already executed. Nowadays, HTN planning is becoming popular among agent researchers because its task decomposition algorithm is efficient and suitable (...) for joint planning in multi-agent systems. However, the dynamic replanning algorithm of HTN planning has not yet been established. In order to solve this problem, we have previously presented an agent life cycle that integrates HTN planning, action execution, knowledge updates, and plan modification. In that agent life cycle, the plans are always kept valid according to the most recent knowledge and situation. However, when one plan does not work and the agent starts using an alternative plan, it sometimes undoes some actions that do not have to be undone. The source of this problem lies in the need to have total-order plans. In other words, all the actions have to be sequentially ordered even when the order is not important in some parts of the plan. This paper extends our previous agent life cycle and presents new ways to avoid unnecessary action cancellation. This enables the agent to handle partial-order plans and to make use of two kinds of undoing actions: sequential undoing actions and concurrent undoing actions. (shrink)

A fully vocalized abridgement of Hovot ha-levavot.

The evolution of altruism in human societies has been intensively investigated in social and natural sciences. A widely acknowledged recent idea is the “parochial altruism model,” which suggests that inter- group hostility and intragroup altruism can coevolve through lethal intergroup conflicts. The current article critically examines this idea by reviewing research relevant to intergroup conflicts in human evolutionary history from evolutionary biology, psychology, cultural anthropology, and archaeology. After a brief intro- duction, section 2 illustrates the mathematical model of parochial altruism (...) and some critiques of the model and its interpretation, primarily from an evolutionary biology point of view. Section 3 delves into the archaeological evidence of prehistoric intergroup conflicts in the Japanese archipelago’s Jomon and Yayoi periods, Europe’s Mesolithic period, and North America’s Pacific period as counter examples of the paro- chial altruism model. In section 4, the ethnographies of intergroup relationships and conflicts reveal that intergroup relationships in many ethnic groups are not as simple as the assumption in the mathematical model of parochial altruism. In section 5, we outline psychological research on intergroup conflicts which suggest that intergroup hostility and ingroup altruism are not necessarily correlated. In conclusion, we argue that the assumption and parameter settings of the parochial altruism model are inconsistent with empirical data. (shrink)

[1] Shaʻar ʻavodat ha-Eloḳim -- [2] Shaʻar ha-beḥinah. Shaʻar Yiḥud ha-maʻaśeh -- [3] Shaʻar ha-biṭaḥon 1-2.

The paper is a critical comment on Okumura & Kanakogi (2019).

Many researchers have assumed that punishment evolved as a behavior-modification strategy, i.e. that it evolved because of the benefits resulting from the punishees modifying their behavior. In this article, however, we describe two alternative mechanisms for the evolution of punishment: punishment as a loss-cutting strategy (punishers avoid further exploitation by punishees) and punishment as a cost-imposing strategy (punishers impair the violator’s capacity to harm the punisher or its genetic relatives). Through reviewing many examples of punishment in a wide range of (...) taxa, we show that punishment is common among plant and animal species and that the two mechanisms we describe have often been important for the evolution of punishment. (shrink)

The possibility of a Derridian theory of the university lies not in the discussion of the “as if” in “The University without Condition” but, rather, in a theoretical crack that Derrida's book promised to elucidate—between the “as if” and the “perhaps,” the performative and the event, transcendence and immanence. Moreover, we see a kind of rupture between this book and numerous texts from the 1970s and 80s, which are collected and published under the title of Right to Philosophy. Here lies (...) a real philosophical stake. We see between the early Derrida and the later Derrida not only an ethico-political turn but also, so to speak, a radical transition from the problematic of institution or case law (jurisprudence) to the axiomatic of law (loi) by aggravation of the transcendental. (shrink)

Estimation of Distribution Algorithms, which employ probabilistic models to generate the next population, are new promising methods in the field of genetic and evolutionary algorithms. In the case of conventional Genetic and Evolutionary Algorithms are applied to Constraint Satisfaction Problems, it is well-known that the incorporation of the domain knowledge in the Constraint Satisfaction Problems is quite effective. In this paper, we constitute a memetic algorithm as a combination of the Estimation of Distribution Algorithm and a repair method. Experimental results (...) on general Constraint Satisfaction Problems tell us the effectiveness of the proposed method. (shrink)

George Psathas was one of the most important “central figures” or “intellectual promoters” in a “phenomenological sociology” movement not only in the United States bur also in the world. This essay, using the term “phenomenological sociology” in a broader sense, i.e., as a sociological perspective, aims to demonstrate this by tracing his research and publication activities, educational activities, and activities for making up intellectual networks and scientific organizations in reference to various materials including a detailed curriculum vitae compiled by him (...) in 2008 and an interview with him in 2009. (shrink)

The origins and consequences of warfare or largescale intergroup violence have been subject of long debate. Based on exhaustive surveys of skeletal remains for prehistoric hunter-gatherers and agriculturists in Japan, the present study examines levels of inferred violence and their implications for two different evolutionary models, i.e., parochial altruism model and subsistence model. The former assumes that frequent warfare played an important role in the evolution of altruism and the latter sees warfare as promoted by social changes induced by agriculture. (...) Our results are inconsistent with the parochial altruism model but consistent with the subsistence model, although the mortality values attributable to violence between hunter-gatherers and agriculturists were comparable. (shrink)

Lester Embree’s contributions to phenomenology were, in my opinion, based on his three kinds of activities, which are indissolubly connected with each other: first, teaching activities, second, publication and presentation activities, and third, organization activities. Since I was not his student and had no experience attending his classes, I cannot say anything about his teaching activities with conviction. So I would like to focus in this essay mainly on his organizing activities in the East-Asian countries, and his presentations in phenomenological (...) conferences or colloquiums. (shrink)

November 4th-5th, 2012 at Kyoto University. Organizers: Hisashi Nakao & Pierre-Alain Braillard.

Whether man is predisposed to lethal violence, ranging from homicide to warfare, and how that may have impacted human evolution, are among the most controversial topics of debate on human evolution. Although recent studies on the evolution of warfare have been based on various archaeological and ethnographic data, they have reported mixed results: it is unclear whether or not warfare among prehistoric hunter – gatherers was common enough to be a component of human nature and a selective pressure for the (...) evolution of human behaviour. This paper reports the mortality attributable to violence, and the spatio-temporal pattern of violence thus shown among ancient hunter–gatherers using skeletal evidence in prehistoric Japan (the Jomon period: 13000 cal BC–800 cal BC). Our results suggest that the mortality due to violence was low and spatio-temporally highly restricted in the Jomon period, which implies that violence including warfare in prehistoric Japan was not common. (shrink)