Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (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)

The work done in the philosophy of modeling by Vaihinger (1876), Craik (1943), Rosenblueth and Wiener (1945), Apostel (1960), Minsky (1965), Klaus (1966) and Stachowiak (1973) is still almost completely neglected in the mainstream literature. However, this work seems to contain original ideas worth to be discussed. For example, the idea that diverse functions of models can be better structured as follows: in fact, models perform only a single function – they are replacing their target systems, but for different purposes. (...) Another example: the idea that all of cognition is cognition in models or by means of models. Even perception, reflexes and instincts (animal and human) can be best analyzed as modeling. The paper presents an analysis of the above-mentioned work. (shrink)

This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about the (...) relations in the model, and search for alternative models that are counterexamples to these conclusions. This theory, which has been implemented in several computer programs, predicts that two principal factors should affect performance: the figure of the premises, and the number of models that they call for. These predictions were confirmed by a third experiment. Dans cet article sont passées en revue les théories psychologiques du traitement des syllogismes. On établit qu'en dépit de leurs mérites variés toutes sont en défaut en tant que théories de la performance. On présente les résultats de deux expériences, une utilisant des syllogismes et l'autre des problémes avec des séries de trois termes conçues pour élucider comment l'arrangement des termes dans les premises affecte la performance. Ces données sont utilisées pour construire une théorie fondée sur l'hypothése que les gens construisent des modèles mentaux des premises, formulent des conclusions explicites sur les relations dans le modèle et cherchent des modèles qui seraient des contre-exemples pour leurs conclusions. Cette théorie, utilisée dans plusieurs programmes d'ordinateur, prédit que deux principaux facteurs affectent la performance: la figure des premises et le nombre de; modèles qu'ils mettent en jeu. Cette prédiction est confirmée dans les trois expériences. (shrink)

This article presents the results of an experiment which investigated elementary school children's explanations of the day/night cycle. First, third, and fifth grade children were asked to explain certain phenomena, such as the disappearance of the sun during the night, the disappearance of stars during the day, the apparent movement of the moon, and the alteration of day and night. The results showed that the majority of the children in our sample used in a consistent fashion a small number of (...) relatively well‐defined mental models of the earth, the sun, and the moon to explain the day/night cycle. These mental models of the day/night cycle were empirically accurate, logically consistent and revealed some sensitivity on the part of the children to issues of simplicity of explanation. The younger children formed Initial mental models which provided explanations of the day/night cycle based on everyday experience (e.g., the sun goes down behind mountains, clouds cover up the sun). The older children constructed synthetic mental models (e.g., the sun and the moon revolve around the stationary earth every 24 hours; the earth rotates in an up/down direction and the sun and moon are fixed on opposite sides) which represented attempts to synthesize the culturally accepted view with aspects of their Initial models. A few of the older children appeared to have constructed a mental model of the day/night cycle similar to the scientific one. A theoretical framework is outlined which explains the formation of initial, synthetic, and scientific models of the day/night cycle in terms of the reinterpretation of a hierarchy of constraints, some of which are present early in the child's life, and others which emerge later out of the structure of the acquired knowledge. (shrink)

Over the past two decades, the phenomenon of socially responsible investing has become more widespread. However, knowledge about the individual socially responsible investor is largely limited to descriptive and comparative accounts. The question of "why do some investors practice socially responsible investing and others don't?" is therefore still largely unanswered. To address this shortcoming in the current literature, this paper develops a model of the decision to invest socially responsibly that is grounded in the cognition literature. The hypotheses proposed in (...) the model are tested with an experimental survey. The results indicate that the framing of the investing situation influences the likelihood of engagement in socially responsible investing and how much return the individuals are willing to sacrifice when choosing socially responsible over conventional investments. The study does not find support for a relationship between expectations about corporate social responsibility and the likelihood of engagement in socially responsible investing. (shrink)

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)

In this paper I provide a brief history of the emerging science of conceptual systems, explain some methodologies, their sources of data, and the understandings that they have generated. I also provide suggestions for extending the science-based research in a variety of directions. Essentially, I am opening a conversation that asks how this line of research might be extended to gain new insights—and eventually develop more useful and generally accepted methods for creating and evaluating theory. This effort will support our (...) ability to generate theory that is more effective in practical application as well as accelerating the development of theory to support advances in other sciences. (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)

The psychology of science typically lacks integration between cognitive and social variables. We present a new framework of team innovation in multidisciplinary science and engineering groups that ties factors from both literatures together. We focus on the effects of a particularly challenging social factor, knowledge diversity, which has a history of mixed effects on creativity, most likely because those effects are mediated and moderated by cognitive and additional social variables. In addition, we highlight the distinction between team innovative processes that (...) are primarily divergent versus convergent; we propose that the social and cognitive implications are different for each, providing a possible explanation for knowledge diversity’s mixed results on team outcomes. Social variables mapped out include formal roles, communication norms, sufficient participation and information sharing, and task conflict; cognitive variables include analogy, information search, and evaluation. This framework provides a roadmap for research that aims to harness the power of multidisciplinary teams. (shrink)

Evaluation processes are a basic component of creativity. They guide not only the pure judgement about a new artefact but also the generation itself, as creators constantly evaluate their own work. This paper proposes a model for automatic story generation based on the evaluation of stories. A model of how quality in stories is evaluated is presented, and two possible implementations of the generation guided by this evaluation are shown: exhaustive space exploration and constrained exploration. A theoretical model and its (...) implementation are explained and validation of the evaluation function through comparison with human criteria is described. (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)

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)

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)