In this essay I present the philosophy of Nishida Kitarō, the father of the Kyoto School tradition, as an alternative version of transcendental philosophy. While following the steps of Kant and Husserl in important ways, Nishida attempts to take the transcendental approach even further, finally leaving us with a different view of reality that is neither realist nor idealist, but, rather, radically realist. I call this radical transcendental position, “awakened realism”. Due to word limitations, I can only set the stage (...) for further discussion on what kind of implication this may have for transcendental philosophy. But if I succeed in making my presentation clear enough, it should naturally ignite discussion on how far we can radicalize transcendental philosophy without making it into something else. (shrink)

Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter.

In this paper, we explore the traditional conception of a prioricity as epistemic independence of evidence from sense experience. We investigate the fortunes of the traditional conception in the light of recent challenges by Timothy Williamson. We contend that Williamson’s arguments can be resisted in various ways. En route, we argue that Williamson’s views are not as distant from tradition as they might seem at first glance.

La crise de la démocratie d’aujourd’hui a remis en cause la notion même de la solidarité. Le philosophe japonais, Hiroki Azuma, dans Volonté générale 2.0, présente un argument qui repense les conditions de participation et de présence de la politique. En prenant pour fil conducteur la notion rousseauiste de « volonté générale », il essaie de mettre à jour cette notion classique, en se référant au développement de la technologie informatique. Notre article vise à mesurer la portée politico-philosophique de la (...) « volonté générale 2.0 ». (shrink)

Protein ubiquitination constitutes a post‐translational modification mediated by ubiquitin ligases whereby ubiquitinated substrates are degraded through the proteasomal or lysosomal pathways, or acquire novel molecular functions according to their “ubiquitin codes.” Dysfunction of the ubiquitination process in cells causes various diseases such as cancers along with neurodegenerative, auto‐immune/inflammatory, and metabolic diseases. KCTD10 functions as a substrate recognition receptor for cullin‐3 (CUL3), a scaffold protein in RING‐type ubiquitin ligase complexes. Recently, studies by ourselves and others have identified new substrates that are (...) ubiquitinated by the CUL3/KCTD10 ubiquitin ligase complex. Moreover, the type of polyubiquitination (e.g., K27‐, K48‐, or K63‐chain) of various substrates (e.g., RhoB, CEP97, EIF3D, and TRIF) mediated by KCTD10 underlies its divergent roles in endothelial barrier formation, primary cilium formation, plasma membrane dynamics, cell proliferation, and immune response. Here, the physiological functions of KCTD10 are summarized and potential mechanisms are proposed. (shrink)

Jennifer Lackey challenges the sufficiency version of the knowledge-action principle, viz., that knowledge that p is sufficient to rationally act on p, by proposing a set of alleged counterexamples. Her aim is not only to attack the knowledge-action principle, but also to undermine an argument for subject-sensitive invariantism. Lackey holds that her examples are counterexamples to the sufficiency version of the knowledge-action principle because (a) S knows the proposition in question, but (b) it is not rational for S to act (...) on it. In this paper, first, I argue against (a) on intuitive and on theoretical grounds. Second, I point out that (b), even if combined with (a), is not sufficient to make for counterexamples to the knowledge-action principle of the relevant kind. Third, I offer two alternative explanations of the intuition Lackey relies on. If either one of them is right, (b) may not be satisfied in her examples. (shrink)

The intellectual foundation of early modern Japan was provided by Confucianism—a system of knowledge set forth in Chinese classical writings. In order to gain access to this knowledge, the Japanese applied reading markers to modify the original Chinese to fit the peculiarities of Japanese grammar and pronunciation. Confucian education started by having the children memorize these Japanese readings of the Chinese classics by endless recitation. This article will examine the significance of this study method in order to demonstrate the following: (...) 1. The recitation of the Chinese classics led to these texts being ‘incorporated’ into the body, where they become the ‘intellectual language’ of thought and speech. 2. This quality of ‘incorporation’ was appreciated because it fostered the unity of thought and behavior, leading to the formation of a strong-willed subject. 3. This idea of ‘incorporation’ stands in stark contrast to the modern conception of knowledge that stresses objectivity and transparency, and ignores the pedagogical significance of the body. (shrink)

