Subtractive Logic Research Articles

Guattari \ Heidegger: On Quaternities, Deterritorialisation and Worlding

In his final writings Guattari designed a four-functor meta-model with which to map subjective resingularisation against the backdrop of what he saw as the late-modern admixture of ecological collapse, social deterioration and subjective decomposition. I examine here Guattari’s fourfold in neo-structuralist terms and then engage in a discussion on the difference between worlding and deterritorialisation, reassessing in this sense Guattari’s concept of machinic indices in conversation with the works of anthropologists. Further, I show that Guattari’s fourfold is reminiscent of Heidegger’s Geviert, which I place at the very core of Heidegger’s project of overcoming the modern Ge-stell. Lastly, from the fact that Guattari’s fourfold opens onto the question of worlding and that Heidegger points to our incapability to tune in and sing back to the earth’s song, I draw the conclusion that they put forward an eco-cosmo-poetics that points beyond the flat ontology of today’s new materialism and the subtractive logic of speculative realism.

In Passing: Some Notes on Urban Life

AbstractThe expansionist mode of neoliberal urbanization relies on a subtractive logic that renders lives, habitats, and rhythms along its path as both expendable and profitable. This essay uses the conceptual lens of “passages” to read how urban entities, those rendered “expendable,” seep back in through different urban passages and “play” the game of urbanization. These passages are not given, but constellated by drawing disparate urban entities into a relationship. In them, urban entities, although deemed expendable, are in medias res and incomplete; they are the mediums in which life takes form; and they have the “abilities” to take on many forms. The essay thus departs from the demographic and territorial notions of “what is urban,” to explore the urban as a constitutive medium composed of numerous passages. It asks, What is at play in them? What life forms in passing? And how might we conceive of Walter Benjamin's Passagen-Werk down South?

Ecologies of Valuation

When used consumer goods are exchanged, valuation proceeds differently than in markets for new goods. Many studies emphasize the social or socio-technical nature of valuation processes. This article outlines the difficulties inherent in these approaches when it comes to understanding valuation of used goods. These approaches, somewhat paradoxically, obscure the greater situatedness of contextualized “moments of valuation” in material flows and in relation to production processes. The ecological approach developed here shows that moments of valuation are never divorced from temporally and spatially prior and subsequent moments of valuation and waste production, and cannot be fully understood if not considered alongside the conditions in which the goods being valued are produced. The subtractive logic of ridding is crucial in the processes of production and valuation of used goods. This article draws on ethnographic and interview data from fourteen months of fieldwork in England to show how used books are valued in an ecology that stretches across connected moments and sites.

Data Prediction Model Using Combination of Clustering and Fuzzy Technique

The analysis of environmental daily evaporation plays a vital role in the field of agriculture. It is very essential to know the daily evaporation rate of a particular area for proper cultivation. So, we need a standard prediction model which can predict the daily evaporation. In this paper, we use subtractive clustering and Fuzzy logic to predict daily evaporation of a particular area. The input data used in the paper are: maximum soil temperature, average soil temperature, average air temperature, minimum relative humidity, average relative humidity and total wind, which are related to the daily evaporation of a particular area as the output. The accuracy of output of the paper is compared with the previous model of Artificial Neural Network (ANN) and we get better result towards the target value. The finding of the paper is applicable in environmental science, geological science and agriculture.

Mu rhythm suppression is associated with the classification of emotion in faces.

The mirror neuron system (MNS) has been mooted as a crucial component underlying human social cognition. Initial evidence based on functional magnetic resonance imaging (fMRI) suggests that the MNS plays a role in emotion classification, but further confirmation and convergent evidence is needed. This study employed electroencephalography (EEG) to examine modulations in the mu rhythm associated with the inference of emotions from facial expressions. It was hypothesised that mu suppression would be associated with classifying the emotion portrayed by facial expressions. Nineteen participants viewed pictures of facial expressions or emotion words and were asked to either match the stimulus to an emotion word or to passively observe. Mu activity following stimulus presentation was localised using a 3-D distributed inverse solution, and compared between conditions. Subtractive logic was used to isolate the specific processes of interest. Comparisons of source localisation images between conditions revealed that there was mu suppression associated with recognising emotion from faces, thereby supporting our hypothesis. Further analyses confirmed that those effects were not due to activity associated with the motor response or the observation of facial expressions, offering further support for the hypotheses. This study provides important convergent evidence for the involvement of the MNS in the inference of emotion from facial expressions.

Fooling the brain by mirroring the hand: Brain correlates of the perceptual capture of limb ownership.

