While the research programs in early cognitive science and artificial intelligence aimed to articulate what cognition was in ideal terms, much research in contemporary computational neuroscience looks at how and why brains fail to function as they should ideally. This focus on impairment affects how we understand David Marr's hypothesized three levels of understanding. In this essay, we suggest some refinements to Marr's distinctions using a population activity model of cortico-striatal circuitry exploring impulsivity and behavioral inhibition as (...) a case study. In particular, we urge that Marr's computational level should be redefined to include a description of how systems break down. We also underscore that feed-forward processing, cognition disconnected from behavioral context, and representations do not always drive cognition in the way that Marr originally assumed. (shrink)

According to Marr, explanations of perceptual behavior should address multiple levels of analysis. Rahnev & Denison (R&D) are perhaps overly dismissive of optimality considerations at the computational level. Also, an exclusive reliance on standard observer models may cause neglect of many other plausible hypotheses at the algorithmic level. Therefore, as far as explanation goes, standard observer modeling is no panacea.

Blokpoel reminds us of the importance of consistency of function across Marr's levels, but we argue that the approach to ensuring consistency that he advocates—a strict relation through exact implementation of the higher level function at the lower level—is unnecessarily restrictive. We show that it forces overcomplication of the computational level (by requiring it to incorporate concerns from lower levels) and results in the sacrifice of the distinct responsibilities associated with each level. We propose an alternative, no (...) less rigorous, potential characterization of the relation between levels. (shrink)

Blokpoel reminds us of the importance of consistency of function across Marr's levels, but we argue that the approach to ensuring consistency that he advocates—a strict relation through exact implementation of the higher level function at the lower level—is unnecessarily restrictive. We show that it forces overcomplication of the computational level (by requiring it to incorporate concerns from lower levels) and results in the sacrifice of the distinct responsibilities associated with each level. We propose an alternative, no (...) less rigorous, potential characterization of the relation between levels. (shrink)

This paper considers the question of whether the influential distinction between levels of explanation introduced by David Marr can be used as a general framework for contemplating levels of explanation in cognitive sciences. Marr introduced three levels at which we can explain cognitive processes: the computational, algorithmic, and implementational levels. Some argue that Marr’s levels of explanation can only be applied to modular cognitive systems. However, since many psychological processes are non-modular, it seems that Marr’s (...) levels of explanation cannot explain such psychological processes. To show that the latter claim is not convincing, the paper draws upon an influential paradigm from cognitive sciences that is based on the principle of free energy. Based on this paradigm, the paper argues that even non-modular psychological processes can be computationally analyzed and algorithmically implemented. The conclusion of the paper is that, at least under the assumption that the func- tion of the mind is to minimize free energy, Marr’s levels of explanation can be successfully used as a general framework for understanding psychological processes at different levels of description. (shrink)

Une spécialiste du shivaïsme du Cachemire est invitée à lire du Michel Henry par un philosophe qui, en retour, découvre la pensée d'Abhinavagupta. Comment un philosophe va-t-il réagir à des travaux sur le Dzogchen tibétain? Un bouddhologue se prête au jeu de la lecture de textes phénoménologiques, tandis qu'une phénoménologue commente Nagarjuna, etc.

A key component of scientific inquiry, especially inquiry devoted to developing mechanistic explanations, is delineating the phenomenon to be explained. The task of delineating phenomena, however, has not been sufficiently analyzed, even by the new mechanistic philosophers of science. We contend that Marr’s characterization of what he called the computational level provides a valuable resource for understanding what is involved in delineating phenomena. Unfortunately, the distinctive feature of Marr’s computational level, his dual emphasis on both what is computed and why (...) it is computed, has not been appreciated in philosophical discussions of Marr. Accordingly we offer a distinctive account of CL. This then allows us to develop two important points about delineating phenomena. First, the accounts of phenomena that figure in explanatory practice are typically not qualitative but precise, formal or mathematical, representations. Second, delineating phenomena requires consideration of the demands the environment places on the mechanism—identifying, as Marr put it, the basis of the computed function in the world. As valuable as Marr’s account of CL is in characterizing phenomena, we contend that ultimately he did not go far enough. Determining the relevant demands of the environment on the mechanism often requires detailed empirical investigation. Moreover, often phenomena are reconstituted in the course of inquiry on the mechanism itself. (shrink)