Konrad Lorenz, an ethologist, proposed that certain physical elements are perceived as cute and induce caretaking behavior in other individuals, with the evolutionary function of enhancing offspring survival. He called these features Kindchenschema, baby schema. According to his introspection, these include a large forehead, chubby round features, and chubby cheeks. Previous studies are limited to examining the effects of these facial features on perceived cuteness. However, other morphological factors may be related to perceived cuteness. This study uses Bayesian optimization, one (...) of the global sequential optimization methods for estimating unknown functions, to search for facial morphological features that enhance the perceptions of facial cuteness. We applied Bayesian optimization incorporating Gaussian process ordinal regression, which allows an estimation of the latent cuteness function based on evaluations using the Likert scale. A total of 96 preschool children provided the facial images used in this study. We summarized the facial shape variations using methodologies of geometric morphometrics and principal component analysis up to the third principal component, which we refer to as the face space. A total of 40 participants evaluated the images created by warping the average facial texture of the children's faces with randomly generated parameters in the face space. Facial traits related to perceived cuteness were estimated based on the averaged cuteness function. Perceived cuteness was linked to the relative lower position of facial components and narrower jawline but not to the forehead height. (shrink)

The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...) Rathjen, who invoked the full form of fullness. To further generalise this, we look at Richman's method to complete an arbitrary metric space without sequences, which he designed to avoid countable choice. The completion of a separable metric space turns out to be a set even if the original space is a proper class; in particular, every complete separable metric space automatically is a set. (shrink)

Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary refinement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary refinement implies that the class of detachable subsets of a set form a set. Binary refinement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was sufficient to prove that the (...) Dedekind reals form a set. Here we show that the Cauchy reals also form a set. More generally, binary refinement ensures that one remains in the realm of sets when one starts from discrete sets and one applies the operations of exponentiation and binary product a finite number of times. (shrink)

BackgroundThe objective of this study was to describe, through measurement of physical activity and observation of free outdoor play, the relation between children’s free play and the spatial layout of the playground. To accomplish this, we altered the spatial layout of the same playground to see how the layout affects the play activity and the physical activity levels in the same children.MethodsParticipants were six young children. Participants’ physical activity level and the duration of different types of action that occurred in (...) each area and their transitions were compared before and after the alteration of the play-equipment layout using the data from accelerometers and video recordings.ResultsA significant increase in physical activity occurred after the spatial layout alteration, which was related to action differences. Before the alteration, children tended to play in a similar manner for a given play area; however, after the alteration, pronounced interindividual variation in play activity across children was observed.ConclusionThe present pilot study found that in free play situations in the outdoor playground, the spatial layout of playground affects the pattern of play activity and the physical activity levels of young children. (shrink)

The generality problem is usually taken to arise only for externalist theories of knowledge or justification. In this paper, first, I argue that even internalist theories run afoul of a variant of the generality problem. This is because S may have multiple pieces of evidence concerning the reliability of the token process by which S forms the belief in question, and they determine the degree of Sʼs internalist justification differently. Second, I offer a solution to the generality problem for internalist (...) theories: Sʼs practical reason rather than epistemic reason picks out a piece of evidence concerning reliability as relevant. (shrink)

In this paper, first, I distinguish four questions concerning evidence: (a) the ontological question: what kind of entity qualifies as evidence? (b) the possession question: what is it for S to possess evidence? (c) the evidential relation question: what is it for one or a set of things to be evidence for another? And (d) the evidential basis question: how does S’s evidence contribute to forming, maintaining, or revising S’s doxastic attitudes? Williamson’s E = K thesis is only concerned with (...) question (b). Next, I argue that three recent arguments against the E = K thesis miss the target either because they combine the E = K thesis with something alien, or because they conflate these questions. The arguments I address are the argument from access to evidence, the argument from evidential bootstrapping, and the argument from true belief based on falsehood. The argument from access to evidence combines the E = K thesis with a quasi-skeptical consideration. The argument from evidential bootstrapping is only directed at Williamson’s theory of probability, which is his answer to question (c). The argument from true belief based on falsehood derives its force from an assumption about the basing relation as an answer to question (d). Although I do not deny that it is possible to argue for or against the E = K thesis by appealing to answers to other questions than (b), it is no easy task. (shrink)

