Minds Online: The Interface between Web Science, Cognitive Science, and the Philosophy of Mind

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind

Complex Systems Science: Dreams of Universality, Reality of Interdisciplinarity

Using a large database (~ 215 000 records) of relevant articles, we empirically study the "complex systems" field and its claims to find universal principles applying to systems in general. The study of references shared by the papers allows us to obtain a global point of view on the structure of this highly interdisciplinary field. We show that its overall coherence does not arise from a universal theory but instead from computational techniques and fruitful adaptations of the idea of self-organization to specific systems. We also find that communication between different disciplines goes through specific "trading zones", ie sub-communities that create an interface around specific tools (a DNA microchip) or concepts (a network).Comment: Journal of the American Society for Information Science and Technology (2012) 10.1002/asi.2264

The computational neurology of active vision

In this thesis, we appeal to recent developments in theoretical neurobiology – namely, active inference – to understand the active visual system and its disorders. Chapter 1 reviews the neurobiology of active vision. This introduces some of the key conceptual themes around attention and inference that recur through subsequent chapters. Chapter 2 provides a technical overview of active inference, and its interpretation in terms of message passing between populations of neurons. Chapter 3 applies the material in Chapter 2 to provide a computational characterisation of the oculomotor system. This deals with two key challenges in active vision: deciding where to look, and working out how to look there. The homology between this message passing and the brain networks solving these inference problems provide a basis for in silico lesion experiments, and an account of the aberrant neural computations that give rise to clinical oculomotor signs (including internuclear ophthalmoplegia). Chapter 4 picks up on the role of uncertainty resolution in deciding where to look, and examines the role of beliefs about the quality (or precision) of data in perceptual inference. We illustrate how abnormal prior beliefs influence inferences about uncertainty and give rise to neuromodulatory changes and visual hallucinatory phenomena (of the sort associated with synucleinopathies). We then demonstrate how synthetic pharmacological perturbations that alter these neuromodulatory systems give rise to the oculomotor changes associated with drugs acting upon these systems. Chapter 5 develops a model of visual neglect, using an oculomotor version of a line cancellation task. We then test a prediction of this model using magnetoencephalography and dynamic causal modelling. Chapter 6 concludes by situating the work in this thesis in the context of computational neurology. This illustrates how the variational principles used here to characterise the active visual system may be generalised to other sensorimotor systems and their disorders

Automated Validation of State-Based Client-Centric Isolation with TLA ⁺

Clear consistency guarantees on data are paramount for the design and implementation of distributed systems. When implementing distributed applications, developers require approaches to verify the data consistency guarantees of an implementation choice. Crooks et al. define a state-based and client-centric model of database isolation. This paper formalizes this state-based model in, reproduces their examples and shows how to model check runtime traces and algorithms with this formalization. The formalized model in enables semi-automatic model checking for different implementation alternatives for transactional operations and allows checking of conformance to isolation levels. We reproduce examples of the original paper and confirm the isolation guarantees of the combination of the well-known 2-phase locking and 2-phase commit algorithms. Using model checking this formalization can also help finding bugs in incorrect specifications. This improves feasibility of automated checking of isolation guarantees in synthesized synchronization implementations and it provides an environment for experimenting with new designs.</p

Contributions of Human Prefrontal Cortex to the Recogitation of Thought

