Recent insights reveal the significant role of TRPV3 in warmth sensation. A novel finding elucidated how thermosensation is affected by TRPV3 membrane abundance that is modulated by the transmembrane protein TMEM79. TRPV3 is a warmth‐sensitive ion channel predominantly expressed in epithelial cells, particularly skin keratinocytes. Multiple studies investigated the roles of TRPV3 in cutaneous physiology and pathophysiology. TRPV3 activation by innocuous warm temperatures in keratinocytes highlights its significance in temperature sensation, but whether TRPV3 directly contributes to warmth sensations in vivo (...) remains controversial. This review explores the electrophysiological and structural properties of TRPV3 and how modulators affect its intricate regulatory mechanisms. Moreover, we discuss the multifaceted involvement of TRPV3 in skin physiology and pathology, including barrier formation, hair growth, inflammation, and itching. Finally, we examine the potential of TRPV3 as a therapeutic target for skin diseases and highlight its diverse role in maintaining skin homeostasis. (shrink)

We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...) Paradox in this framework. Furthermore, we define explicit and implicit self-reference in paradoxes in the incompleteness phenomena. (shrink)

The issue of justice after catastrophe is an enormous challenge to contemporary theories of distributive justice. In the past three decades, the controversy over distributive justice has centered on the ideal of equality. One of intensely debated issues concerns what is often called the “equality of what,” on which there are three primary views: welfarism, resourcism, and the capabilities approach. Another major point of dispute can be termed the “equality or another,” about which three positions debate: egalitarianism, prioritarianism, and sufficientarianism. (...) On these topics of distributive justice, authors are concerned with the current difference between the better-off and the worse-off or the present situation of the badly-off. By contrast, it is essential to take account of the past distribution of well-being as well as the present situation in order to explore questions of post-catastrophe justice. Without looking at the pre-disaster distribution of income, preference satisfaction, or basic capabilities among affected people, no present assessment of the damage caused by the disaster could be correct and no proposed remedy adequate. It is true that luck egalitarians assess the current distribution among people by referring to the decision that each individual made. Yet they pay scant attention to the situation in which each one stayed in the past. Therefore, we can legitimately say that most theorists of distributive justice, including luck egalitarians, have failed to give consideration to the past state of each person. -/- To fill this gap in the literature, the present article explores philosophical questions that arise when we take account of each person’s past and present situations in discussing distributive justice regarding public compensation and assistance to survivors and families of victims of natural and industrial disasters. In addressing these novel questions, I develop and refine various concepts, ideas, and arguments that have been presented in the study of distributive justice in normal settings. I tackle two tasks, the first of which is to explore the foundation and scope of luck egalitarianism. Despite the moral appeal it has in many cases, luck egalitarianism has attracted the so-called harshness objection. Some luck egalitarians attempt to avoid this objection in a pragmatic way by combining the luck egalitarian doctrine with the principle of basic needs satisfaction. However, they do not provide any systematic rationale for this combination. In contrast with such pragmatic responses, I seek to offer a principled argument for holding individuals responsible for their choices only when their basic needs are met, by invoking the ideas of respect for human voluntariness and rescue of human vulnerability. Based on this argument, I propose a form of responsibility-sensitive theory, which considers the pre-disaster distribution of well-being as a default position. The second task I take on is to refine sufficientarianism in the context of post-catastrophe justice. Luck egalitarianism with boundaries set by the basic needs principle seems to indicate the potential for sufficientarianism. But major proponents of this view conceive the welfarist assumption, a considerably high standard of well-being, and the controversial treatment of persons staying below the threshold, all of which seem problematic in the post-disaster situation. I try to construct a new version of sufficientarianism by replacing these current features with more robust ones. (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.

Akama et al. [1] introduced a hierarchical classification of first-order formulas for a hierarchical prenex normal form theorem in semi-classical arithmetic. In this paper, we give a justification for the hierarchical classification in a general context of first-order theories. To this end, we first formalize the standard transformation procedure for prenex normalization. Then we show that the classes $$\textrm{E}_k$$ and $$\textrm{U}_k$$ introduced in [1] are exactly the classes induced by $$\Sigma _k$$ and $$\Pi _k$$ respectively via the transformation procedure in (...) any first-order theory. (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 ...

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)

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.

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)

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)

This article challenges claims that the Japanese neologism shūkyō lacked an established nature prior to the twentieth century and had little to do with experiences of the urban masses. It accordingly problematizes the term as a largely legal concept, highlighting historical newspapers as underutilized sources that offer insight into Meiji popular discourse and attendant conceptualizations of “religion.” This article endorses a shift in both our chronological understanding of shūkyō’s conceptual history as well as its sociocultural mobility. By expanding the milieu (...) understood as being familiar with debates on a range of “religious” issues, this article thereby offers a counter-narrative in which regular use of shūkyō begins to clearly emerge from the mid-1880s, exponentially increasing with the following decades. (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.

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)

