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...

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)

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)

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 ...

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)

Transparency generates a paradox. For the way that we make things transparent is by simplification which at the same time masks all the information and thus contributes to opacity. The paper looks at how this paradox is played out in the contexts of the interplay between legal rules and particularity and between political representation and complete democracy. This raises questions of the Rule of Law and the functions and meanings of democratic legitimacy and though these are different questions, they are (...) closely related and overlapping. Finally, it looks at how the issues come into focus in questions of governance of an entity like the EU which should not be seen either on the model of a union of states or a nation state itself. (shrink)

Nicolas d'Autrécourt (c. 1298-1369) is one of the most daring thinkers in the history of philosophy, and Zénon Kaluza, who has devoted to him nearly thirty years of study, presents him to us through his sources, his doctrines and his manuscripts. The reader will find studies on some of the most relevant philosophical doctrines (such as perception, the final causality, the categories and the eternity of the world) as well as a new edition of the Prologues of the Exigit ordo, (...) enriched with a running commentary. The texts gathered here-some of which have been published previously but are difficult to access and others which have been unpublished until now-reveal a philosopher who wished to free philosophy from institutional constraints and dared to criticize Aristotle's metaphysics, at the risk of upsetting traditions and contradicting the dogmas of the faith, and who was condemned by the theological authorities of his time. Nicolas d'Autrécourt (c. 1298-1369) est l'un des penseurs les plus audacieux de l'histoire de la philosophie, et Zénon Kaluza, qui lui a consacré près de trente ans d'études, nous le fait découvrir par ses sources, ses doctrines et ses manuscrits. Ce livre propose notamment des analyses sur des thèmes importants (tels que la perception, la causalité finale, les catégories ou l'éternité du monde) ainsi qu'une nouvelle édition des Prologues de l'Exigit ordo, enrichie d'un commentaire suivi. Les études-dont certaines sont parues mais difficiles d'accès et d'autres sont inédites-dévoilent la figure d'un philosophe désirant de libérer la philosophie des contraintes institutionnelles et de critiquer la métaphysique d'Aristote, au risque de bouleverser les traditions, de contredire les dogmes de la foi et se voir condamner par les autorités théologiques de son temps. (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)

For many of the authors in this volume, this is the second attempt to explore what McCarthy and Hayes (1969) first called the “Frame Problem”. Since the first compendium (Pylyshyn, 1987), nicely summarized here by Ronald Loui, there have been several conferences and books on the topic. Their goals range from providing a clarification of the problem by breaking it down into subproblems (and sometimes declaring the hard subproblems to not be the_ real_ Frame Problem), to providing formal “solutions” to (...) certain aspects of the problem. But more often the message has been that the problem is not solvable except in a piecemeal way in special circumstances by some sort of heuristic approximations. It has sometimes also been said that solving the Frame Problem is not only an unachievable goal, but it is also an unnecessary one since_ humans_ do not solve it either; we simply get along as best we can and deal with the problem of planning in ways that, to use Dennett’s phrase, is “good enough for government work”. (shrink)

This paper explores the difference between Connectionist proposals for cognitive a r c h i t e c t u r e a n d t h e s o r t s o f m o d e l s t hat have traditionally been assum e d i n c o g n i t i v e s c i e n c e . W e c l a i m t h a t t h (...) e m a j o r d i s t i n c t i o n i s t h a t , w h i l e b o t h Connectionist and Classical architectures postulate representational mental states, the latter but not the former are committed to a symbol-level of representation, or to a ‘language of thought’: i.e., to representational states that have combinatorial syntactic and semantic structure. Several arguments for combinatorial structure in mental representations are then reviewed. These include arguments based on the ‘systematicity’ of mental representation: i.e., on the fact that cognitive capacities always exhibit certain symmetries, so that the ability to entertain a given thought implies the ability to entertain thoughts with semantically related contents. We claim that such arguments make a powerful case that mind/brain architecture is not Connectionist at the cognitive level. We then consider the possibility that Connectionism may provide an account of the neural (or ‘abstract neurological’) structures in which Classical cognitive architecture is implemented. We survey a n u m b e r o f t h e s t a n d a r d a r g u m e n t s t h a t h a v e b e e n o f f e r e d i n f a v o r o f Connectionism, and conclude that they are coherent only on this interpretation. (shrink)

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

Nowożytna nauka nie dysponuje adekwatnymi narzędziami opisu i interpretacji geniuszu oraz szaleństwa. Metody obiektywne i statystyczne oraz racjonalistyczna analiza gubią specyfikę tych zjawisk. Geniusz i szaleństwo można badać i interpretować w oparciu o teorię archetypów Junga, według której są one elementami procesu jakościowej transformacji świadomości (inicjacji), ale ich znaczenie w kontekście procesu kształtowania osobowości (indywiduacja) jest odmienne. W kontekście procesu twórczego oraz kultury jako takiej zagadnienie nabiera dodatkowej rangi. Geniusz i szaleństwo można interpretować konstruktywnie (syntetycznie) w oparciu o metaforę drogi (...) okrężnej, która ujmuje złożoną naturę zarówno aktywności symbolicznej człowieka, procesu twórczego, jak i kultury. Podobnie pomocna jest tu koncepcja circumambulatio (okrążania) Junga. (shrink)

This is indeed an auspicious time for Cognitive Science. I stand here before you this evening as the first Chair to give a presidential address to this austere body, to place on record before you what you are to accept as the Society's official view on the new science of the mind.

A major cognitive framework for individuating, visualizing, and keeping track of different items of knowledge (such as who said what in a conference or what items of data go with what) is the use of real 3D spatial locations. We use space both literally (as in the desktop or office model of data organization) and also figuratively. Examples of the latter includes such techniques as mentally locating different facts and premises in certain imagined spatial loci -- a technique widely used (...) in mnemonic aids, and the use of spatial location in reasoning where so-called "spatial paralogic" provides an important scheme for keeping track of different components of a problem. The use of distinct spatial loci in reasoning and visualizing can be enhanced and its effectiveness in communication increased if distinct spatial locations can be shared. This, of course, happens routinely when people use gestures, pointing, and carving shapes in the air when they converse. Sharing a common workspace and conceptual space is now becoming technologically feasible through the use of interactive multimedia workstations, in which sound and 3D visual locations can be communicated and spatial indicators such as pointing in space can form part of the human-computer interaction. (shrink)

This paper describes a programmatic theory of a process in early vision called indexing. The theory hypothesizes that a small number of primitive indexes are available for individuating, tracking and providing direct access to salient visual objects. We discuss some empirical and theoretical arguments in favor of the proposed index as a resource-limited link between an internal visual representation and objects in the visual world. We argue that this link is needed to explain a large range of properties of vision, (...) including the ability to simultaneously track multiple moving objects, to select a subset of visual items to process, as well as such larger issues as how mental images get their apparent metrical properties and why the world appears stable despite constant retinal motion. (shrink)

This book examines Plato's most puzzling dialogue, Hippias Minor, in detail, treating Socrates' engagement with both Homer and the sophist Hippias over human excellence as at once playful and deadly serious.

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)

