Artificial agents are progressively becoming more present in everyday-life situations and more sophisticated in their interaction affordances. In some specific cases, like Google Duplex, GPT-3 bots or Deep Mind’s AlphaGo Zero, their capabilities reach or exceed human levels. The use contexts of everyday life necessitate making such agents understandable by laypeople. At the same time, displaying human levels of social behavior has kindled the debate over the adoption of Dennett’s ‘intentional stance’. By means of a comparative analysis of the literature (...) on robots and virtual agents, we defend the thesis that approaching these artificial agents ‘as if’ they had intentions and forms of social, goal-oriented rationality is the only way to deal with their complexity on a daily base. Specifically, we claim that this is the only viable strategy for non-expert users to understand, predict and perhaps learn from artificial agents’ behavior in everyday social contexts. Furthermore, we argue that as long as agents are transparent about their design principles and functionality, attributing intentions to their actions is not only essential, but also ethical. Additionally, we propose design guidelines inspired by the debate over the adoption of the intentional stance. (shrink)

The fulcrum of this work is knowledge: what it is and how it is generated within the context of a capitalist society. First, Marx’s analysis of the objective labour process is extended to the mental labour process. Then, objective and mental labour processes are defined in terms of objective and mental transformations, with consideration paid to which of the two types of transformation is determinant. This requires a discussion of dialectical logic and formal logic. Within dialectical logic, two types of (...) processes are introduced: open ended and pre-determined. It is argued that computers (both traditional and quantum) and Artificial Intelligence cannot generate new knowledge, because they (a) rely on formal logic, i.e. they cannot engage in open-ended dialectical processes, and (b) are impervious to social determination. Connectedly, Artificial Intelligence systems such as ChatGPT cannot be a substitute for human thought or writing, because of the inevitability of ‘model collapse’. Next, focus is shifted to a specific form of knowledge: the ‘Copenhagen interpretation’ of quantum mechanics. It is shown that this interpretation is steeped in irrationalism and that it is a variant of pro-capitalist ideology. Finally, the social-historical roots of this ideology are revealed. (shrink)

In this paper, we report on an experiment with The Walking Dead (TWD), which is a narrative-driven adventure game where players have to survive in a post-apocalyptic world filled with zombies. We used OpenFace software to extract action unit (AU) intensities of facial expressions characteristic of decision-making processes and then we implemented a simple convolution neural network (CNN) to see which AUs are predictive of decision-making. Our results provide evidence that the pre-decision variations in action units 17 (chin raiser), 23 (...) (lip tightener), and 25 (parting of lips) are predictive of decision-making processes. Furthermore, when combined, their predictive power increased up to 0.81 accuracy on the test set; we offer speculations about why it is that these particular three AUs were found to be connected to decision-making. Our results also suggest that machine learning methods in combination with video games may be used to accurately and automatically identify complex decision-making processes using AU intensity alone. Finally, our study offers a new method to test specific hypotheses about the relationships between higher-order cognitive processes and behavior, which relies on both narrative video games and easily accessible software, like OpenFace. (shrink)

Chris Arthur's approach aims at a systematic re-ordering of Marx's categories. This article argues that his approach is actually a different ordering of different categories that are positioned within a specific theoretical whole, a Hegelian re-interpretation of Marx and especially of abstract labour, which distances itself from Marx. While the debate has focused mainly on the philosophical aspects of Arthur's work, its economic features have not been the object of a systematic analysis. Yet, a full assessment of the 'New Dialectics' (...) should include explicitly a systematic internal critique of its economic dimensions. The aim of this article is to assess the internal consistency of the economic ramifications of the 'New Dialectics'. The focus is on the notions of abstract labour, concrete labour, and exploitation. Arthur's faithfulness to Marx, or correspondence to Marx's quotations, is not the criterion used to assess the 'New Dialectics'. Rather, the criterion is whether it discovers logical inconsistencies in Capital and is itself free from inconsistencies. The answer is negative in both cases. (shrink)

