I maintain that quantum mechanics is fundamentally about a system of N particles evolving in three-dimensional space, not the wave function evolving in 3N-dimensional space.

I present a new thermodynamic argument for the existence of God. Naturalistic physics provides evidence for the failure of induction, because it provides evidence that the past is not at all what you think it is, and your existence is just a momentary fluctuation. The fact that you are not a momentary fluctuation thus provides evidence for the existence of God – God would ensure that the past is roughly what we think it is, and you have been in existence (...) for roughly the amount of time you think you have. I don’t have a definitive way for the atheist to refute this argument, but I give one suggestion that relies on physics-based simplicity considerations. I close with an epistemological discussion of self-undermining arguments. (shrink)

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)

We criticize the bare theory of quantum mechanics -- a theory on which the Schrödinger equation is universally valid, and standard way of thinking about superpositions is correct.

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)

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)

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?

Peter Lewis ([1997]) has recently argued that the wavefunction collapse theory of GRW (Ghirardi, Rimini and Weber [1986]) can only solve the problem of wavefunction tails at the expense of predicting that arithmetic does not apply to ordinary macroscopic objects. More specifically, Lewis argues that the GRW theory must violate the enumeration principle: that 'if marble 1 is in the box and marble 2 is in the box and so on through marble n, then all n marbles are in the (...) box' ([1997], p. 321). Ghirardi and Bassi ([1999]) have replied that it is meaningless to say that the enumeration principle is violated because the wavefunction Lewis uses to exhibit the violation cannot persist, according to the GRW theory, for more than a split second ([1999], p. 709). On the contrary, we argue that Lewis's argument survives Ghirardi and Bassi' s criticism unscathed. We then go on to show that, while the enumeration principle can fail in the GRW theory, the theory itself guarantees that the principle can never be empirically falsified, leaving the applicability of arithmetical reasoning to both micro- and macroscopic objects intact. (shrink)

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)

Pascal’s Wager holds that one has pragmatic reason to believe in God, since that course of action has infinite expected utility. The mixed strategy objection holds that one could just as well follow a course of action that has infinite expected utility but is unlikely to end with one believing in God. Monton (2011. Mixed strategies can’t evade Pascal’s Wager. Analysis 71: 642–45.) has argued that mixed strategies can’t evade Pascal’s Wager, while Robertson (2012. Some mixed strategies can evade Pascal’s (...) Wager: a reply to Monton. Analysis 72: 295–98.) has argued that Monton is mistaken. We show that Monton is correct, highlight the crucial assumptions that he relies on, and shed some light on the role of mixed strategies in decision theory. (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)

The lesson to be learned from the paradoxical St. Petersburg game and Pascal’s Mugging is that there are situations where expected utility maximizers will needlessly end up poor and on death’s door, and hence we should not be expected utility maximizers. Instead, when it comes to decision-making, for possibilities that have very small probabilities of occurring, we should discount those probabilities down to zero, regardless of the utilities associated with those possibilities.

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)

In this paper, we show that presentism -- the view that the way things are is the way things presently are -- is not undermined by the objection from being-supervenience. This objection claims, roughly, that presentism has trouble accounting for the truth-value of past-tense claims. Our demonstration amounts to the articulation and defence of a novel version of presentism. This is brute past presentism, according to which the truth-value of past-tense claims is determined by the past understood as a fundamental (...) aspect of reality different from things and how things are. (shrink)

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)

This study aims at developing a theoretical model for workplace bullying using René Girard’s scapegoating framework. Despite the wide range of labels and related constructs present in workplace bullying literature, the explanation of the phenomenon is often studied under theoretical frameworks that do not always capture the nature of the concept. Indeed, the need to find instruments and tools to reduce or solve workplace bullying overshadowed conceptual and theoretical matters, leaving the concept undertheorized. By broadening the spectrum of social sciences (...) beyond managerial and organizational studies, we propose to use René Girard’s scapegoating framework to shed new light on workplace bullying. The scapegoating framework allows us to understand better some collective and social dimensions of workplace bullying, catching relevant elements that characterize this phenomenon, also those that are less evident from organizational studies. In a Girardian sense, scapegoating is like a trap that every human society falls into, and many aspects of workplace bullying recall its mechanism. For Girard, a human group or society can fall into a spiral of reciprocal violence because of the mimetic desire mechanism, risking a conflict escalation: violence begets more violence, putting at risk the stability or even the existence of this group or society. Scapegoating is a way to overcome reciprocal violence by uniting against a single victim who cannot reciprocate this violence. This study also proposes a tentative way to escape this trap: positive mimesis and gift-giving. (shrink)

