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)

Let A[ω]ω be a maximal almost disjoint family and assume P is a forcing notion. Say A is P-indestructible if A is still maximal in any P-generic extension. We investigate P-indestructibility for several classical forcing notions P. In particular, we provide a combinatorial characterization of P-indestructibility and, assuming a fragment of MA, we construct maximal almost disjoint families which are P-indestructible yet Q-destructible for several pairs of forcing notions . We close with a detailed investigation of iterated Sacks indestructibility.

Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the existence of vague objects within classical logic. We formalize Evans's proof in a set theory without the axiom of extensionality, and we define a set to be vague if it violates extensionality with respect to some other set. There exist models of (...) set theory where the axiom of extensionality does not hold, so this shows that there can be vague objects. (shrink)

In ${\mathbf{H}}$ , a set theory with the comprehension principle within Łukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as “there is an infinite descending sequence of initial segments of ω” is truth value 1 in any model of ${\mathbf{H}}$ , and we prove an analogy of Hájek’s theorem with a very simple procedure.

We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł ${\forall}$ (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic, accepted) so as to be effective in any linearly ordered MV-algebra.

We show that Kubota and Levine’s characterization of the HPSG-based theory of non-constituent coordination proposed in Yatabe Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar, CSLI, Stanford, pp 325–344, 2001) and later works is inaccurate, and that the theory in question does not require any ad hoc mechanisms to account for the long-known fact that right-node raising and left-node raising can affect semantic interpretation. In the course of demonstrating this, we fill in some details of this (...) HPSG-based theory that were left unspecified in the previous literature, and we also present novel accounts of split-antecedent relative clauses and of respectively interpretation that are consistent with the theory. Furthermore, we argue that the phenomenon of summative agreement may provide a reason to prefer this theory over CG-based theories like Kubota and Levine’s. (shrink)

We prove a set-theoretic version of Hájek, Paris and Shepherdson's theorem [HPS00] as follows: The set ω of natural numbers must contain a non-standard natural number in any natural Tarskian semantics of CŁ0, the set theory with comprehension principle within Lukasiewicz's infinite-valued predicate logic. The key idea of the proof is a generalization of the derivation of Moh Shaw-Kwei's paradox, which is a Russell-like paradox for many-valued logic.

En raison de son statut de département japonais, la situation postcoloniale vécue par les habitants d'Okinawa reste peu visible de l'extérieur. TI n'en demeure pas moins que la double sujétion de l'île, au Japon et aux États-Unis, suscite depuis 1945 colère et indignation. Mais dans le cadre général de la seconde modernité japonaise, quelle peut être la portée pratique d'une pensée critique ? Cette interrogation­ servira de fil conducteur à notre texte qui se propose de suivre l'itinéraire d'une jeune chanteuse (...) qui, placée au croisement des mondes japonais et okinawais, tente de se frayer une voie qui mène vers des états de paix.Because of Okinawa's particular status as a Japanese constituency, the post-colonial situation experienced by its inhabitants has never been transparent to the outside world, although the island's dual dependency, on Japan and the United States, has been a source of anger and indignation ever since 1945. But in the more general context of Japan's second age of modernity, where does critical thinking lead in practice? This is the underlying thread of our narrative, in which we follow a young singer, caught between her Japanese and Okinawa backgrounds, as she tries to fight her way through to a state of peace. (shrink)

Cyclic nucleotides can regulate the sensitivity of retinal rods to light through phosducin. The phosphorylation state of phosducin determines the amount of G available for activation by Rho*. Phosducin phosphorylation is regulated by cyclic nucleotides through their activation of cAMP-dependent protein kinase. The regulation of phosphodiesterase activity by the noncatalytic cGMP binding sites as well as Ca2+/calmodulin dependent regulation of cGMP binding to the cation channel are also discussed.

Cultural similarities and differences in facial expressions have been a controversial issue in the field of facial communications. A key step in addressing the debate regarding the cultural dependency of emotional expression is to characterize the visual features of specific facial expressions in individual cultures. Here we developed an image analysis framework for this purpose using convolutional neural networks that through training learned visual features critical for classification. We analyzed photographs of facial expressions derived from two databases, each developed in (...) a different country, in which corresponding emotion labels were available. While the CNNs reached high rates of correct results that were far above chance after training with each database, they showed many misclassifications when they analyzed faces from the database that was not used for training. These results suggest that facial features useful for classifying facial expressions differed between the databases. The selectivity of computational units in the CNNs to action units of the face varied across the facial expressions. Importantly, the AU selectivity often differed drastically between the CNNs trained with the different databases. Similarity and dissimilarity of these tuning profiles partly explained the pattern of misclassifications, suggesting that the AUs are important for characterizing the facial features and differ between the two countries. The AU tuning profiles, especially those reduced by principal component analysis, are compact summaries useful for comparisons across different databases, and thus might advance our understanding of universality vs. specificity of facial expressions across cultures. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve (...) truth based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

According to [M.S. Kurilić, Cohen-stable families of subsets of the integers, J. Symbolic Logic 66 257–270], adding a Cohen real destroys a splitting family on ω if and only if is isomorphic to a splitting family on the set of rationals, , whose elements have nowhere dense boundaries. Consequently, implies the Cohen-indestructibility of . Using the methods developed in [J. Brendle, S. Yatabe, Forcing indestructibility of MAD families, Ann. Pure Appl. Logic 132 271–312] the stability of splitting families in (...) several forcing extensions is characterized in a similar way . Also, it is proved that a splitting family is preserved by the Sacks forcing if and only if it is preserved by some forcing which adds a new real. The corresponding hierarchy of splitting families is investigated. (shrink)