This work focuses exclusively on the modern economic aspects of imperialism. We define it as a persistent and long-term net appropriation of surplus value by the high-technology imperialist countries from the low-technology dominated countries. This process is placed within the secular tendential fall in profitability, not only in the imperialist countries but also in the dominated ones. We identify four channels through which surplus value flows to the imperialist countries: currency seigniorage; income flows from capital investments; unequal exchange through trade; (...) and changes in exchange rates. We pay particular attention to the theorisation and quantification of international UE and of exchange-rate movements. Concerning UE, we extend Marx’s transformation procedure to the international setting. We use two variables in the analysis of UE: the organic composition of capital and the rate of exploitation, and we measure which of these two variables is more important in contributing to UE transfers. We research a time span longer than in any previous study. We also introduce the distinction between narrow and broad unequal exchange according to whether two countries are assumed to trade only with each other or also with the rest of the world. As for the analysis of the exchange rates as a channel for appropriation of international surplus value, we reject conventional approaches because they are rooted in equilibrium theory. We find very strong empirical evidence that exchange rates tend towards the point at which the productivities are equalised. This is only a tendency because this equalisation is inherently incompatible with the nature of imperialism. Finally, given its topicality, we apply our analysis to the relation between the US and China and find that China is not an imperialist country according to our definition and data. (shrink)

The aim of this study was to test whether an online video game can be used to investigate planning ability and whether fluid intelligence, objective numeracy, and subjective numeracy are predictive of game performance. Our results demonstrate that fluid intelligence is particularly important, which is in line with previous non-game-based studies that show a relationship between classical planning tests and fluid intelligence. Video games have been previously used for research into cognitive processes and taking them online facilitates data collection on (...) a larger scale. Online video games also afford data collection without the expense and stress of a laboratory environment. For these reasons, using online video games to investigate human cognition is a promising alternative to the classic cognitive paradigms used in laboratories. (shrink)

Brenner's ‘The Economics of Global Turbulence’ is a review of the world economy in the second half of the 20th century and its momentous changes. It deals with a wide range of issues and developments and is supported by a wealth of statistical and historical material. At the same time, it debunks many of the myths upon which recent history has been written. Perhaps even more importantly, it seeks the causes of crises in the laws of motion of capital itself.

Compte rendu de Quentin Hiernaux, Du comportement végétal à l’intelligence des plantes?

Both physiological and evolutionary criteria of biological individuality are underpinned by the idea that an individual is a functionally integrated whole. However, a precise account of functional integration has not been provided so far, and current notions are not developed in the details, especially in the case of composite systems. To address this issue, this paper focuses on the organisational dimension of two representative associations of prokaryotes: biofilms and the endosymbiosis between prokaryotes. Some critical voices have been raised against the (...) thesis that biofilms are biological individuals. Nevertheless, it has not been investigated which structural and functional obstacles may prevent them from being fully integrated physiological or evolutionary units. By contrast, the endosymbiotic association of different species of prokaryotes has the potential for achieving a different type of physiological integration based on a common boundary and interlocked functions. This type of association had made it possible, under specific conditions, to evolve endosymbionts into fully integrated organelles. This paper therefore has three aims: first, to analyse the organisational conditions and the physiological mechanisms that enable integration in prokaryotic associations; second, to discuss the organisational differences between biofilms and prokaryotic endosymbiosis and the types of integration they achieve; finally, to provide a more precise account of functional integration based on these case studies. (shrink)

Although the analogy between macroscopic machines and biological molecular devices plays an important role in the conceptual framework of both neo-mechanistic accounts and nanotechnology, it has recently been claimed that certain complex molecular devices cannot be considered machines since they are subject to physicochemical forces that are different from those of macroscopic machines. However, the structural and physicochemical conditions that allow both macroscopic machines and microscopic devices to work and perform new functions, through a combination of elemental functional parts, have (...) not yet been examined. In order to fill this void, this paper has a threefold aim: first, to clarify the structural and organisational conditions of macroscopic machines and microscopic devices; second, to determine whether the machine-like analogy fits nanoscale devices; and third, to assess whether the machine-like analogy is appropriate for describing the behaviour of some biological macromolecules. Finally, the paper gives an account of ‘machine’ which, while acknowledging the physicochemical and organisational differences between man-made machines and biological microscopic devices, nevertheless identifies a common conceptual core that allows us to consider the latter ‘machines’. (shrink)