Mirror therapy (MT) is an increasingly employed method aimed at reducing phantom pain and other negative sensations following loss of a limb or damage to sensorimotor systems. However, the brain processes associated with the perception of limb ownership, a key correlate of MT, are unknown. To examine whether transient perceptions of limb ownership together with associated neural activity can be elucidated using a purpose-developed mirror reflection task combined with electrophysiological (EEG) measures and cutting-edge analyses. Brain activity was measured online using EEG in 20 healthy controls while they produced opening-closing movements of one hand in control conditions or while viewing the mirror reflection of the movements. The key experimental condition required participants to make a foot pedal response whenever a change in perception of ownership (of a mirror-reflected limb) occurred (Mirror condition). Control conditions and a strict epoching regime were employed using standard subtractive logic to isolate the perception of limb ownership (which was further verified by self-reports). Data from 15 participants were suitable for complete analysis; the remaining reported no experience of ownership. Significant spectral power increases were found in central-parietal regions in association with perceptions of ownership, with the most prominent effect specific to the alpha frequency band (8-13 Hz) measured at the right parietal area. Source localization analyses further identified brain networks associated with the mirror reflection condition in the alpha frequency (parietal lobe) and the beta frequency (middle temporal areas). These were distinct from localized networks associated with the foot pedal response. Transient perceptions of ownership can be captured experimentally, and are associated with localized sites of neural activation. This is an initial step toward eventual development of therapeutic targets for interventions including brain computer interfaces (BCIs) aimed at ameliorating the negative effects associated with impaired or missing limbs.

Positive and Negative Affect in Loss Aversion: Additive or Subtractive Logic?

AbstractPrevious studies explain loss aversion as the result of a situation in which the expected negative emotions derived from a potential loss exceed the expected positive emotions derived from a potential gain (subtractive logic). We questioned this view and proposed additive logic, in which a linear combination between negative and positive emotions can be used as summed anticipatory affect intensity (SAAI) to explain loss aversion. By disproving two implicit hypotheses of subtractive logic, Study 1 showed that the additive logic of expected positive and negative affect was more effective than the subtractive logic in predicting loss aversion. Study 2 used real monetary gains and losses to verify the conclusion in Study 1. Using state‐trait theory to comprehensively consider the state and trait aspects of affect intensity, we further deduced that the immediate expected affect intensity might originate from the difference of an individual trait in affect intensity. Study 3 proved this hypothesis and showed that SAAI plays an intermediary role between affect intensity and loss aversion. Furthermore, Study 4 used real gamblers in casinos in Macau as its sample and obtained the same conclusion regarding loss aversion in real life as was found in the laboratory. Finally, we explained the effect of SAAI on loss aversion and indicated the contribution and significance of this study. Copyright © 2015 John Wiley & Sons, Ltd.

Making working memory work: The effects of extended practice on focus capacity and the processes of updating, forward access, and random access

We investigated the effects of 10h of practice on variations of the N-Back task to investigate the processes underlying possible expansion of the focus of attention within working memory. Using subtractive logic, we showed that random access (i.e., Sternberg-like search) yielded a modest effect (a 50% increase in speed) whereas the processes of forward access (i.e., retrieval in order, as in a standard N-Back task) and updating (i.e., changing the contents of working memory) were executed about 5 times faster after extended practice. We additionally found that extended practice increased working memory capacity as measured by the size of the focus of attention for the forward-access task, but not for variations where probing was in random order. This suggests that working memory capacity may depend on the type of search process engaged, and that certain working-memory-related cognitive processes are more amenable to practice than others.

Expression dynamics of metabolic and regulatory components across stages of panicle and seed development in indica rice

Carefully analyzed expression profiles can serve as a valuable reference for deciphering gene functions. We exploited the potential of whole genome microarrays to measure the spatial and temporal expression profiles of rice genes in 19 stages of vegetative and reproductive development. We could verify expression of 22,980 genes in at least one of the tissues. Differential expression analysis with respect to five vegetative tissues and preceding stages of development revealed reproductive stage-preferential/-specific genes. By using subtractive logic, we identified 354 and 456 genes expressing specifically during panicle and seed development, respectively. The metabolic/hormonal pathways and transcription factor families playing key role in reproductive development were elucidated after overlaying the expression data on the public databases and manually curated list of transcription factors, respectively. During floral meristem differentiation (P1) and male meiosis (P3), the genes involved in jasmonic acid and phenylpropanoid biosynthesis were significantly upregulated. P6 stage of panicle, containing mature gametophytes, exhibited enrichment of transcripts involved in homogalacturonon degradation. Genes regulating auxin biosynthesis were induced during early seed development. We validated the stage-specificity of regulatory regions of three panicle-specific genes, OsAGO3, OsSub42, and RTS, and an early seed-specific gene, XYH, in transgenic rice. The data generated here provides a snapshot of the underlying complexity of the gene networks regulating rice reproductive development.