Human beings have a unique ability to not only verbally articulate past and present experiences, as well as potential future ones, but also evaluate the mental representations of such things. Some evaluations do little good, in that they poorly reflect facts, create needless emotional distress, and contribute to the obstruction of personal goals, whereas some evaluations are the converse: They are grounded in logic, empiricism, and pragmatism and, therefore, are functional rather than dysfunctional. The aim of non-pharmacological mental health interventions is to revise dysfunctional thoughts into more adaptive, healthier ones; however, the neurocognitive mechanisms driving cognitive change have hitherto remained unclear. Therefore, this thesis examines the role of the prefrontal cortex (PFC) in this aspect of human higher cognition using the relatively new method of functional near-infrared spectroscopy (fNIRS). Chapter 1 advances recogitation as the mental ability on which cognitive restructuring largely depends, concluding that, as a cognitive task, it is a form of open-ended human problem-solving that uses metacognitive and reasoning faculties. Because these faculties share similar executive resources, Chapter 2 discusses the systems in the brain involved in controlled information processing, specifically the nature of executive functions and their neural bases. Chapter 3 builds on these ideas to propose an information-processing model of recogitation, which predicts the roles of different subsystems localized within the PFC and elsewhere in the context of emotion regulation. This chapter also highlights several theoretical and empirical challenges to investigating this neurocognitive theory and proposes some solutions, such as to use experimental designs that are more ecologically valid. Chapter 4 focuses on a neuroimaging method that is best suited to investigating questions of spatial localization in ecological experiments, namely functional near-infrared spectroscopy (fNIRS). Chapter 5 then demonstrates a novel approach to investigating the neural bases of interpersonal interactions in clinical settings using fNIRS. Chapter 6 explores physical activity as a ‘bottom-up’ approach to upregulating the PFC, in that it might help clinical populations with executive deficits to regulate their mental health from the ‘top-down’. Chapter 7 addresses some of the methodological issues of investigating clinical interactions and physical activity in more naturalistic settings by assessing an approach to recovering functional events from observed brain data. Chapter 8 draws several conclusions about the role of the PFC in improving psychological as well as physiological well-being, particularly that rostral PFC is inextricably involved in the cognitive effort to modulate dysfunctional thoughts, and proposes some important future directions for ecological research in cognitive neuroscience; for example, psychotherapy is perhaps too physically stagnant, so integrating exercise into treatment environments might boost the effectiveness of intervention strategies

A Validation Study of the Orientation Model

The orientation model is a multidimensional measure of dual-processing capacities that incorporates four empirically-validated instruments taken from the existing literature on cognitive processing, attachment, empathy, and self-focused attention. As a strength-based conceptualization tool for humanistic counseling practices, the model is intended to provide counselors with a flexible means to assess non-diagnostic client attributes within a dispositional model of client cognitive processing patterns. Although humanistic principles often conflict with the use of quantitative instruments in clinical practice, the model is guided by the tenet that objective measures can effectively supplement clinical insight into client patterns of functioning. It thus serves as a means by which to bridge the gap between objective testing and the philosophical tenets upheld by humanistic counselors. As such, this survey-based study examined the habitual use of dual-process tendencies using four established, non-clinical, and empirically-validated instruments: the Rational-Experiential Inventory (REI; Epstein, Pacini, Denes-Raj, & Heier, 1996), the Differentiation of Self Inventory-Revised (DSI-R; Skowron & Schmitt, 2003), the Interpersonal Reactivity Index (IRI; Davis, 1980), and the Reflection-Rumination Questionnaire (RRQ; Trapnell & Campbell, 1999). The coherence of the orientation model rests on the presupposition that each of the subscales within the four instruments correspond with distinct dual-processing styles. The current study was designed to explore this possibility in order to validate the conceptual underpinnings of the orientation model itself. Self-report responses from 375 college students were used to determine whether relationships grounded in dual-processing capacities exist among the disparate model variables. Canonical correlation and multivariate analysis of variance results suggest that the orientation model provides a descriptive framework for distinguishing self-perceived adaptiveness or perceptiveness from emotional vulnerability or sensitivity rather than providing an explanatory foundation linked to dual process theories. This interpretation is examined in relation to the dual-processing literature, and directions for future research and theory generation are suggested. Practical implications are discussed in terms of applying the model as a case conceptualization tool in clinical and supervisory settings, concerns related to potential misinterpretations of a thinking/feeling dichotomy in clinical practice, and the therapeutic value of the instruments outside a dual-process framework

Exemplars as a least-committed alternative to dual-representations in learning and memory

Despite some notable counterexamples, the theoretical and empirical exchange between the fields of learning and memory is limited. In an attempt to promote further theoretical exchange, I explored how learning and memory may be conceptualized as distinct algorithms that operate on a the same representations of past experiences. I review representational and process assumptions in learning and memory, by the example of evaluative conditioning and false recognition, and identified important similarities in the theoretical debates. Based on my review, I identify global matching memory models and their exemplar representation as a promising candidate for a common representational substrate that satisfies the principle of least commitment. I then present two cases in which exemplar-based global matching models, which take characteristics of the stimulus material and context into account, suggest parsimonious explanations for empirical dissociations in evaluative conditioning and false recognition in long-term memory. These explanations suggest reinterpretations of findings that are commonly taken as evidence for dual-representation models. Finally, I report the same approach provides also provides a natural unitary account of false recognition in short-term memory, a finding which challenges the assumption that short-term memory is insulated from long-term memory. Taken together, this work illustrates the broad explanatory scope and the integrative and yet parsimonious potential of exemplar-based global matching models