Since the inception of modern approaches to grammar, Japanese ga has been treated as a marker indicating the grammatical relation `subject.' If this is an accurate characterization of ga, then we would expect ga to occur to mark a grammatical category consisting of `A' and `S'. Our examination of the contexts in which ga is actually used in everyday Japanese conversations shows that this expectation is not borne out. Our findings suggest that it is not appropriate to describe ga in (...) terms of a grammatical relation such as `subject', and that ga may be much less a grammatical marker than a discourse-pragmatic one. (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.

A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.

The aim of this paper is to examine the relationship between education and technological rationality from the perspective of the philosophy of education, and to show that while education is deeply related to technique, skills, or technology, it can never be reduced to technical knowledge, and that there are things in education that overflow technical knowledge. I will here ask why there is something in education that overflows technical knowledge — I will define it as knowledge of pathos — and (...) why it is necessary to redefine the meaning of education in terms of knowledge of pathos. In order to address this issue, I will first examine the relationship between technology and transcendence in the world of education in Kei Hachiya’s Education and Transcendence. Second, I will show that recent outstanding theoretical achievements of Japanese philosophers of education — Satoji Yano’s Education from the Perspectives of Gift and Exchange, Yasuo Imai’s Medial Perspective on Education, and Tsunemi Tanaka’s Clinical Theory of Human Becoming — are all located within the problematic area of ‘technology-pathos-education’. Finally, I would like to propose a ‘philosophy of education built on fragile parts’, with a view to redefining education through the knowledge of pathos, paying attention to the experience of pathei mathos and the opportunity of weakness in the philosophy of education. (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.

We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

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)

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)

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.

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.

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.

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.

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)

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.

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.

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)

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)

In this paper, a semantics for predicate logics without the contraction rule will be investigated and the completeness theorem will be proved. Moreover, it will be found out that our semantics has a close connection with Beth-type semantics.

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...) of the paper, we also discuss some extended forms of the Kolmogorov translation and we compare it to the Glivenko translation. (shrink)

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)

Prediction is essential for the efficiency of many cognitive processes; however, this process is not always perfect. Predictive coding theory suggests that the brain generates and updates a prediction to respond to an upcoming event. Although an electrophysiological index of prediction, the stimulus preceding negativity, has been reported, it remains unknown whether the SPN reflects the prediction accuracy, or whether it is associated with the prediction error, which corresponds to a mismatch between a prediction and an actual input. Thus, the (...) present study aimed to investigate this question using electroencephalography. Participants were asked to predict the original pictures from pictures that had undergone different levels of pixelation. The SPN amplitude was affected by the level of pixelation and correlated with the subjective evaluation of the prediction accuracy. Furthermore, late positive components were negatively correlated with SPN. These results suggest that the amplitude of SPN reflects the prediction accuracy; more accurate prediction increases the SPN and reduces the prediction error, resulting in reduced LPC amplitudes. (shrink)

We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

Epistemological investigation belonged to the core topics in Indian philosophical traditions, too. Right cognition had generally been regarded as one of the important means to emancipation (niḥśreyasa) since ancient times. To reach this religious goal, they keenly discussed the problems of what kinds of cognition we should accept as right or what kinds of objects a right cognition refers to. Specifically it is about the number and the nature of the means of right cognition that opinions differ from school to (...) school. The number ranges from one (perception) to six or even ten (perception, inference, comparison, testimony, implication, non-perception, equivalence, tradition, gesture, and intuition). The concept of each means of right cognition, too, varies greatly among schools. In this paper I take up the Nyāya System, a rationalistic school of Brahmanic philosophy. In Nyāya the inference is regarded as particularly important, but it never means that logical thinking dominates testimony or the authority of religious scriptures in the Nyāya System. On the contrary we find such cases as the religious authority seems to delimit the validity of inference. Some inferences are obstructed by an axiom established in the school, whereas others by a ristriction of Brahmanic tradition. In this manner they seemed to protect their whole system from followers of other Schools. By examining this topic I would like to throw a tiny light on the characteristic affinity between philosophy and religion in Indian thought. (shrink)

We examined the effects of unconscious priming on temporal-interval production. In Experiment 1, participants were instructed to keep visual displays on a screen for 2500 ms intervals. Half of the displays were repeated across blocks throughout the entire experiment, and the others were newly generated from trial to trial. The displays consisted of patterns so complex that the participants could not intentionally memorize them. The results showed that significantly more time elapsed for old displays than for new displays before participants (...) indicated that a 2500 ms interval had elapsed. Experiment 2 replicated this effect and excluded an alternative account based on perceived pattern complexity. The effect of repetitive presentation was obtained despite the fact the participants did not recognize the repetition, suggesting that unconscious priming increased temporal production. These results suggest that time perception is affected by an unconscious process. (shrink)

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 paper examines the bond between architecture and history on the premise that everybody is familiar with both architecture and history. The paper views architecture as a profession that is satiated with imaginative and creative thinking; and contends that architecture extends, historically, into wherever human beings live their life. The author opines that architecture easily extends its influence, as a vivid universal metaphor into every sphere of human activity as a synonym, in building either concrete or abstract forms. Thus, the (...) paper proceeds to demonstrate that architecture chronicles the achievements of peoples in creatively constructed concrete forms, which it infuses with the histories of abstract concepts in time and space. Conversely, the paper points out that history, which highlights the living memories of humanity, chronicles the antecedences, precedence, sequences, and consequences of man’s concrete achievements incogent abstract forms. Consequently, the paper concludes that while architecture builds conceptualized concrete forms from and for history; history builds its concrete abstract forms from and for architecture. Thus, the paper concludes that The Architecture of History and The History of Architecture ultimately coincides in their complementarity, as mutual witnesses to the activities of man in time and space. (shrink)

The epic life of Pope John Paul II touches virtually all aspects of the human being in time and space. His successful world outreach achieves unprecedented superlative proportions in his search for universal harmonies among peoples, cultures and religions. Significantly, his death confirms the success of his positive mission on the Earth as his death caused an extraordinary unity of people, cultures, and religions during his funeral. No one else has unified such opposing opposites in a memorial service in a (...) millennium! Thus, Pope John Paul II by his calling served the sacred; his deeds achieve a synchronized symphony of the sacred and secular. This paper examines the views of Pope John Paul II, as expressed in Laborem Excercens, through the concept of the unity of oppositesin sacred and secular architecture. (shrink)

The epic life of Pope John Paul II touches virtually all aspects of the human being in time and space. His successful world outreach achieves unprecedented superlative proportions in his search for universal harmonies among peoples, cultures and religions. Significantly, his death confirms the success of his positive mission on the Earth as his death caused an extraordinary unity of people, cultures, and religions during his funeral. No one else has unified such opposing opposites in a memorial service in a (...) millennium! Thus, Pope John Paul II by his calling served the sacred; his deeds achieve a synchronized symphony of the sacred and secular. This paper examines the views of Pope John Paul II, as expressed in Laborem Excercens, through the concept of the unity of oppositesin sacred and secular architecture. (shrink)

Previous studies have explored the effects of attention on spatial representation. Specifically, in the attentional repulsion effect, a transient visual cue that captures attention has been shown to alter the perceived position of a target stimulus to the direction away from the cue. The effect is also susceptible to retrospective influence, that attention appears to attract the target when the cue appears afterwards. This study examined the necessity of visual awareness of the cue in these phenomena. We found that when (...) the cues were rendered invisible by backward visual masks, both repulsion and attraction effects were weakened but still observed. The results suggest that the effects possibly depend on processes that are not necessarily associated with conscious visual awareness of the cues. We conjecture that attentional shift produced by the weak, invisible cues may play a role in spatial distortion; but other possible accounts including non-attentional ones are also discussed. (shrink)

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)

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)

For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable $\eta (> 0)$ , there exists a countable ordinal of the form β + η such that L(α (...) + η) = L(β + η). On the other hand, such a reduction of ordinals to countable ones is impossible for a logic L(α) if α is an uncountable regular ordinal. Moreover, it will be proved that the mapping L is injective if it is restricted to ordinals less than ω ω , i.e. α ≠ β implies L(α) ≠ L(β) for each ordinal $\alpha,\beta. (shrink)

In this paper we will discuss constraints on the number of (non-dummy) players and on the distribution of votes such that local monotonicity is satisfied for the Public Good Index. These results are compared to properties which are related to constraints on the redistribution of votes (such as implied by global monotonicity). The discussion shows that monotonicity is not a straightforward criterion of classification for power measures.

The paper examines the bond between architecture and history on the premise that everybody is familiar with both architecture and history. The paper views architecture as a profession that is satiated with imaginative and creative thinking; and contends that architecture extends, historically, into wherever human beings live their life. The author opines that architecture easily extends its influence, as a vivid universal metaphor into every sphere of human activity as a synonym, in building either concrete or abstract forms. Thus, the (...) paper proceeds to demonstrate that architecture chronicles the achievements of peoples in creatively constructed concrete forms, which it infuses with the histories of abstract concepts in time and space. Conversely, the paper points out that history, which highlights the living memories of humanity, chronicles the antecedences, precedence, sequences, and consequences of man’s concrete achievements incogent abstract forms. Consequently, the paper concludes that while architecture builds conceptualized concrete forms from and for history; history builds its concrete abstract forms from and for architecture. Thus, the paper concludes that The Architecture of History and The History of Architecture ultimately coincides in their complementarity, as mutual witnesses to the activities of man in time and space. (shrink)

Endosteal stem cells are a subclass of bone marrow skeletal stem cell populations that are particularly important for rapid bone formation occurring in growth and regeneration. These stem cells are strategically located near the bone surface in a specialized microenvironment of the endosteal niche. These stem cells are abundant in young stages but eventually depleted and replaced by other stem cell types residing in a non‐endosteal perisinusoidal niche. Single‐cell molecular profiling and in vivo cell lineage analyses play key roles in (...) discovering endosteal stem cells. Importantly, endosteal stem cells can transform into bone tumor‐making cells when deleterious mutations occur in tumor suppressor genes. The emerging hypothesis is that osteoblast‐chondrocyte transitional identities confer a special subset of endosteal stromal cells with stem cell‐like properties, which may make them susceptible for tumorigenic transformation. Endosteal stem cells are likely to represent an important therapeutic target of bone diseases caused by aberrant bone formation. (shrink)

Harmony is one of the most fundamental Japanese values. It is derived from Confucianism and encompasses a state of mind, an action process and outcomes of the action. This article draws on research data and discusses Japanese nurses’ perceptions of harmony as reflected in their everyday practice. The most important virtues for these nurses were reported as politeness and respect for other persons. The outcome from the nurses’ harmonious practice, it is claimed, benefited patients and created peaceful, harmonious relationships for (...) all. Because of the unique link between harmony and the location of interaction, the ideal ‘workplace harmony’ threatened some nurses’ professional decision making. These nurses confused harmony with conformity by superficial agreement. The Japanese seniority system could be a major factor contributing to this problem. Ethics education that includes traditional values and concepts in Japanese culture is strongly urged. (shrink)

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to (...) causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. (shrink)