Through numbers of studies on the formation of equivalence relations and causal induction, it is known that human beings tend to consider conditional statements ``if p then q " as biconditional statements ``if and only if p then q ": we call the tendency to perceive ``if p then q " as ``if q then p " the ``symmetry bias". On the other hand, many studies on children's word learning have pointed out that children tend to expect each object has (...) only one label. This is so-called the ``mutual exclusivity bias". This bias implies. (shrink)

ブッダとは誰か?仏教とは何か?3・11の震災後の言葉を探して仏教に問いかける―仏教と真剣に向き合う僧侶、研究者との対話を通して、仏教の「新しいいま」が見えてくる。.

Going beyond the theory/practice and discourse/matter divides -- Learning and becoming in an onto-epistemology -- The tool of pedagogical documentation -- An intra-active pedagogy and its dual movements -- Transgressing binary practices in early childhood teacher education -- The hybrid-writing-process: going beyond the theory/practice divide in academic writing -- An ethics of immanence and potentialities for early childhood education.

This study examined the ability to comprehend conventional and non-conventional implicatures, and the effect of proficiency and learning context on comprehension of implicature in L2 Chinese. Participants were three groups of college students of Chinese: elementary-level foreign language learners, advanced-level foreign language learners, and advanced-level heritage learners. They completed a 36-item computer-delivered listening test measuring their ability to comprehend three types of implicature: conventional indirect refusals, conventional indirect opinions, and non-conventional indirect opinions. Comprehension was analyzed for accuracy and comprehension speed. (...) There was a significant effect of implicature type on accuracy, but not on comprehension speed. A significant effect of participant group was observed on accuracy, but the effect was mixed on comprehension speed. (shrink)

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

In this paper, I propose a possible reinterpretation of phenomenology using a newly defined concept of ‘mediation.’ First, I address the question: What are the ‘things themselves’ that are given as the result of the phenomenological epoché? I would answer that they are neither material objects nor merely subjective experiences, but rather specific occurrences of ‘mediations.’ Second, under the influence of the Japanese philosopher Hajime Tanabe, I will define ‘mediation’ as a non-separable occurrence of differentiating and connecting. Third, I shall (...) claim that the concept of ‘phenomenon’ itself should be reinterpreted in terms of its character of mediation. Then, I will discuss central issues in phenomenology such as intentionality, time, and intersubjectivity in order to test the applicability of the proposed concept of mediation. To conclude, I shall summarize the potential of the idea that phenomenology can be reinterpreted using the concept of mediation. (shrink)

We extend natural deduction for first-order logic (FOL) by introducing diagrams as components of formal proofs. From the viewpoint of FOL, we regard a diagram as a deductively closed conjunction of certain FOL formulas. On the basis of this observation, we first investigate basic heterogeneous logic (HL) wherein heterogeneous inference rules are defined in the styles of conjunction introduction and elimination rules of FOL. By examining what is a detour in our heterogeneous proofs, we discuss that an elimination-introduction pair of (...) rules constitutes a redex in our HL, which is opposite the usual redex in FOL. In terms of the notion of a redex, we prove the normalization theorem for HL, and we give a characterization of the structure of heterogeneous proofs. Every normal proof in our HL consists of applications of introduction rules followed by applications of elimination rules, which is also opposite the usual form of normal proofs in FOL. Thereafter, we extend the basic HL by extending the heterogeneous rule in the style of general elimination rules to include a wider range of heterogeneous systems. (shrink)

One influential positive argument for moral realism is the Explanatory Indispensability Argument. A crucial premise of this argument is the explanatory relevance of moral properties. On this premise, moral properties, such as wrongness, rightness, courage, and cowardice, are explanatorily indispensable to some empirical phenomena. Although there has been a lively debate on this premise, one crucial challenge to this thesis, what I call the Scientific Standard Challenge, has not been properly discussed. After explaining this challenge and a related concern, I (...) argue that in response to this central challenge, the proponents of the argument should take what I call the localist turn to defend the explanatory indispensability of moral properties. The localist turn encourages the defenders of moral explanations to be more sensitive to the nature of each moral explanation. For instance, some moral explanations are explanations of social matters, so the standards they need to meet are provided by relevant branches of the social sciences. On the other hand, some other moral explanations are about our psychology, so the theoretical standards those explanations need to meet should come from psychology. I illustrate how this localist project can be conducted in the case of the moral explanation that appeals to injustice. I argue that the field of comparative politics provides the theoretical standards moral explanations of institutional change need to meet. I shall then illustrate how a sophisticated moral explanation can meet those theoretical standards and how this moral explanation can be strong evidence of injustice’s explanatory indispensability. (shrink)