We sketch four applications of Marr's levels-of-analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on (...) temporal prepositions can be reanalyzed using formal semantics, addressing a potential confound. The second part of the article demonstrates the predictive power of logical theories drawing on EEG data on processing progressive constructions and on behavioral data on conditional reasoning in people with autism. Logical theories can constrain processing hypotheses all the way down to neurophysiology, and conversely neuroscience data can guide the selection of alternative computational level models of cognition. (shrink)

We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on (...) temporal prepositions can be reanalyzed using formal semantics, addressing a potential confound. The second part of the article demonstrates the predictive power of logical theories drawing on EEG data on processing progressive constructions and on behavioral data on conditional reasoning in people with autism. Logical theories can constrain processing hypotheses all the way down to neurophysiology, and conversely neuroscience data can guide the selection of alternative computational level models of cognition. (shrink)

Starting from Marr's ideas about levels of explanation, a theory of the data structures and access processes in human memory is demonstrated on 10 tasks. Functional characteristics of human memory are captured implementation-independently. Our theory generates a multidimensional task classification subsuming existing classifications such as the distinction between tasks that are implicit versus explicit, data driven versus conceptually driven, and simple associative (two-way bindings) versus higher order (threeway bindings), providing a broad basis for new experiments. The formal language (...) clarifies the binding problem in episodic memory, the role of input pathways in both episodic and semantic (lexical) memory, the importance of the input set in episodic memory, and the ubiquitous calculation of an intersection in theories of episodic and lexical access. (shrink)

Are all three of Marr's levels needed? Should they be kept distinct? We argue for the distinct contributions and methodologies of each level of analysis. It is important to maintain them because they provide three different perspectives required to understand mechanisms, especially information-processing mechanisms. The computational perspective provides an understanding of how a mechanism functions in broader environments that determines the computations it needs to perform. The representation and algorithmic perspective offers an understanding of how information about the (...) environment is encoded within the mechanism and what are the patterns of organization that enable the parts of the mechanism to produce the phenomenon. The implementation perspective yields an understanding of the neural details of the mechanism and how they constrain function and algorithms. Once we adequately characterize the distinct role of each level of analysis, it is fairly straightforward to see how they relate. (shrink)

the _algorithmic_, and the _implementational_; Zenon Pylyshyn (1984) calls them the _semantic_, the _syntactic_, and the _physical_; and textbooks in cognitive psychology sometimes call them the levels of _content_, _form_, and _medium_ (e.g. Glass, Holyoak, and Santa 1979).

Thirty years after the publication of Marr's seminal book Vision the papers in this topic consider the contemporary status of his influential conception of three distinct levels of analysis for information-processing systems, and in particular the role of the algorithmic and representational level with its cognitive-level concepts. This level has been downplayed or eliminated both by reductionist neuroscience approaches from below that seek to account for behavior from the implementation level and by Bayesian approaches from above that seek (...) to account for behavior in purely computational-level terms. (shrink)

It has been suggested that Marr took the three levels he famously identifies to be independent. In this paper, we argue that Marr's view is more nuanced. Specifically, we show that the view explicitly articulated in his work attempts to integrate the levels, and in doing so results in Marr attacking both reductionism and vagueness. The result is a perspective in which both high-level information-processing constraints and low-level implementational constraints play mutually reinforcing and constraining roles. We discuss (...) our recent work on Spaun—currently the world's largest functional brain model—that demonstrates the positive impact of this kind of unifying integration of Marr's levels. We argue that this kind of integration avoids his concerns with both reductionism and vagueness. In short, we suggest that the methods behind Spaun can be used to satisfy Marr's explicit interest in combining high-level functional and detailed mechanistic explanations. (shrink)

