Translated text is chapt. 7, pt. 2 of Kirisutokyō no benshō.

As Hegel suggests, there is no philosophy apart from the history of philosophy. Each philosophy represents the spirit peculiar to its own period. Heidegger, too, holds that every philosophy is the sound of Being, and the history of philosophy is the history of Being. This is true for the Kyoto School philosophy of modern Japan represented by Kitaro Nishida, Hajime Tanabe, and Tetsuro Watsuji, who made to endeavor to construct a new synthesis of Western and Eastern philosophy in the critical, (...) confrontational, and creative ways in the given historical contexts. In particular, Tanabe attempts at the dialectical unification of Christianity and Buddhism in the last resort from the standpoint of Absolute Nothingness. As, in Whitehead’s conception of process, actuality is composed of the past objective being as the given data and the present subjective act of becoming, so it might be highly significant to analyze the constitutive elements of Tanabe’s system of thought from the historical and comparative contexts. (shrink)

In this collection on the Kyoto School of Philosophy, the author offers the reader Tanabe's religious philosophy, but also, and for the first time, his ...

Hajime Tanabe (1885-1962), the Kyoto- School philosopher of modern Japan, attempts to interpret Aristotle's ontology as being involved in the logic of self-identical being without self-negative conversion in action from his own dialectical perspective. For Tanabe, the eternal essence or Form is to be mediated by the dynamic character of matter, i.e., the temporality pertinent to the changing movement. For Aristotle, however, the essence or pure activity as the principle of being is devoid of such a dynamic mediation, but is (...) rather regarded as the past being, i.e., what it should be originally and eternally. In other words, for Aristotle, evil and matter are the lacks of goodness and the eternal Form that are identical with the essence of the individual substance. Evil is to be self-negatively mediated to goodness in free action through conversion in Tanabe's perspective. Movement pertaining to matter is not simply an incompletion of pure activity, but is rather self-negatively converted into the activity as the transcendent principle of the dialectical unification of time and eternity, matter and Form, evil and Goodness. The individual existence has freedom to unify the self-contradistinctive opposed moments, i.e., subjective action and objective being in a way of mutually negating conversion. The difference between Tanabe and Aristotle lies in that for Tanabe practice is relevant to the future, whereas for Aristotle contemplation is concerned with eternity as invariable and imperishable being since the past. While Aristotle's logic is confined to the self-identity of being in contemplation, Tanabe's logic is structured by the triadic elements of individuality, species as the relative universal, and genus as the absolute universal in terms of the negative conversion in action. (shrink)

Hajime Tanabe (1885-1962), the Kyoto- School philosopher of modern Japan, attempts to interpret Aristotle's ontology as being involved in the logic of self-identical being without self-negative conversion in action from his own dialectical perspective. For Tanabe, the eternal essence or Form is to be mediated by the dynamic character of matter, i.e., the temporality pertinent to the changing movement. For Aristotle, however, the essence or pure activity as the principle of being is devoid of such a dynamic mediation, but is (...) rather regarded as the past being, i.e., what it should be originally and eternally. In other words, for Aristotle, evil and matter are the lacks of goodness and the eternal Form that are identical with the essence of the individual substance. Evil is to be self-negatively mediated to goodness in free action through conversion in Tanabe's perspective. Movement pertaining to matter is not simply an incompletion of pure activity, but is rather self-negatively converted into the activity as the transcendent principle of the dialectical unification of time and eternity, matter and Form, evil and Goodness. The individual existence has freedom to unify the self-contradistinctive opposed moments, i.e., subjective action and objective being in a way of mutually negating conversion. The difference between Tanabe and Aristotle lies in that for Tanabe practice is relevant to the future, whereas for Aristotle contemplation is concerned with eternity as invariable and imperishable being since the past. While Aristotle's logic is confined to the self-identity of being in contemplation, Tanabe's logic is structured by the triadic elements of individuality, species as the relative universal, and genus as the absolute universal in terms of the negative conversion in action. (shrink)

Tanabe Hajime, another pole of the so-called Kyoto-School of Philosophy of modern Japan, attempts to construct a dialectical, triadic logic of genus, species and individual as a creative synthesis between Eastern and Western philosophy. Although the formal pattern of his method is influenced by the Hegelian dialectic, the way of his thinking is rather prevailed by Kantian dualism. This makes a sharp contrast to his mentor Nishida Kitaro, whose logic of Topos or Place qua Absolute Nothingness is criticized as all-embracing (...) and static in character by him. The difference between them might be parallel to that of Greek and Latin theology concerning the Trinity. Tanabe never presupposes any preexistent entity as the primordial One in the eternal dimension, but rather maintains the individuality as the free subjective agent in the field of history. The dichotomy between the universal and the individual is overcome in and through the mediation of the third term— the species — as the negatively self-realized, specific form of the genus. The species, however, turns out to be the self-estrangement, when it loses the perpetually negative mediation of the free subjective activity of the individual. (shrink)