Can an event’s blameworthiness distort whether people see it as intentional? In controversial recent studies, people judged a behavior’s negative side effect intentional even though the agent allegedly had no desire for it to occur. Such a judgment contradicts the standard assumption that desire is a necessary condition of intentionality, and it raises concerns about assessments of intentionality in legal settings. Six studies examined whether blameworthy events distort intentionality judgments. Studies 1 through 4 show that, counter to recent claims, intentionality (...) judgments are systematically guided by variations in the agent’s desire, for moral and nonmoral actions alike. Studies 5 and 6 show that a behavior’s negative side effects are rarely seen as intentional once people are allowed to choose from multiple descriptions of the behavior. Specifically, people distinguish between “knowingly” and “intentionally” bringing about a side effect, even for immoral actions. These studies suggest that intentionality judgments are unaffected by a behavior’s blameworthiness. (shrink)

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

Soggetti dello sguardo -- L'osservatore -- Lo spettatore -- Barocco giuridico.

Extant models of moral judgment assume that an action’s intentionality precedes assignments of blame. Knobe (2003b) challenged this fundamental order and proposed instead that the badness or blameworthiness of an action directs (and thus unduly biases) people’s intentionality judgments. His and other researchers’ studies suggested that blameworthy actions are considered intentional even when the agent lacks skill (e.g., killing somebody with a lucky shot) whereas equivalent neutral actions are not (e.g., luckily hitting a bull’s-eye). The present five studies offer an (...) alternative account of these provocative findings. We suggest that people see the morally significant action examined in previous studies (killing) as accomplished by a basic action (pressing the trigger) for which an unskilled agent still has sufficient skill. Studies 1 through 3 show that when this basic action is performed unskillfully or is absent, people are far less likely to view the killing as intentional, demonstrating that intentionality judgments, even about immoral actions, are guided by skill information. Studies 4 and 5 further show that a neutral action such as hitting the bull’s-eye is more difficult than killing and that difficult actions are less often judged intentional. When difficulty is held constant, people’s intentionality judgments are fully responsive to skill information regardless of moral valence. The present studies thus speak against the hypothesis of a moral evaluation bias in intentionality judgments and instead document people’s sensitivity to subtle features of human action. (shrink)

In this paper, we report on an experiment with The Walking Dead (TWD), which is a narrative-driven adventure game with morally charged decisions set in a post-apocalyptic world filled with zombies. This study aimed to identify physiological markers of moral decisions and non-moral decisions using infrared thermal imaging (ITI). ITI is a non-invasive tool used to capture thermal variations due to blood flow in specific body regions that might be caused by sympathetic activity. Results show that moral decisions seem to (...) elicit a significant decrease in temperature in the chin region 20 seconds after participants are presented with a moral decision. However, given the small sample involved, and the lack of significance in other regions, future studies might be needed to confirm the results obtained in this work. (shrink)

Much of the current research in regenerative medicine concentrates on stem-cell therapy that exploits the regenerative capacities of stem cells when injected into different types of human tissues. Although new therapeutic paths have been opened up by induced pluripotent cells and human mesenchymal cells, the rate of success is still low and mainly due to the difficulties of managing cell proliferation and differentiation, giving rise to non-controlled stem cell differentiation that ultimately leads to cancer. Despite being still far from becoming (...) a reality, these studies highlight the role of physical and biological constraints (e.g., cues and morphogenetic fields) placed by tissue microenvironment on stem cell fate. This asks for a clarification of the coupling of stem cells and microenvironmental factors in regenerative medicine. We argue that extracellular matrix and stem cells have a causal reciprocal and asymmetric relationship in that the 3D organization and composition of the extracellular matrix establish a spatial, temporal, and mechanical control over the fate of stem cells, which enable them to interact and control (as well as be controlled by) the cellular components and soluble factors of microenvironment. Such an account clarifies the notions of stemness and stem cell regeneration consistently with that of microenvironment. (shrink)

