1. Seikyō ronkō -- 2-3. Shibunrui -- 4-10. Rangai shorui -- 11-12. Genshi shiroku -- 13-14. Fukureki.

We can easily discriminate self-produced from externally generated sensory signals. Recent studies suggest that the prediction of the sensory consequences of one’s own actions made by forward model can be used to attenuate the sensory effects of self-produced movements, thereby enabling a differentiation of the self-produced sensation from the externally generated one. The present study showed that attenuation of sensation occurred both when participants themselves performed a goal-directed action and when they observed experimenter performing the same action, although they clearly (...) reported that the tones were produced by other during action observation and by themselves during their own action. These results suggest that sensory prediction of action modulates ongoing auditory processing irrespective of who produces the sounds and that the explicit judgment of agency does not necessarily rely on the same mechanisms on which implicit perceptual measures such as sensory attenuation rely. (shrink)

Dr. Sato's volume deals with the origin and formation of the political thought of pre-imperial Xun Zi, with close focus on this synthesizer's formative theory ...

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of (...) reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly. (shrink)

The number of competing-brands changes by new product's entry. The new product introduction is endemic among consumer packaged goods firm and is an integral component of their marketing strategy. As a new product's entry affects markets, there is a pressing need to develop market response model that can adapt to such changes. In this paper, we develop a dynamic model that capture the underlying evolution of the buying behavior associated with the new product. This extends an application of a dynamic (...) linear model, which is used by a number of time series analyses, by allowing the observed dimension to change at some point in time. Our model copes with a problem that dynamic environments entail: changes in parameter over time and changes in the observed dimension. We formulate the model with framework of a state space model. We realize an estimation of the model using modified Kalman filter/fixed interval smoother. We find that new product's entry (1) decreases brand differentiation for existing brands, as indicated by decreasing difference between cross-price elasticities; (2) decreases commodity power for existing brands, as indicated by decreasing trend; and (3) decreases the effect of discount for existing brands, as indicated by a decrease in the magnitude of own-brand price elasticities. The proposed framework is directly applicable to other fields in which the observed dimension might be change, such as economic, bioinformatics, and so forth. (shrink)

In the second book of Soliloquia, Augustine queries: what is ‘true’ and what is ‘false’. Through the examination, Augustine (Ratio) expresses the idea that ‘true’ is that which exists. Therefore, whatever exists is true; nothing will be false. But then, what is ‘false’? This paper will first clarify that the examination of ‘false’ in Soliloquia relates to Augustine’s awareness of the problem of sin. Already in Soliloquia, Augustine finds that the soul can have in itself the cause of sin so (...) as to be unable to have the truth. Secondly, the author examines how the epistemology of falsehood is developed in the early Augustine by examining his articles after Soliloquia, focusing on the concept of lying in De Genesi contra Manichaeos and De vera religione. This will show that Augustine's understanding of falsehood and lying is related to his soteriology. Thirdly, the paper focuses on q. 63 of De diversis quaestionibus LXXXIII, in order to clarify what Augustine thinks about the relationship between God and human soul, where Augustine notes the significance of knowing and confessing sin as the means of cooperative salvation already described in his early works. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...) extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

... because the thing-in-itself has no abnormality. Anything unusual will appear, after I myself see it: Abnormality belongs not to the thing-in-itself, but to myself. Kuo P'u (276-324), Shan-hai ching (Scriptures of the Mountains and the Seas).

西元前256年，周赧王被秦昭襄王所征服。由此，戰國時代最後階段的華夏世界進入三十五年的「後周魯時代」。 本書提出：在此時期周天子不在的政治權威空白時期，實為《荀子》和《呂氏春秋》兩書之出現的主要契機。以這樣歷史背景為主要契機誕生的兩書，其政治哲學的目標便應該在於構想能治理全天下人民之國家的建立──《荀子 》探求未來以禮義治理天下的君王；《呂氏春秋》則向已成為「de facto天子」的秦王，為提升至名正言順的天子，提供政策綱要和實踐細則。 作者根據較為嚴謹的「觀念史／概念史」分析，闡述《荀》、《呂》兩書在思維上、概念上、論述內容上等多層次的思想特質及其歷史角色。期盼本書在戰國秦漢時代的歷史和思想相關議題之探討能夠提供較新的切入點，並擴大 研究視野。.

