Tested the 2-process theory of detection, search, and attention presented by the current authors in a series of experiments. The studies demonstrate the qualitative difference between 2 modes of information processing: automatic detection and controlled search; trace the course of the learning of automatic detection, of categories, and of automatic-attention responses; and show the dependence of automatic detection on attending responses and demonstrate how such responses interrupt controlled processing and interfere with the focusing of attention. The learning of categories (...) is shown to improve controlled search performance. A general framework for human information processing is proposed. The framework emphasizes the roles of automatic and controlled processing. The theory is compared to and contrasted with extant models of search and attention. (shrink)

Cognitive neuroscience is the branch of neuroscience that studies the neural mechanisms underpinning cognition and develops theories explaining them. Within cognitive neuroscience, computational neuroscience focuses on modeling behavior, using theories expressed as computer programs. Up to now, computational theories have been formulated by neuroscientists. In this paper, we present a new approach to theory development in neuroscience: the automatic generation and testing of cognitive theories using genetic programming (GP). Our approach evolves from experimental data cognitive theories that explain “the (...) mental program” that subjects use to solve a specific task. As an example, we have focused on a typical neuroscience experiment, the delayed-match-to-sample (DMTS) task. The main goal of our approach is to develop a tool that neuroscientists can use to develop better cognitive theories. (shrink)

Two contrasting theories-actor-network theory and nondecision making-are separately applied to the same case study, namely, technologies for automatically identifying road vehicles. By this process, the strengths and weaknesses of each approach are highlighted: The actor-network approach is useful for understanding local processes but lacks tools for easily illuminating patterns across countries; by contrast, the concept of nondecision making is useful for explaining the general lack of implementation of technology for automatic vehicle identification but not for explaining variations between developments (...) in different countries. This study highlights the importance of attempting to compare theories by using the same case study. (shrink)

Khoussainov and Nerode [14] posed various open questions on model-theoretic properties of automatic structures. In this work we answer some of these questions by showing the following results: There is an uncountably categorical but not countably categorical theory for which only the prime model is automatic; There are complete theories with exactly 3,4,5,…3,4,5,… countable models, respectively, and every countable model is automatic; There is a complete theory for which exactly 2 models have an automatic presentation; If LOGSPACE=PLOGSPACE=P then (...) there is an uncountably categorical but not countably categorical theory for which the prime model does not have an automatic presentation but all the other countable models are automatic; There is a complete theory with countably many countable models for which the saturated model has an automatic presentation but the prime model does not have one. (shrink)

Automatic conservation of energy-momentum and angular momentum is guaranteed in a gravitational theory if, via the field equations, the conservation laws for the material currents are reduced to the contracted Bianchi identities. We first execute an irreducible decomposition of the Bianchi identities in a Riemann-Cartan space-time. Then, starting from a Riemannian space-time with or without torsion, we determine those gravitational theories which have automatic conservation: general relativity and the Einstein-Cartan-Sciama-Kibble theory, both with cosmological constant, and the nonviable pseudoscalar (...) model. The Poincaré gauge theory of gravity, like gauge theories of internal groups, has no automatic conservation in the sense defined above. This does not lead to any difficulties in principle. Analogies to 3-dimensional continuum mechanics are stressed throughout the article. (shrink)

Three studies provided evidence that syntax influences intentionality judgments. In Experiment 1, participants made either speeded or unspeeded intentionality judgments about ambiguously intentional subjects or objects. Participants were more likely to judge grammatical subjects as acting intentionally in the speeded relative to the reflective condition (thus showing an intentionality bias), but grammatical objects revealed the opposite pattern of results (thus showing an unintentionality bias). In Experiment 2, participants made an intentionality judgment about one of the two actors in a partially (...) symmetric sentence (e.g., “John exchanged products with Susan”). The results revealed a tendency to treat the grammatical subject as acting more intentionally than the grammatical object. In Experiment 3 participants were encouraged to think about the events that such sentences typically refer to, and the tendency was significantly reduced. These results suggest a privileged relationship between language and central theory-of-mind concepts. More specifically, there may be two ways of determining intentionality judgments: (1) an automatic verbal bias to treat grammatical subjects (but not objects) as intentional (2) a deeper, more careful consideration of the events typically described by a sentence. (shrink)

