Aversive memories have the potential to impair one’s psychological well-being. It is desirable to reduce the anguish over such memories, as well as the chance that they will be retrieved. In two experiments, we investigated whether retrieval stopping reduces the distress elicited by negative memories retrieved from cues and how the effects of retrieval stopping are modulated by mental disorders, such as depression and anxiety. Participants engaged in retrieval stopping of aversive scene memories without any diversionary thoughts (direct suppression, Experiment (...) 1) or with diversionary positive thoughts (thought substitution, Experiment 2). Direct suppression reduced arousal elicited by the retrieval of aversive memories, while thought substitution did not only reduce arousal but also increased positive valence. Self-reported anxious/depressive symptoms negatively modulated the effects of direct suppression. For no or mild anxious/depressed individuals, direct suppression alleviated negative valence and high arousal when retrieving aversive memories. The negative relationship was not observed between the severity of the symptoms and the effect of thought substitution. These findings suggest that both retrieval stopping strategies can reduce distress from aversive memories. (shrink)

The Japanese marker _-te-i-_ can have progressive, resultative, and existential perfect readings and has often been regarded as ambiguous. This paper shows that there is no clear evidence that _-te-i-_ is ambiguous. It proposes a monosemous analysis of _-te-i-_ that unifies its multiple readings and shows how progressives and perfects can form a natural semantic class. Within the context of a Discourse Representation Theory, I propose that _-te-i-_ consists of an imperfective operator _-te-_ and a stativizer _-i-_. The imperfective operator (...) _-te-_ takes an eventuality as its argument and outputs a subpart of the eventuality, which precedes a reference time interval. Secondly, a stativizer _-i-_ maps the subpart of the eventuality, i.e. _-te-_'s output, onto a state which overlaps with reference time and whose category is semantically underspecified and is determined via pragmatic inferences. The vague output of the imperfective operator, i.e. whether it is a proper subpart or nonproper subpart of an eventuality, leads to the contrast between progressive readings and perfect readings of _-te-i-_. (shrink)

We show that length initial submodels of S12 can be extended to a model of weak second order arithmetic. As a corollary we show that the theory of length induction for polynomially bounded second order existential formulae cannot define the function division.

We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.

In Philosophy for Children (P4C), consensus-making is often regarded as something that needs to be avoided. P4C scholars believe that consensus-making would dismiss P4C’s ideals, such as freedom, inclusiveness, and diversity. This paper aims to counteract such assumptions, arguing that P4C scholars tend to focus on a narrow, or universal, concept of “consensus” and dismiss various forms of consensus, especially what Niemeyer and Dryzek (2007) call meta-consensus. Meta-consensus does not search for universal consensus, but focuses on the process by which (...) people achieve various non-universal forms of consensus, such as agreement on the value of opponents’ normative view or agreement on the degree to which they accept opponents’ view. This paper argues that such meta-consensus is a key part of what Clinton Golding (2009) calls “philosophical progress,” which is the essential element that makes inquiry philosophical. In other words, without meta-consensus and philosophical progress, inquiry ends in merely conversation or antagonistic talk. Drawing on the example of P4C conducted with Japanese students, this paper shows how meta-consensus is achieved in the community of philosophical inquiry and how it contributes to make inquiry philosophical. (shrink)

S-Modulin is a frog homolog of recoverin. The function and the underlying mechanism of the action of these proteins are now understood in general. However, there remain some unsolved issues including; two distinct effects of S-modulin; Ca2+-dependent binding of S-modulin to membranes and a possible target protein; S-modulin-like proteins in other neurons. These issues are considered in this commentary.

In dieser Abhandlung versuchen wir die Theorie des Erhabenen bei Kant als eine Logik der reflektierenden Urteilskraft darzustellen, die den Ubergang des Sinnlichen ins Ubersinnliche ermoglicht. Die Urteilskraft bezieht die Spannung der Einbildungskraft vor dem Nicht-Darstellbaren auf das Ubersinnliche, und in dieser Beziehung sieht Kant "eine a priori im Subjekte liegende Zweckmassigkeit". Durch die Vorstellung der gewaltigen Natur kann unsere innere Idee erweckt werden, wenn wir berucksichtigen, "dass auf jene moralischen Anlagen bei jeder schicklichen Veranlassung Rucksicht genommen werden sollte". Durch (...) das Urteil uber das Erhabene erhalten wir eine Veranlassung fur diejenige Reflexion, die innerhalb der Natur auch die ubersinnliche Idee (oder ein gottliches Wesen) denkt. (edited). (shrink)

We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.

We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was (...) provided by Bishop. (shrink)

Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...) N4, as well as its non-constructive extension C3. For these systems, various observations concerning provable contradictions are made, using mainly a proof-theoretic approach. The topics covered in this paper include: how new contradictions are found from parts of provable contradictions; how to characterise provable contradictions in C3 that are constructive; how contradictions can be seen from the relative viewpoint of strong implication; and as an appendix an attempt at generating provable contradictions in C3. (shrink)