Neuroconstructivism: How the Brain Constructs Cognition proposes a unifying framework for the study of cognitive development that brings together (1) constructivism (which views development as the progressive elaboration of increasingly complex structures), (2) cognitive neuroscience (which aims to understand the neural mechanisms underlying behavior), and (3) computational modeling (which proposes formal and explicit specifications of information processing). The guiding principle of our approach is context dependence, within and (in contrast to Marr [1982]) between levels of organization. We propose that (...) three mechanisms guide the emergence of representations: competition, cooperation, and chronotopy; which themselves allow for two central processes: proactivity and progressive specialization. We suggest that the main outcome of development is partial representations, distributed across distinct functional circuits. This framework is derived by examining development at the level of single neurons, brain systems, and whole organisms. We use the terms encellment, embrainment, and embodiment to describe the higher-level contextual influences that act at each of these levels of organization. To illustrate these mechanisms in operation we provide case studies in early visual perception, infant habituation, phonological development, and object representations in infancy. Three further case studies are concerned with interactions between levels of explanation: social development, atypical development and within that, developmental dyslexia. We conclude that cognitive development arises from a dynamic, contextual change in embodied neural structures leading to partial representations across multiple brain regions and timescales, in response to proactively specified physical and social environment. (shrink)

In this paper I consider the relation between Descartes' psychology of vision and the cognitive science approach to psychology (henceforth CS). In particular, I examine Descartes' the Optics (1637) in the light of David Marr's (1982) position in CS. My general claim is that CS can be seen as a rediscovery of Descartes' psychology of vision. In the first section, I point to a parallel between Descartes' epistemological revolution, which created the modem version of the problem of perception, and (...) the cognitive revolution. These fundamental revolutions in theoretical psychology were both inspired and legitimated by a revolution in mathematics. They took place in accordance with one of Marr's maxims: “To the desirable via the possible”. In the second section, I demonstrate that in the Optics, Descartes explains perception of metrical properties in a way that — on a detailed level — is in accordance with how Man argues that complex information processing systems have to be explained: both Descartes and Man emphasize the co-ordination of logical and physical analysis. In the third section, I claim that Descartes' arguments for a sharp distinction between mechanical transmission of sense data (sensation) and non-mechanical inferences on those sense data (thinking) are sound arguments seen from Man's position in CS. Descartes' arguments are based on his logical and physical analysis. Malebranche's radicalized version of Cartesian dualism turns Descartes' empirically-based assumption that mechanisms cannot realize inferences into a metaphysical assumption. In the final section, I argue that this metaphysical assumption contributes to an understanding of perception as a non-symbolic, non-inferential bottom-up process in mainstream monistic and mechanistic scientific psychology until the cognitive revolution. (shrink)

A large body of research in computational vision science stems from the pioneering work of David Marr. Recently, Patricia Kitcher and others have criticized this work as depending upon optimizing assumptions, assumptions which are held to be inappropriate for evolved cognitive mechanisms just as anti-adaptationists (e.g., Lewontin and Gould) have argued they are inappropriate for other evolved physiological mechanisms. The paper discusses the criticism and suggests that it is, in part, misdirected. It is further suggested that the criticism leads to (...) interesting questions about how one formulates constraints--across "levels of organization" and disciplinary boundaries--on one's models of complex systems, such as human vision. (shrink)

"Marr's previous book, Vietnam 1945, ends on 2 September when big crowds gathered in Hanoi and Saigon to celebrate Vietnamese independence. This book focuses on the next sixteen months, when Vietnam's future course was determined. It recreates in vivid detail what it was like to be there in these dramatic postcolonial moments as the Japanese, British and Americans faded from view, the DRV began to function and establish an army, the French maneuvered to restore colonialism, but the beginnings of (...) the Cold War swept Vietnam into its orbit with the Chinese Red Army victories and Chinese arms on the border. As with his other books Marr pioneers the history of war from the Vietnamese perspective"--Provided by publisher. (shrink)