This paper demonstrates an empirical analysis of the visual order of membership categories in a way consistent with both an early ethnomethodological research interest and recent arguments in membership categorization analysis. Early ethnomethodological studies have highlighted that we can infer and understand the membership categories of observed people about whom we have no information in advance, even without talking to them. Recent membership categorization analysts have argued the methodological importance of using video data. Given this, fictional films serve as video (...) data to advance the investigation into the visual order of membership categories since audiences do not know the fictional characters’ information in advance and cannot talk to them. We analyze how potential audiences understand fictional characters’ membership categories and how production crew members organize the visual and conversational order of membership categories. The analysis illustrates that our practical inferences of fictional characters’ membership categories are based on conversations among characters and visually available information. Such visually available information includes environments and lighting, as well as characters’ clothes, body orientations, facial expressions, and physical distance from each other. In other words, production crew members of fictional films design the visual and conversational order for remote audiences by arranging visually available information and fictional characters’ conversations. The findings provide insights into the “possible correctness” and “defeasibility” of membership categorization practices. Particularly regarding fictional characters’ membership categories, production crew members can employ the “possible correctness” and “defeasibility” of categorization practices to mislead audiences. (shrink)

This article theorizes and exemplifies reconceptualized teaching practices, both in early childhood education 1 and in a couple of programs within the new Swedish Teacher Education . 2 These programs are tightly knit to the last 12 years of reconceptualized early childhood education practices in and around Stockholm, built on deconstructive, co‐constructive, and re‐constructive principles, inspired by poststructural and feminist poststructural theories. The aim is foremost to work towards a dissolution and/or transgression of the modernist theory‐practice binary that dominates ECE (...) and teacher education practices, where theory is meant to be applied to practice. Student teachers, as well as pre‐school teachers, use what I have conceptualized as deconstructive talks, as a possibility of making visible the dominant discourses of childhood, identity, learning, play, and gender in the performed and documented teaching practices. In teacher education, students’ narratives are also deconstructed. The aim is to transgress teaching‐as‐usual; i.e. dominant and normative ways of thinking and acting in teaching and learning situations. I will suggest an ethics of ‘resistance’, affirmation and becoming, inspired by Derridean deconstructionist thinking, as a professional attitude and reflexive mode for teachers, teacher students and teacher educators. (shrink)

Husserl’s theory of the phenomenological reduction is often explained by a radicalchange of attitude. Such an explanation is useful but sometimes misleading. TheIdea of Phenomenology clearly shows that the original idea of the reduction wasachieved through a radicalized critique of evidence. Although Husserl’s appealto evidence has often been criticized as an unjustified limitation of philosophicalthinking, a close examination of Husserl’s lectures reveals that the very ‘limitation’ to the phenomenological evidence breaks our naturalinclination toward objective identities and liberates our thinking from (...) the naturalbut misleading division between ‘transcendence’ and ‘immanence.’ Thus, thephenomenological reduction can be interpreted as a transition from the thinkingwithout regard to evidence to the philosophizing intrinsically mediatedby evidence, which can secure access for intuitive analysis to every conceivabletype of givenness insofar as it manifests itself. (shrink)

Detection of genuine altruists could be a solution to the problem of subtle cheating. Brown et al. (Evol Psychol 1:42–69, 2003) found that humans could detect altruists using nonverbal cues. However, their experiments can be improved upon in several ways, and further investigation is needed to determine whether altruist-detection abilities are human universals. In our experiment, we used video clips of natural conversations as the stimulus. We asked a sample of Japanese undergraduates to rate their own level of altruism and (...) then to estimate the videotaped targets’ altruism using the same scale. The perceivers were able to estimate the targets’ altruism levels accurately. Perceivers’ altruism score did not affect their ability to discriminate between altruists and non-altruists. Perceivers’ impressions of the altruist and non-altruist targets were also found to be different. Coding of nonverbal behavior of the targets revealed that altruists exhibited more “felt smiles” than non-altruists, which also supports the results of the previous study. (shrink)

朱子学は現代に生きる私たちにとって価値なきものなのだろうか? 儒教思想と近代的権利概念の親和性に着目、再検証を試みる。.

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (shrink)

In this essay we critically evaluate the progress that has been made in solving the problem of meaning in artificial intelligence (AI) and robotics. We remain skeptical about solutions based on deep neural networks and cognitive robotics, which in our opinion do not fundamentally address the problem. We agree with the enactive approach to cognitive science that things appear as intrinsically meaningful for living beings because of their precarious existence as adaptive autopoietic individuals. But this approach inherits the problem of (...) failing to account for how meaning as such could make a difference for an agent’s behavior. In a nutshell, if life and mind are identified with physically deterministic phenomena, then there is no conceptual room for meaning to play a role in its own right. We argue that this impotence of meaning can be addressed by revising the concept of nature such that the macroscopic scale of the living can be characterized by physical indeterminacy. We consider the implications of this revision of the mind-body relationship for synthetic approaches. (shrink)

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...) Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox. (shrink)