Eukaryotic genome DNA is wrapped around core histones and forms a nucleosome structure. Together with associated proteins and RNAs, these nucleosomes are organized three‐dimensionally in the cell as chromatin. Emerging evidence demonstrates that chromatin consists of rather irregular and variable nucleosome arrangements without the regular fiber structure and that its dynamic behavior plays a critical role in regulating various genome functions. Single‐nucleosome imaging is a promising method to investigate chromatin behavior in living cells. It reveals local chromatin motion, which reflects (...) chromatin organization not observed in chemically fixed cells. The motion data is like a gold mine. Data analyses from many aspects bring us more and more information that contributes to better understanding of genome functions. In this review article, we describe imaging of single‐nucleosomes and their tracked behavior through oblique illumination microscopy. We also discuss applications of this technique, especially in elucidating nucleolar organization in living cells. (shrink)

We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.

We will give a two-sort system which axiomatizes winning strategies for the combinatorial game Node Kayles. It is shown that our system captures alternating polynomial time reasonings in the sense that the provably total functions of the theory corresponds to those computable in APTIME. We will also show that our system is equivalently axiomatized by Sprague–Grundy theorem which states that any Node Kayles position is provably equivalent to some NIM heap.

日本の固有の宗教神道より説き起こし、日本の仏教、歌人・念仏者・茶人・武人・医者・妙好人・禅僧・真宗僧侶・作家・俳人と多種な人間像を通して、日本人の生き生きとした生命の躍動感を解き明かす。.

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

H. Omori and H. Wansing introduced in a recent paper possible alternatives for the negation of the logic of first-degree entailment. One of their observations with regard to these alternative negations is that some of them turn out to induce negation inconsistency, meaning that some contradictions become provable (under an arbitrary premise) when used in place of the original negation. Omori and Wansing also considered a non-deterministic generalisation of such operators, but it was left open whether the generalised negation similarly (...) induces negation inconsistency. In this paper, we provide an answer to this question in the positive, and moreover look into further generalisation and characterisation of non-deterministic operators which satisfy the formal criteria of negation inconsistency and its pair notion of negation incompleteness in the setting of Omori and Wansing. (shrink)

Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism. It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle, which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the truth (...) of all propositions. This understanding of the distinction between the two logics supports the view that negation plays a vital role in the formulation of intuitionistic logic.Nonetheless, the formalisation of negation in intuitionistic logic has not been universally accepted, and many alternative accounts of negation have been proposed. Some seek to weaken or strengthen the negation, and others actively supporting negative inferences that are impossible with it.This thesis follows this tradition and investigates various aspects of negation in intuitionistic logic. Firstly, we look at a problem proposed by H. Ishihara, which asks how effectively one can conserve the deducibility of classical theorems into intuitionistic logic, by assuming atomic classes of non-constructive principles. The classes given in this section improve a previous class given by K. Ishii in two respects: (a) instead of a single class for the law of the excluded middle, two classes are given in terms of weaker principles, allowing a finer analysis and (b) the conservation now extends to a subsystem of intuitionistic logic called Glivenko’s logic. This section also discusses the extension of Ishihara’s problem to minimal logic.Secondly, we study the relationship between two frameworks for weak constructive negation, the approach of D. Vakarelov on one hand and the framework of subminimal negation by A. Colacito, D. de Jongh, and A. L. Vargas on the other hand. We capture a version of Vakarelov’s logic with the semantics of the latter framework, and clarify the relationship between the two semantics. This also provides proof-theoretic insights, which results in the formulation of a cut-free sequent calculus for the aforementioned system.Thirdly, we investigate the ways to unify the formalisations of some logics with contra-intuitionistic inferences. The enquiry concerns paraconsistent logics by R. Sylvan and A. B. Gordienko, as well as the logic of co-negation by G. Priest and of empirical negation by M. De and H. Omori. We take Sylvan’s system as basic, and formulate the frame conditions of the defining axioms of the other systems. The conditions are then used to obtain cut-free labelled sequent calculi for the systems.Finally, we consider L. Humberstone’s actuality operator for intuitionistic logic, which can be seen as the dualisation of a contra-intuitionistic negation. A compete axiomatisation of intuitionistic logic with actuality operator is given, and comparisons are made for some related operators.Abstract prepared by Satoru Niki.E-mail:Satoru[email protected]. (shrink)

We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.

Japanese prefer odd numbers, whereas Westerners emphasize even numbers, an observation that is clear from the distribution of number-related words in Japanese and English dictionaries. In this article, the author explains why these two cultures differ by surveying the history of numbers, including yin-yang thought from ancient China, ancient Greek philosophy, and modern European mathematics. The author also mentions that oddness and evenness are only mathematical concepts, but understanding the cultures and histories of individual countries contributes to world peace.

国内外40ヶ所以上で上映、3000人を動員している映画『哲学への権利』、ついに書籍化。特典映像を加えた映画DVD付。.