In this paper, first, I briefly discuss various types of obstacles and difficulties for cross-cultural study and in particular failure of translational equivalence of linguistic stimuli and questions by referring to the literature in cultural psychology. Second, I summarize the extant cross-cultural studies of semantic judgments about reference and truth-value with regard to proper names, with a focus on Sytsma et al.’s (2015) study that examined the differences between English and Japanese. Lastly, I introduce and discuss the two recent studies (...) of semantic judgments in Japanese that my colleagues and I conducted. These two studies suggest that the translation Sytsma et al. used failed to consider the linguistic features characteristic of Japanese and other East Asian languages, and thereby failed to ensure translational equivalence. (shrink)

Virtue epistemology has it that knowledge is a kind of success through ability, and explains the value of knowledge in terms of the general value of success through ability. However, Duncan Pritchard, in a series of recent writings, argues that knowledge is not merely a success through ability, and the virtue-theoretic explanation of the value of knowledge fails. He derives general claims about what he calls ‘environmental luck’ from certain examples, and uses them against virtue epistemology. First, I propose counterexamples (...) to Pritchard’s general claims about environmental luck. Second, I offer a diagnosis of both Pritchard’s and my examples, according to which they differ as to how many abilities are responsible for the performance in question. Different structures of performance make for different conditions for success to be fully creditable to a subject. Once this is taken account of, virtue epistemology can deal with all the examples, while maintaining its main tenet that the value of knowledge is explained in terms of the value of success through ability. Third, I show that my response to Pritchard’s argument against virtue epistemology is more plausible then the ones offered by John Greco and Ernest Sosa. (shrink)

We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion (...) of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID. (shrink)

Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...) we give a short and elementary proof of the fact that FAN is equivalent to each positive valued function with compact domain having positive infimum. (shrink)

We introduce the notion of a convex tree. We show that the binary expansion for real numbers in the unit interval ) is equivalent to weak König lemma ) for trees having at most two nodes at each level, and we prove that the intermediate value theorem is equivalent to \ for convex trees, in the framework of constructive reverse mathematics.

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.

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

