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)

The key mutation of the schizophrenic psyche can be described as a disturbance of the first person-ness of the I-sense, i.e., of the sense of the "I" as personal subject of experience and of action. Under these circumstances, representations of things are not definitively experienced as "my" representations—with the self-evidence of belonging to me. This uncertainty of selfhood, specific to schizophrenia, cannot be reduced to a disability of intellect, logic, judgment, or memory. In the course of developing his argument, the (...) author criticizes philosopher Michel Henry's critique of Heidegger's (1961) interpretation of Descartes's cogito ergo sum. (shrink)

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

Chef de file de la réflexion psychiatrique au Japon, le Professeur Kimura Bin s’oppose dans cet article aux réductionnismes physicalistes en découvrant au coeur de la subjectivité une articulation complexe entre le personnel et l’impersonnel qui simultanément confirme la conception spirituelle zen de la constitution de l’individualité et donne une base à la fondation d’une science psychiatrique véritable. Il démontre que l’orientation donnée par les sciences cognitives et la philosophie analytique conduit à ignorer la différence entre réalité et actualité, (...) et occulte ainsi le fait que chaque existant est unique, manquant de la sorte à la fois son unité et son unicité. Pour retrouver l’originalité propre à chacun, Kimura propose d’en retrouver l’originarité, esquissée dans le concept heideggérien de Befindlichkeit, et d’élargir la subjectivité au sens proposé par Victor von Weizsäcker en tant que rencontre avec le milieu. Il conclut cette étude phénoménologique en proposant de fonder une psychopathologie en première personne, c’est-à-dire d’introduire la subjectivité dans la science psychiatrique, seule voie pour comprendre l’existence et résoudre l’énigme de la schizophrénie. (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.

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)

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 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.

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ω.

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.

For genetic algorithms, it is important to maintain the population diversity. Some genetic algorithms have been proposed, which have an ability to control the diversity. But these algorithms use the distance between two individuals to control the diversity. Therefore, these performances become worse on ill-scaled functions. In this paper, we propose a new genetic algorithm, DIDC(a genetic algorithm with Distance Independent Diversity Control), that does not use a distance to control the population diversity. For controlling the diversity, DIDC uses two (...) GAs that have different natures. For realizing different natures, one GA uses a crossover operator as a search operator, and the other GA uses a mutation operator in DIDC. By applying DIDC to several benchmark problems, we show that DIDC has a good performance on high dimensional, multimodal, non-separable and ill-scaled problems. Finally, we show that the control parameter of DIDC has the same effect on the search with the number of generating children n c. (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 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)

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)

Many often say that people resemble their pets or that the faces of manga characters and Buddha statues resemble those of their artists. Previous studies demonstrated that participants could match dogs with their owners, suggesting that pets resemble their owners. Other studies also demonstrated that people can match personal belongings, including inanimate objects, to their owners. However, it is unknown whether people tend to make objects that resemble themselves. In this study, we examined whether people tend to make objects that (...) resemble themselves with dolls made of cloth as stimuli. The results demonstrated that people tend to project themselves into dolls, even in the case of amateur college students. The mere exposure effect or the algorithm “self seeks like” may be at play in not only people’s selection of pets but also their making of objects. (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)

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.

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.

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)

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.

Topics in Cognitive Science, Volume 14, Issue 2, Page 241-257, April 2022.

We propose simple nonlinear mathematical models for the legal concept of balancing of interests. Our aim is to bridge the gap between an abstract formalisation of a balancing decision while assuring consistency and ultimately legal certainty across cases. We focus on the conflict between the rights to privacy and to the protection of personal data in Art. 7 and Art. 8 of the EU Charter of Fundamental Rights (EUCh) against the right of access to information derived from Art. 11 EUCh. (...) These competing rights are denoted by ( \(i_1\) ) _right to privacy _ and ( \(i_2\) ) _access to information_; mathematically, their indices are respectively assigned by \(u_1\in [0,1]\) and \(u_2\in [0,1]\) subject to the constraint \(u_1+u_2=1\). This constraint allows us to use one single index _u_ to resolve the conflict through balancing. The outcome will be concluded by comparing the index _u_ with a prior given threshold \(u_0\). For simplicity, we assume that the balancing depends on only selected legal criteria such as the social status of affected person, and the sphere from which the information originated, which are represented as inputs of the models, called legal parameters. Additionally, we take “time” into consideration as a legal criterion, building on the European Court of Justice’s ruling on the right to be forgotten: by considering time as a legal parameter, we model how the outcome of the balancing changes over the passage of time. To catch the dependence of the outcome _u_ by these criteria as legal parameters, data were created by a fully-qualified lawyer. By comparison to other approaches based on machine learning, especially neural networks, this approach requires significantly less data. This might come at the price of higher abstraction and simplification, but also provides for higher transparency and explainability. Two mathematical models for _u_, a time-independent model and a time-dependent model, are proposed, that are fitted by using the data. (shrink)