La lettura non è un'invariante antropologica. Essa è invece una pratica che muta secondo i tempi, i luoghi, i contesti, e si dimostra strettamente legata da una parte alle competenze culturali di chi legge, le quali determinano maniere di lettura differenziate, e da un'altra parte alle intenzioni, consuetudini, situazioni entro cui si iscrive l'atto di lettura e che vengono ad esprimersi e a definirsi come modalità, positure fisiche, gesti. Un ruolo fondamentale giocano le forme materiali che lo scritto assume e (...) con le quali il lettore entra in contatto: un testo non esiste di per sé, svincolato da ogni materialità e dunque dal supporto che lo offre alla lettura (o all'ascolto) o dalle circostanze in cui esso viene letto (o ascoltato). Gli autori scrivono testi che diventano oggetti scritti con i quali i lettori instaurano rapporti d'indole varia. I testi possono essere letti diversamente da lettori che non condividono le medesime tecniche o abitudini intellettuali, che non intrattengono una medesima relazione con lo scritto, che non attribuiscono il medesimo significato o il medesimo valore alla lettura, che non iscrivono nelle medesime convenzioni l'atto di leggere. Quando la lettura è ad alta voce, è quest'ultima che fa emergere il senso del testo, e può trasformarsi, nel caso di lettura collettiva, in una performance, nella quale i lettori diventano ascoltatori. Ma la lettura ad alta voce e collettiva ha la funzione non solo di comunicare il contenuto di uno scritto, ma anche quello di cementare solidarietà di gruppo che nella comune cerimonia della performance si riconoscono. Un altro rapporto che può instaurarsi con il libro è quello di una lettura tutta individuale, intima, che può essere tacita o a fior di labbra: una lettura che, se eseguita con la penna in mano, si effettua all'incrocio di lettura e scrittura, giacché può dar luogo ad escerti, parafrasi, trascrizioni, marginalia. O ancora, il rapporto con il libro può risolversi, soprattutto nel caso di lettori “deboli” e privi di strumenti critici, in una maniera di lettura in superficie, che coglie soltanto i significati più semplici e immediati del testo. Tutto questo vale anche per le pratiche di lettura a Bisanzio: ritrovarne alcune tracce è l'intento di questo contributo. (shrink)

This study aimed to evaluate if eye blinks can be used to discriminate players with different performance in a session of Nintendo Entertainment System (NES) Tetris. To that end, we developed a state-of-the-art method for blink extraction from EAR measures, which is robust enough to be used with data collected by a low-grade webcam such as the ones widely available on laptop computers. Our results show a significant decrease in blink rate per minute (blinks/m) during the first minute of playing (...) Tetris. After having defined 3 groups of proficiency based on in-game performance (Novices, Intermediates, and Experts) we found out that expert players display a significantly lower decrease in blinks/m compared to novices during the first minute of gameplay, which shows that Tetris players' proficiency can be detected by looking at eye blinks/m variations during the early phase of a game session. This difference in blinks/m is observed throughout the entire game session, which supports the general conclusion that proficient Tetris players have a lower decrease in blinks/m, even when playing more difficult levels. Finally, we offer some interpretations of this effect and the relationship that our results may have with the visual cognitive workload experienced during the gameplay. (shrink)

Robots are being extensively used for the purpose of discovering and testing empirical hypotheses about biological sensorimotor mechanisms. We examine here methodological problems that have to be addressed in order to design and perform “good” experiments with these machine models. These problems notably concern the mapping of biological mechanism descriptions into robotic mechanism descriptions; the distinction between theoretically unconstrained “implementation details” and robotic features that carry a modeling weight; the role of preliminary calibration experiments; the monitoring of experimental environments for (...) disturbing factors that affect both modeling features and theoretically unconstrained implementation details of robots. Various assumptions that are gradually introduced in the process of setting up and performing these robotic experiments become integral parts of the background hypotheses that are needed to bring experimental observations to bear on biological mechanism descriptions. (shrink)

