In this largely theoretical article, we discuss the relation between a kind of affect, behavioural schemas and aspects of the proving process. We begin with affect as described in the mathematics education literature, but soon narrow our focus to a particular kind of affect – nonemotional cognitive feelings. We then mention the position of feelings in consciousness because that bears on the kind of data about feelings that students can be expected to be able to report. Next we introduce the (...) idea of behavioural schemas as enduring mental structures that link situations to actions, in other words, habits of mind, that appear to drive many mental actions in the proving process. This leads to a discussion of the way feelings can both help cause mental actions and also arise from them. Then we briefly describe a design experiment – a course intended to help advanced undergraduate and beginning graduate mathematics students improve their proving abilities. Finally, drawing on data from the course, along with several interviews, we illustrate how these perspectives on affect and on behavioural schemas appear to explain, and are consistent with, our students’ actions. (shrink)

Naturalistic thinking and knowing, the tacit, experiential, and intuitive reasoning of everyday interaction, have long been regarded as inferior to formal reason and labeled primitive, fallible, subjective, superstitious, and in some cases ineffable. But, naturalistic thinking is more rational and definable than it appears. It is also relevant to design. Inquiry into the mechanisms of naturalistic thinking and knowledge can bring its resources into focus and enable designers to create better, human-centered designs for use in real-world settings. This article makes (...) a case for the explicit, formal study of implicit, naturalistic thinking within the fields of design. It develops a framework for defining and studying naturalistic thinking and knowledge, for integrating them into design research and practice, and for developing a more integrated, consistent theory of knowledge in design. It will (a) outline historical definitions of knowledge, attitudes toward formal and naturalistic thinking, and the difficulties presented by the co-presence of formal and naturalistic thinking in design, (b) define and contrast formal and naturalistic thinking as two distinct human cognitive systems, (c) demonstrate the importance of naturalistic cognition in formal thinking and real-world judgment, (d) demonstrate methods for researching naturalistic thinking that can be of use in design, and (e) briefly discuss the impact on design theory of admitting naturalistic thinking as valid, systematic, and knowable. (shrink)

This paper examines the form of mental representation of scientific theories in scientists and nonscientists. It concludes that images and schemas are not the appropriate form of mental representation for scientific theories but that mental models and perceptual symbols do seem appropriate for representing physical/mechanical phenomena. These forms of mental representation are postulated to have an analogical relation with the world and it is this relationship that gives them strong explanatory power. It is argued that the construct of naïve theories (...) as used in developmental psychology may be the appropriate form of mental representation for non physical/mechanical domains. The paper adopts a strong form of psychologism in the philosophy of science and argues that model-based approaches to scientific theories are more appropriate forms of representation for scientific theories than the formalist approaches that dominate current philosophy of science. (shrink)

The Modularity of Mind proposes an alternative to the or view of cognitive architecture that has dominated several decades of cognitive science. Whereas interactionism stresses the continuity of perceptual and cognitive processes, modularity theory argues for their distinctness. It is argued, in particular, that the apparent plausibility of New Look theorizing derives from the failure to distinguish between the (correct) claim that perceptual processes are inferential and the (dubious) claim that they are unencapsidated, that is, that they are arbitrarily sensitive (...) to the organism's beliefs and desires. In fact, according to modularity theory, perceptual processes are computationally isolated from much of the background knowledge to which cognitive processes have access. The postulation of autonomous, domain-specific psychological mechanisms underlying perceptual integration connects modularity theory with the tradition of faculty psychology, in particular, with the work of Franz Joseph Call. Some of these historical affinities, and some of the relations between faculty psychology and Cartesianism, are discussed in the book. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures its (...) ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)

Scientific understanding as a subject of inquiry has become widely discussed in philosophy of science and is often addressed through case studies from history of science. Even though these historical reconstructions engage with details of scientific practice, they usually provide only limited information about the gradual formation of understanding in ongoing processes of model and theory construction. Based on a qualitative ethnographic study of an ecological research project, this article shifts attention from understanding in the context of historical case studies (...) to evidence of current case studies. By taking de Regt’s contextual theory of scientific understanding into the field, it confirms core tenets of the contextual theory suggesting a normative character with respect to scientific activities. However, the case study also shows the limitations of de Regt’s latest version of this theory as an attempt to explain the development of understanding in current practice. This article provides a model representing the emergence of scientific understanding that exposes main features of scientific understanding such as its gradual formation, its relation to skills and imagination, and its capacity for knowledge selectivity. The ethnographic evidence presented here supports the claim that something unique can be learned by looking into ongoing research practices that can’t be gained by studying historical case studies. (shrink)

