The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in reasoning, produce doubts concerning the reliability of diagrams, and impressions that diagrammatic reasoning lacks the rigour necessary for mathematical reasoning. The paper first argues that such impressions come from long neglect which led to a lack of well-developed, properly tested and reliable reasoning methods, as contrasted with the amount of work generations of mathematicians expended on refining the methods of (...) reasoning with formulae and predicate calculus. Next, two main groups of problems occurring in diagrammatic reasoning are introduced. The second group, called diagram imprecision, is then briefly summarized, its detailed analysis being postponed to another paper. The first group, called collectively the generalization problem, is analyzed in detail in the rest of the paper. The nature and causes of the problems from this group are explained, methods of detecting the potentially harmful occurrences of these problems are discussed, and remedies for possible errors they may cause are proposed. Some of the methods are adapted from similar methods used in reasoning with formulae, several other problems constitute new, specifically diagrammatic ways of reliable reasoning. (shrink)

ABSTRACTThe bio-political discourses of nationhood and homo/sexuality burgeon geo-culturally and historically, and this article presents a case-study of Poland post-2004 EU enlargement. Focused on...

In "Things and Places," Zenon Pylyshyn argues that the process of incrementally constructing perceptual representations, solving the binding problem (determining which properties go together), and, more generally, grounding perceptual ...

This systematic investigation of computation and mental phenomena by a noted psychologist and computer scientist argues that cognition is a form of computation, that the semantic contents of mental states are encoded in the same general way as computer representations are encoded. It is a rich and sustained investigation of the assumptions underlying the directions cognitive science research is taking. 1 The Explanatory Vocabulary of Cognition 2 The Explanatory Role of Representations 3 The Relevance of Computation 4 The Psychological Reality (...) of Programs: Strong Equivalence 5 Constraining Functional Architecture 6 The Bridge from Physical to Symbolic: Transduction 7 Functional Architecture and Analogue Processes 8 Mental Imagery and Functional Architecture 9 Epilogue: What is Cognitive Science the Science of? (shrink)

It is generally accepted that there is something special about reasoning by using mental images. The question of how it is special, however, has never been satisfactorily spelled out, despite more than thirty years of research in the post-behaviorist tradition. This article considers some of the general motivation for the assumption that entertaining mental images involves inspecting a picture-like object. It sets out a distinction between phenomena attributable to the nature of mind to what is called the cognitive architecture, and (...) ones that are attributable to tacit knowledge used to simulate what would happen in a visual situation. With this distinction in mind, the paper then considers in detail the widely held assumption that in some important sense images are spatially displayed or are depictive, and that examining images uses the same mechanisms that are deployed in visual perception. I argue that the assumption of the spatial or depictive nature of images is only explanatory if taken literally, as a claim about how images are physically instantiated in the brain, and that the literal view fails for a number of empirical reasons – for example, because of the cognitive penetrability of the phenomena cited in its favor. Similarly, while it is arguably the case that imagery and vision involve some of the same mechanisms, this tells us very little about the nature of mental imagery and does not support claims about the pictorial nature of mental images. Finally, I consider whether recent neuroscience evidence clarifies the debate over the nature of mental images. I claim that when such questions as whether images are depictive or spatial are formulated more clearly, the evidence does not provide support for the picture-theory over a symbol-structure theory of mental imagery. Even if all the empirical claims were true, they do not warrant the conclusion that many people have drawn from them: that mental images are depictive or are displayed in some (possibly cortical) space. Such a conclusion is incompatible with what is known about how images function in thought. We are then left with the provisional counterintuitive conclusion that the available evidence does not support rejection of what I call the “null hypothesis”; namely, that reasoning with mental images involves the same form of representation and the same processes as that of reasoning in general, except that the content or subject matter of thoughts experienced as images includes information about how things would look. (shrink)

How we see and how we visualize: why the scientific account differs from our experience.

Marr (1982) may have been one of the rst vision researchers to insist that in modeling vision it is important to separate the location of visual features from their type. He argued that in early stages of visual processing there must be “place tokens” that enable subsequent stages of the visual system to treat locations independent of what specic feature type was at that location. Thus, in certain respects a collinear array of diverse features could still be perceived as a (...) line, and under certain conditions could function as such in perceptual phenomena like the Poggendorf illusion. (shrink)