ZusammenfassungIm Mittelpunkt des Beitrags steht die Übertragung ausgewählter Kapitel aus den 1955 niedergelegten autobiographischen Erinnerungen des japanischen Bakteriologen Taichi Kitashima, in denen Kitashima stark persönlich gefärbt über seinen Aufenthalt in Marburg berichtet. Wie andere japanische Mediziner seiner Generation verbrachte Kitashima mehrere Jahre in Deutschland, um dort bei dem Serumforscher Emil von Behring zu arbeiten und sich weiterzubilden. Der Kontakt war über Kitashimas Lehrer Shibasaburô Kitasato zustande gekommen, mit dem Behring in Berlin über Fragen der Immunologie geforscht hatte. Im „Kommentar“ wird (...) diskutiert, inwieweit die von Kitashima in der zeitlichen Distanz von 50 Jahren getroffene Einschätzung des Deutschlandaufenthalts als „vergeudete Zeit“ als zutreffend anzusehen ist, welche Vorteile ihm aus den europäischen Kontakten, zu denen auch Begegnungen im Pariser Pasteur-Institut gehörten, erwuchsen und aus welchen Gründen sie im Nationalsozialismus wiederbelebt wurden. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 73-84 [Access article in PDF] Music-Picture:One Form of Synthetic Art Education"Music-picture (a picture drawn through musical perception)" has been widely accepted by art educators in Japan. The purpose of this essay is to propose the making of music-pictures as art education and to put it on afirm theoretical base. I first investigate three gestalt rules: adjacency, continuance, and resemblance, all of which (...) are applicable to the senses of both seeing and hearing. Next I present research on color hearing as one version ofsynaesthesia, which is the comprehensive faculty that binds the five senses in various ways. The well-organized music-picture program by Kaoru Sasaki 1 is introduced as an example. 2 The synthetic art-educational value of music-picture will become clearer through these examinations. The Interrelations between Visual Arts and Music It is exciting that the visual arts meet music in an art class, even if these subjects are entirely different in regard to media, expressive form, the category of perception, and mastery of techniques. Put simply, Picasso's works are visible, whereas Stravinsky's pieces are invisible. Nevertheless, both powerfully convey imaginative and often narrative messages. Relying on intuition alone, I firmly believe both are interchangeable.My research on common methods of organizing both recorded music and painting was my first observation of the mutual relationship between music and visual arts. 3 But what I considered then would not be applied to art class directly because the research was based on my practical experience. It did not have any educational goals. Now I recognize that instructive approaches are necessary to lay the foundation for art classes dealing with interaction between two distinct modalities.In Japan, the Ministry of Education and Science provides the government curriculum guidelines nearly every ten years. It contains descriptions on two subjects: The visual arts and music taught in these classes are at an elementary school level and a junior high school level, both located within a compulsory education system. The new version has been in force since April 2002 (the new school term starts in April in Japan). Objectives in the two educational fields are similar and ideas of what art and music education ought to be are almost the same. The aim common to both in the government curriculum guidelines: "Through expression and appreciation, we [End Page 73] cultivate students' sentiments" invites the linking of music and the visual arts across the curriculum.Many art educators in Japan are interested in this sort of idea and have actually put it into practice. 4 They are engaged in interrelating or even unifying music and the visual arts. Additionally I know other teachers who have designed and proposed many ideas toward this crossover. Listed below are general ideas that seek to combine visual arts with music in an art class.1) Music-picture: to make a pictorial description of impressions received from music.2) Sound map: to make a map of sounds heard at a given location. Each sound is visualized by simple marks like - - -, <<<, ~~~, ooo, and xxx.3) Graphic notation: to write a score which directs the details, whole form, and progression of music by graphics instead of staff notation. Using onomatopoeias or instructions by words are common. It can be improvised, based on intuitively translating visual impacts into sounds.4) Sound toy: to make an original musical instrument of familiar easil obtained materials. For instance, a corrugated cardboard ukulele whose strings are rubber bands, a pair of maracas made of empty cans and soybeans, and so forth.5) Sound sculpture: to make sculpture producing interesting sounds (sometimes noises like creak or clatter). Extensive genres: wood sculpture, metal construction, assemblage (junk arts), kinetic arts, and so on.6) Sound installation: to make a place where participants experience sounds generated by objects or equipment.7) Multimedia: in the broad sense, to mix visuals with music; noises like jingle, tap, and bang! in daily life, or natural environmental sounds like a pit-a-pat of falling rain, a whisper of leaves, or... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 73-84 [Access article in PDF] Music-Picture:One Form of Synthetic Art Education"Music-picture (a picture drawn through musical perception)" has been widely accepted by art educators in Japan. The purpose of this essay is to propose the making of music-pictures as art education and to put it on afirm theoretical base. I first investigate three gestalt rules: adjacency, continuance, and resemblance, all of which (...) are applicable to the senses of both seeing and hearing. Next I present research on color hearing as one version ofsynaesthesia, which is the comprehensive faculty that binds the five senses in various ways. The well-organized music-picture program by Kaoru Sasaki 1 is introduced as an example. 2 The synthetic art-educational value of music-picture will become clearer through these examinations. The Interrelations between Visual Arts and Music It is exciting that the visual arts meet music in an art class, even if these subjects are entirely different in regard to media, expressive form, the category of perception, and mastery of techniques. Put simply, Picasso's works are visible, whereas Stravinsky's pieces are invisible. Nevertheless, both powerfully convey imaginative and often narrative messages. Relying on intuition alone, I firmly believe both are interchangeable.My research on common methods of organizing both recorded music and painting was my first observation of the mutual relationship between music and visual arts. 3 But what I considered then would not be applied to art class directly because the research was based on my practical experience. It did not have any educational goals. Now I recognize that instructive approaches are necessary to lay the foundation for art classes dealing with interaction between two distinct modalities.In Japan, the Ministry of Education and Science provides the government curriculum guidelines nearly every ten years. It contains descriptions on two subjects: The visual arts and music taught in these classes are at an elementary school level and a junior high school level, both located within a compulsory education system. The new version has been in force since April 2002 (the new school term starts in April in Japan). Objectives in the two educational fields are similar and ideas of what art and music education ought to be are almost the same. The aim common to both in the government curriculum guidelines: "Through expression and appreciation, we [End Page 73] cultivate students' sentiments" invites the linking of music and the visual arts across the curriculum.Many art educators in Japan are interested in this sort of idea and have actually put it into practice. 4 They are engaged in interrelating or even unifying music and the visual arts. Additionally I know other teachers who have designed and proposed many ideas toward this crossover. Listed below are general ideas that seek to combine visual arts with music in an art class.1) Music-picture: to make a pictorial description of impressions received from music.2) Sound map: to make a map of sounds heard at a given location. Each sound is visualized by simple marks like - - -, <<<, ~~~, ooo, and xxx.3) Graphic notation: to write a score which directs the details, whole form, and progression of music by graphics instead of staff notation. Using onomatopoeias or instructions by words are common. It can be improvised, based on intuitively translating visual impacts into sounds.4) Sound toy: to make an original musical instrument of familiar easil obtained materials. For instance, a corrugated cardboard ukulele whose strings are rubber bands, a pair of maracas made of empty cans and soybeans, and so forth.5) Sound sculpture: to make sculpture producing interesting sounds (sometimes noises like creak or clatter). Extensive genres: wood sculpture, metal construction, assemblage (junk arts), kinetic arts, and so on.6) Sound installation: to make a place where participants experience sounds generated by objects or equipment.7) Multimedia: in the broad sense, to mix visuals with music; noises like jingle, tap, and bang! in daily life, or natural environmental sounds like a pit-a-pat of falling rain, a whisper of leaves, or... (shrink)