In this article I argue that the mechanical inexplicability of natural ends in the third Critique is best understood against the background of a fairly traditional picture of the metaphysics of living things, one embraced by Kant himself. On this picture, the distinctive unity of a living thing was to be explained by a soul, form, or monad. The constraints placed on the understanding in the first Critique, however, make such an explanation impossible: because the principle of a living thing (...) in virtue of which it constitutes a whole—rather than a mere aggregate of things—is simple, it cannot be met with in space. By ruling out a widely accepted explanans for a well-recognized explanandum, in other words, Kant’s first Critique makes living things inexplicable in precisely those ways suggested by the third. (shrink)

Graduates of doctoral programs are expected to be competent at designing and conducting research independently. Given the level of research competence needed to successfully conduct research, it is important that assessors of doctoral programs have a reliable and validated tool for measuring and tracking perceived research competence among their students and graduates. A high level of research competence is expected for all Ph.D. graduates worldwide, in addition to in all disciplines/fields. Moreover, graduates of Ph.D. programs may complete their studies in (...) one country but then obtain a research position in another country, emphasizing the need to ensure that all doctoral programs are fostering similar levels of research competence. Thus, the purpose of this study was to gather additional evidence for validity and reliability of the Research Competence scale. Specifically, we sought to extend the findings of by adapting the scale, translating it to other languages, and applying the tool with a sample of early stage researchers. Our findings provide initial evidence that the adapted PR-Comp is appropriate for use in three languages and across a variety of disciplines/programs of study. (shrink)

Examines Emerson's ideas concerning nature, culture, and politics, discusses his influence on American political life, and considers works by William James, R.P. Blackmur, Joseph Heller, and Ralph Ellison.

This article introduces an interpretative approach to the analysis of situations in computational settings called situational analytics. I outline the theoretical and methodological underpinnings of this approach, which is still under development, and show how it can be used to surface situations from large data sets derived from online platforms such as YouTube. Situational analytics extends to computationally-mediated settings a qualitative methodology developed by Adele Clarke, Situational Analysis, which uses data mapping to detect heterogeneous entities in fieldwork data to determine (...) ‘what makes a difference’ in a situation. Situational analytics scales up this methodology to analyse situations latent in computational data sets with semi-automated methods of textual and visual analysis. I discuss how this approach deviates from recent analyses of situations in computational social science, and argue that Clarke’s framework renders tractable a fundamental methodological problem that arises in this area of research: while social researchers turn to computational settings in order to analyse social life, the social processes unfolding in these envirnoments are fundamentally affected by the computational architectures in which they occur. Situational analytics offers a way to address this problematic by making a heterogeneously composed situation – involving social, technical and media elements – the unit of computational analysis. To conclude, I show how situational analytics can be applied in a case study of YouTube videos featuring intelligent vehicles and discuss how situational analysis itself needs to be elaborated if we are to come to terms with computational transformations of the situational fabric of social life. (shrink)

Second-wave of feminism has stressed the particularity of phenomena that modern political theory had conceptualized as general in nature and scope: the citizen, the political community, the topics of politics. Since then, feminist and queer theories and practices have not only shown that the subjects, arrangements and issues of politics are always historically specific. They have also demonstrated that their particularity may be constitutive of politics. The specificity of political actors, of particular procedures and themes may inform political processes. This (...) insight of feminism, this short piece argues, is of special relevance for grasping politics today. Under circumstances of globalization, the particularity of political processes, and their ingredients, becomes increasingly obvious. In this context, unorthodox actors, such as NGO’s, serve as agents of politics, and the boundaries of political communities become unsettled. Also, here issues emerge that resist treatment in classic democratic institutions, such as those founded in the nation-state. As the particularity of the actors, arrangements and issues is increasingly clear, feminist and queer theory become especially crucial to the understanding of politics. It tells us not to resist this particularization of politics, but to embrace it. It reminds us that the main political question is that of the staking-out of particular sites, the construction of specific forms of politics, and the articulation of particular issues. (shrink)