This paper argues that a theory of situated vision, suited for the dual purposes of object recognition and the control of action, will have to provide something more than a system that constructs a conceptual representation from visual stimuli: it will also need to provide a special kind of direct (preconceptual, unmediated) connection between elements of a visual representation and certain elements in the world. Like natural language demonstratives (such as `this' or `that') this direct connection allows entities to be (...) referred to without being categorized or conceptualized. Several reasons are given for why we need such a preconcep- tual mechanism which individuates and keeps track of several individual objects in the world. One is that early vision must pick out and compute the relation among several individual objects while ignoring their properties. Another is that incrementally computing and updating representations of a dynamic scene requires keeping track of token individuals despite changes in their properties or locations. It is then noted that a mechanism meeting these requirements has already been proposed in order to account for a number of disparate empiri- cal phenomena, including subitizing, search-subset selection and multiple object tracking (Pylyshyn et al., Canadian Journal of Experimental Psychology 48(2) (1994) 260). This mechanism, called a visual index or FINST, is brie. (shrink)

The computational view of mind rests on certain intuitions regarding the fundamental similarity between computation and cognition. We examine some of these intuitions and suggest that they derive from the fact that computers and human organisms are both physical systems whose behavior is correctly described as being governed by rules acting on symbolic representations. Some of the implications of this view are discussed. It is suggested that a fundamental hypothesis of this approach is that there is a natural domain of (...) human functioning that can be addressed exclusively in terms of a formal symbolic or algorithmic vocabulary or level of analysis. Much of the paper elaborates various conditions that need to be met if a literal view of mental activity as computation is to serve as the basis for explanatory theories. The coherence of such a view depends on there being a principled distinction between functions whose explanation requires that we posit internal representations and those that we can appropriately describe as merely instantiating causal physical or biological laws. In this paper the distinction is empirically grounded in a methodological criterion called the " cognitive impenetrability condition." Functions are said to be cognitively impenetrable if they cannot be influenced by such purely cognitive factors as goals, beliefs, inferences, tacit knowledge, and so on. Such a criterion makes it possible to empirically separate the fixed capacities of mind from the particular representations and algorithms used on specific occasions. In order for computational theories to avoid being ad hoc, they must deal effectively with the "degrees of freedom" problem by constraining the extent to which they can be arbitrarily adjusted post hoc to fit some particular set of observations. This in turn requires that the fixed architectural function and the algorithms be independently validated. It is argued that the architectural assumptions implicit in many contemporary models run afoul of the cognitive impenetrability condition, since the required fixed functions are demonstrably sensitive to tacit knowledge and goals. The paper concludes with some tactical suggestions for the development of computational cognitive theories. (shrink)

Using the Multiple Object Tracking (MOT) task, Pylyshyn & Leonard (VSS03) showed that a small brief probe dot was detected more poorly when it occurred on a nontarget than when it occurred either on a target or in the space between items, suggesting that moving nontarget items were inhibited. Here we generalize this finding by comparing probe detection performance against a baseline condition in which no tracking was required. We examined both a baseline condition in which objects did not move (...) and one in which they moved exactly as in the probe detection task, but without tracking. Detection in the nonmoving control was essentially error-free, but probe detection performance in the moving (non-tracking) control task did depend on the probe location. Nonetheless, the findings reported earlier (worse detection on nontargets than anywhere else) remained after we took account of the baseline performance (using several different baseline comparison methods). Using this new baseline-control method we also showed that inhibition does not spread more than about 1.3 degrees of visual angle from the nontargets as the latter move during a tracking trial. In the present report we also describe some preliminary studies of conditions under which enhancement of targets, as well as inhibition of nontargets, may be obtained. Increasing the number and type of nontargets appeared to improve the detection of probes on targets, relative to baseline. However, we failed to find evidence that potentially distracting nontarget objects were inhibited more than clearly task-irrelevant objects, as would be expected if inhibition were a top-down process applied in order to improve performance on the main tracking task. For example, using the comparison with its matching baseline, we showed that task-irrelevant stationary items (which are never confused with targets in the tracking task) appeared to be inhibited even more than nontargets. (shrink)

6. Seeing With the Mind’s Eye 1: The Puzzle of Mental Imagery .................................................6-1 6.1 What is the puzzle about mental imagery?..............................................................................6-1 6.2 Content, form and substance of representations ......................................................................6-6 6.3 What is responsible for the pattern of results obtained in imagery studies?.................................6-8..

Informatics and the Foundations of Legal Reasoning represents a close collaboration between a wide range of disciplines and countries. Fourteen papers, together with a long analytical introduction by the editors, were selected from the contributions of legal theorists, computer scientists, philosophers and logicians who were members of an International Working Group supported by the European Commission. The Group was mandated to work towards determining how far the law is amenable to formal modeling, and in what ways computers might assist legal (...) thinking and practice. The book is the result of discussions held by the Group over two and half years. It will help students and researchers from different backgrounds to focus on a common set of topics of increasing general interest. It embodies the results of work in progress and suggests many issues for further discussion. A stimulating text for undergraduate and graduate courses in law, philosophy and computer science departments, as well as for those interested in the place of computers in legal practice, especially at the international level. (shrink)

In Gregory, Richard. Oxford Companion to the Mind (Second Edition, 2006) Oxford University Press.

influence. One of the principal characteristics that distinguishes Cognitive Science from more traditional studies of cognition within Psychology, is the extent to which it has been influenced by both the ideas and the techniques of computing. It may come as a surprise to the outsider, then, to discover that there is no unanimity within the discipline on either (a) the nature (and in some cases the desireabilty) of the influence and (b) what computing is –- or at least on its.

The article analyzes the theory of philosophy of nature presented by Piotr Chojnacki. This concept was an important component of the Leuven (neo)Thomism, developed also in the Polish Thomistic philosophical milieu, which since the beginning of the 20th century has been in crisis. I argue that the cause of this crisis was the eclectic nature of the Leuven Thomism as it was developed by Piotr Chojnacki. Although in contemporary philosophy eclecticism is being rehabilitated, due to the dominant scientism and naturalism, (...) the prospects for the development of the philosophy of nature inspired by the program of Leuven Thomism seem to be very limited. (shrink)

Examines the theses that the postulation of mental processing is unnecessary to account for our perceptual relationship with the world, see turvey etal. for a criticque.

Each of the chapters in this volume devotes considerable attention to defining and elaborating the notion of the frame problem-one of the hard problems of artificial intelligence. Not only do the chapters clarify the problems at hand, they shed light on the different approaches taken by those in artificial intelligence and by certain philosophers who have been concerned with related problems in their field. The book should therefore not be read merely as a discussion of the frame problem narrowly conceived, (...) but also as a general analysis of what could be a major challenge to the design of computer systems exhibiting general intelligence. (shrink)

Although demanding and hard to grant, forgiveness has been treasured for centuries because it has the power to heal emotional wounds, restore human relationships and break the chain of violence. Some writers, though, have asserted that forgiveness found its boundaries in Auschwitz; the Nazi crimes against humanity reached the pinnacle there and cannot be forgiven. While discussing forgiveness in the context of the Holocaust and outside of it, this article pursues the following issues: Does forgiveness have limits? What would be (...) the implications of being unable to forgive? Can punishment of the perpetrator help the process of forgiveness? Does the offended party forgive his or her hurt only? (shrink)

Stern has drawn attention to the possibility of conducting research into the psychology of individual differences in a manner that treats nomothetic and idiographic approaches as being equal and complementary. Nevertheless, many psychologists, such as Strelau, strongly deny the scientific value of the idiographic approach. Jung's conception of psychological types, as presented here, has been created using the nomothetic approach, and its basic assumptions can be verified using the Myers-Briggs Type Indicator. Bearing in mind the fact that Adler's conception of (...) lifestyles was formulated and verified using only the idiographic method of psychography, carried out in the context of individual courses of psychotherapy, I draw attention to the possibility of using, for this purpose, my own Action Styles Questionnaire, which offers some elements essential to the idiographic approach: e.g. a bipolar structural scale of individual preferences articulated in terms of cooperation with others on the one hand, and security and self-protection on the other - one which may be considered convergent with Adler's description of creative and uncreative lifestyles. Psychometric data obtained from the students in respect of MBTI and ASQ were subjected to statistical covariation analysis. Additionally, four homogeneous types were demarcated, using statistical cluster analysis. The final results obtained indicate that MBTI attitude scales are significantly covariant with the results for persons belonging to different types along the bipolar CO-SP scale. However, there were almost no differences between the results obtained when using ASQ scales and when using the scales for the three pairs of psychological functions measured by MBTI. (shrink)

It is argued that the traditional distinction between artificial intelligence and cognitive simulation amounts to little more than a difference in style of research - a different ordering in goal priorities and different methodological allegiances. Both enterprises are constrained by empirical considerations and both are directed at understanding classes of tasks that are defined by essentially psychological criteria. Because of the different ordering of priorities, however, they occasionally take somewhat different stands on such issues as the power/generality trade-off and on (...) the relevance of the sort of data collected in experimental psychology laboratories. (shrink)

Few areas of study have led to such close and intense interactions among computer scientists, psychologists, and philosophers as the area now referred to as cognitive science. Within this discipline, few problems have inspired as much debate as the use of notions such as meaning, intentionality, or the semantic content of mental states in explaining human behavior. The set of problems surrounding these notions have been viewed by some observers as threatening the foundations of cognitive science as currently conceived, and (...) by others as providing a new and scientifically sound formulation of certain classical problems in the philosophy of mind. The chapters in this volume help bridge the gap among contributing disciplines-computer science, philosophy, psychology, neuroscience-and discuss the problems posed from various perspectives. (shrink)

In the past decade there has been renewed interest in the study of mental imagery. Emboldened by new findings from neuroscience, many people have revived the idea that mental imagery involves a special format of thought, one that is pictorial in nature. But the evidence and the arguments that exposed deep conceptual and empirical problems in the picture theory over the past 300 years have not gone away. I argue that the new evidence from neural imaging and clinical neuropsychology does (...) little to justify this recidivism because it does not address the format of mental images. I also discuss some reasons why the picture theory is so resistant to counterarguments and suggest ways in which non-pictorial theories might account for the apparent spatial nature of images. (shrink)

1. Background: Representation in language and vision ................................................ 1 2. Some parallels between the study of vision and language......................................... 3..

The target article proposes that visual experience arises when sensorimotor contingencies are exploited in perception. This novel analysis of visual experience fares no better than the other proposals that the article rightly dismisses, and for the same reasons. Extracting invariants may be needed for recognition, but it is neither necessary nor sufficient for having a visual experience. While the idea that vision involves the active extraction of sensorimotor invariants has merit, it does not replace the need for perceptual representations. Vision (...) is not just for the immediate controlling of action; it is also for finding out about the world, from which inferences may be drawn and beliefs changed. (shrink)