A neuroanatomical examination of embodied cognition: semantic generation to action-related stimuli

The theory of embodied cognition postulates that the brain represents semantic knowledge as a function of the interaction between the body and the environment. The goal of our research was to provide a neuroanatomical examination of embodied cognition using action-related pictures and words. We used functional magnetic resonance imaging (fMRI) to examine whether there were shared and/or unique regions of activation between an ecologically valid semantic generation task and a motor task in the parietal-frontocentral network (PFN), as a function of stimulus format (pictures versus words) for two stimulus types (hand and foot). Unlike other methods for neuroimaging analyses involving subtractive logic or conjoint analyses, this method first isolates shared and unique regions of activation within-participants before generating an averaged map. The results demonstrated shared activation between the semantic generation and motor tasks, which was organized somatotopically in the PFN, as well as unique activation for the semantic generation tasks in proximity to the hand or foot motor cortex. We also found unique and shared regions of activation in the PFN as a function of stimulus format (pictures versus words). These results further elucidate embodied cognition in that they show that brain regions activated during actual motor movements were also activated when an individual verbally generates action-related semantic information. Disembodied cognition theories and limitations are also discussed.

A Formulae-as-Types Interpretation of Subtractive Logic

We present a formulae-as-types interpretation of Subtractive Logic (i.e. bi-intuitionistic logic). This presentation is two-fold: we first define a very natural restriction of the λμ-calculus which is closed under reduction and whose type system is a constructive restriction of the Classical Natural Deduction. Then we extend this deduction system conservatively to Subtractive Logic. From a computational standpoint, the resulting calculus provides a type system for first-class coroutines (a restricted form of first-class continuations).

Neural basis for the processes that underlie visually guided and internally guided force control in humans.

Despite an intricate understanding of the neural mechanisms underlying visual and motor systems, it is not completely understood in which brain regions humans transfer visual information into motor commands. Furthermore, in the absence of visual information, the retrieval process for motor memory information remains unclear. We report an investigation where visuomotor and motor memory processes were separated from only visual and only motor activation. Subjects produced precision grip force during a functional MRI (fMRI) study that included four conditions: rest, grip force with visual feedback, grip force without visual feedback, and visual feedback only. Statistical and subtractive logic analyses segregated the functional process maps. There were three important observations. First, along with the well-established parietal and premotor cortical network, the anterior prefrontal cortex, putamen, ventral thalamus, lateral cerebellum, intermediate cerebellum, and the dentate nucleus were directly involved in the visuomotor transformation process. This activation occurred despite controlling for the visual input and motor output. Second, a detailed topographic orientation of visuomotor to motor/sensory activity was mapped for the premotor cortex, parietal cortex, and the cerebellum. Third, the retrieval of motor memory information was isolated in the dorsolateral prefrontal cortex, ventral prefrontal cortex, and anterior cingulate. The motor memory process did not extend to the supplementary motor area (SMA) and the basal ganglia. These findings provide evidence in humans for a model where a distributed network extends over cortical and subcortical regions to control the visuomotor transformation process used during visually guided tasks. In contrast, a localized network in the prefrontal cortex retrieves force output from memory during internally guided actions.

Subtractive logic

This paper is the first part of a work whose purpose is to investigate duality in some related frameworks (cartesian closed categories, lambda-calculi, intuitionistic and classical logics) from syntactic, semantical and computational viewpoints. We start with category theory and we show that any bicartesian closed category with coexponents is degenerated (i.e. there is at most one arrow between two objects). The remainder of the paper is devoted to logical issues. We examine the propositional calculus underlying the type system of bicartesian closed categories with coexponents and we show that this calculus corresponds to subtractive logic: a conservative extension of intuitionistic logic with a new connector (subtraction) dual to implication. Eventually, we consider first-order subtractive logic and we present an embedding of classical logic into subtractive logic.

Basal ganglia lesions and psychological analyses of the control of voluntary movement.

Psychological accounts of the voluntary control of movement recognize the contribution of perceptual and decision processes as well as processes such as motor memory and timing that are more obviously a part of motor control. A model including these and other components is outlined in relation to tracking, a task that has often been used to study human perceptual-motor performance. The need for experimental control in addressing such multi-process models is emphasized. A number of studies of perceptual-motor performance deficits in patients with Parkinson's disease are reviewed. The methods by which the studies relate the behavioural data to the hypothesized underlying processes may be broadly grouped according to whether they use a subtractive logic or take a decompositional approach. These studies suggest that the basal ganglia play a role in the activation of pre-planned movement.