Grammatical gender is independent of biological sex for the majority of animal names (e.g., any giraffe, be it male or female, is grammatically treated as feminine). However, there is apparent semantic motivation for grammatical gender classes, especially in mapping human terms to gender. This research investigated whether this motivation affects deductive inference in native German speakers. We compared German with Japanese speakers (a language without grammatical gender) when making inferences about sex-specific biological properties. We found that German speakers tended to (...) erroneously draw inferences when the sex in the premise and grammatical gender of the target animal agreed. An over-generalization of the grammar–semantics mapping was found even when the sex of the target was explicitly indicated. However, these effects occurred only when gender-marking articles accompanied the nouns. These results suggest that German speakers project sex-specific biological properties onto gender-marking articles but not onto conceptual representations of animals per se. (shrink)

エンジニアの「知」は21世紀を拓けるか。モノを「つくる」とは、どういうことか。技術者の心に由来する「知」のありように迫る。技術における「知」の現代性を確認する。.

1-2. Sōkō -- 3. Katō Hiroyuki kōen zenshū ; Shizen to rinri ; Kokka no tōchiken ; Sekininron ; Jinsei no shizen to waga kuni no zento.

This collection of classic works from the mid-nineteenth through mid-twentieth centuries was originally published under the auspices of the Royal Asiastic Society. Spanning over 100 years in oriental scholarship, primary texts include work by Frederic Rosen, W.F. Thompson, C. Edward Sachau, R.A. Nicholson, W.H.T. Gairdner, W.M. Miller, James Robson, and many others.

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite model property for related substructural logics also follow by our (...) method. In particular, we shall show that the property holds for all of FL and GL$^-$-systems except FL$_c$ and GL$^-_c$ of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

Previous research found that application of eyeshadow on the upper eyelids induces overestimation of eye size. The present study examined whether this eyeshadow illusion is dependent on or independent of viewpoint. We created a three-dimensional model of a female face and manipulated the presence/absence of eyeshadow and face orientation around the axis of yaw (Experiment 1) or pitch (Experiment 2) rotation. Using the staircase method, we measured perceived eye size for each face stimulus. Results showed that the eyeshadow illusion occurred (...) regardless of face orientation around axes of both yaw and pitch rotations. Crucially, the illusion’s magnitude did not vary across face orientations; lack of interaction between the illusion’s magnitude and face orientation was confirmed by small values of Bayes factors. These findings ruled out the hypothesis that eyeshadow serves as a depth cue and leads to overestimation of eye size due to size-distance scaling. Alternatively, the present findings suggest that the eyeshadow illusion can be well explained by the assimilation between the eyes and eyeshadow, which also facilitates assimilation between the eyes and eyebrows. Practical implications and the present findings’ generalizability are also discussed. (shrink)

We study the dynamics of a vortex in superfluid He4. This is carried out by deriving the effective Lagrangian for the center of the vortex by starting with the time-dependent Ginzburg-Landau formalism. From the resultant equation of motion for a vortex, we arrive at a novel aspect for the Magnus force which has long been known in fluid dynamics. This force has a geometric origin and is expected to occur in other form of condensates such as vortex excitations for quantum (...) Hall fluids or ferromagnets. We also consider the force of non geometric origin, the pinning force coming from the impurity. (shrink)

The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...) The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics. (shrink)

In this paper, we would present an overview of the recent studies on the role of diagram in mathematics. Traditionally, mathematicians and philosophers had thought that diagram should not be used in mathematical proofs, because relying on diagram would cause to various types of fallacies. But recently, some logicians and philosophers try to show that diagram has a legitimate place in proving mathematical theorems. We would review such trends of studies and provide some perspective from viewpoint of philosophy of mathematics.

Actomyosin (actin‐myosin II complex)‐mediated contractile forces are central to the generation of multifaceted uni‐ and multi‐cellular material properties and dynamics such as cell division, migration, and tissue morphogenesis. In the present article, we summarize our recent researches addressing molecular mechanisms that ensure actomyosin‐mediated directional cell–cell junction remodeling, either shortening or extension, driving cell rearrangement for epithelial morphogenesis. Genetic perturbation clarified two points concerning cell–cell junction remodeling: an inhibitory mechanism against negative feedback in which actomyosin contractile forces, which are well known (...) to induce cell–cell junction shortening, can concomitantly alter actin dynamics, oppositely leading to perturbation of the shortening; and tricellular junctions as a point that organizes extension of new cell–cell junctions after shortening. These findings highlight the notion that cells develop underpinning mechanisms to transform the multi‐tasking property of actomyosin contractile forces into specific and proper cellular dynamics in space and time. (shrink)

日本朱子学、日本陽明学、徂徠学、幕末思想など、代表的な思想家たちの歴史観/政治観を軸に近世を俯瞰する著者の代表研究。.

This article constructs a static model of information acquisition when the agent does not know exactly what pieces of information he is missing. A representation of preferences over information channels and menus of lotteries is shown by adapting the model of unforeseen contingencies by Dekel et al. (Econometrica 69:891–934, 2001; Econometrica 75:591–600, 2007), which is an extension of Kreps (Econometrica 47:565–576, 1979; Economic analysis of markets and games: essays in honor of Frank Hahn, 1992). Also, characterisation of informativeness of an (...) information channel analogous to the one by Blackwell (Ann Math Stud 24:265–272, 1953) is examined in conjunction with the preference for flexibility by applying the structure of Shapley value. (shrink)

簡潔性、実用性に卓越したQuineの『方法』を詳説、それに基づきG ̈odelやChurchの定理を含む、標準的な論理学を厳密に展開する。また、認識論理学の「自然演繹法」化の、1つの可能性を提案する。更に、「超実数」の必要性を強調し、それにより種々のアポリア(パラドッ クス等)の解明を試みる。.