Emotional valence modulates the preference for curved objects

Previous studies have shown that people prefer objects with curved contours over objects with sharp contours. However, those studies used stimuli that were mainly neutral in emotional valence. We tested here the interplay between visual features and general valence as positive or negative. After replicating curvature preferences for neutral objects, we used positive (cake, chocolate) and negative (snake, bomb) stimuli to examine if emotional valence-through response prioritisation-modulates the preference for curved objects. We found that people indeed preferred the curved versions of objects to the sharp versions of the same objects, but only if the objects were neutral or positive in emotional valence. There were no difference in liking for objects with negative emotional valence. This is evidence that the aesthetic response is adaptive, in this case prioritising valence over contour as demanded by the general semantic classification.     

Priming semantic concepts affects the dynamics of aesthetic appreciation

Aesthetic appreciation (AA) plays an important role for purchase decisions, for the appreciation of art and even for the selection of potential mates. It is known that AA is highly reliable in single assessments, but over longer periods of time dynamic changes of AA may occur. We measured AA as a construct derived from the literature through attractiveness, arousal, interestingness, valence, boredom and innovativeness. By means of the semantic network theory we investigated how the priming of AA-relevant semantic concepts impacts the dynamics of AA of unfamiliar product designs (car interiors) that are known to be susceptible to triggering such effects. When participants were primed for innovativeness, strong dynamics were observed, especially when the priming involved additional AA-relevant dimensions. This underlines the relevance of priming of specific semantic networks not only for the cognitive processing of visual material in terms of selective perception or specific representation, but also for the affective-cognitive processing in terms of the dynamics of aesthetic processing.     

Developing the Horizons of the Mind: Reich's Response to the Commentators

Some aspects of my writing the monograph Developing the Horizons of the Mind (2002) are highlighted, the central characteristics of relational and contextual reasoning (RCR) are explained, and the contributions to this symposium by John Albright, Varadaraja V. Raman, and John Teske are discussed.     

Quantum Paradoxes, Time, and Derivation of Thermodynamic Law: Opportunities from Change of Energy Paradigm

Summary  Well known quantum and time paradoxes, and the difficulty to derive the second law of thermodynamics, are proposed to be the result of our historically grown paradigm for energy: it is just there, the capacity to do work, not directly related to change. When the asymmetric nature of energy is considered, as well as the involvement of energy turnover in any change, so that energy can be understood as fundamentally “dynamic”, and time-oriented (new paradigm), these paradoxes and problems dissolve. The most basic consequence concerns the particle-wave dualism. For a reversible inter-conversion of a particle into a wave, subject to a dynamic energy, a self-image of information has to be generated: quantum theory has to be complemented by a theory of information. Then, quantum processes can be derived from classical ones and the second law of thermodynamics with the tendency of increasing entropy follows in a straightforward way.     

Dimensions in appreciation of car interior design

We report two studies in which the interplay between stimulus properties and perceiver characteristics in the appreciation car interiors was investigated. In Experiment 1 three design components, complexity, curvature and innovativeness, which are all thought to affect design appreciation were combined in a fully factorial design. All dimensions were confirmed to affect ratings, and curvature and innovativeness particularly affected the attractiveness ratings. Curved and non‐innovative designs were generally preferred. Moreover, participants who were particularly interested in art were more sensitive to curvature and innovativeness. In Experiment 2 two dimensions of Experiment 1 were replicated using similar stimuli. Moreover, the specific effects of a design knowledge treatment were investigated. Results replicated the preference for curved and non‐innovative (rather classic) designs. The treatment had only small effects, which support a general rather than dimension‐specific effects of cognitive pre‐information. Copyright © 2005 John Wiley & Sons, Ltd.     

Program Extraction from Normalization Proofs

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.