The logic L (Qu) extends first-order logic by a generalized form of counting quantifiers ("the number of elements satisfying... belongs to the set C"). This logic is investigated for structures with an injectively ω-automatic presentation. If first-order logic is extended by an infinity-quantifier, the resulting theory of any such structure is known to be decidable [6]. It is shown that, as in the case of automatic structures [21], also modulo-counting quantifiers as well as infinite cardinality quantifiers ("there are χ (...) many elements satisfying...") lead to decidable theories. For a structure of bounded degree with injective ω-automatic presentation, the fragment of L(Qu) that contains only effective quantifiers is shown to be decidable and an elementary algorithm for this decision is presented. Both assumptions (ω-automaticity and bounded degree) are necessary for this result to hold. (shrink)

I argue that so-called automatic actions – routine performances that we successfully and effortlessly complete without thinking such as turning a door handle, downshifting to 4th gear, or lighting up a cigarette – pose a challenge to causalism, because they do not appear to be preceded by the psychological states which, according to the causal theory of action, are necessary for intentional action. I argue that causalism cannot prove that agents are simply unaware of the relevant psychological states when (...) they act automatically, because these content-specific psychological states aren’t always necessary to make coherent rational sense of the agent’s behaviour. I then dispute other possible grounds for the attribution of these psychological states, such as agents’ own self-attributions. In the final section I introduce an alternative to causalism, building on Frankfurt’s concept of guidance. (shrink)

Critics of appraisal theory have difficulty accepting appraisal (with its constructive flavor) as an automatic process, and hence as a potential cause of most emotions. In response, some appraisal theorists have argued that appraisal was never meant as a causal process but as a constituent of emotional experience. Others have argued that appraisal is a causal process, but that it can be either rule-based or associative, and that the associative variant can be automatic. This article first proposes empirically investigating (...) whether rule-based appraisal can also be automatic and then proposes investigating the automatic nature of constructive (instead of rule-based) appraisal because the distinction between rule-based and associative is problematic. Finally, it discusses experiments that support the view that constructive appraisal can be automatic. (shrink)

Fix an abelian group $\Gamma $ and an injective endomorphism $F\colon \Gamma \to \Gamma $. Improving on the results of [2], new characterizations are here obtained for the existence of spanning sets, F-automaticity, and F-sparsity. The model theoretic status of these sets is also investigated, culminating with a combinatorial description of the F-sparse sets that are stable in $$, and a proof that the expansion of $$ by any F-sparse set is NIP. These methods are also used to show (...) for prime $p\ge 7$ that the expansion of $$ by multiplication restricted to $t^{\mathbb {N}}$ is NIP. (shrink)

Perceptual processes, in particular modular processes, have long been understood as being mandatory. But exactly what mandatoriness amounts to is left to intuition. This paper identifies a crucial ambiguity in the notion of mandatoriness. Discussions of mandatory processes have run together notions of automaticity and ballisticity. Teasing apart these notions creates an important tool for the modularist's toolbox. Different putatively modular processes appear to differ in their kinds of mandatoriness. Separating out the automatic from the ballistic can help the (...) modularist diagnose and explain away some putative counterexamples to multimodal and central modules, thereby helping us to better evaluate the evidentiary status of modularity theory. (shrink)