This article will engage with the current disasters in Japan from the perspective of semiotic anthropology. Disaster seems to produce two moments of the sign: signa naturalia and signa data. The translation of the sign mirrors the architectonic of the signified of disaster, which is mediated by a token-level instantiation of signifiers that initially appears either absent or in excess. The conceptualization of disaster as a zero sign, that is, unlimited possibility, allows an investigation of “a struggle of interpretants” in (...) stipulating the interpretative grounds of the signified amid regenerative processes of social regularity. It is this very exact moment of translation that the sustained continuity reveals its culture-specific “deep social grammar.” Disaster or “shaking grounds” has the presenting effect of cultural palimpsests. These unearthed palimpsests enable a heightened metasemiotic awareness of institutional and ideological regimentations, on the one hand, and token-level recontexualizations, assimilations, and hybridizations of the depository of signs in society in the post-disaster contexts, on the other. The article concludes with an attempt to synthesize Peircean semeiotics and Saussurean semiology by assessing the two distinct modes of semiosis, culture and trauma, upon a sudden threat of the experience of discontinuity. (shrink)

We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...) variable which occurs at least once positively and at least twice negatively in A → a) → a).2. If an implicational formula A is a theorem of intuitionistic logic and is not a theorem of BCK-logic, then there is a propositional variable which occurs at least twice positively and at least once negatively in A → a → b).We prove the contraction-elimination theorem by a fully syntactical method, which has some analogy with Gentzen's cut-elimination. (shrink)

Lonely hearts advertisements (LHA) published in Japan were examined in a comparative study on sexually dimorphic mate preference. I analyzed 944 LHA written by Japanese (730 by males and 214 by females) seeking short-term relationships and 780 LHA (577 by males and 203 by females) seeking long-term relationships. Some universal patterns of mate preference were confirmed and others were not. Female advertisers in both categories sought more traits than they offered; they also sought more traits than male advertisers. Males tended (...) to offer their financial and social status, and females tended to seek those traits. More females requested family commitment than males. While there was no sex difference in offering and seeking physical appearance and health, females tended to request photographs of their potential mates. Males were more likely than females to be willing to accept children from previous relationships, although there was no significant difference in refusing such children. More females seeking long-term mates requested family commitment than females seeking short-term mates. In both males and females, more advertisers seeking long-term mates offered family commitment than advertisers seeking short-term mates. Some predictions for contingent preference were also examined. One prediction confirmed was that females offering physical appearance and health sought more traits than those not doing so. However, males offering financial and social status did not make higher demands than those who did not, which does not support one prediction. (shrink)

This article explores the possibilities of considering how ‘matter and meaning are mutually constituted’ in the production of knowledge (Barad, 2007: 152) through presenting a diffractive analysis of a piece of interview data with a six-year-old boy in a preschool class. Inspired by Donna Haraway’s (1997) and Karen Barad’s (2007) theorising, I understand diffractive analysis as an embodied engagement with the materiality of research data: a becoming-with the data as researcher. Understanding the body as a space of transit, a series (...) of open-ended systems in interaction with the material-discursive ‘environment’, diffractive analyses constitute transcorporeal engagements with data. Stacy Alaimo’s (2010) theorisation of the transcorporeal is put to work diffractively with Gilles Deleuze and Felix Guattari’s (1987) thinking on the process of becoming minor or minoritarian. This implies a reconceptualisation of the very act of thinking as a transcorporeal process of engagement, going beyond the idea of reflexivity and interpretation as inner mental activities taking place in the mind of the researcher understood as separated from the data. Through my example, I argue that diffractive analysis can make visible new kinds of material-discursive realities that can have transformative and political consequences. (shrink)

This paper is an attempt to explain why Russell abandoned the ontology of propositions, mind-independent complex entities that are possible objects of judgements. I argue that he did so not because of any decisive argument but because he found it better to endorse the existential account of truth, according to which a judgement is true if and only if there exists (or in his view subsists) a corresponding fact. In order to endorse this account, he had examined various theories of (...) judgement before he adopted the multiple-relation theory of judgement, the most feasible way he then had of espousing it. I also attempt to explain why he preferred the existential account of truth. (shrink)

The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...) sequent calculus for the logic in the sense that our calculus can be regarded as a natural expansion of a labelled sequent calculus of iteration-free propositional dynamic logic. (shrink)

進化論・国家有機体説から生命主義・歴史への回帰まで、デモクラシーと煩悶の時代における「国体」の地平.