Il testo vuole testimoniare della piena partecipazione delle scienze sociali alla storia delle scienze, in un quadro di sviluppo che prevede la ricezione in Europa della riforma della filosofia naturale attuata da Francesco Bacone nel XVII secolo e recepita nel principio dell’induzione da Auguste Comte in Francia e da Herbert Spencer in Inghilterra. I temi della fondazione delle scienze sono quindi al centro dell’opera di ricostruzione di eventi cruciali. L’investigazione della natura e del mondo empirico da parte dell’uomo sociale si (...) svolge attraverso i secoli nei modi prescritti dalla filosofia naturale, laddove la tradizione antica e medioevale lasciava irrisolti alcuni problemi di tipo finalistico e vitalistico. Nel Cinquecento e soprattutto nel Seicento assistiamo ad una certa ripresa di tematiche suscitate dall’atomismo e dal meccanicismo in concomitanza del declino della fisica aristotelica. Nel secolo di Cartesio, che rifiutava l’atomismo, la ricerca di una teoria della materia dominò la scena nonché quella del movimento rettilineo uniforme che determinava lo stato di quiete dei corpi, come si nota nei Principia philosophiae del 1644 (pubblicati in francese nel 1647). Il principio che la conoscenza derivasse soltanto dall’interpretazione e dal commento dei testi antichi, sotto una certa forma di principium potestatibus, fu gradualmente sostituito da una filosofia della storia del progresso incarnata nell’ambito della conoscenza scientifica dal metodo sperimentale. La Rivoluzione scientifica culminò con l’applicazione di questa metodologia nella filosofia naturale, nelle scienze della vita (biologia, anatomia, zoologia, botanica), nella medicina e nella chimica, nella fisica (ottica, magnetismo, termologia, elettricità) nonché nella scoperte di William Harvey sulla pressione del sangue, di Evangelista Torricelli sulla pressione dell’atmosfera, Francesco Redi sui corpi viventi e Isaac Newton sulla natura della luce. In particolare, Newton seppe sintetizzare la tradizione dell’empirismo inglese, che va da Ruggero Bacone e Guglielmo di Ockham a John Locke, suo contemporaneo. Il contesto di sviluppo delle idee illuministiche e del positivismo in Francia segnò l’evolversi in Occidente della riflessione più matura sulle scienze e sulle scienze sociali nei vari contesti storico-concreti dove la filosofia naturale poté essere interpretata alla luce di nuove scoperte, le quali dovevano segnare, a loro volta, il momento incisivo di una azione progressiva dell’uomo condotta sulla natura stessa e, in modo tale da fare risaltare, infine, il passaggio al mondo della cultura del progresso. Come è noto, l’idea del progresso sta alla base di tante teorizzazioni della società a partire dal XVIII secolo. Per questo, basterà anche ricordare ciò che Kant pensasse dell’ Illuminismo quando affermava: “L’illuminismo è l’uscita dell’uomo dallo stato di minorità che egli deve imputare a se stesso. Minorità è l’incapacità di servirsi del proprio intelletto senza la guida di un altro. Questa minorità è imputabile a se stesso, se la causa non dipende dalla mancanza di intelligenza ma da mancanza di decisione e del coraggio di far uso del proprio intelletto senza essere guidati da un altro. Sapere aude! Abbi il coraggio di servirti della tua propria intelligenza. È questo il motto dell’illuminismo.” La stessa identificazione data da Auguste Comte nel suo Cours all’uso del termine ‘positivo’ cercava di spiegare come si potesse “considerare tutti i fenomeni come assoggettati a leggi naturali ed invariabili, la scoperta e la riduzione al minor numero possibile delle quali è il fine di tutti i nostri sforzi, considerando inoltre come assolutamente inaccessibile e vuota di senso la ricerca di quelle che si chiamano cause, sia cause prime che quelle finali” (Cours de philosophie positive, I). Al cospetto del nuovo modo di pensare e di operare i temi fondanti dell’intervento umano sulla natura circolavano in concomitanza della diffusione dei saperi scientifici, di quei saperi che si erano manifestati quindi in forma di pratiche illuministiche, cioè di un insieme di ragioni teoriche e pratiche poste in relazione tra loro a beneficio del mondo sociale circostante. Gradualmente anche il tema della rappresentazione dei fenomeni della vita si rapporta allo sviluppo della nuova filosofia naturale, tenendo conto del fatto che le scienze raggiungono uno stadio positivo nonché astratto e concreto (v. Herbert Spencer, The Classification of the Sciences). Ciò sarebbe sufficiente per spiegare il nesso esistente tra le scienze e i fenomeni vitali organici, cioè quel collegamento tra lo sviluppo filosofico e scientifico e il progresso dell’ambiente natura-le e sociale. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