David Marr's three-level method for completely understanding a cognitive system and the importance he attaches to the computational level are so familiar as to scarcely need repeating. Fewer seem to recognize that Marr defends his famous method by criticizing the “reductionistic approach.” This sets up a more interesting relationship between Marr and reductionism than is usually acknowledged. I argue that Marr was correct in his criticism of the reductionists of his time—they were only describing, not explaining. But a careful (...) metascientific account of reductionistic neuroscience over the past two decades reveals that Marr's criticisms no longer have force. Contemporary neuroscience now explains cognition directly, although in a fashion—causal-mechanistically—quite different than Marr recommended. So while Marr was correct to reject the reductionism of his day and offer an alternative method for genuinely explaining cognition, contemporary cognitive scientists now owe us a new defense of Marr's famous method and the advantages of its explanations over the type now pursued successfully in current reductionist neuroscience. There are familiar reasons for thinking that this debt will not be paid easily. (shrink)

In this commentary, I advocate for strict relations between Marr's levels of analysis. Under a strict relationship, each level is exactly implemented by the subordinate level. This yields two benefits. First, it brings consistency for multilevel explanations. Second, similar to how a sculptor chisels away superfluous marble, a modeler can chisel a computational-level model by applying constraints. By sculpting the model, one restricts the set of possible algorithmic- and implementational-level theories.

Genetic determinism can be described as the attribution of the formation of traits to genes, where genes are ascribed more causal power than what scientific consensus suggests. Belief in genetic determinism is an educational problem because it contradicts scientific knowledge, and is a societal problem because it has the potential to foster intolerant attitudes such as racism and prejudice against sexual orientation. In this article, we begin by investigating the very nature of belief in genetic determinism. Then, we investigate whether (...) knowledge of genetics and genomics is associated with beliefs in genetic determinism. Finally, we explore the extent to which social factors such as gender, education, and religiosity are associated with genetic determinism. Methodologically, we gathered and analyzed data on beliefs in genetic determinism, knowledge of genetics and genomics, and social variables using the “Public Understanding and Attitudes towards Genetics and Genomics” instrument. Our analyses of PUGGS responses from a sample of Brazilian university freshmen undergraduates indicated that belief in genetic determinism was best characterized as a construct built up by two dimensions or belief systems: beliefs concerning social traits and beliefs concerning biological traits; levels of belief in genetic determination of social traits were low, which contradicts prior work; associations between knowledge of genetics and genomics and levels of belief in genetic determinism were low; and social factors such as age and religiosity had stronger associations with beliefs in genetic determinism than knowledge. Although our study design precludes causal inferences, our results raise questions about whether enhancing genetic literacy will decrease or prevent beliefs in genetic determinism. (shrink)

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. Yanofsky describes (...) simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

