Human interaction has two principle functions: building and maintaining relationships with others and exchanging information. The function of building and maintaining relationships with others relates to interpersonal coordination; this behavior pattern is expected to predict the outcome of social relationships, such as between therapists and patients. It is unclear, however, whether the exchange of information is associated with interpersonal coordination. In the present study, we tested a hypothesis of whether body movement synchrony occurs in a natural conversation and whether this (...) synchrony has a positive correlation with the degree of information exchange. Fifty participants were engaged in a conversation task; each had different roles in the conversation. We measured their body movements during this conversation using an optical motion capture system. Similar to methods that can be found in previous research, we calculated body movements and quantified their synchrony applying the methods previously reported that automatically quantified their body movements. Moreover, we determined the participants’ degree of information exchange concerning the conversation using a questionnaire. We observed that the body movement synchrony of pairs who talked with each other was significantly higher than that of pairs who did not talk with each other, and that this synchrony was positively associated with the degree of information exchange. These results suggest that body movement synchrony predicted information exchange. (shrink)

This paper revisits one of the most celebrated verses on dao and ming in the Opening Chapter of the received Laozi Daodejing. I shall clarify two types of English interpretations which are possibly applicable to the verse and demonstrate that they are equally sustainable. It follows that a commitment to either one of these interpretations may thereby spoil the meta-perspective effect which the verse skillfully creates.

In lieu of an abstract, here is a brief excerpt of the content:The Nature (Ziran 自然) of Technological and Economic Development in Early DaoismYumi Suzuki (bio)I. IntroductionEric Nelson's Daoism and Environmental Philosophy: Nourishing Life provides comprehensive guidance on how early and later Daoist thought could offer both ideological and practical solutions to contemporary environmental issues. Nelson does not simple-mindedly claim that Daoists are environmentalists or that Daoism is comparable with modern environmental thought. His monograph has a more sophisticated, and also (...) more ambitious and consequently philosophically provocative, goal: to evolutionally develop old Daoist thought to directly address contemporary philosophical discourses on the environment.1I have summarized elsewhere what I find to be the most significant and meaningful contributions this book has made.2 I think its goal has successfully been achieved in various ways: Nelson gives careful and accurate interpretations to each passage from the original texts.3 What he calls "the new Daoism" deployed on the basis of these interpretations is reasonable and uncontroversial. The monograph overall offers an exemplary model of how wisdom acquired through studying the history of philosophy can be adapted to cogitating on newly emerging philosophical questions, despite differences in the intellectual contexts that we are required to warily distinguish. Moreover, by focusing on the Daoist tradition in East Asia, it well demonstrates how other systems of philosophical thought can be usefully employed to critically reflect on fundamental assumptions that an existing system is already committed to and that could be the very cause of relevant philosophical and pragmatic problems.While I mostly agree with his arguments in chapters 1–4 and 6, the only part I found unsatisfactory is chapter 5, "Early Daoist Biopolitics and a New [End Page 771] Daoist Political Ecology" (pp. 100–118). The present review aims to elaborate reasons for my resistance to Nelson's all-out endorsement of what he regards as the sociopolitical implications of Daoism. When it comes to politics, it appears to me, early Daoist texts such as the Daodejing and the Zhuangzi express often disappointingly ambiguous and agnostic attitudes toward what can be done with respect to their doctrinal opponents and outsiders. My suggestion is that if we examine the explorations of their contenders, that is, mainly Confucians and Legalists, concerning political and technological devices, they may present an altogether less biased and more balanced range of solutions to a question Nelson raises regarding an environmental challenge associated with a competitive globalized economy and rapidly developing technologies in our modern age.II. A Challenge to the Current Environmental MovementChapter 5 begins with the following statement:Appeals to encountering the myriad things in their environmental contexts and relations are necessary for an ecological transformation of existing cultures and societies. Yet an environmental ethos and culture of nature is not sufficient given how systematically reproduced social-economic processes in advanced capitalist societies meditate, entangle, and obstruct the transformative potential of such encounters. To this extent, an adequate environmental philosophy must concurrently be social-political philosophy that can offer an environmentally oriented critique of existing social structures and institutions that directly and indirectly harm creatures and degrade ecosystems in myriad ways such that transformations must transpire in economic and societal structures as well as at the level of individual cultivation and reflections.(p. 100)Nelson maintains that even though it is cardinal to transform the ways in which the myriad things encounter and mutually correspond with each other, as well as alter their own existential state, by cultivating an environmental ethos and culture of nature in each individual and society, one of the most serious challenges for such transformations could originate with already existing capitalist, materialist, and consumerist social structures and institutions widely prevailing and deeply embedded in the highly complex economic and political systems of our age.This, I think, captures the core problem of modern environmentalism. An individual, a group of people such as nonprofit or nongovernmental organizations, or a single city or country might be convinced by the Daoist "biospiritual" mode of life. Nevertheless, it appears to be far more difficult in practice to have certain countries or multinational mega-firms abandon their steadfast, primary commitment to national, industrial, commercial, or corporate missions to pursue their own benefits that deprioritize or... (shrink)

