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)

"The present volume deals with a number of fundamental issues in philosophy of law and social philosophy. The reviews and perspectives it represents are thoroughly international in scope and range, with the participation of leading thinkers from six continents. Within the overall theme of 'Enlightenment, Rights and Revolution', each of the sub-themes has been so well explored by its authors that the whole does amount to more than the sum of its parts. As editors, we might have been temped to (...) claim credit for this beyond our due; in truth, however, the authors of the essays which make up the book did it all with a minimum of editorial intervention, and in a very short time. We are profoundly grateful to them all."--Preface. (shrink)

in press, Psychonomic Bulletin & Review.

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)

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.

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)

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.

Although the study of visual perception has made more progress in the past 40 years than any other area of cognitive science, there remain major disagreements as to how closely vision is tied to general cognition. This paper sets out some of the arguments for both sides and defends the position that an important part of visual perception, which may be called early vision or just vision, is prohibited from accessing relevant expectations, knowledge and utilities - in other words it (...) is cognitively impenetrable. That part of vision is complex and articulated and provides a representation of the 3-D surfaces of objects sufficient to serve as an index into memory, with somewhat different outputs being made available to other systems such as those dealing with motor control. The paper also addresses certain conceptual and methodological issues, including the use of signal detection theory and event-related potentials to assess cognitive penetration of vision. A distinction is made among several stages in visual processing. These include, in addition to the inflexible early-vision stage, a pre-perceptual attention allocation stage and a post-perceptual evaluation, memory-accessing, and inference stage which provide several different highly constrained ways in which cognition can affect the outcome of visual perception. The paper discusses arguments that have been presented in both computer vision and psychology showing that vision is "intelligent" and involves elements of problem solving". It is suggested that these cases do not show cognitive penetration, but rather they show that certain natural constraints on interpretation, concerned primarily with optical and geometrical properties of the world, have been compiled into the visual system. The paper also examines a number of examples where instructions and "hints" are alleged to affect. (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 ...

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)

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)

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.

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)

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)

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)

Charles Darwin’s theory of evolution by means of natural selection finds application far outside biology, for which it was originally invented. Its consequences for science proved far-going, influencing practically every field from thermodynamics to the humanities. While acting on biological systems, the Darwinian mechanism is a source of progress and the local-scale abandonment of the universe’s general tendency towards chaos. However, observations of changes taking place in selection-exposed organisms show that evolutionary success requires some essential limitations. The application of this (...) reasoning to social evolution may appear thought-provoking: stable evolution requires not only intense selection but also a conservative approach to ideas. (shrink)

The essay attempts to outline the historical ideological ties between Spain and its former Latin American colonies, with the main accent on the period following Spain’s and most of Latin America’s conversion to democracy in the wake of the fall of the Franco regime and other Latin-American military dictatorships. The author offers a detailed analysis, focusing especially on the democratic, decidedly pro-European and left-liberal government in Spain and its impact on Latin America, most of which today shows clear leftist tendencies. (...) Also discussed are Latin-American reflections on universalism. (shrink)

The paper concerns a form of experiencing time which is specific for haiku poetry. Haiku is an expression of the momentary glimpse of time. Haiku poetry treats the moment uninstrumentally, neither as a result of the past nor as a transition to future deeds. Seen this way, the moment arises on the stream of time as a unique, existential experience. It is my attempt to explain the phenomenon of this experience of “now” as I explore the metaphors of “background”, “figure” (...) and “composition”. (shrink)

Two important essays on the Warsaw Uprising, both written in distant New York, the first completed after the Uprising’s October, 1944 fall, the second shortly before the second anniversary of its outbreak and days before the author’s death. They came from under the pen of Colonel Ignacy Matuszewski, before the war a member of Poland’s ruling elites and during the war years a leading journalistic voice for Poland’s independence .Both texts belong to the most important Warsaw Uprising accounts and contain (...) a personal note—the title’s “Mewa” was the codename carried by Colonel Matuszewski’s 25-year-old daughter Ewa Matuszewska, a Home Army medic who died in the fighting. (shrink)