Assuming that the vehicle of imaginal thought is a spatial model may not be quite as egregious an error as assuming it is a two-dimensional picture, but it represents no less a reification error. Because the model is not a literal physical layout, one is still owed an explanation of why spatial properties hold in the model – whether because of architectural constraints or by stipulation. The difference is like the difference between explaining behavior from a principle and predicting it (...) by looking it up in a list. In the latter case no purpose is being served by calling it a mental model. (shrink)

Jacques Mehler was notoriously charitable in embracing a diversity of approaches to science and to the use of many different methodologies. One place where his ecumenism brought the two of us into disagreement is when the evidence of brain imaging was cited in support of different psychological doctrines, such as the picture-theory of mental imagery. Jacques remained steadfast in his faith in the ability of neuroscience data (where the main source of evidence has been from clinical neurology and neuro-imaging) to (...) choose among different psychological positions. I personally have seen little reason for this optimism so Jacques and I frequently found ourselves disagreeing on this issue, though I should add that we rarely disagreed on substantive issues on which we both had views. This particular bone of contention, however, kept us busy at parties and during the many commutes between New York and New Jersey, where Jacques was a frequent visitor at the Rutgers Center for Cognitive Science. Now that I am in a position where he is a captive audience it seems an opportune time to raise the question again. (shrink)

This article defends the claim that a significant part of visual perception (called “early vision”) is impervious to the influence of beliefs, expectations or knowledge. We examine a wide range of empirical evidence that has been cited in support of the continuity of vision and cognition and argue that the evidence either shows within- vision top-down effects, or else the extra-visual effects that are demonstrated occur before the operation of the autonomous early vision system (through the allocation of focal attention) (...) or after the visual system has produced its 3D shape-description (through the intervention of post-visual decision processes). (shrink)