Both Socrates and Mozi are said in Plato’s dialogues and in the Mozi respectively to have claimed that they are living a sort of life following superhuman “intention”: Socrates according to the Delphic oracle, and Mozi the intention of heaven. Some modern philosophers show discomfort with their “superstitious” attitudes, taking the claims literally as a kind of groundless devotion, while others conjecture “sensible” purposes to understand the mystic elements as providing moral lessons. This paper, by responding to these modern revisions (...) of their doctrines, aims at highlighting the necessity of their (re-)introductions of superhuman perspectives to their inquiries. Through examining the similarities in Plato’s and Mohists’ demonstrations, the suggestion made will be that despite countless incommensurable features, heaven’s intention for Mohists offers a fundamental philosophical basis which enables them to develop arguments by means of sharp dichotomies, what is right or wrong, in the same way that Socrates in the Apology and in the Hippias Minor does for the development of Plato’s constructive endeavour beyond his Socratic a/euporetic legacy. Not only are their practices dependent on the presupposition of the existence of a perspective beyond humans, but also the reality of that perspective is established though their own investigative practices. (shrink)

Both Ambrose St. John (1815–1875) and John Henry Newman (1801–1890), who were received into the Roman Catholic Church in 1845, became members of the Birmingham Oratory. Newman’s closest companion for over three decades, St. John’s death was extremely painful for Newman, not only because it was unexpected, but because of his devotion to Newman as well as his dedication to his spiritual duties. Along with presenting Newman’s narrative of the last few weeks of St. John’s life, this essay raises the (...) question: why did Newman write this “account.”. (shrink)

John Henry Newman has rightly been hailed as a giant in the Catholic intellectual tradition. His contributions to theology, literature, and education have been studied at length; however, his contribution to philosophy has not received appropriate attention. This essay 1) explores Newman’s unique philosophical insights in terms of the phenomenological tradition of Edmund Husserl; 2) analyzes the transcendental approach of certain British scientists—notably Ronald Knox and Charles Darwin; and 3) discusses how Newman might be considered a phenomenologist.

Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...) the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFLe is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint. (shrink)

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.

We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...) Moreover, the finite model property is obtained for many cases, by modifying our completeness proof. This is an algebraic presentation of the proof of the finite model property discussed by Lafont [12] and Okada-Terui [17]. (shrink)

We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...) with and is algebraizable, with the variety of residuated lattice-ordered groupoids with unit serving as its equivalent algebraic semantics. Overcoming technical complications arising from the lack of associativity, we introduce a generalized version of a logical matrix and apply the method of quasicompletions to obtain an algebra and a quasiembedding from the matrix to the algebra. By applying the general result to specific cases, we obtain important logical and algebraic properties, including the cut elimination of and various extensions, the strong separation of , and the finite generation of the variety of residuated lattice-ordered groupoids with unit. (shrink)

In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.

Glivenko-type theorems for substructural logics are comprehensively studied in the paper [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384]. Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable 279–308] and also [N. Galatos, P. Jipsen, T. Kowalski, H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, in: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, 2007] for the details). As (...) a complementary work to the algebraic approach developed in [N. Galatos, H. Ono, Glivenko theorems for substructural logics over FL, Journal of Symbolic Logic 71 1353–1384], we present here a concise, proof-theoretic approach to Glivenko theorems for substructural logics. This will show different features of these two approaches. (shrink)