Recently, a cottage industry has formed with the goal of analyzing reasoning. The relevant notion of reasoning in which philosophers are expressly interested is fixed through an epistemic functional description: reasoning—whatever it is—is our personal-level, rationally evaluable means of meeting our rational requirements through managing and updating our attitudes. Roughly, the dominant view in the extant literature as developed by Paul Boghossian, John Broome, and others is that reasoning is a rule-governed operation over propositional attitudes that results in a change (...) in attitude. In this paper, I argue that our personal-level operations over mental models and visuospatial imagery, which are representations in a non-propositional/analogue format, can be rationally evaluable processes of managing our attitudes and, thus, should be considered reasoning in the relevant sense. Furthermore, I show that if reasoning can occur through operations over mental models and imagery, then the dominant rule-following account mischaracterizes the cognitive operations and representational states assumed to be constitutive of reasoning and what grounds the rational status of a line of reasoning. (shrink)

The Epistemology Of Computer Simulation has developed as an epistemological and methodological analysis of simulative sciences using quantitative computational models to represent and predict empirical phenomena of interest. In this paper, Executable Cell Biology and Agent-Based Modelling are examined to show how one may take advantage of qualitative computational models to evaluate reachability properties of reactive systems. In contrast to the thesis, advanced by EOCS, that computational models are not adequate representations of the simulated empirical systems, it is shown how (...) the representational adequacy of qualitative models is essential to evaluate reachability properties. Justification theory, if not playing an essential role in EOCS, is exhibited to be involved in the process of advancing and corroborating model-based hypotheses about empirical systems in ECB and ABM. Finally, the practice of evaluating model-based hypothesis by testing the simulated systems is shown to constitute an argument in favour of the thesis that computer simulations in ECB and ABM can be put on a par with scientific experiments. (shrink)

Sustainability is an important topic for understanding and developing our society. For scholars who want their academic contributions to have an impact, sustainability is important for our conceptual systems. Because our conceptual systems share similarities with our social systems, we may investigate their characteristics to gain insight into how both may be achieved or at least understood. Theories of the humanities as well as the social/behavioral sciences are changing very rapidly. They are fragile and few seem to have any longevity. (...) At the same time, the theoretical base does not seem to be “advancing.” They are not supporting highly effective results in the real world, so we continue to have seemingly insolvable problems such as crime, war, and poverty. This may be because academia has become inward-focused or, in Luhmann’s terminology, autonomous from the outside world. In seeking to understand how to develop more sustainable theories we found that the concept of sustainability is contested. And, in the process of comparing the sustainability of social systems to the sustainability of theories, we came to realize that neither perspective is viable. Drawing on Luhmann’s insights on the interdependence of theories and society, we came to realize that the two exist in a coevolutionary relationship. Importantly, we present an approach for measuring that evolution and suggest directions for accelerating the coevolutionary advance of society and science. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

In this article we review the discussion over the thesis that language serves as an integrator of contents coming from different cognitive modules. After presenting the theoretical considerations, we examine two strands of empirical research that tested the hypothesis — spatial cognition and mathematical cognition. The idea shared by both of them is that each is composed of two separate modules processing information of a specific kind. For spatial thinking these are geometric information about the location of the object and (...) the information about the object’s properties such as color or size. For mathematical thinking, they are the absolute representation of small numbers and the approximate representation of numerosities. Language is said to integrate the two kinds of information within each of these domains, which the reviewed data demonstrates. In the final part of the paper, we offer some comments on the theoretical side of the discussion. (shrink)

The article deals with research on framing effects. First, I will start with classifying different approaches on framing. Subsequently, I will provide a definition of the concepts of frame, schema and framing, expand on framing research conducted so far – both theoretically and operationally. Having this equipment at hand, I will initiate a discussion on studies of framing-effects in terms of theory, methods and empirical results. This discussion leads to the conclusion that studies on framing effects are insufficiently concerned with (...) the more recent psychological constructs and theories. In merely focusing on the activation of schemata, most studies ignore the more elaborate types of framing-effects. Therefore, several empirical questions remain unanswered and some methodical chances seem to be wasted. (shrink)