The progressive multistage stabilization of memory (consolidation) relies on post-acquisition neural reorganization. We hypothesize that two processes subserve procedural memory consolidation and are reflected in delayed post-acquisition performance gains: (1) synaptic consolidation, which is classical Hebbian, and (2) in some tasks, concurrently or consequently, “system consolidation,” which might in some skills be sleep-dependent. Behavioral interference may affect either type of consolidation.
Review of Arvind-Pal S. Mandair, Religion and the Specter of the West: Sikhism, India, Postcoloniality, and the Politics of Translation Content Type Journal Article Pages 499-501 DOI 10.1007/s11841-011-0250-8 Authors Brian K. Pennington, Division of Humanities, Maryville College, 502 E. Lamar Alexander Pkwy, Maryville, TN 37804, USA Journal Sophia Online ISSN 1873-930X Print ISSN 0038-1527 Journal Volume Volume 50 Journal Issue Volume 50, Number 3.
Turing's celebrated 1950 paper proposes a very general methodological criterion for modelling mental function: total functional equivalence and indistinguishability. His criterion gives rise to a hierarchy of Turing Tests, from subtotal ("toy") fragments of our functions (t1), to total symbolic (pen-pal) function (T2 -- the standard Turing Test), to total external sensorimotor (robotic) function (T3), to total internal microfunction (T4), to total indistinguishability in every empirically discernible respect (T5). This is a "reverse-engineering" hierarchy of (decreasing) empirical underdetermination of the theory (...) by the data. Level t1 is clearly too underdetermined, T2 is vulnerable to a counterexample (Searle's Chinese Room Argument), and T4 and T5 are arbitrarily overdetermined. Hence T3 is the appropriate target level for cognitive science. When it is reached, however, there will still remain more unanswerable questions than when Physics reaches its Grand Unified Theory of Everything (GUTE), because of the mind/body problem and the other-minds problem, both of which are inherent in this empirical domain, even though Turing hardly mentions them. (shrink)
Explaining the mind by building machines with minds runs into the other-minds problem: How can we tell whether any body other than our own has a mind when the only way to know is by being the other body? In practice we all use some form of Turing Test: If it can do everything a body with a mind can do such that we can't tell them apart, we have no basis for doubting it has a mind. But what is (...) "everything" a body with a mind can do? Turing's original "pen-pal" version (the TT) only tested linguistic capacity, but Searle has shown that a mindless symbol-manipulator could pass the TT undetected. The Total Turing Test (TTT) calls for all of our linguistic and robotic capacities; immune to Searle's argument, it suggests how to ground a symbol manipulating system in the capacity to pick out the objects its symbols refer to. No Turing Test, however, can guarantee that a body has a mind. Worse, nothing in the explanation of its successful performance requires a model to have a mind at all. Minds are hence very different from the unobservables of physics (e.g., superstrings); and Turing Testing, though essential for machine-modeling the mind, can really only yield an explanation of the body. (shrink)
’s glue logic for computing logical form dynamic. This allows us to model a dialogue agent’s understanding of what the update of the semantic representation of the dialogue would be after his next contribution, including the effects of the rhetorical moves that he is contemplating performing next. This is a pre-requisite for developing a model of how agents reason about what to say next. We make the glue logic dynamic by using a dynamic public announcement logic ( pal ). We (...) extend pal with a particular variety of default reasoning suited to reasoning about discourse—this default reasoning being an essential component of inferring the pragmatic effects of one’s dialogue moves. We add to the pal language a new type of announcement, known as ceteris paribus announcement, and this is used to model how an agent anticipates the (default) pragmatic effects of his next dialogue move. Our extended pal validates certain intuitive patterns of default inference that existing pal s for practical reasoning do not. We prove that the dynamic glue logic has a pspace validity problem, and as such is no more complex than pal with multiple $${\square}$$ operators. (shrink)
T.M. Scanlon (1998) proposes that promise breaking is wrong because it shows manipulative disregard for the expectations for future behavior created by promising. I argue that this account of promissory obligation is mistaken in it own right, as well as being at odds with Scanlon's contractualism. I begin by placing Scanlon's account of promising within a tradition that treats the creation of expectations in promise recipients as central to promissory obligation. However, a counterexample to Scanlon's account, his case of the (...) "Profligate Pal," will show that this view of promissory obligation, which I call the Expectations View, is incorrect. In its place, I propose an account of promissory obligation I call Promising as Accountability, according to which promising is a way of making oneself accountable to others for a future act. Not only is Promising as Accountability a more defensible approach to promissory obligation, it also better fits with certain general features of Scanlon's contractualism. (shrink)
This paper examines the overwhelming desire of transnational adoptees to establish a connection with their origins in order to both come to terms with the past and develop an understanding of their identity. It considers the ethical ramifications of the commodification of human bodies. It is suggested that the idea of displacement is most helpful in approaching questions of transnational adoption. In this way, we can look at transnational adoption as a 'beginning' - one that disappears into the present moment, (...) becoming the constitutive reality underlying Derrida's concern with displacement - rather than its origin. For, what does the quest for a return to the point of origin entail? Transnational adoptees, when they embark on the journey of reclaiming their past, of coming to terms with their sense of loss, realise that there is no simple comfort in returning - that they are inevitably caught in the two worlds in which they co-exist. It is through this recognition of the traces that are contained in them, through this displacement, that they are able to negotiate identity. (shrink)
Cognitive science is a form of "reverse engineering" (as Dennett has dubbed it). We are trying to explain the mind by building (or explaining the functional principles of) systems that have minds. A "Turing" hierarchy of empirical constraints can be applied to this task, from t1, toy models that capture only an arbitrary fragment of our performance capacity, to T2, the standard "pen-pal" Turing Test (total symbolic capacity), to T3, the Total Turing Test (total symbolic plus robotic capacity), to T4 (...) (T3 plus internal [neuromolecular] indistinguishability). All scientific theories are underdetermined by data. What is the right level of empirical constraint for cognitive theory? I will argue that T2 is underconstrained (because of the Symbol Grounding Problem and Searle's Chinese Room Argument) and that T4 is overconstrained (because we don't know what neural data, if any, are relevant). T3 is the level at which we solve the "other minds" problem in everyday life, the one at which evolution operates (the Blind Watchmaker is no mind-reader either) and the one at which symbol systems can be grounded in the robotic capacity to name and manipulate the objects their symbols are about. I will illustrate this with a toy model for an important component of T3 -- categorization -- using neural nets that learn category invariance by "warping" similarity space the way it is warped in human categorical perception: within-category similarities are amplified and between-category similarities are attenuated. This analog "shape" constraint is the grounding inherited by the arbitrarily shaped symbol that names the category and by all the symbol combinations it enters into. No matter how tightly one constrains any such model, however, it will always be more underdetermined than normal scientific and engineering theory. This will remain the ineliminable legacy of the mind/body problem. (shrink)
Greece is Hellas and Greeks are Hellenes. Azure is cobalt and everything (coloured) azure is (coloured) cobalt. Pre-Fregeans would call all these statements of identity. <span class='Hi'>Frege</span> taught us to distinguish between Conaming [Name] [Name]. Ngh: Greece is Hellas g=h. Nac: Azure is cobalt a=c Copredicating [Predicate] [Predicate]. PGH: Greeks are Hellenes (x)(Gx[identical with]Hx). PAC: Everything azure is cobalt (x)(Ax[identical with]Cx) Singular Predication [Name] [Predicate]. PcA: Como is azure Ac. PaC: Azure is a colour Ca. PaL: Azure is like indigo (...) Lai. PgD: Greece defeated Persia Dgp. With <span class='Hi'>Frege</span> the contrasts became marked but misconceived. (shrink)
This catalogue essay is based on a series of interviews conducted by the authors with international scholars who were asked to reflect on Guattari's scattered comments concerning animism. Interviewees are: Eduardo Viveiros de Castro (anthropologist, Museu Nacional, Rio de Janeiro), Eric Alliez (philosopher, Paris), Jean Claude Polack (psychoanalyst, Paris), Barbara Glowczewski (anthropologist, Paris), Peter Pál Pelbart (philosopher, São Paolo) Janja Rosangela Araujo (master of Capoeira Angola, and professor, Salvador de Bahia) and Jean Jacques Lebel (artist, Paris). Animism was thought by (...) Guattari in relation to a number of themes and places in excess of religion and ritual but in the context of the shattering of capitalism. (shrink)
Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...) that both address the dynamics of knowledge and information flow in multi-agent systems. One is IS/ETL (IS and ETL are, from a technical point of view, the same up to model transformations, cf. [20]), which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. These models provide a Grand Stage where histories of some process unfold constrained by a protocol, and a matching epistemic-temporal language describes what happens. The other framework is Dynamic Epistemic Logic (DEL, [10, 4, 34]) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. Temporal evolution is then computed from some initial epistemic model through a process of successive ‘product updates’. It has long been unclear how to best compare IS/ETL and DEL. Various aspects have been investigated in [10, 30, 32], but in this paper, we study the interface in a more systematic way. Often, DEL and ETL are presented as alternative ways of adding dynamics to multi-agent epistemic models. In this paper, we rather focus on how merging the two different modeling choices leads to interesting new questions. Our leading interest here will be a view of informational processes as evolving over time. To see what we mean, consider the simplest version of DEL, viz. the logic of public announcements PAL ([23]) which adds a very specific type of communicative 1 action to epistemic models: a public announcement.. (shrink)
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not take place (...) in PAL. We also discuss relationships between announcements and the new knowledge agents thus acquire; such relationships are related to learning and to Fitch’s paradox. We also show how inverse programs and hybrid logic each can be used to help determine whether or not an arbitrary structure represents the play of a game. We then add a past-time operator to DEL, and discuss the importance of adding yet another component to the language in order to prove completeness. (shrink)
Turing's celebrated 1950 paper proposes a very general methodological criterion for modelling mental function: total functional equivalence and indistinguishability. His criterion gives rise to a hierarchy of Turing Tests, from subtotal ("toy") fragments of our functions (t1), to total symbolic (pen-pal) function (T2 -- the standard Turing Test), to total external sensorimotor (robotic) function (T3), to total internal microfunction (T4), to total indistinguishability in every empirically discernible respect (T5). This is a "reverse-engineering" hierarchy of (decreasing) empirical underdetermination of the theory (...) by the data. Level t1 is clearly too underdetermined, T2 is vulnerable to a counterexample (Searle's Chinese Room Argument), and T4 and T5 are arbitrarily overdetermined. Hence T3 is the appropriate target level for cognitive science. When it is reached, however, there will still remain more unanswerable questions than when Physics reaches its Grand Unified Theory of Everything (GUTE), because of the mind/body problem and the other-minds problem, both of which are inherent in this empirical domain, even though Turing hardly mentions them. (shrink)
Arguing that intellectual movements, such as deconstruction, postsecular theory, and political theology, have different implications for cultures and societies that live with the debilitating effects of past imperialisms, Arvind Mandair ...
Following Karni's seminal work, Walker and other researchers have recently provided gradually convincing evidence that sleep is critical for the consolidation-based enhancement (CBE) of motor sequence learning. Studies in our laboratory using a motor adaptation paradigm, however, show that CBE can also occur after the simple passage of time, suggesting that sleep effects on memory consolidation are task-related, and possibly dependent on anatomically dissociable circuits.
In the paper all countable Boolean algebras with m distinguished. ideals having countably-categorical elementary theory are described and constructed. From the obtained characterization it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finite-axiomatizable, decidable and, consequently, their countable models are strongly constructivizable.
Turing's celebrated 1950 paper proposes a very generalmethodological criterion for modelling mental function: total functionalequivalence and indistinguishability. His criterion gives rise to ahierarchy of Turing Tests, from subtotal (toy) fragments of ourfunctions (t1), to total symbolic (pen-pal) function (T2 – the standardTuring Test), to total external sensorimotor (robotic) function (T3), tototal internal microfunction (T4), to total indistinguishability inevery empirically discernible respect (T5). This is areverse-engineering hierarchy of (decreasing) empiricalunderdetermination of the theory by the data. Level t1 is clearly toounderdetermined, T2 (...) is vulnerable to a counterexample (Searle's ChineseRoom Argument), and T4 and T5 are arbitrarily overdetermined. Hence T3is the appropriate target level for cognitive science. When it isreached, however, there will still remain more unanswerable questionsthan when Physics reaches its Grand Unified Theory of Everything (GUTE),because of the mind/body problem and the other-minds problem, both ofwhich are inherent in this empirical domain, even though Turing hardlymentions them. (shrink)
After September 11, Sullivan wrote that while he wasn’t worried about the heartland, “decadent coastal liberals may well mount a fifth column.†This in response, as is well known, to a thoughtful New Yorker essay by Susan Sontag. Sullivan, who Eric Alterman—not usually a sharp wordsmith—memorably calls “Young Roy Cohn†later issued “Sontag awards.†His attitude and his popularization of a sort of Lynne Cheneyist position on what “Views†are improper and thus should not be publicly aired, probably did far (...) more damage to civil liberties than Joe McCarthy’s pal Roy, who at the very least didn’t take himself seriously. (shrink)
Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...) many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)
The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...) First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer a�rmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for Public Announcement Logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)
Many people argue that uncertain science -- or controversial policies based on science -- can be clarified primarily by greater attention to the social and ethical values influencing the science and the policy and by greater attention to the vested, economic interests involved. This paper argues that while such clarification is necessary, it is neither a sufficient condition, nor even the primary means, by which to achieve better science and better policy. Using a case study involving the current, highly politicized (...) controversy over the shape of dose-response curves for biological effects of ionizing radiation in both the protective action levels (PALS) and the International Commission on Radiological Protection (ICRP) environmental proposals, the paper argues that the conflict could be resolved largely through five specific methodological improvements in the areas of metascience and philosophy of science. (shrink)
Do unto others -- Don't pester the pigeons -- Try it, you'll like it -- Be science fair -- Chicken out -- Save the whales -- Be good to bugs -- Fur is un-fur-giveable -- Don't pass the product tests -- Horsing around -- It's raining cats and dogs -- "Companimals" are priceless -- Pen pals for animals -- Watch out for animals -- Dump wasteful habits -- Free the fishes -- Art impact -- Help turtles out of trouble -- (...) Stick it to 'em! -- Call for compassion -- Check out the entertainment -- Dress to a 't' -- Sing for the animals -- Be an elefriend--get the elefacts -- Write on! -- Born free, bored stiff -- Saying goodbye to uninvited guests -- Talk to the animals -- Get your class into the act -- Hooray for holidays! -- Dressing cool to be kind -- Pig out! -- Take care of hot dogs -- Oh, deer! -- Give a well-come gift -- Critter chatter -- Pack a lunch with punch -- Be a bookworm -- Reflecting on dissecting -- Step up on your soapbox -- Lost and found -- It's your turn to set the table -- School's out -- Develop a good roadside manner -- Add a little spice to their lives -- Make sure fair is fair -- Get poetic -- Join the club -- Hang in there -- One last thing you can do to help the animals. (shrink)