Synchronous oscillations are ubiquitous throughout the cortex, but the frequency of oscillations differs from area to area. To elucidate the mechanistic architectures underlying various rhythmic activities, we tested whether spontaneous neural oscillations in different local cortical areas and large-scale networks can be phase-entrained by direct perturbation with distinct frequencies of repetitive transcranial magnetic stimulation. While recording the electroencephalogram, we applied single-pulse TMS and rTMS at 5, 11, and 23 Hz over the motor or visual cortex. We assessed local and global (...) modulation of phase dynamics using the phase-locking factor. sp-TMS to the motor and the visual cortex triggered a transient increase in PLF in distinct frequencies that peaked at 21 and 8 Hz, respectively. rTMS at 23 Hz over the motor cortex and 11 Hz over the visual cortex induced a prominent and progressive increase in PLF that lasted for a few cycles after the termination of rTMS. Moreover, the local increase in PLF propagated to other cortical areas. These results suggest that distinct cortical areas have area-specific oscillatory frequencies, and the manipulation of oscillations in local areas impacts other areas through the large-scale oscillatory network with the corresponding frequency specificity. We speculate that rTMS that is close to area-specific frequencies enables direct manipulation of brain dynamics and is thus useful for investigating the causal roles of synchronous neural oscillations. Moreover, this technique could be used to treat clinical symptoms associated with impaired oscillations and synchrony. (shrink)

Increasing student involvement in classes has always been a challenge for teachers and school managers. In online learning, some interactivity mechanisms like quizzes are increasingly used to engage students during classes and tasks. However, there is a high demand for tools that evaluate the efficiency of these mechanisms. In order to distinguish between high and low levels of engagement in tasks, it is possible to monitor brain activity through functional near-infrared spectroscopy. The main advantages of this technique are portability, low (...) cost, and a comfortable way for students to concentrate and perform their tasks. This setup provides more natural conditions for the experiments if compared to the other acquisition tools. In this study, we investigated levels of task involvement through the identification of correct and wrong answers of typical quizzes used in virtual environments. We collected data from the prefrontal cortex region of 18 students while watching a video lecture. This data was modeled with supervised learning algorithms. We used random forests and penalized logistic regression to classify correct answers as a function of oxyhemoglobin and deoxyhemoglobin concentration. These models identify which regions best predict student performance. The random forest and penalized logistic regression obtained, respectively, 0.67 and 0.65 area of the ROC curve. Both models indicate that channels F4-F6 and AF3-AFz are the most relevant for the prediction. The statistical significance of these models was confirmed through cross-validation and a permutation test. This methodology can be useful to better understand the teaching and learning processes in a video lecture and also provide improvements in the methodologies used in order to better adapt the presentation content. (shrink)

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.

An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.

An emerging concept is that quiescent mature skeletal cells provide an important cellular source for bone regeneration. It has long been considered that a small number of resident skeletal stem cells are solely responsible for the remarkable regenerative capacity of adult bones. However, recent in vivo lineage‐tracing studies suggest that all stages of skeletal lineage cells, including dormant pre‐adipocyte‐like stromal cells in the marrow, osteoblast precursor cells on the bone surface and other stem and progenitor cells, are concomitantly recruited to (...) the injury site and collectively participate in regeneration of the damaged skeletal structure. Lineage plasticity appears to play an important role in this process, by which mature skeletal cells can transform their identities into skeletal stem cell‐like cells in response to injury. These highly malleable, long‐living mature skeletal cells, readily available throughout postnatal life, might represent an ideal cellular resource that can be exploited for regenerative medicine. (shrink)

In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics.

LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.

The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed between positive and non-positive rank algebras. As a (...) side effect, it is shown that the substructural logic IUL plus t ↔ f does not have the finite model property. (shrink)

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the (...) propositional fragment of FLec is decidable. On the other hand, it will be remarked that logics without the contraction rule are still decidable, if our language contains function symbols. (shrink)

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...) real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order. (shrink)