Contemporary feminist critics have often described Surrealism as a misogynist movement. In Automatic Woman, Katharine Conley addresses this issue, confirming some feminist allegations while qualifying and overturning others. Through insightfuløanalyses of works by a range of writers and artists, Conley develops a complex view of Surrealist portrayals of Woman. Conley begins with a discussion of the composite image of Woman developed by such early male Surrealists as Andrä Breton, Francis Picabia, and Paul Eluard. She labels that image ?Automatic Woman??a term (...) that comprises views of Woman as provocative and revolutionary but also as a depersonalized object largely devoid of individuality and volition. This analysis largely confirms feminist critiques of Surrealism. The heart of the book, however, examines the writings of Leonora Carrington and Unica Z_rn, two women in the Surrealist movement whose works, Conley argues, anticipate much contemporary feminist art and theory. In concluding, Conley shows how Breton?s own views on women evolved in the course of his long career, arriving at last at a position far more congenial to contemporary feminists. Automatic Woman is distinguished by Katharine Conley?s judicious understanding of how women?and the image of Woman?figured in Surrealism. The book is an important contemporary account of a cultural movement that continues to fascinate, influence, and provoke us. (shrink)

We investigated whether motivationally determined stimulus valence can be processed in an automatic way, as is assumed in many appraisal theories (e.g., Frijda, 1986, 1993; Lazarus, 1991; Scherer, 1993a). Whereas appraisal theorists typically use conscious self-report methods to investigate their assumptions, our experiments used indirect experimental methods that leave less room for deliberate, conscious reflections of the participants. Using variants of the affective priming and Simon paradigms, we demonstrated that intrinsically neutral, but wanted stimuli facilitated responses with a positive valence, (...) whereas intrinsically neutral, but unwanted stimuli facilitated negative responses. In addition, the second experiment proved to be supportive of another assumption made by appraisal theorists according to which a relation exits between different (automatic) outcomes of motivational appraisal (positive-negative) and different action tendencies (approach-withdrawal). (shrink)

A large part of the current debate among virtue ethicists focuses on the role played by phronesis, or wise practical reasoning, in virtuous action. The paradigmatic case of an action expressing phronesis is one where an agent explicitly reflects and deliberates on all practical options in a given situation and eventually makes a wise choice. Habitual actions, by contrast, are typically performed automatically, that is, in the absence of preceding deliberation. Thus they would seem to fall outside of the primary (...) focus of the current virtue ethical debate. By contrast, Bill Pollard has recently suggested that all properly virtuous actions must be performed habitually and therefore automatically, i.e. in the absence of moral deliberation. In this paper, Pollard’s suggestion is interpreted as the thesis that habitual automaticity is constitutive of virtue or moral excellence. By constructing an argument in favor of it and discussing several objections, the paper ultimately seeks to defend a qualified version of this thesis. (shrink)

It is sometimes claimed that the Bayesian framework automatically implements Ockham’s razor—that conditionalizing on data consistent with both a simple theory and a complex theory more or less inevitably favours the simpler theory. It is shown here that the automatic razor doesn’t in fact cut it for certain mundane curve-fitting problems.

As a theory of skill acquisition, the instance theory of automatization posits that, after a period of training, algorithm‐based performance is replaced by retrieval‐based performance. This theory has been tested using alphabet‐arithmetic verification tasks (e.g., is A + 4 = E?), in which the equations are necessarily solved by counting at the beginning of practice but can be solved by memory retrieval after practice. A way to infer individuals’ strategies in this task was supposedly provided by the (...) opportunistic‐stopping phenomenon, according to which, if individuals use counting, they can take the opportunity to stop counting when a false equation associated with a letter preceding the true answer has to be verified (e.g., A + 4 = D). In this case, such within‐count equations would be rejected faster than false equations associated with letters following the true answers (e.g., A + 4 = F, i.e., outside‐of‐count equations). Conversely, the absence of opportunistic stopping would be the sign of retrieval. However, through a training experiment involving 19 adults, we show that opportunistic stopping is not a phenomenon that can be observed in the context of an alphabet‐arithmetic verification task. Moreover, we provide an explanation of how and why it was wrongly inferred in the past. These results and conclusions have important implications for learning theories because they demonstrate that a shift from counting to retrieval over training cannot be deduced from verification time differences between outside and within‐count equations in an alphabet‐arithmetic task. (shrink)