Involuntary eye movement during gaze fixation, referred to as fixational eye movement, consists of two types of components: a Brownian motion like component called drifts-tremor and a ballistic component called microsaccade with a mean saccadic amplitude of about 0.3° and a mean inter-MS interval of about 0.5 s. During GZ fixation in healthy people in an eccentric position, typically with an eccentricity more than 30°, eyes exhibit oscillatory movements alternating between centripetal drift and centrifugal saccade with a mean saccadic amplitude (...) of about 1° and a period in the range of 0.5–1.0 s, which has been known as the physiological gaze-evoked nystagmus. Here, we designed a simple experimental paradigm of GZ fixation on a target shifted horizontally from the front-facing position with fewer eccentricities. We found a clear tendency of centripetal DRT and centrifugal MS as in GEN, but with more stochasticity and with slower drift velocity compared to GEN, even during FEM at GZ positions with small eccentricities. Our results showed that the target shift-dependent balance between DRT and MS achieves the GZ bounded around each of the given targets. In other words, GZ relaxes slowly with the centripetal DRT toward the front-facing position during inter-MS intervals, as if there always exists a quasi-stable equilibrium posture in the front-facing position, and MS actions pull GZ intermittently back to the target position in the opposite direction to DRT. (shrink)

Among various views on intergenerational justice, the most widely accepted theory invokes the rights of future generations. However, the rights theory seems to suffer from the non-identity problem addressed by Derek Parfit. Some rights theorists attempt to circumvent the problem by examining causal links between actions taken by preceding generations and their effects on succeeding ones. Others try to do so by replacing future individual rights with such collective rights. This paper argues that both individualist and collectivist versions of the (...) rights theory fail to supply grounds for intergenerational concern. The paper then offers an alternative theory that refines the idea of duty of fair play developed by John Rawls and applies it to the context of intergenerational relationships. To begin with, I identify several characteristics of posterity and explicate the adverse implications these characteristics have for other major theories of intertemporal concern than the rights theory. Next, different versions of the rights theory are closely examined from the perspective of the non-identity problem. Then, I offer an alternative argument for caring about future people, which is founded on the idea of intergenerational fair play. This paper concludes by noting that the fairness theory, unlike its rivals, does not face the non-identity problem or any other problems stemming from the features of posterity previously identified. (shrink)

One of the primary views on our supposed obligation towards our descendants in the context of environmental problems invokes the idea of the rights of future generations. A growing number of authors also hold that the descendants of those victimized by historical injustices, including colonialism and slavery, have the right to demand financial reparations for the sufferings of their distant ancestors. However, these claims of intergenerational rights face theoretical difficulties, notably the non-identity problem. To circumvent this problem in a relationship (...) between present and future generations, some rights theorists replace future individual rights with such collective rights. Others advance the threshold conception of harm in discussing intergenerational relationships in general. Despite the significant implications these revisionist views might have, few efforts have been made to scrutinize their solidity. To plug such a gap in the literature, this paper examines to what extent the collective understanding of intergenerational rights is pertinent. I also explore the virtues and drawbacks of the threshold interpretation of harm. The paper concludes by suggesting that the motivation behind these and other versions of the rights theory suffers from the ambiguity of a traditional dichotomy between perfect and imperfect duties. (shrink)

One of the primary views on our supposed obligation towards our descendants in the context of environmental problems invokes the idea of the rights of future generations. A growing number of authors also hold that the descendants of those victimized by historical injustices, including colonialism and slavery, have the right to demand financial reparations for the sufferings of their distant ancestors. However, these claims of intergenerational rights face theoretical difficulties, notably the non-identity problem. To circumvent this problem in a relationship (...) between present and future generations, some rights theorists replace future individual rights with such collective rights. Others advance the threshold conception of harm in discussing intergenerational relationships in general. Despite the significant implications these revisionist views might have, few efforts have been made to scrutinize their solidity. To plug such a gap in the literature, this paper examines to what extent the collective understanding of intergenerational rights is pertinent. I also explore the virtues and drawbacks of the threshold interpretation of harm. The paper concludes by suggesting that the motivation behind these and other versions of the rights theory suffers from the ambiguity of a traditional dichotomy between perfect and imperfect duties. (shrink)

Hiromatsu Wataru’s philosophical thought revolves around an analysis of what he calls the “fourfold structure.” According to Hiromatsu, all phenomena in the world are structured in such a fourfold manner that “a given presents itself as something to someone as Someone,” and these four moments of the phenomenon are not independent elements, but exist only as terms of the functional relationship. This paper surveys and critically examines this theory of the fourfold structure, and shows, in particular, how this theory, while (...) largely presented as synchronic structural analysis, contains some conceptual motifs going beyond the synchronic framework. Specifically, with a focus on the process in which there arises a meaning common to different phenomenal givens and to different knowers, my analysis suggests the way in which phenomena are dynamically structured and thereby displaced in meaning as well as in the knowers’ role relationship. (shrink)

In his project of going beyond the “modern worldview,” Hiromatsu Wataru attached great importance to Ernst Mach’s philosophical thought and Einstein’s theory of relativity as challenging the premises of modern philosophy, which he characterized as substantialist and bound by the subject / object schema. This paper surveys Hiromatsu’s analysis of Mach’s phenomenalist element-monism, specifically his critique of Mach’s insufficient break with modern philosophy; his inquiry into Einstein’s relativity theory with a focus on its intersubjective cognitive structure; and the way he (...) extends his views on these themes to a general ontological-epistemological theory of the “fourfold structure.” Finally, it examines questions about Hiromatsu’s arguments regarding the tension between the dimensions of synchronic structure and structuring movement. An earlier version of this paper can be found as “Philosophers” in John T. Blackmore, Itagaki Ryōichi, and Tanaka Setsuko, eds., Ernst Mach’s Influence Spreads, 425–76. (shrink)