We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.

Machery et al. presented data suggesting the existence of cross-cultural variation in judgments about the reference of proper names. In this paper, we examine a previously overlooked confound in the subsequent studies that attempt to replicate the results of Machery et al. using East Asian languages. Machery et al. and Sytsma et al. claim that they have successfully replicated the original finding with probes written in Chinese and Japanese, respectively. These studies, however, crucially rely on uses of articleless, ‘bare noun (...) phrases’ in Chinese and Japanese, which according to the linguistic literature are known to be multiply ambiguous. We argue that it becomes questionable whether the extant studies using East Asian languages revealed genuine cross-cultural variation when the probes are reevaluated based on a proper linguistic understanding of Chinese and Japanese bare noun phrases and English definite descriptions. We also present two experiments on native Japanese speakers that controlled the use of ambiguous bare noun phrases, the results of which suggest that the judgments of Japanese speakers concerning the reference of proper names may not diverge from those of English speakers. (shrink)

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

In this note, we prove that certain theories of (many‐sorted) intuitionistic predicate logic are closed under the independence of premiss rule (IPR). As corollaries, we show that and extended by some non‐classical axioms and non‐constructive axioms are closed under IPR.

Consider the problem which set V of propositional variables suffices for whenever, where, and ⊢c and ⊢i denote derivability in classical and intuitionistic implicational logic, respectively. We give a direct proof that stability for the final propositional variable of the (implicational) formula A is sufficient; as a corollary one obtains Glivenko's theorem. Conversely, using Glivenko's theorem one can give an alternative proof of our result. As an alternative to stability we then consider the Peirce formula. It is an easy consequence (...) of the result above that adding a single instance of the Peirce formula suffices to move from classical to intuitionistic derivability. Finally we consider the question whether one could do the same for minimal logic. Given a classical derivation of a propositional formula not involving ⊥, which instances of the Peirce formula suffice as additional premises to ensure derivability in minimal logic? We define a set of such Peirce formulas, and show that in general an unbounded number of them is necessary. (shrink)

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism.

We give a variant of the Gödel-Gentzen-negative translation, and a syntactic characterization which entails conservativity result for formulas.