A critical examination of Japanese literary and art theories.

dai 1-kan. Nishida Kitarō -- dai 2-kan. Keiken to jikaku -- dai 3-kan. Basho -- dai 4-kan. Zen, kongenteki ningen -- dai 5-kan. Zen no fūkei -- dai 6-kan. Dōtei "Jūgyūzu" o ayumu -- dai 7-kan. Maisutā Ekkuharuto -- dai 8-kan. Hi shinpi shugi -- dai 9-kan. Kokū/Sekai -- dai 10-kan. Jiko no genshōgaku -- dai 11-kan. Shūkyō to wa nani ka.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Poppe r e nt i e nde l a r a c i ona l i da d e ntérminos de nuestra actitud intelectual.Nuestra racionalidad no es una facultad ni un don intelectual.No es al go dado a un i ndi vi duo, deacuerdo con él. Es una actitud que hemosadquirido de nuestra relación intelectualcon otros. Popper no usa “racionalismo”como un término filosófico que significaintelectualismo en oposición a empirismo.El artículo muestra claramente que Popperent i ende el r aci onal i (...) smo no como l agr a nde z a de l a r a z ón, s i no c omo l acomprensión de uno del límite de la razón.Sin embargo, surge una pregunta; ¿qué tanbien ha comprendido tal racionalista ellímite de su propio racionalismo? ¿Cómodebemos entender este límite? Popperafi rma que un raci onal i sta ha notadoel límite del racionalismo al prever elcarácter auto-destructivo del racionalismoc ompr e he ns i vo. A f i n de ha c e r má scomprensible su afirmación tenemos queexplicar el racionalismo comprehensiveque Popper aprehendió.Popper understands the rationality interms of our intellectual attitude. Ourrationality is neithera faculty nor an intellectual gift. It isnot something given to an individual,according to him. It is an attitude thatwe have acquired from our intellectualintercourse with others. Popper does notuse “rationalism” as a philosophical termthat means intellectualism in oppositionto empiricism.This paper clearly shows that Popperunde r s t a nds r a t i o na l i s m no t a s t heal mi ght i nes s of r eas on, but as one’ srealization of the limit of reason. However,there arises a question; how has such arationalist realized the limit of his ownrationalism? How we should understandthis limit? Popper asserts that a rationalisthas noticed the limit of rationalism byenvisaging the self-defeating character ofthe comprehensive rationalism. In order tomake more understandable his assertion,we must at first explain the comprehensiverationalism apprehended by Popper. (shrink)

On sait que Platon fait grand cas des êtres intelligibles en instaurant la théorie des Idées. Mais il n’est pas approprié de le considérer comme penseur qui néglige le rôle de l’apparence sensible. Ce philosophe demeure très sensible à la modalité par laquelle les phénomènes apparaissent dans le champ de notreperception. En distinguant deux types d’apparence : image et simulacre, il donne à l’image le rôle d’intermédiaire actif entre le sensible et l’intelligible. L’examen des modalités des actions humaines qui reçoivent (...) et créent des images, nous aide à voir comment Platon intègre la fonction des images dans la structure de sa philosophie. La réception et la création des images sont étroitement reliées et synthétisées pour former le système original de Platon, système dans lequel le fondement de la théorie des Idées relève d’un certain dynamisme de l’action humaine. Dans la recherche relative à la modalité de réception et de création des images, je porte mon attention sur l’usage platonicien du terme tupos qui exprime le principe de la conformité de l’image et de son modèle.Notamment dans la théorie de la formation des futurs gardiens de la cité idéale, le tupos fonctionne, comme un principe qui réglemente et oriente à plusieurs niveaux les activités de la mimèsis et de la poièsis qui portent sur les images. La réflexion sur cette fonction conductrice. (shrink)

Savant syndrome and prime numbers Oliver Sacks reported that a pair of autistic twins had extraordinary number abilities and that they spontaneously generated huge prime numbers. Such abilities could contradict our understanding of human abilities. Sacks' report attracted widespread attention, and several researchers speculated theoretically. Unfortunately, most of the explanations in the literature are wrong. Here a correct explanation on prime number identification is provided. Fermat's little theorem is implemented in spreadsheet. Also, twenty years after the report, questionable aspects were (...) found in it. Extreme abilities became dubious. One possibility for the less extreme abilities is incomplete trial division. (shrink)

Akama et al. [1] systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their semi-classical principles restricted to prenex formulas. However, there are some errors in their proof. In this paper, we provide a simple counterexample of their prenex normal form theorem [1, Theorem 2.7], then modify it in an appropriate way which still serves (...) to largely justify the arithmetical hierarchy. In addition, we characterize a variety of prenex normal form theorems by logical principles in the arithmetical hierarchy. The characterization results reveal that our prenex normal form theorems are optimal. For the characterization results, we establish a new conservation theorem on semi-classical arithmetic. The theorem generalizes a well-known fact that classical arithmetic is $\Pi _2$ -conservative over intuitionistic arithmetic. (shrink)

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.

