A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Theories of Militancy in Practice: Explanations of Muslim Terrorism in India

This article analyzes the interaction between theories of radicalization and state responses to militancy in India. Focusing on the interpretation of the increased frequency of terrorist attacks in Indian metropolises in the last decade, the article examines the narratives surrounding those classified as terrorists in the context of rising Muslim militancy in the country. Different state agencies operate with different theories about the links between processes of radicalization and terrorist violence. The scenarios of radicalization underlying legislative efforts to prevent terrorism, the construction of motives by the police, and the interpretation of violence by the judiciary all rely on assumptions about radicalization and violence. Such narratives are used to explain terrorism both to security agencies and to the public; they inform the categories and scenarios of prevention. Prevention relies on detection of future deeds, planning, intentions, and even potential intentions. "Detection" of potential intentions relies on assumptions about specific dispositions. Identification of such dispositions in turn relies on the context-specific theories of the causes of militancy. These determine what "characteristics" of individuals or groups indicate potential threats and form the basis for their categorization as "potentially dangerous." The article explores the cultural contexts of theories of radicalization, focusing on how they are framed by societal understandings of the causes of deviance and the relation between the individual and society emerging in contemporary India. It examines the shift in the perception of threat and the categories of "dangerous others" from a focus on role to a focus on ascriptive identity.

Plurality of tree species responses to drought perturbation in Bornean tropical rain forest

Drought perturbation driven by the El Niño Southern Oscillation (ENSO) is a principal stochastic variable determining the dynamics of lowland rain forest in S.E. Asia. Mortality, recruitment and stem growth rates at Danum in Sabah (Malaysian Borneo) were recorded in two 4-ha plots (trees ≥ 10 cm gbh) for two periods, 1986–1996 and 1996–2001. Mortality and growth were also recorded in a sample of subplots for small trees (10 to <50 cm gbh) in two sub-periods, 1996–1999 and 1999–2001. Dynamics variables were employed to build indices of drought response for each of the 34 most abundant plot-level species (22 at the subplot level), these being interval-weighted percentage changes between periods and sub-periods. A significant yet complex effect of the strong 1997/1998 drought at the forest community level was shown by randomization procedures followed by multiple hypothesis testing. Despite a general resistance of the forest to drought, large and significant differences in short-term responses were apparent for several species. Using a diagrammatic form of stability analysis, different species showed immediate or lagged effects, high or low degrees of resilience or even oscillatory dynamics. In the context of the local topographic gradient, species’ responses define the newly termed perturbation response niche. The largest responses, particularly for recruitment and growth, were among the small trees, many of which are members of understorey taxa. The results bring with them a novel approach to understanding community dynamics: the kaleidoscopic complexity of idiosyncratic responses to stochastic perturbations suggests that plurality, rather than neutrality, of responses may be essential to understanding these tropical forests. The basis to the various responses lies with the mechanisms of tree-soil water relations which are physiologically predictable: the timing and intensity of the next drought, however, is not. To date, environmental stochasticity has been insufficiently incorporated into models of tropical forest dynamics, a step that might considerably improve the reality of theories about these globally important ecosystems.

Holland's secondary constructs of vocational interests and career choice readiness of secondary students

The study examined the relationship between the secondary constructs of Holland’s (1997) theory of vocational interests and career choice readiness [career maturity] attitudes with 358 Swiss secondary students. The hypothesis was tested that the secondary constructs consistency, coherence, differentiation, and congruence are measures for the degree of vocational interest development. Thus, they should belong to the content domain in career choice readiness and should show meaningful relations to career choice readiness attitudes. The hypothesis was confirmed for congruence, coherence, and differentiation. Interest profile consistency showed no relation to career choice readiness attitudes. Vocational identity emerged as a direct measure for career choice readiness attitudes. Realism of career aspirations was related to career choice readiness attitudes and coherence of career aspirations. Profile elevation was positively connected to more career planning and career exploration. Differences between gender, ethnicity, and school-types are presented. Implications for career counselling and assessment practice are discussed.

Transatlantic Echoes. Alexander von Humboldt in World Literature

Alexander von Humboldt (1769–1859) was a world traveler, bestselling writer, and versatile researcher, a European salon sensation, and global celebrity. Yet the enormous literary echo he generated has remained largely unexplored. Humboldt inspired generations of authors, from Goethe and Byron to Enzensberger and García Márquez, to reflect on cultural difference, colonial ideology, and the relation between aesthetics and science. This collection of one-hundred texts features tales of adventure, travel reports, novellas, memoirs, letters, poetry, drama, screenplays, and even comics—many for the first time in English. The selection covers the foundational myths and magical realism of Latin America, the intellectual independence of Emerson, Thoreau, Poe, and Whitman in the United States, discourses in Imperial, Weimar, Nazi, East, and West Germany, as well as recent films and fiction. This documented source book addresses scholars in cultural and postcolonial studies as well as readers in history and comparative literature.

