This paper presents proof that Buss's S22 can prove the consistency of a fragment of Cook and Urquhart's PV from which induction has been removed but substitution has been retained. This result improves Beckmann's result, which proves the consistency of such a system without substitution in bounded arithmetic S12. Our proof relies on the notion of "computation" of the terms of PV. In our work, we first prove that, in the system under consideration, if an equation is proved and either (...) its left- or right-hand side is computed, then there is a corresponding computation for its right- or left-hand side, respectively. By carefully computing the bound of the size of the computation, the proof of this theorem inside a bounded arithmetic is obtained, from which the consistency of the system is readily proven. This result apparently implies the separation of bounded arithmetic because Buss and Ignjatović stated that it is not possible to prove the consistency of a fragment of PV without induction but with substitution in Buss's S12. However, their proof actually shows that it is not possible to prove the consistency of the system, which is obtained by the addition of propositional logic and other axioms to a system such as ours. On the other hand, the system that we have considered is strictly equational, which is a property on which our proof relies. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect to (...) this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability. (shrink)

The causes of prehistoric inter-group violence have been a subject of long-standing debate in archaeology, an- thropology, and other disciplines. Although population pressure has been considered as a major factor, due to the lack of available prehistoric data, few studies have directly examined its effect so far. In the present study, we used data on skeletal remains from the middle Yayoi period of the Japanese archipelago, where archaeologists argued that an increase of inter-group violence in this period could be explained (...) by a population-pressure hy- pothesis. We quantitatively examine the effect of population pressure on the frequency of inter-group violence by compiling an exhaustive data set. We collected demographic information based on burial jars (kamekan) and the frequency of violence based on the ratio of injured individuals. The results are consistent with the hypothesis, i. e., high population density can promote inter-group violence. (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)

It has been commonly claimed that prehistoric warfare in Japan began in the Yayoi period. Population increases due to the introduction of agriculture from the Korean Peninsula to Japan resulted in the lack of land for cultivation and resources for the population, eventually triggering competition over land. This hypothesis has been supported by the demographic data inferred from historical changes in Kamekan, a burial system used especially in the Kyushu area in the Yayoi period. The present study aims to examine (...) the previous claim by using an expanded dataset of human skeletal remains and Kamekan. First, in order to quantify the intensity of warfare, we developed a database of injured individuals found in the middle phase of the Yayoi period in two large populations in the northern Kyushu area, the Fukuoka plain and the upperand middle-stream of the Homan River. Second, we collected Kamekan data from site reports published after 1990 and constructed a comprehensive database to infer the demography in these areas. Finally, we compared the frequency of injured individuals and the inferred demography. The results suggest that the frequency of injured individuals and the population increase tended to be higher at the upper- and middle-stream of the Homan River than on the Fukuoka plain. Different assumptions of the lifetime of each type of Kamekan can produce mixed results on the relationship between demography and the frequency of injured individuals. They were positively correlated under the traditional assumption of constant time intervals, while there was no correlation using time intervals based on carbon dating by the National Museum of Japanese History. Thus, our results are partially consistent with the previous claim that the population increase and the lack of land and resources due to the introduction of agriculture were causes of warfare in the northern Kyushu area in the middle phase of the Yayoi period. (shrink)

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)

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 notwarfare among prehistoric hunter–gathererswas 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: 13 000 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)

the two-and-a-half years that Dewey lived in Japan and China offered him an East-West comparative standpoint to examine Euro-American presuppositions. In subsequent work, he took steps in the direction of a global philosophical outlook by promoting a fusion of aesthetic refinements with democratic experimentalism. The year 2021 marks the centennial of Dewey’s return to the United States, yet philosophers in this country have only begun to take in an emerging global philosophical scene that includes unfamiliar questions, angles, idioms, and emphases. (...) This includes American pragmatists. In a sense, as Gregory Pappas has observed in the context of Latin American philosophies, pragmatism did not “grow up” in the United... (shrink)

When Dewey scholars and educational theorists appeal to the value of educative growth, what exactly do they mean? Is an individual's growth contingent on receiving a formal education? Is growth too abstract a goal for educators to pursue? Richard Rorty contended that the request for a “criterion of growth” is a mistake made by John Dewey's “conservative critics,” for it unnecessarily restricts the future “down to the size of the present.” Nonetheless, educational practitioners inspired by Dewey's educational writings may ask (...) Dewey scholars and educational theorists, “How do I facilitate growth in my classroom?” Here Shane Ralston asserts, in spite of Rorty's argument, that searching for a more concrete standard of Deweyan growth is perfectly legitimate. In this essay, Ralston reviews four recent books on Dewey's educational philosophy—Naoko Saito's The Gleam of Light: Moral Perfectionism and Education in Dewey and Emerson, Stephen Fishman and Lucille McCarthy's John Dewey and the Philosophy and Practice of Hope, and James Scott Johnston's Inquiry and Education: John Dewey and the Quest for Democracy and Deweyan Inquiry: From Educational Theory to Practice—and through his analysis identifies some possible ways for Dewey-inspired educators to make growth a more practical pedagogical ideal. (shrink)