A critical edition with facing-page translation, of Guglielmo Ebreo's treatise of 1463. It also contains dance tunes in facsimile and in annotated transcriptions based on the choreographies.

An original, theoretical work on cross-linguistic word order from a leading syntactician.

This work aims to foster interest in the links between a particular theoretical and conceptual development of sociological science in Italy and the debate surrounding the history of scientific subjects, here called the epistemological history of various disciplines. The author sets out to trace the points of view emerging from Italian epistemological sociology between the early twentieth and twenty-first centuries and related to the debate on the historical and philosophical sciences. The intention resides in revealing the distinctive characteristics of the (...) latter, their internal (logical and methodological) rather than external (historical and social) factors, while investigating the task of the new historians of science confronted with the changes caused by various knowledge and forms of technological know-how. The text provides the contemporary scientific community with a new route to follow when seeking to rationally establish and write the history of sociology. The addressees are, more than anything else, the new generation of scholars of the history of science. (shrink)

@font-face { font-family: "Times New Roman"; }p.MsoNormal, li.MsoNormal, div.MsoNormal { margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman"; }table.MsoNormalTable { font-size: 10pt; font-family: "Times New Roman"; }div.Section1 { page: Section1; } Questo libro offre una lettura di Marx che tratta sia l’origine filosofica del suo pensiero economico che ll’esame approfondito della storiografia scientifica prodottasi in vari periodi. Le principali difficoltà che si incontrano oggi nello studio di Marx e del marxismo sono quelle di trovarsi ben oltre la sua (...) crisi, già manifestatasi da più di venticinque-trenta anni a questa parte, dopo una di dissoluzione e di smantellamento dei “classici” originato dall’azione di una generazione di intellettuali e dirigenti politici socialisti e comunisti che hanno fondamentali principi ispiratori. (shrink)

Strategies for improving the explainability of artificial agents are a key approach to support the understandability of artificial agents’ decision-making processes and their trustworthiness. However, since explanations are not inclined to standardization, finding solutions that fit the algorithmic-based decision-making processes of artificial agents poses a compelling challenge. This paper addresses the concept of trust in relation to complementary aspects that play a role in interpersonal and human–agent relationships, such as users’ confidence and their perception of artificial agents’ reliability. Particularly, this (...) paper focuses on non-expert users’ perspectives, since users with little technical knowledge are likely to benefit the most from “post-hoc”, everyday explanations. Drawing upon the explainable AI and social sciences literature, this paper investigates how artificial agent’s explainability and trust are interrelated at different stages of an interaction. Specifically, the possibility of implementing explainability as a trust building, trust maintenance and restoration strategy is investigated. To this extent, the paper identifies and discusses the intrinsic limits and fundamental features of explanations, such as structural qualities and communication strategies. Accordingly, this paper contributes to the debate by providing recommendations on how to maximize the effectiveness of explanations for supporting non-expert users’ understanding and trust. (shrink)

Abstract. The rapid developments of robotics technologies in the last twenty years of the XX century have greatly encouraged research on the use of robots for surgery, diagnosis, rehabilitation, prosthetics, and assistance to disabled and elderly people. This chapter provides an overview of robotic technologies and systems for health care, focussing on various ethical problems that these technologies give rise to. These problems notably concern the protection of human physical and mental integrity, autonomy, responsibility, ...

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)