Marr's levels of analysis—computational, algorithmic, and implementation—have served cognitive science well over the last 30 years. But the recent increase in the popularity of the computational level raises a new challenge: How do we begin to relate models at different levels of analysis? We propose that it is possible to define levels of analysis that lie between the computational and the algorithmic, providing a way to build a bridge between computational- and algorithmic-level models. The key idea (...) is to push the notion of rationality, often used in defining computational-level models, deeper toward the algorithmic level. We offer a simple recipe for reverse-engineering the mind's cognitive strategies by deriving optimal algorithms for a series of increasingly more realistic abstract computational architectures, which we call “resource-rational analysis.”. (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping (...) causal patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Although social scientists have identified diverse behavioral patterns among children from dissimilarly structured families, marketing scholars have progressed little in relating family structure to consumption-related decisions. In particular, the roles played by members of single-mother families—which may include live-in grandparents, mother’s unmarried partner, and step-father with or without step-sibling(s)—may affect children’s influence on consumption-related decisions. For example, to offset a parental authority dynamic introduced by a new stepfather, the work-related constraints imposed on a breadwinning mother, or the imposition of adult-level (...) household responsibilities on children, single-mother families may attend more to their children’s product preferences. -/- Without a profile that includes socio-economic, behavioral, and psychological aspects, efficient and socially responsible marketing to single-mother households is compromised. Relative to dual-parent families, single-mother families tend to have fewer resources and less buying power, children who consume more materialistic and compulsively, and children who more strongly influence decision making for both own-use and family-use products. Timely research would ensure that these and other tendencies now differentiate single-mother from dual-parent families in ways that marketers should address. Hence, our threefold goal is (1) to consolidate and highlight gaps in existing theory applied to studying children’s influence on consumption-related decision making in single-mother families, and (2) to propose a hybrid framework that merges two theories conducive to such research, and (3) to identify promising research propositions for future research. (shrink)

The question that this paper tries to answer is Q: “Can good academic bioethics be done without commitment to moral theory?” It is argued that the answer to Q is an unequivocal “Yes” for most of what we could call “critical bioethics,” that is, the kind of bioethics work that primarily criticizes positions or arguments already in the literature or put forward by policymakers. The answer is also “Yes” for much of empirical bioethics. The second part of the paper then (...) provides an analysis of Q in relation to “constructive bioethics,” that is, bioethics work aimed at providing an argument for a particular position. In this part, it is argued that a number of the approaches or methods used that initially look like they involve no commitment to moral theory, nevertheless, involve such a commitment. This is shown to be the case for reflective equilibrium, mid-level theory, the use of theory fragments, and argument by analogy. (shrink)

Marr’s celebrated contribution to cognitive science (Marr 1982, chap. 1) was the introduction of (at least) three levels of description/explanation. However, most contemporary research has relegated the distinction between levels to a rather dispensable remark. Ignoring such an important contribution comes at a price, or so we shall argue. In the present paper, first we review Marr’s main points and motivations regarding levels of explanation. Second, we examine two cases in which the distinction between levels has (...) been neglected when considering the structure of mental representations: Cummins et al.’s distinction between structural representation and encodings (Cummins in Journal of Philosophy, 93(12):591–614, 1996; Cummins et al. in Journal of Philosophical Research, 30:405–408, 2001) and Fodor’s account of iconic representation (Fodor 2008). These two cases illustrate the kind of problems in which researchers can find themselves if they overlook distinctions between levels and how easily these problems can be solved when levels are carefully examined. The analysis of these cases allows us to conclude that researchers in the cognitive sciences are well advised to avoid risks of confusion by respecting Marr’s old lesson. (shrink)

Intermediate‐level hypothesis (ILH) is the cornerstone of an adequate theory of consciousness. Ray Jackendoff's ILH is intended to apply to all sensory experience, including the experience of language. This chapter focuses on vision, because this is the most extensively studied sense. Jackendoff's views on vision were shaped by the seminal work of David Marr. Visual consciousness arises at an intermediate level, which occurs between discrete pixels and abstract models. The most compelling evidence for ILH comes from studies of individuals with (...) focal brain injuries. The findings from neuropsychology, electrophysiology, and functional imaging provide a strong case for ILH in vision. Jackendoff argues that ILH applies to all sense modalities. Research on the other senses lags woefully behind research on vision. On the strong version of Jackendoff's view, all consciousness resides at the intermediate level of perceptual systems. (shrink)

The thought-experiment presented by Bernard Williams in 'The self and the future' continues to draw the attention of writers in the debate about personal identity. While few of them agree on what implications it has for the debate, almost all agree that those implications are significant ones. Some have even claimed that it has consequences not only for personal identity, but also concerning the viability of thought-experiment as a method. This paper surveys what these consequences might be at both (...) class='Hi'>levels - as a substantive contribution to the debate on identity, and as to what it shows about the usefulness of thought-experiments. It argues ultimately that thought-experiments like Williams's do provide a useful philosophical tool as long as we temper our expectations of them, and that it offers some support to a view of personal identity but one which is at odds with Williams's own view. (shrink)

Marr's seminal work laid out a program of research by specifying key questions for cognitive science at different levels of analysis. Because dynamic systems theory focuses on time and interdependence of components, DST research programs come to very different conclusions regarding the nature of cognitive change. We review a specific DST approach to cognitive-level processes: dynamic field theory. We review research applying DFT to several cognitive-level processes: object permanence, naming hierarchical categories, and inferring intent, that demonstrate the difference (...) in understanding of behavior and cognition that results from a DST perspective. These point to a central challenge for cognitive science research as defined by Marr—emergence. We argue that appreciating emergence raises questions about the utility of computational-level analyses and opens the door to insights concerning the origin of novel forms of behavior and thought. We contend this is one of the most fundamental questions about cognition and behavior. (shrink)

The intensive process of differentiation of knowledge that has in the past decade come to include philosophy has had the results, inter alia, that ethics, esthetics, and empirical sociology have undergone a kind of secondary "branching off" from the philosophy of society and culture . On the level of teaching this had the consequence that a department of esthetics and ethics was carved out of the department of historical materialism at the Philosophical Faculty of Moscow University, and was subsequently divided (...) into departments of esthetics and ethics, respectively. It was thus that the independent department of ethics made its appearance for the first time in the history of Moscow University. This occurred in 1969, and recently the department of Marxist- Leninist ethics marked its modest first decade. (shrink)

The concept of 'levels of organization' has come under fire recently as being useless for scientific and philosophical purposes. In this paper, we show that 'levels' is actually a remarkably resilient and constructive conceptual tool that can be, and in fact is, used for a variety of purposes. To this effect, we articulate an account of the importance of the levels concept seen in light of its status as a major organizing concept of biology. We argue that (...) the usefulness of ‘levels’ is best seen in the heuristic contributions the concept makes to treating and structuring scientific problems. We illustrate this with two examples from biological research. (shrink)

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative introduction to contemporary (...) computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way. (shrink)

Following its initial development in the 1920’s and 1930’s, by mid-century the concept of “levels of organization” began to disperse throughout the life science textbook literature. Among other early textbooks that first applied the levels concept, Eugene P. Odum’s usage of the notion in his textbook series Fundamentals of Ecology (and his later series Ecology) stands out due to the marked emphasis placed on the concept as a foundational, erotetically-oriented organizing principle. In this paper, I examine Odum’s efforts (...) toward advocating the levels concept in ecology in light of the concept’s wider uptake in biology around that time. (shrink)

The expansion of international trade and global business competition in recent years has been accompanied by growth in corruption. While many factors may contribute to a person's willingness to participate in a corrupt transaction, the influence of religion may be significant, and leaders of religious organizations have become increasingly vocal in their condemnation of corruption. As honesty and fairness to third parties is universal to many religions, leaders of many faiths are united in their opposition to corruption. To better comprehend (...) the relationship between religion and corruption, a study was conducted employing information related to religion and Transparency International's Corruption Perceptions Index (CPI), which ranks nations according to the perceived degree of corruption among public officials and politicians. The 133 countries that were included in the 2003 CPI were compared across a range of factors related to 1) the dominant religion practiced in each country, 2) perceived corruption, 3) the importance of religion to the citizens of each country, 4) religious freedom, and 5) the gross domestic product (GDP) per capita. Study results indicate that, when countries are grouped by dominant religion, the groups differ significantly with regard to perceived corruption, value of religion, religious freedom, and GDP per capita. Significant differences in the same factors also occurred when countries were grouped by corruption levels. (shrink)