Curry-Howard Terms for Linear Logic

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.     

Accessing singular antecedents in conjoined phrases

Two experiments examined processing of singular pronouns when the antecedent (e.g., Mary) was a noun phrase (NP) in a conjoined phrase (e.g., Mary and John). Whole-sentence reading times showed an increase in processing time associated with splitting the conjoined phrase to access a single NP antecedent. The increase in processing occurred both when the antecedent was in the subject position and when it was in a nonsubject position. The source of the disruption was further investigated using eyetracking methods. Summing over regions of the text, the magnitude of the processing cost incurred by having to split a conjoined NP was closely comparable when there was and when there was not a gender-appropriate distracting potential antecedent. When there was no such potential antecedent, the increase in processing time occurred immediately in the pronoun region when eye movements were measured. In contrast, when there was a second discourse entity that matched the gender and number of the pronoun (but was not a plausible antecedent for the pronoun), eyetracking measures suggested that the processing difficulty was delayed until additional information was read that forced the antecedent to be one of the conjoined NPs. The results are interpreted in terms of Sanford and Garrod’s (1981) scenario-based model of text comprehension.     

Die Werturteilsfrage in der Technik

Journal for General Philosophy of Science - Bei den von Ingenieuren verwendeten Dezisionsmechanismen wird aufgrund der Fortentwicklung der Technik die methodologische Sicherung der...     

Attention demands during reading and the occurrence of brief (express) fixations

Eye movements were recorded while subjects read passages of text repeatedly (Experiment 1) and while normal text and strings ofhomogeneous letters were fixated (Experiment 2). Text repetition decreased fixation durations and increased saccade size, presumably because it decreased attention demands. Irrespective ofrepetition, however, no distinct distribution of brief (express) fixations emerged. In Experiment 2, fixation durations were shorter and saccades were larger when strings of homogeneous letters were “read,” indicating that this condition decreased attention demands. Again, however, no distinct distribution of express fixations emerged. These findings pose problems for the view that attentional processes determine the occurrence of brief (express) fixation durations in reading. Supplementary analyses of Experiments 1 and 2 suggested that visuospatial processing affected fixation durations, irrespective of linguistic processing demands.     

Difficulties,uncertainty, and opportunity: The experience of the COVID-19 pandemic by early to late adolescence in the Czech Republic

The pandemic created an unfamiliar situation for adolescents, especially within the school context. Drawing on the theory of cognitive appraisal, according to which people evaluate the benefit, harm, and threat of a certain event, this study explored Czech adolescents' experiences of the COVID-19 pandemic. We conducted six focus groups with early (11–12 years), middle (14–15 years), and late (18–19 years) adolescents. Using thematic analysis, we identified three themes—pandemic as difficulties, uncertainty, and a (un)seized opportunity. While some younger participants initially perceived the pandemic as exciting, others struggled immediately with isolation, online learning, and disrupted daily activities. The feelings of distressing uncertainty, but also the appraisal of the pandemic as an opportunity to utilize free time differently, which in some cases faded over time, prevailed among late adolescents. This study captured the effects of the pandemic and its appraisals on adolescents' subjective well-being and the shift in the thinking of early and late adolescents.     

Assessing Biobehavioural Self‐Regulation and Coregulation in Early Childhood: The Parent‐Child Challenge Task

Researchers have argued for more dynamic and contextually relevant measures of regulatory processes in interpersonal interactions. In response, we introduce and examine the effectiveness of a new task, the Parent–Child Challenge Task, designed to assess the self‐regulation and coregulation of affect, goal‐directed behaviour, and physiology in parents and their preschoolers in response to an experimental perturbation. Concurrent and predictive validity was examined via relations with children's externalizing behaviours. Mothers used only their words to guide their 3‐year‐old children to complete increasingly difficult puzzles in order to win a prize (N = 96). A challenge condition was initiated midway through the task with a newly introduced time limit. The challenge produced decreases in parental teaching and dyadic behavioural variability and increases in child negative affect and dyadic affective variability, measured by dynamic systems‐based methods. Children rated lower on externalizing showed respiratory sinus arrhythmia (RSA) suppression in response to challenge, whereas those rated higher on externalizing showed RSA augmentation. Additionally, select task changes in affect, behaviour, and physiology predicted teacher‐rated externalizing behaviours four months later. Findings indicate that the Parent–Child Challenge Task was effective in producing regulatory changes and suggest its utility in assessing biobehavioural self‐regulation and coregulation in parents and their preschoolers. Copyright © 2016 John Wiley & Sons, Ltd.     

Knowledge of word length does not constrain word identification

Use of word length for word identification was examined in three naming experiments and one sentence reading experiment in which a foveally presented cue either matched or mismatched the length of a subsequently presented target word. Properties of the target were also manipulated so that it was either a high- or low-frequency word or so that its exterior letters were either consistent with a large or small pool of candidate words. The experiments converged in showing that effects of prior word length cuing were either negligible or absent. The word frequency of the target influenced its recognition but not the lexical constraint of its exterior letters. Importantly, effects of target word properties did not interact with effects of prior target length cuing. Together, these results indicate that knowledge of a word's spatial properties does not constrain its lexical processing.     

Use of parafoveally visible characters during the reading of Chinese sentences

Chinese readers' use of parafoveal character previews was examined. In Experiment 1, the preview of target characters consisted of targets or of graphemically similar, homophonic, or dissimilar characters. Each preview was replaced with the corresponding target when the eyes reached the target location. Oculomotor measures revealed preview benefits for targets, for graphemically similar characters, and for homophonic characters. Experiment 2 showed that parafoveal preview of graphemically similar characters yielded benefits primarily when they shared the phonetic radical with their targets. The phonological relationship between previewed radicals and subsequently viewed targets was ineffective. Chinese character processing thus involves the initial use of orthographic information from the phonetic radical and the activation of the character's phonological form.     

Evolutionary sport and exercise psychology: Integrating proximate and ultimate explanations

ObjectivesThis review aims to demonstrate the utility of integrating the insights of evolutionary psychology with sport and exercise psychology. Specifically, we offer a primer on evolutionary psychology that we then discuss in the context of several research avenues in sport and exercise. Next, we discuss how evolutionary psychology can inform our understanding of sporting culture.DesignReview paper.MethodsTheory and research are selectively reviewed in efforts to demonstrate the utility and limits of evolutionary psychology as an approach to sport and exercise psychology.Results and conclusionsEvolutionary psychology offers researchers in sport and exercise psychology an improved capacity to produce proximate explanations (i.e., how psychological mechanisms interact with the environment to produce behavior) by generating productive and novel hypotheses from ultimate explanations (i.e., why a psychological mechanism evolved a particular design; Tooby & Cosmides, 1992, 2005). The worth of integrating proximate and ultimate explanations is demonstrated by the ensuing novel insights of popular avenues of sport and exercise psychology including (a) the interrelation between motivation and reasoning and their relative influence on exercise behavior, (b) sex differences in sport participation, (c) performance in sport, and (d) group dynamics in sport. Unlike specific fields of psychology, evolutionary psychology is a metatheoretical approach that can foster mutually productive linkages between currently disparate areas within sport and exercise psychology, and with neighboring disciplines.