It is sometimes claimed that the Bayesian framework automatically implements Ockham’s razor—that conditionalizing on data consistent with both a simple theory and a complex theory more or less inevitably favours the simpler theory. It is shown here that the automatic razor doesn’t in fact cut it for certain mundane curve-fitting problems.

How might philosophers and art historians make the best use of one another's research? That, in nuce, is what this special issue considers with respect to questions concerning the nature of photography as an artistic medium; and that is what my essay addresses with respect to a specific case: the dialogue, or lack thereof, between the work of the philosopher Stanley Cavell and the art historian-critic Rosalind Krauss. It focuses on Krauss's late appeal to Cavell's notion of automatism to argue (...) that artists now have to invent their own medium, both to provide criteria against which to judge artistic success or failure and to insulate serious art from the vacuous generalization of the aesthetic in a media-saturated culture at large.1 Much in the spirit of ‘Avant-Garde and Kitsch’, paying attention to the medium is once again an artist's best line of defence against the encroachment of new media, the culture industry, and spectacle. That Krauss should appeal to Cavell at all, let alone in such a Greenbergian frame of mind, is surprising if one is familiar with the fraught history of debate about artistic media in art theory since Greenberg. Cavell's work in this domain has always been closely associated with that of Michael Fried, and the mutual estrangement of Fried and Krauss, who began their critical careers as two of Greenberg's leading followers, is legendary.2I have written about the close connection between Fried's and Cavell's conceptions of an artistic medium before.3 Whereas Fried's and Cavell's early conception of an artistic medium was in a sense collaborative, emerging from an ongoing exchange of ideas at Harvard in the latter half of the 1960s, Krauss's much later appeal to the ideas of automatism and the automatic underpinning Cavell's conception of the photographic substrate of film from the early 1970s is not. In what follows, I try to clarify both the grounds of this appeal and its upshot. Does Krauss's account shed new light on Cavell's, or is she trying to press his terms into service for which they are ill-served? Both could of course be true, the former as a consequence of the latter perhaps. Conversely, do the art historical and philosophical accounts pass one another by? Note that even if the latter were true, its explanation might still prove instructive in the context of an interdisciplinary volume seeking to bring art historians and philosophers into dialogue around the themes of agency and automatism, which is precisely what Krauss's appeal to Cavell turns on. (shrink)

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic structure of bounded degree is decidable in doubly exponential space (for injective automatic presentations, this holds even uniformly). This result is shown to be optimal since we also present a string automatic structure of bounded degree whose first-order theory is hard for 2EXPSPACE. (...) We prove similar results also for tree automatic structures. These findings close the gaps left open in [28] by improving both the lower and the upper bounds. (shrink)

The claim that empathy is both automatic and representational is criticized as follows: (a) five empathy-arousing processes ranging from conditioning and mimicry to prospective-taking show that empathy can be either automatic or representational, and only under certain circumstances, both; (b) although automaticity decreases, empathy increases with age and cognitive development; (c) observers' causal attributions can shift rapidly and produce more complex empathic responses than the theory allows.

Paul C. Johnson begins his new work, Automatic Religion, with the observation that two of the capacities commonly taken to distinguish humans from nonhumans-free will and religion-are fundamentally opposed. Free will enjoys a central place in our ideas of spontaneity, authorship, and the conscious weighing of alternatives. Meanwhile, religion is less a quest for agency than a series of practices--possession rituals being the most spectacular though by no means the only examples--that temporarily relieve individuals of their will. What, then, is (...) agency and why has it occupied such a central place in theories of the human? Based on a dozen years of archival and ethnographic research in Brazil and France, this book tests the boundaries between humans and non-humans in an unlikely series of episodes from the closing decades of the nineteenth century, when ideas related to automatism lurched into motion on multiple tracks and, not incidentally, "religion" as a topic of study was being born. Brazil provided a particularly fertile place for reflection as the nearest site of what Europeans and Euro-Americans too often, too naïvely, and too imperially saw as raw nature, and thus also a laboratory of the human. In this context, the French would call Brazil's people monkeys; its slaves were called automatons; and Afro-Brazilian spirit possession priests were classed in the terms of French psychiatry's newly minted terms, dissociation and hysteria. Johnson shows not just how automatons can take on unexpectedly human-like lives when animated but also traces how certain groups have been excluded as less-than-human. In so doing, Johnson reanimates one of the most mysterious and yet foundational questions of trans-Atlantic thought-what is agency? (shrink)

