Death in the life of the samurai -- An introduction to Yamamoto Tunetomo's Hagakure -- The Hagakure -- A leisurely chat in the evening shadows -- A samurai must devote his heart firmly to bushidō -- Hardship is a beneficial experience -- There is nothing as deep as giri -- Close your eyes and think of your lord -- Death is a punishment not meted out lightly -- Even if it contains poison, what's the big deal? -- Naritomi Hyōgo's (...) words about achieving victory -- The quarrel (kenka) of Araki Kuzaemon -- You are weaker than you look -- "Victory or defeat is a trivial matter" -- Military strategies. (shrink)

We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt–Thomason theorem and Fine’s canonicity theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a (...) special case concerning the classes of augmented filter neighborhood frames. (shrink)

Death in the life of the samurai -- An introduction to Yamamoto Tunetomo's Hagakure -- The Hagakure -- A leisurely chat in the evening shadows -- A samurai must devote his heart firmly to bushidō -- Hardship is a beneficial experience -- There is nothing as deep as giri -- Close your eyes and think of your lord -- Death is a punishment not meted out lightly -- Even if it contains poison, what's the big deal? -- Naritomi Hyōgo's (...) words about achieving victory -- The quarrel (kenka) of Araki Kuzaemon -- You are weaker than you look -- "Victory or defeat is a trivial matter" -- Military strategies. (shrink)

The earliest Chinese record of the maritime relations between India and China can be found in the “History of the Former Han Dynasty” (Chien Han-shu) which covers the period from B.C. 206 to A.D. 23. In its chapter (28b) on geography it is stated that ever since the time of the Emperor Wu (Wu Ti, B.C. 14087) the country called Huang-chih has sent tribute to the Chinese court, which in turn dispatched envoys to this remote country. Huang-chih has been identified (...) by many scholars with Kāñcī (Conjeeveram) on the east coast of South India. It is recorded that there were chief interpreters belonging to the Yellow Gate (the office of eunuchs serving in the palace) who went to sea to buy bright pearls, opaque glasses and other rare articles, taking with them from China gold and various kinds of silk for exchange. (shrink)

We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was (...) provided by Bishop. (shrink)

We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.

Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.

日本の固有の宗教神道より説き起こし、日本の仏教、歌人・念仏者・茶人・武人・医者・妙好人・禅僧・真宗僧侶・作家・俳人と多種な人間像を通して、日本人の生き生きとした生命の躍動感を解き明かす。.

Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...) N4, as well as its non-constructive extension C3. For these systems, various observations concerning provable contradictions are made, using mainly a proof-theoretic approach. The topics covered in this paper include: how new contradictions are found from parts of provable contradictions; how to characterise provable contradictions in C3 that are constructive; how contradictions can be seen from the relative viewpoint of strong implication; and as an appendix an attempt at generating provable contradictions in C3. (shrink)

This study examines the process by which the concept of quality of life has been increasing in importance as the key to ASEAN's socio-cultural integration. This study also focuses on the current trend that emphasizes subjective quality of life and clarifies that ASEAN has been moving toward including this perspective. Then, it analyzes the subjective quality of life of people in ASEAN in terms of self-assessment and the multidimensional World Health Organization Quality of Life metric by using data from the (...) ASEAN Barometer 2009. (shrink)

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

Traditionally, the genealogy of Edo Confucianism, that is, Confucianism reinterpreted and reconstructed in the Tokugawa period, has been classified into the Chu-Hsi, Wang Yang-ming, Ancient, and Eclectic schools. These classifications are based on the most representative Confucian theories in the Tokugawa period and are useful for understanding their genealogy. However, when we try to capture the substance of Confucian thought from the interest of “education,” it is very difficult to understand the differences of each school’s educational thought based on this (...) classification. For example, according to the above classification of Confucian theories, the Jinsai and Sorai schools are also included in the Ancient school. However, it is no exaggeration to say that both educational ideas are completely different. In this study, although both Jinsai and Sorai are classified as Ancient schools, I will clarify how their educational theories are structured and how their contents are different. This study examines the content of Confucian thought from the perspective of “education.” I hope that the discussion will open up the possibility of a more precise understanding of the “educational thought” of Edo Confucianism. (shrink)

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