Cultures are constituted by binary oppositions: the absolute and the relative; the perfect and the imperfect; the stable and the unstable. Many of the world’s cultures have looked to revealed religion to discover the absolute: that which transcends the human, the intellect, and space and time. By positing a God who is omniscient and omnipotent, they conceive of an eternal and absolute that continues to exist in an immutable state.In such cultures new perspectives for reinterpreting the past are continually propounded. (...) This allows history to be rewritten and re-rewritten. History simply becomes a method for becoming conscious of the past.By contrast, many East Asian cultures have not developed such a concept of revealed religion. For them, history itself constitutes an absolute, something on which one can rely. History in East Asia is endowed with a normative function, a source of authority that does not permit easy rewriting. (shrink)

"The Full Picture of Frege’s Philosophy" (Keiso Shobo, 2012) by Kazuyuki Nomoto gives a detailed account of Gottlob Frege’s life devoted to a failed attempt to develop mathematics formally and entirely from scratch based upon his logicism and his semantical understanding of mathematical entities. In the present paper, I review the book and recommend it as a challenging and inspiring book to anyone who wishes to understand the modern meaning of Frege’s philosophy.

本書構畫「忠」概念在中國春秋戰國時代的演變，並嘗試藉此闡明其功能與特質。在春秋到戰國早期的政治思想中，「忠」和「忠信」概念對於國家社稷的生存幾乎是最高價值，而且到戰國中期更具有涵蓋「天下」的普遍性。然 而在戰國中期以後，道家與稷下思想家如慎到等人開始批判「忠」的價值，並且將原本以道德動機為主要內涵的「忠」概念、轉變成以個人利益為主要實踐動機的「忠」概念。面對此趨勢，戰國晚期的《荀子》和《呂氏春秋》都 試圖重新界定「忠」對國家運作的正面價值，而《韓非子》雖然基本上接受稷下學者之「反忠論」，但還是肯定「忠臣」是國家社稷安定的關鍵角色。本書也對中日韓及歐美學者過去研究「忠」概念的成果有詳細評述。.

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various (...) well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. (shrink)

We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a “theory of sets”, namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg . We first introduce a weak weak set theory as a base over which to clarify the strength of these axioms. We then prove the following results about proof-theoretic ordinals:1. and ,2. and . We also show (...) that neither Reg nor affects the proof-theoretic strength, i.e., where T is Basic plus any combination of Ext and. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

The paper explores the logical strength of Isbell's zig‐zag theorem using the framework of reverse mathematics. Working in, we show that is equivalent to Isbell's zig‐zag theorem for countable monoids: If B is a monoid extension of A, then is dominated by A if and only if b has a zig‐zag over A. Our proof of Isbell's zig‐zag theorem avoids use of strong comprehension axioms common in traditional proofs. We also analyze the strength of theorems concerning binary relations.

Given the growing centrality of interdisciplinarity to scientific research, gaining a better understanding of successful interdisciplinary collaborations has become imperative. Drawing on extensive case studies of nine research networks in the social, natural, and computational sciences, we propose a construct that captures the multidimensional character of such collaborations, that of a shared cognitive–emotional–interactional platform. We demonstrate its value as an integrative lens to examine markers of and conditions for successful interdisciplinary collaborations as defined by researchers involved in these groups. We (...) show that markers and conditions embody three different dimensions: cognitive, emotional, and interactional; these dimensions are present in all networks, albeit to different degrees; the dimensions are intertwined and mutually constitutive; and they operate in conjunction with institutional conditions created by funders. We compare the SCEI platforms to available frameworks for successful interdisciplinary work. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

Cet article s’intéresse aux mutations de la famille japonaise au XXe siècle à travers les manga de Machiko Hasegawa (Sazae-san), première dessinatrice de bande dessinée au Japon, et de Kyoko Okazaki (La maison du bonheur et Au bord de la rivière), qui appartient à la génération actuelle. L’analyse comparée de plusieurs de leurs albums montre, notamment à travers les scènes de repas, la déstructuration de la famille japonaise d’après-guerre, dans un contexte d’industrialisation qui a poussé les Japonaises à délaisser en (...) partie le foyer familial pour travailler. (shrink)