Theory suggests that stimulus evaluations automatically evoke approach–avoidance behavior. However, the extent to which approach–avoidance behavior is triggered automatically is not yet clear. Furthermore, the nature of automatically triggered approach–avoidance behavior is controversial. We review research on two views on the type of approach–avoidance behavior that is triggered automatically (arm flexion/extension, distance change). Present evidence supports the distance-change view and corroborates the notion of an automatic pathway from evaluation to distance-change behavior. We discuss underlying mechanisms (direct stimulus–response links, outcome (...) anticipations, goals) as well as implications regarding the flexibility of the evaluation–behavior link. (shrink)

This paper considers the connection between automaticity, control and agency. Indeed, recent philosophical and psychological works play up the incompatibility of automaticity and agency. Specifically, there is a threat of automaticity, for automaticity eliminates agency. Such conclusions stem from a tension between two thoughts: that automaticity pervades agency and yet automaticity rules out control. I provide an analysis of the notions of automaticity and control that maintains a simple connection: automaticity entails the (...) absence of control. An appropriate analysis, however, shows that actions are forms of control and pervasively automatic even if automaticity implies the absence of control. Consequences are drawn for the theory of mental agency and the psychological concepts of automaticity and control. (shrink)

This article questions the current vogue of Carl Schmitt among political theorists who read him as an antidote to the depoliticizing force of economics and technology in the age of neoliberalism and its algorithmic rationalities. It takes Schmitt’s sparse reflections about cybernetics and game theory as paradigmatic of the theoretical and political problems raised by any theory positing the autonomy of the political. It suggests that this ultimately misunderstands the role of cybernetic representations of political decision-making in shoring (...) up in the 1960s and 1970s the autonomy of the political that Schmitt so vehemently defended. (shrink)

A structure has a automatic presentationif the elements of its domain can be named by finite strings in such a way that the coded domain and the coded atomic operations are recognised by synchronous multitape automata. Consequently, every structure with an automatic presentation has a decidable first-order theory. The problems surveyed here include the classification of classes of structures with automatic presentations, the complexity of the isomorphism problem, and the relationship between definability and recognisability.