Amartya Sen’s work has contributed to shifting our focus from food availability to food access and utilisation, together called ‘nutritional capability’. Existing food insecurity instruments have been informed partially by the capability approach, but remain focused on material deprivation and its economic sub-dimensions. This narrow focus has become problematic, particularly in high-income countries, where material deprivation is largely overcome and food poverty manifests itself differently from that in low-income countries. Food poverty in high-income countries should thus be approached from a (...) ‘food capability’ perspective that fully recognises the multidimensionality of eating lives and the multiple factors that affect their dietary standards. To demonstrate the usefulness of this perspective, the Alkire-Foster method for multidimensional food poverty was utilised to analyse food poverty in Japan. The Alkire-Foster measure has a dual cut-off approach and its adapted method can produce a multidimensional food poverty index by setting reasonable food deprivation and poverty thresholds. The national data used for empirical demonstration was obtained from a web-based questionnaire conducted in Japan, to which 973 participants (aged 20–60 years) responded. The measurement identified a 20.6% food-poor population and inequalities in food capabilities among subgroups. Although economic deprivation was tightly linked to food poverty, the results suggested that gender- and age-based inequalities were larger than socioeconomic status-based ones, which reflected much wider societal problems in Japan than growing economic poverty, such as gender inequality and population ageing. The proposed measurement is effective for monitoring food policy impacts and complementing existing food insecurity assessment tools. The results will be useful for promoting social debate about what the minimal dietary standard should be in high-income societies. (shrink)

Estrogen receptor α (ERα) is a ligand‐dependent transcription factor that regulates the expression of estrogen‐responsive genes. Approximately 70% of patients with breast cancer are ERα positive. Estrogen stimulates cancer cell proliferation and contributes to tumor progression. Endocrine therapies, which suppress the ERα signaling pathway, significantly improve the prognosis of patients with breast cancer. However, the development of de novo or acquired endocrine therapy resistance remains a barrier to breast cancer treatment. Therefore, understanding the regulatory mechanisms of ERα is essential to (...) overcome the resistance to treatment. This review focuses on the regulation of ERα expression, including copy number variation, epigenetic regulation, transcriptional regulation, and stability, as well as functions from the point of view post‐translational modifications. (shrink)

没後20年、いま必要な歴史に裏打ちされた予見力、現実政治に提言する率直さ、道義性と理想主義。.

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree (...) languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

The historical origins of the Kyoto School of Philosophy of modern Japan, represented by Kitaro Nishida and Hajime Tanabe, may be derived from both the ancient Chinese idea of Change and the ancient Indian Upanishadic idea of the mutual identity of Brahman and Atman. The ancient Chinese idea of Change signifies change as well as non-change, and even their dialectical unification. Both origins are structured by the self-identity of the opposed in logic, and these historical prototypes have been developed into (...) the various forms of Confucian, Taoist, and Buddhist philosophy. The notion of Nothingness or Emptiness rather than Being has been set up as the fundamental principle. The principle of Nothingness as ultimate reality has been connected with the logic of self-identity of theopposed, and this is evident in Nishida’s concept of the self-identity in absolute contradistinction that is equivalent to the Place of Absolute Nothingness. Even though Nishida’s idea of Place is directly and explicitly influenced by the ancient Greek idea of Topos, it has indirectly and implicitly been affected by the traditional agricultural society as well, in which the land is regarded as the self-identical substratum despite the cyclic time of the four-seasons change. The ancient Chinese idea of Change also reflects the agricultural society in which the cyclic time plays an important role on the basis of the unchanging self-identical land as the underlying substratum. Nishida succeeds in establishing the new logical expression of Eastern traditional thought, deeply hidden in consciousness, in relation toWestern philosophy. The uniqueness of Nishida’s idea of Place may have its main source in the traditional agricultural background, and in this sense his way of thinking may be rural in character. On the other hand, Tanabe, though following Nishida at first, turns to making criticism of the mentor with the establishment of the triadic logic of species as the dialectic, which is characterized by the perpetual self-negating conversion in action. In contrast to Nishida, Tanabe represents the urban type of thinking, which is in pursuit of transforming in life. While Nishida’s idea of Absolute Nothingness has an affinity with the ancient Chinese philosopher Laotzu’s idea of Nothingness from and into which every entity comes and goes, Tanabe’s concept of Absolute Nothingness as the principle ofconversion is more closed to the Buddhist idea of sunyata, i.e., Emptiness, which is devoid of any substance in itself. As regards evil, the difference between them is obvious in that for Nishida evil and time or history disappear into the ultimate horizon or place of Nothingness with the tendency toward a kind of monism of goodness, whereas for Tanabe evil copes with goodness and retains its own status throughout, never being reduced to the opposed. Even if so, both of them, however, fail to construct a philosophy of history from the epochal or durational viewpoint, compared to Heidegger and Jaspers. (shrink)

ヘーゲル哲学研究の新しい領域として注目されつつある〈承認〉の概念をめぐって、独自の視角から検討をすすめてきた著者の成果を書き下ろす。.

Ante todo debo confesar que los hispanistas asiáticos no estamos muy comunicados, a pesar de que no nos faltan diversas ocasiones en los congresos internacionales, las publicaciones de artículos en revistas especializadas ni los libros monográficos realizados por nuestros colegas asiáticos. Esto se debe a que los estudios hispánicos comparten una historia muy breve en contraste con las grandes corrientes de España, Hispanoamérica, Europa y los Estados Unidos. Teniendo en cuenta la limitada información que poseo, mencionaré al final de esta (...) exposición las actividades que merecen mayor atención, de fechas relativamente recientes. Hablaré de los investigadores coreanos, chinos, taiwaneses e indios, basándome en las publicaciones que están en mis manos. De los estudiosos filipinos se necesitará un capítulo aparte por su larga tradición hispánica. Por esta razón, la descripción siguiente trata casi exclusivamente de la situación japonesa, con una pequeña añadidura de las últimas noticias de los países asiáticos. (shrink)