Context-sensitive binding by the laminar circuits of V1 and V2: A unified model of perceptual grouping,attention, and orientation contrast

A detailed neural model is presented of how the laminar circuits of visual cortical areas V1 and V2 implement context-sensitive binding processes such as perceptual grouping and attention. The model proposes how specific laminar circuits allow the responses of visual cortical neurons to be determined not only by the stimuli within their classical receptive fields, but also to be strongly influenced by stimuli in the extra-classical surround. This context-sensitive visual processing can greatly enhance the analysis of visual scenes, especially those containing targets that are low contrast, partially occluded, or crowded by distractors. We show how interactions of feedforward, feedback, and horizontal circuitry can implement several types of contextual processing simultaneously, using shared laminar circuits. In particular, we present computer simulations that suggest how top-down attention and preattentive perceptual grouping, two processes that are fundamental for visual binding, can interact, with attentional enhancement selectively propagating along groupings of both real and illusory contours, thereby showing how attention can selectively enhance object representations. These simulations also illustrate how attention may have a stronger facilitatory effect on low contrast than on high contrast stimuli, and how pop-out from orientation contrast may occur. The specific functional roles which the model proposes for the cortical layers allow several testable neurophysiological predictions to be made. The results presented here simulate only the boundary grouping system of adult cortical architecture. However, we also discuss how this model contributes to a larger neural theory of vision that suggests how intracortical and intercortical feedback help to stabilize development and learning within these cortical circuits. Although feedback plays a key role, fast feedforward processing is possible in response to unambiguous information. Model circuits are capable of synchronizing quickly, but context-sensitive persistence of previous events can influence how synchrony develops. Although these results focus on how the interblob cortical processing stream controls boundary grouping and attention, related modelling of the blob cortical processing stream suggests how visible surfaces are formed, and modelling of the motion stream suggests how transient responses to scenic changes can control long-range apparent motion and also attract spatial attention.     

Cut-elimination for Weak Grzegorczyk Logic Go

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here.     

Potential fluctuations in phase change memory materials

Long-range potential fluctuations have been quantified in amorphous and crystallised thin films of a family of Ge–Sb–Te (GST) chalcogenide glasses. Among the compositions studied, the width of the potential fluctuations is the smallest for amorphous Ge₂Sb₂Te₅. This is also the most robust material in terms of the number of write–erase cycles for GST films when used as phase change memory materials. A plausible explanation for this observation is given and a criterion for selecting suitable compositions in optical memory devices is proposed.     

Addressing Criticisms of Global Religion Research: A Consumption‐Based Exploration of Status and Materialism,Sustainability, and Volunteering Behavior

Religion is a key source of core values and one of the most deeply psychological experiences; however, prior research has often inadequately measured religion's influence on consumption behaviors. Our research addresses criticisms of prior research by (1) reducing cultural bias by conducting research within one country, (2) examining both religious affiliation and religiosity, (3) exploring numerous consumption behaviors (social status desire, materialism views, sustainable behaviors, environmental views, and volunteering behavior) in a within‐subjects design, and (4) testing religion's effect on consumption behavior with over 1,000 participants. Findings provide insight for consumer well‐being. Specifically, consumers high in external religiosity are more materialistic, more sustainable, and more likely to volunteer than consumers low in external religiosity. Consumers high in internal religiosity are also more likely to be sustainable and hold pro‐environmental views. In addition, Buddhists and Hindus are less likely to hold pro‐environmental views than Christians. Buddhists are more materialistic than Christians, and Hindus are less desiring of social status than Christians. In addressing the criticisms of prior research in the context of consumption, our research builds on values‐based and social‐based theories.     

Social Values, Conformity, and Dress

This study examined the influence of social values on the importance of various clothing features. A model is hypothesized in which social values lead to differing needs for group identification, affiliation, and conformity, which influence clothing feature importance. In general, social values are associated with a high need for affiliation and group identification, conformity, and a greater emphasis on both the utilitarian and the display aspects of clothing (style and brand name).     

Free-Variable Tableaux for Propositional Modal Logics

Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariables used during proof search. We present the theoretical foundations to extend this technique to propositional modal logics, including non-trivial rigorous proofs of soundness and completeness, and also present various techniques that improve the efficiency of the basic naive method for such tableaux.     

Maternal Emotion Socialization and the Development of Inhibitory Control in an Emotional Condition

Although several studies have implicated parental socialization in children's development of multiple executive functions, little is known about how parenting may predict inhibitory control when emotion is involved. In this study, 42 children completed two tasks with their mothers at 3.5 years. Maternal emotion language was coded during a storybook task, and maternal scaffolding was coded during a puzzle task. At 3.5 and 4 years, children's inhibitory control was assessed with Day–Night and Happy–Sad card games, Stroop‐like tasks that differ in that the latter contains emotion content. Accuracy and latency on Happy–Sad were predicted by maternal emotion language but not scaffolding. In contrast, latency on Day–Night was predicted by scaffolding but not emotion language. This shows context‐specificity in the links between parenting and cognitive control, such that emotion socialization predicted children's performance in an emotional context only, while more general scaffolding behaviours predicted inhibitory control in the non‐emotional condition. Copyright © 2016 John Wiley & Sons, Ltd.     

Truth in Applicative Theories

We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID₁ in a applicative truth theory based on supervaluation.