One's inaccuracy for a proposition is defined as the squared difference between the truth value (1 or 0) of the proposition and the credence (or subjective probability, or degree of belief) assigned to the proposition. One should have the epistemic goal of minimizing the expected inaccuracies of one's credences. We show that the method of minimizing expected inaccuracy can be used to solve certain probability problems involving information loss and self-locating beliefs (where a self-locating belief of a temporal part of (...) an individual is a belief about where or when that temporal part is located). We analyze the Sleeping Beauty problem, the duplication version of the Sleeping Beauty problem, and various related problems. (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)

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

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)

I argue that the wave function ontology for quantum mechanics is an undesirable ontology. This ontology holds that the fundamental space in which entities evolve is not three-dimensional, but instead 3N-dimensional, where N is the number of particles standardly thought to exist in three-dimensional space. I show that the state of three-dimensional objects does not supervene on the state of objects in 3N-dimensional space. I also show that the only way to guarantee the existence of the appropriate mental states in (...) the wave function ontology has undesirable metaphysical baggage: either mind/body dualism is true, or circumstances which we take to be logically possible turn out to be logically impossible.“While our theory can be extended formally in a logically consistent way by introducing the concept of a wave in a 3N-dimensional space, it is evident that this procedure is not really acceptable in a physical theory... ” (Bohm 1957, 117). (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)

We grant that anthropic reasoning yields the result that we should not expect to be in a small civilization. However, regardless of what civilization one finds oneself in, one can use anthropic reasoning to get the result that one should not expect to be in that sort of civilization. Hence, contra Ken Olum, anthropic reasoning does not conflict with observation.

The fundamental constants that are involved in the laws of physics which describe our universe are finely-tuned for life, in the sense that if some of the constants had slightly different values life could not exist. Some people hold that this provides evidence for the existence of God. I will present a probabilistic version of this fine-tuning argument which is stronger than all other versions in the literature. Nevertheless, I will show that one can have reasonable opinions such that the (...) fine-tuning argument doesn’t lead to an increase in one’s probability for the existence of God. (shrink)

Adam Elga takes the Sleeping Beauty example to provide a counter-example to Reflection, since on Sunday Beauty assigns probability 1/2 to H, and she is certain that on Monday she will assign probability 1/3. I will show that there is a natural way for Bas van Fraassen to defend Reflection in the case of Sleeping Beauty, building on van Fraassen’s treatment of forgetting. This will allow me to identify a lacuna in Elga’s argument for 1/3. I will then argue, however, (...) that not all is well with Reflection: there is a problem with van Fraassen’s treatment of forgetting. Ultimately I will agree with Elga’s 1/3 answer. David Lewis maintains that the answer is 1/2; I will argue that cases of forgetting can be used to show that the premiss of Lewis’s argument for 1/2 is false. (shrink)

I argue that space has three dimensions, and quantum mechanics does not show otherwise. Specifically, I argue that the mathematical wave function of quantum mechanics corresponds to a property that an N-particle system has in three-dimensional space.

James Ladyman has argued that constructive empiricism entails modal realism, and that this renders constructive empiricism untenable. We maintain that constructive empiricism is compatible with modal nominalism. Although the central term 'observable' has been analyzed in terms of counterfactuals, and in general counterfactuals do not have objective truth conditions, the property of being observable is not a modal property, and hence there are objective, non-modal facts about what is observable. Both modal nominalism and constructive empiricism require clarification in the face (...) of Ladyman's argument. But we also argue that, even if Ladyman were right that constructive empiricism entails modal realism, this would not be a problem for constructive empiricism. (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)

There is a philosophical tradition of arguing against presentism, the thesis that only presently existing things exist, on the basis of its incompatibility with fundamental physics. I grant that presentism is incompatible with special and general relativity, but argue that presentism is not incompatible with quantum gravity, because there are some theories of quantum gravity that utilize a fixed foliation of spacetime. I reply to various objections to this defense of presentism, and point out a flaw in Gödel's modal argument (...) for the ideality of time. This paper provides an interesting case study of the interplay between physics and philosophy. (shrink)