A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

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.