We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is not (...) determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for ω n -automatic boolean algebras, n ≥ 2, (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a ${\mathrm{\Sigma }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ nor a ${\mathrm{\Pi }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ . We obtain that there exist infinitely many ω n -automatic, hence also ω-tree-automatic, atomless boolean algebras $\mathcal{B}_{n}$ , n ≥ 1, which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [14]. (shrink)

Dual process theorists in psychology maintain that the mind’s workings can be explained in terms of conscious or controlled processes and automatic processes. Automatic processes are largely nonconscious, that is, triggered by environmental stimuli without the agent’s conscious awareness or deliberation. Automaticity researchers contend that even higher level habitual social behaviors can be nonconsciously primed. This article brings work on automaticity to bear on our understanding of habitual virtuous actions. After examining a recent intuitive account of habitual actions (...) and habitual virtuous actions, the author offers her own explanation in terms of goal-dependent automaticity. This form of automaticity provides an account of habitual virtuous actions that explains the sense in which these actions are rational, that is, done for reasons. Habitual virtuous actions are rational in the sense of being purposive or goal-directed and are essentially linked with the agent’s psychological states. Unlike deliberative virtuous actions, the agent’s reasons for habitual virtuous actions are not present to her conscious awareness at the time of acting. (shrink)

Semantic priming has long been recognized to reflect, along with automatic semantic mechanisms, the contribution of controlled strategies. However, previous theories of controlled priming were mostly qualitative, lacking common grounds with modern mathematical models of automatic priming based on neural networks. Recently, we introduced a novel attractor network model of automatic semantic priming with latching dynamics. Here, we extend this work to show how the same model can also account for important findings regarding controlled processes. Assuming the rate of semantic (...) transitions in the network can be adapted using simple reinforcement learning, we show how basic findings attributed to controlled processes in priming can be achieved, including their dependency on stimulus onset asynchrony and relatedness proportion and their unique effect on associative, category-exemplar, mediated and backward prime-target relations. We discuss how our mechanism relates to the classic expectancy theory and how it can be further extended in future developments of the model. (shrink)

How do affective feelings arise? Most theories consider that affective feelings result from the appraisals of an event, these appraisals being the consequences of automatic evaluations processes th...

Cognitive scientists routinely distinguish between controlled and automatic mental processes. Through learning, practice, and exposure, controlled processes can become automatic; however, whether automatic processes can become deautomatized – recuperated under the purview of control – remains unclear. Here we show that a suggestion derails a deeply ingrained process involving involuntary audiovisual integration. We compared the performance of highly versus less hypnotically suggestible individuals in a classic McGurk paradigm – a perceptual illusion task demonstrating the influence of visual facial movements on (...) auditory speech percepts. Following a posthypnotic suggestion to prioritize auditory input, HSIs but not LSIs manifested fewer illusory auditory perceptions and correctly identified more auditory percepts. Our findings demonstrate that a suggestion deautomatized a ballistic audiovisual process in HSIs. In addition to guiding our knowledge regarding theories and mechanisms of automaticity, the present findings pave the road to a more scientific understanding of top-down effects and multisensory integration. (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...) main findings, I will argue that the obtained persuasive effects are due to the fact that such techniques leverage on cognitive mechanisms that refer to the “system 1” types of automatic processes hypothesized in the context of the dual process theory of reasoning. As a consequence of this state of affairs, any automated persuasive systems (used for ethical purposes: e.g. suggesting good health habits) should be able to re-use these types of system 1 strategies in order to gradually take the users in an argumentation territory where system 2 processes can take place. -/- . (shrink)

This paper seeks to build on the extensive connections that have arisen between automata theory, combinatorics on words, fractal geometry, and model theory. Results in this paper establish a characterization for the behavior of the fractal geometry of “k-automatic” sets, subsets of $[0,1]^d$ that are recognized by Büchi automata. The primary tools for building this characterization include the entropy of a regular language and the digraph structure of an automaton. Via an analysis of the strongly connected components of (...) such a structure, we give an algorithmic description of the box-counting dimension, Hausdorff dimension, and Hausdorff measure of the corresponding subset of the unit box. Applications to definability in model-theoretic expansions of the real additive group are laid out as well. (shrink)

Despite the fact that attention is a core property of all perceptual and cognitive operations, our understanding of its neurophysiological mechanisms is far from complete. There are many theoretical models that try to fill this gap in knowledge, though practically all of them concentrate only on either involuntary (bottom-up) or voluntarily (top-down) aspect of attention. At the same time, both aspects of attention are rather integrated in the living brain. In this chapter we attempt to conceptualise both aspects of attentional (...) state within the theory of Operational Architectonics of brain and mind functioning, which provides a plausible theoretical basis for neurophysiological understanding of how attention is brought to existence in the living brain. (shrink)

This volume is a state-of-the-art review of the evidence and theory supporting the existence and significance of automatic processes in our daily lives, with chapters by the leading researchers in this field today.

The main result of this paper states that the isomorphism problem for ω-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov, Montalbán, and Nies showing that the isomorphism problem for ω-automatic structures is not in . Moreover, assuming the continuum hypothesis CH, we can show that the isomorphism problem for ω-automatic trees of finite height is recursively equivalent with second-order arithmetic. On the way to (...) our main results, we show lower and upper bounds for the isomorphism problem for ω-automatic trees of every finite height: It is decidable , for height 1 , -hard and in for height 3, and - and -hard and in for height . All proofs are elementary and do not rely on theorems from set theory. (shrink)