Combining analytical frameworks to assess livelihood vulnerability to climate change and analyse adaptation options

Experts working on behalf of international development organisations need better tools to assist land managers in developing countriesmaintain their livelihoods, as climate change puts pressure on the ecosystemservices that they depend upon. However, current understanding of livelihood vulnerability to climate change is based on a fractured and disparate set of theories andmethods. This reviewtherefore combines theoretical insights from sustainable livelihoods analysis with other analytical frameworks (including the ecosystem services framework, diffusion theory, social learning, adaptive management and transitions management) to assess the vulnerability of rural livelihoods to climate change. This integrated analytical framework helps diagnose vulnerability to climate change,whilst identifying and comparing adaptation options that could reduce vulnerability, following four broad steps: i) determine likely level of exposure to climate change, and how climate change might interact with existing stresses and other future drivers of change; ii) determine the sensitivity of stocks of capital assets and flows of ecosystem services to climate change; iii) identify factors influencing decisions to develop and/or adopt different adaptation strategies, based on innovation or the use/substitution of existing assets; and iv) identify and evaluate potential trade-offs between adaptation options. The paper concludes by identifying interdisciplinary research needs for assessing the vulnerability of livelihoods to climate change.

Emotions and Values

There are close links between emotions and values, or at least this is what our ordinary ways of talking suggest. For many, if not all, types of emotion it is thus possible to find a corresponding evaluative term, one often derived from the name of the emotion in question. These are for example evaluative terms such as ‘shameful’, ‘offensive, ‘annoying’, ‘dangerous’, ‘contemptible’, ‘admirable’, ‘amusing’, ‘exciting’, ‘boring’, and the like. Starting perhaps from these linguistic observations, the philosophical task is of course to elucidate the nature of the links between emotions and values, and attempts at doing so have traditionally revolved around the following three questions: first, what is the role of emotions in elucidating the nature of value? For example, should dangerousness be understood in term of the fear response? Second, what is the role of emotions in our getting access to values? For example, what may be the role of fear in becoming aware that a given animal is dangerous? Third, what value do emotions have? For example, is fear of special value because it helps behaving appropriately towards its object? We hall take up these questions in turn and survey the most important answers they have received in the literature. As we shall discover, answering the first question amounts to surveying a variety of theories according to which there is an ontological relation between values and emotions since the former should be elucidated in terms of the latter (Sec. 1). Addressing the second question consists in reviewing theories according to which there is an intentional relation between emotions and values because the former are apprehensions of value or evaluations (Sec. 2). Grappling with the third question, we shall explore some reasons for thinking that emotions can exemplify values (Sec. 3).

Reconstructing Arguments: Formalization and Reflective Equilibrium

Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate formalization. This paper explores how the method of reflective equilibrium can be used for modelling the complexity of such reconstructions and for justifying the various steps involved. The proposed approach is illustrated and tested in a detailed reconstruction of the beginning of Anselm’s De casu diaboli.

Clocking the social mind by identifying mental processes in the IAT with electrical neuroimaging

Why do people take longer to associate the word “love” with outgroup words (incongruent condition) than with ingroup words (congruent condition)? Despite the widespread use of the implicit association test (IAT), it has remained unclear whether this IAT effect is due to additional mental processes in the incongruent condition, or due to longer duration of the same processes. Here, we addressed this previously insoluble issue by assessing the spatiotemporal evolution of brain electrical activity in 83 participants. From stimulus presentation until response production, we identified seven processes. Crucially, all seven processes occurred in the same temporal sequence in both conditions, but participants needed more time to perform one early occurring process (perceptual processing) and one late occurring process (implementing cognitive control to select the motor response) in the incongruent compared with the congruent condition. We also found that the latter process contributed to individual differences in implicit bias. These results advance understanding of the neural mechanics of response time differences in the IAT: They speak against theories that explain the IAT effect as due to additional processes in the incongruent condition and speak in favor of theories that assume a longer duration of specific processes in the incongruent condition. More broadly, our data analysis approach illustrates the potential of electrical neuroimaging to illuminate the temporal organization of mental processes involved in social cognition.