H. Omori and H. Wansing introduced in a recent paper possible alternatives for the negation of the logic of first-degree entailment. One of their observations with regard to these alternative negations is that some of them turn out to induce negation inconsistency, meaning that some contradictions become provable (under an arbitrary premise) when used in place of the original negation. Omori and Wansing also considered a non-deterministic generalisation of such operators, but it was left open whether the generalised negation similarly (...) induces negation inconsistency. In this paper, we provide an answer to this question in the positive, and moreover look into further generalisation and characterisation of non-deterministic operators which satisfy the formal criteria of negation inconsistency and its pair notion of negation incompleteness in the setting of Omori and Wansing. (shrink)

Topics in Cognitive Science, Volume 14, Issue 2, Page 241-257, April 2022.

Eukaryotic genome DNA is wrapped around core histones and forms a nucleosome structure. Together with associated proteins and RNAs, these nucleosomes are organized three‐dimensionally in the cell as chromatin. Emerging evidence demonstrates that chromatin consists of rather irregular and variable nucleosome arrangements without the regular fiber structure and that its dynamic behavior plays a critical role in regulating various genome functions. Single‐nucleosome imaging is a promising method to investigate chromatin behavior in living cells. It reveals local chromatin motion, which reflects (...) chromatin organization not observed in chemically fixed cells. The motion data is like a gold mine. Data analyses from many aspects bring us more and more information that contributes to better understanding of genome functions. In this review article, we describe imaging of single‐nucleosomes and their tracked behavior through oblique illumination microscopy. We also discuss applications of this technique, especially in elucidating nucleolar organization in living cells. (shrink)

S-Modulin is a frog homolog of recoverin. The function and the underlying mechanism of the action of these proteins are now understood in general. However, there remain some unsolved issues including; two distinct effects of S-modulin; Ca2+-dependent binding of S-modulin to membranes and a possible target protein; S-modulin-like proteins in other neurons. These issues are considered in this commentary.

In dieser Abhandlung versuchen wir die Theorie des Erhabenen bei Kant als eine Logik der reflektierenden Urteilskraft darzustellen, die den Ubergang des Sinnlichen ins Ubersinnliche ermoglicht. Die Urteilskraft bezieht die Spannung der Einbildungskraft vor dem Nicht-Darstellbaren auf das Ubersinnliche, und in dieser Beziehung sieht Kant "eine a priori im Subjekte liegende Zweckmassigkeit". Durch die Vorstellung der gewaltigen Natur kann unsere innere Idee erweckt werden, wenn wir berucksichtigen, "dass auf jene moralischen Anlagen bei jeder schicklichen Veranlassung Rucksicht genommen werden sollte". Durch (...) das Urteil uber das Erhabene erhalten wir eine Veranlassung fur diejenige Reflexion, die innerhalb der Natur auch die ubersinnliche Idee (oder ein gottliches Wesen) denkt. (edited). (shrink)

We show that length initial submodels of S12 can be extended to a model of weak second order arithmetic. As a corollary we show that the theory of length induction for polynomially bounded second order existential formulae cannot define the function division.

We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.

明治の近代化のなかで、日本人が初めて海外に向けて、自国の文化の全体像を示した書である『武士道』。義、勇、仁、礼、信、そして名誉、忠義...。桜花にたとえられた武士の精神と、日本人の依って立つ思考や道徳 意識は、いかにして生まれたか。グローバル・スタンダードの荒波が押し寄せ、寄る辺ない風潮の漂う今だからこそ、本書を通して考える―日本とは、日本人とは何なのか、と。.

商品の魅惑と横暴さによって見えなくされている“資本”、それは「利子生み資本」とは異なる「つつましやかな資本」の可能条件である。「利潤」を生む資本と「剰余価値」を生む資本とを区分し、原発危機・経済危機を 産みだしている悪しき「ふとどきな資本」に分水嶺を設定し、物象化の構造化された諸構造を超えていく自己技術と資本パワーを示す、画期的な書。場所資本、環境資本、文化資本の理論場を切削する。.

1. Tetsugaku jiban no ten'i : hi bunri jutsugosei basho hi jiko --.