Jacques Derrida est l’un des philosophes qui a continué à remettre en cause sérieusement les rapports théoriques et pratiques entre la philosophie et l’éducation, tout en restant hors des institutions universitaires traditionnelles en France. Dans les années 1970, il organise le GREPH (Groupe de recherches surl’enseignement philosophique) avec des enseignants et des étudiants contre la réduction de l’enseignment philosophique au lycée par le gouvernement français, et pour faire les recherches théoriques sur le lien essentiel de la philosophie à l’enseignement en (...) général. Puis, en 1983, Derrida a déployé tous ses efforts pour créer le Collège internatinal de Philosophie, institution tendant à ouvrir la nouvelle possibilité de la philosophie. Enfin, dans ses dernières années, ilintérroge l’avenir de l’université ou des Humanités à cette époque de mondialisation dans les textes comme L’Université sans condition, etc. Pour Derrida qui n’a cessé de donner ses séminaires depuis 1964, la question de l’éducation est important pour l’élaboration de sa propre philosophie. Selon lui, « je n’imagine pas de philosophie ni de recherche dissociée de son enseignement. J’ai essayé d’introduire dans cet enseignemtn de nouvelles pédagogie, de nouvelles mises en scènes, de changer la politique de l’enseignement et son rapport à la société » (Sur parole : instantanés philosophiques, Aube, 1999, p. 36). L’enseignement n’est pas un thème secondaire, mais plutôt un des questions centrales pour ses recherches philosophiques. Dans cette communication, nous allons mettre en lumière la théorie et la pratique de Derrida sur la philosphie et l’éducation, comme l’exemple le plus effectif et concret de sa conception de déconstruction. (shrink)

N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the (...) system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing. (shrink)

There is a task-specificity in the visual-tactile interaction for perception: The polymodal posterior parietal cortex is related to the comparison of the shapes coded by different sensory modalities, whereas the lateral occipital complex is the part of the network for multimodal shape identification. These interactions may be mediated by some latent pathways potentiated by sensory deprivation or learning.

Ishihara's problem of decidable variables asks which class of decidable propositional variables is sufficient to warrant classical theorems in intuitionistic logic. We present several refinements to the class proposed by Ishii for this problem, which also allows the class to cover Glivenko's logic. We also treat the extension of the problem to minimal logic, suggesting a couple of new classes.

This paper describes a decision model for an autonomous agent that provides an inhabitant with comfort based on information network technologies that connect home electric appliances with household equipment. The inhabitant enjoys the benefit of comfort, while he pays the cost for keeping that comfort. The autonomous agent should decide and control household equipment considering that cost from the inhabitant’s viewpoint. Thus, we utilized a representation scheme called an “influence diagram” that enabled us to model the decision-making process of the (...) agent from the inhabitant’s point of view. First, decision modeling using the influence diagram is presented via an example. The presented model consists of three information-processing modules: a module for estimating the situation of an inhabitant based on information from home networks, a module for evaluating comfort of the inhabitant, and a module for making decisions that maximize the utility of the inhabitant from both the viewpoints of comfort and the cost paid for that comfort. Next, an experiment for verifying whether the presented model is effective or not, and its results are described. Finally, our model of the agent is discussed in relation to social intelligence design by investigating the interactive processes between the agent and the inhabitant. (shrink)

Modern Japanese thinkers tried to understand “history” as processes of translation through which the Japanese culture/society/nation integrated itself into world history. This paper analyzes Miki Kiyoshi’s (1897-1945) Philosophy of History [1932], a prominent example of such an approach to history. His understanding of history is deeply influenced by Martin Heidegger’s thoughts about facticity. The most essential part of Miki’s notion of “history” lies in his practico-poietic conception of history, which is elaborated through his own interpretation of Heidegger (via Marx). This (...) paper attempts to investigate how Miki developed such a practico-poietic theory as well as how he was faced with its limit, not only on a theoretical level, but also in the specific historical contexts in the 1930s and 1940s. To seek answers to these questions enables us to understand why Miki came to re-create philosophical discourse to describe the space of history in approaching the question of translation, that is, the question concerning the transformation by and through language. (shrink)

Modern Japanese thinkers tried to understand “history” as processes of translation through which the Japanese culture/society/nation integrated itself into world history. This paper analyzes Miki Kiyoshi’s Philosophy of History [1932], a prominent example of such an approach to history. His understanding of history is deeply influenced by Martin Heidegger’s thoughts about facticity. The most essential part of Miki’s notion of “history” lies in his practico-poietic conception of history, which is elaborated through his own interpretation of Heidegger. This paper attempts to (...) investigate how Miki developed such a practico-poietic theory as well as how he was faced with its limit, not only on a theoretical level, but also in the specific historical contexts in the 1930s and 1940s. To seek answers to these questions enables us to understand why Miki came to re-create philosophical discourse to describe the space of history in approaching the question of translation, that is, the question concerning the transformation by and through language. (shrink)