Tanabe Hajime, the Kyoto School philosopher of modern Japan, proposes a new idea of the relationship between religion and politics in terms of the triadic logic of species that is motivated by the religious moment of repentance. Even the state existence has the inherently radical evil as in the case of the individual person, due to its duality of the species level of being. This means that the state existence is on the way of actualization of the genus like universality, (...) while always involving in the regression into the past substrative being which prevents it from realizing its own universality. In other words, the state existence is not absolute as such but rather a balanced being between ideality and reality, absolute and relative. This entails that politics is in need of perpetual reformation in connection with the religious act of repentance for sin and evil deeply lurked in human beings from time immemorial. Tanabe’s Logic of Species as the dialectic elucidates the negative mediation of politics and religion from the metanoetic perspective and sheds a new light on the relation of world religion and politics today. (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)

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.

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 propose a new game to strategically justify the constrained equal awards rule in claims problems. Our game is “procedurally fair” and “multilateral”. In addition, even if claimants cannot reach an agreement in any period, they can renegotiate in the next period. We show that, for each claims problem, the awards vector chosen by the constrained equal awards rule achieved at period 1 is the unique subgame perfect equilibrium outcome of the game.

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)

We provide a fine‐grained analysis on the relation between König's lemma, weak König's lemma, and the decidable fan theorem in the context of constructive reverse mathematics. In particular, we show that double negated variants of König's lemma and weak König's lemma are equivalent to double negated variants of the general decidable fan theorem and the binary decidable fan theorem, respectively, over a nearly intuitionistic system containing a weak countable choice only. This implies that the general decidable fan theorem is not (...) equivalent to the binary decidable fan theorem in the absence of a strong countable choice. In addition, we introduce a principle which fills the gap between König's lemma and weak König's lemma, and show that König's lemma is equivalent to weak König's lemma plus this principle. We also solve several problems arising from the investigation. (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.

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)

We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, De Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.

We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf {PA}$ and intuitionistic arithmetic $\mathsf {HA}$. Using a generalized negative translation, we first provide a structured proof of the fact that $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over $\mathsf {HA} + {\Sigma _k}\text {-}\mathrm {LEM}$ where ${\Sigma _k}\text {-}\mathrm {LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma _k$. In addition, we show that this conservation theorem is optimal in the (...) sense that for any semi-classical arithmetic T, if $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over T, then ${T}$ proves ${\Sigma _k}\text {-}\mathrm {LEM}$. In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles. (shrink)

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

Robots that incorporate the function of apologizing have emerged in recent years. This paper examines the moral permissibility of making robots apologize. First, I characterize the nature of apology based on analyses conducted in multiple scholarly domains. Next, I present a prima facie argument that robot apologies are not permissible because they may harm human societies by inducing the misattribution of responsibility. Subsequently, I respond to a possible response to the prima facie objection based on the interpretation that attributing responsibility (...) to a robot is analogous to having an attitude toward fiction. Then, I demonstrate that there are cases of robot apologies where the prima facie objection does not apply, by considering the following two points: (1) apology-related practices found in our human-to-human apologies, and (2) a difference in the degree of harm caused by robot failures and the resulting apologies. Finally, given the current norms governing our apology-related practices, I argue that some instances of making robots apologize are permissible, and I propose conducting critical robotics research questioning the validity of such norms. (shrink)

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

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.

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)

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

The uniform continuity theorem states that every pointwise continuous real‐valued function on the unit interval is uniformly continuous. In constructive mathematics, is strictly stronger than the decidable fan theorem, but Loeb [17] has shown that the two principles become equivalent by encoding continuous real‐valued functions as type‐one functions. However, the precise relation between such type‐one functions and continuous real‐valued functions (usually described as type‐two objects) has been unknown. In this paper, we introduce an appropriate notion of continuity for a modulus (...) of a continuous real‐valued function on [0, 1], and show that real‐valued functions with continuous moduli are exactly those functions induced by Loeb's codes. Our characterisation relies on two assumptions: (1) real numbers are represented by regular sequences (equivalently Cauchy sequences with explicitly given moduli); (2) the continuity of a modulus is defined with respect to the product metric on the regular sequences inherited from the Baire space. Our result implies that is equivalent to the statement that every pointwise continuous real‐valued function on [0, 1] with a continuous modulus is uniformly continuous. We also show that is equivalent to a similar principle for real‐valued functions on the Cantor space. These results extend Berger's [2] characterisation of for integer‐valued functions on and unify some characterisations of in terms of functions having continuous moduli. (shrink)