There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

Neuroeconomics, neuromarketing, neuroaesthetics, and neurotheology are just a few of the novel disciplines that have been inspired by a combination of ancient knowledge along with recent discoveries about how the human brain works.This fascinating and thought provoking new book critically questions our love affair with brain imaging.

The COVID-19 pandemic is an unprecedented event entailing long-term consequences on population health and welfare. Those who contracted the coronavirus may have suffered from both physical and mental health issues that unfold the need for tailored intervention strategies. Hence, our study aims to investigate the psychological and social consequences of COVID-19 on a sample of 86 participants, encompassing 43 patients recruited from Bari University Hospital, 19 of whom were hospitalized due to the disease. The remaining 43 were individuals not fallen (...) ill with COVID-19 to date. The investigation yielded significant gender differences in post-traumatic stress symptoms, depression, and representation of interpersonal distance, evaluated through the IES-R, the BDI-II, and the IVAS task, respectively. This pattern of results was not replicated in the control group. In general, participants who reported having experienced the most intense post-traumatic symptoms also presented a greater mood deflection and, more specifically, within the clinical group women obtained the highest scores on both scales. Women reported higher IES-R and BDI-II scores compared to men, that could indicate that women who have contracted COVID-19 are more exposed to post-traumatic and depressive symptoms. Our results also showed a significant effect of COVID-19 on IPD with a tendency of disease-experienced individuals to increase their preferred IPD from adults, children, and elderly people. Regarding gender differences in mood and proxemic behavior, a correlation between depressive symptoms and probable PTSD and a further correlation between probable PTSD and greater IPD were found in women from both clinical and control group. Overall, these findings might contribute to a better understanding of gender-based implications of the current pandemic on mental health, also leading to the development of integrated yet personalized intervention strategies. (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...) following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

As part of the Historical Materialism research stream on immaterial labour, cognitive capitalism and the general intellect, begun in issue 15.1, this articles explores the importance of the expression 'general intellect', proposed by Marx in the Grundrisse, for an analysis of linguistic and intellectual work in contemporary capitalism. It links the notion of general intellect to the crisis of the law of value, the political significance of mass intellectuality, and the definition of democracy in a world where knowledge is a (...) productive force in its own right. (shrink)

Scientific literature on particular themes in ontology is extremely abundant, but it is often very hard for freshmen or sophomores to find a red thread between the various proposals. This text is an opinionated introduction, a preliminary text to research in ontology from the so called standard approach to ontological commitment, that is from the particular point of view that connects ontological questions to quantificational questions. It offers a survey of this viewpoint in ontology together with their possible applications through (...) a broad array of examples and open problems and, at the same time, essential references to the classics of philosophy, so as to allow non-specialists to understand the terms and analysis procedures characterizing the discipline. Its result is a wide-ranging overview of the issued tackled by ontology, with a particular focus on the most relevant problems of contemporary debate. (shrink)

We review several of de Finetti’s fundamental contributions where these have played and continue to play an important role in the development of imprecise probability research. Also, we discuss de Finetti’s few, but mostly critical remarks about the prospects for a theory of imprecise probabilities, given the limited development of imprecise probability theory as that was known to him.

Still today it remains unclear whether Galileo ever climbed the leaning tower of Pisa in order to drop bodies from its top. Some believe that he established the principle of equal speeds for falling bodies by means of an ingenious thought experiment. However, the reconstruction of that thought experiment circulating in the philosophical literature is no more than a cartoon. In this paper I will tell the story of the thought processes behind the cartoon.Keywords: Galileo Galilei; Thought experiment; Falling bodies.

In the last decades, Systems Biology (including cancer research) has been driven by technology, statistical modelling and bioinformatics. In this paper we try to bring biological and philosophical thinking back. We thus aim at making diferent traditions of thought compatible: (a) causality in epidemiology and in philosophical theorizing—notably, the “sufcient-component-cause framework” and the “mark transmission” approach; (b) new acquisitions about disease pathogenesis, e.g. the “branched model” in cancer, and the role of biomarkers in this process; (c) the burgeoning of omics (...) research, with a large number of “signals” and of associations that need to be interpreted. In the paper we summarize frst the current views on carcinogenesis, and then explore the relevance of current philosophical interpretations of “cancer causes”. We try to ofer a unifying framework to incorporate biomarkers and omic data into causal models, referring to a position called “evidential pluralism”. According to this view, causal reasoning is based on both “evidence of diference-making” (e.g. associations) and on “evidence of underlying biological mechanisms”. We conceptualize the way scientists detect and trace signals in terms of information transmission, which is a generalization of the mark transmission theory developed by philosopher Wesley Salmon. Our approach is capable of helping us conceptualize how heterogeneous factors such as micro and macro-biological and psycho-social—are causally linked. This is important not only to understand cancer etiology, but also to design public health policies that target the right causal factors at the macro-level. (shrink)

This article is both a comment on Neyland’s ‘On organizing algorithms’ and a supplementary note to our ‘The concept of algorithm as an interpretative key of modern rationality’. In the first part we discuss the concepts of algorithm and recursive function from a different perspective from that of our previous article. Our cultural reference for these concepts is once again computability theory. We give additional arguments in support of the idea that a culture informed by an algorithmic logic has promoted (...) modern rationality both in science and in society. We stress again the importance of distinguishing between algorithms applied to quantifiable entities such as space, time and value and those applied to ontological entities such as human actions. In the second case, the algorithm is applied outside its domain of definition and leads to social disaggregation. (shrink)

In this 2017 conversation, Gianni Vattimo discusses with Paolo Diego Bubbio the core themes of his own philosophical journey. Vattimo first comments on the legacy of his mentor Luigi Pareyson and on the differences between Pareyson’s conception of the relation between truth and interpretation and his own. Vattimo and Bubbio then elaborate on the return to Hegel and the possibility of a “hermeneuticized” Hegelianism. The participants also discuss Vattimo’s view of religion and the role that the Christian notion of (...) caritas plays in his “weak hermeneutics.” Finally, Vattimo comments on his recent political writings and on his view of a “hermeneutic communism,” arguing that revolution is possible only as a collective inner transformation. Vattimo concludes by mentioning his recent essays, collected under the title Being and Its Surroundings, in which he presents the radical thesis of Heidegger’s philosophy as a new form of theology. (shrink)

Constrained coherence is compared to coherence and its role in the behavioural interpretation of coherence is discussed. The equivalence of these two notions is proven for coherent conditional previsions, showing that the same course of reasoning applies to several similar concepts developed in the realm of imprecise probability theory.

Since the microbiological revolution, most infectious diseases have been defined and classified according to an etiologic criterion, i.e. the identification of single, external necessary causes (for example, Mycobacterium for tuberculosis). This is not the case with cancer. Not only external necessary causes of cancer have not been identified, but also the morphological classification cannot be based on univocal criteria. Although neoplasia and anaplasia appear to be universal attributes of cancer, these events are only quantitative. Neoplastic growth can be fast or (...) slow (development may take weeks or years), and tissue pathologies are difficult to detect from normal tissue in some cancers but are obvious in others. Common special properties of anaplasia appear to be concealed in the wide range of morphologies. In the absence of a coherent morphological definition, and of external necessary causes (such as bacteria for infectious diseases), a mechanistic definition could be adopted. However, unless molecular biology discovers specific mechanistic steps in carcinogenesis, which indicate the existence of necessary events in carcinogenesis, we cannot adopt a univocal (monothetic) definition of cancer. The alternative is to use a polythetic definition, according to Wittgenstein's model of a long rope twisted together out of many shorter fibres. (shrink)

More than any other philosopher, Duns Scotus and Simondon both gave extensive consideration to the relation between what is primarily common and what is primarily singular. Pointing to certain resonances between their ideas can help us to develop a theoretical model to decipher the mode of being of the contemporary multitude. This article deals with: 1. The critique that Duns Scotus and Simondon address to everyone who believes that the matter form pair can account for the process of individuation; 2. (...) The gap separating the notion of the « universal » from that of the « common », and therefore, the need to precisely define the ontological and logical status of the « common » without any surreptitious use of categories linked to the « universal 1); 3. The paradoxical relation involving both addition and subtraction - between the individuated individual and « common nature »; and 4. The question of angels , a source of enduring fame in school textbooks for Duns Scotus, re-examined here in the light of Simondon ’s concepts of « transindividuality » and of « collective individuation ». (shrink)

Forms of contemporary life attest to the dissolution of the concept of the ‘people’ and the renewed importance of the idea of the ‘multitude’. Though they took center stage in the seventeenth century debate that spawned much of our ethico-political lexicon, these two notions are polar opposites. The ‘people’ is by its very nature centripetal. Converging towards a general will, it acts as an interface between citizens and the State. The ‘multitude’ is plural. Fleeing all political unity, it shuns negotiations (...) with the sovereign and refuses to delegate its rights to that power; it is a recalcitrant and disobedient entity with a taste for certain forms of non-representative democracy. For example, Hobbes claims that citizens in rebellion against the State represent “the multitude against the people.” But while Hobbes spotted the greatest hindrance to the workings of the State within this multitude, Spinoza found in it the roots of liberty. The political existence of ‘multiples’ as such has been stricken from the horizon of modernity: not only by Absolute State theorists, but also by Rousseau, the liberal tradition, and the socialist movement itself. (shrink)

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze and (...) the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

Journal Name: Philologus Issue: Ahead of print.

The main aim of this paper is to put Peano’s opinion about the unacceptability of the actual infinitesimal notion into evidence. First we briefly focus on the cultural environment where Peano’s considerations originated and developed. Then we examine Peano’s article of 1892, “Dimostrazione dell’impossibilità di segmenti infinitesimi costanti” [Peano 1892].

Standard applications of evolutionary game theory look at a single game and focus on the evolution of behavior for that game alone. Instead, this article uses tools from evolutionary game theory to study the competition between choice mechanisms in a rich and variable multigame environment. A choice mechanism is a way of subjectively representing a decision situation, paired with a method for choosing an act based on this subjective representation. We demonstrate the usefulness of this approach by a case study (...) that shows how subjective representations in terms of regret that differ from the actual fitness can be evolutionarily advantageous. (shrink)

The paper aims to describe the stakes of a Nietzschean influence on Deleuze's reflections on the transcendental and conversely to highlight the Deleuzian operation of politicising Nietzsche by ‘minorising’ him. In order to further understand such a complex relationship of becoming between Deleuze and Nietzsche, the first objective of the paper is to focus on active and reactive forces, which seem to be the core of this very relation. Thus, the paper suggests that micropolitics has its conditions of possibility in (...) the Nietzschean corpus and, in particular, in the symptomatology of decadence, resentment and nihilism. In this sense, now the title of the paper reveals its meaning: the whole Deleuzian operation could be summarised as the passage from the criticism and questioning of an image of Nietzsche ‘forbidden to minors’, typical of the interpretations of the first half of the twentieth century, to a becoming-minor of these very same Nietzschean concepts. It is precisely through such a becoming-minor that Nietzsche's diagnosis and concepts are translated in a political and emancipatory key, in order to give power to minorities. (shrink)

This paper aims to foster an interdisciplinary dialogue between Ricoeur’s phenomenological- hermeneutical thought and human geography, in particular with respect to the issue of landscape interpretation. The connection draws on the idea that landscapes and lived spaces can be read as texts, not unfamiliar to human geography and semiotics from 1980s onward. In the first part of the paper I will briefly expound some theories of landscape which make use of the metaphors “landscape as cultural image” and “landscape as text” (...) in human and cultural geography. Then, I will discuss the main contribution of Ricoeur to the issue of space. The philosopher already envisioned a possible application of his “threefold mimesis” of Time and Narrative to architectural spaces. In the conclusion, I will propose to rejuvenate the geographical metaphor of “landscape as text” by introducing a possible application of the Ricoeurian notion of “meaningful action as text” to landscape. (shrink)

We use Shelah's theory of possible cofinalities in order to solve some problems about ultrafilters. Theorem: Suppose that $\lambda$ is a singular cardinal, $\lambda ' \lessthan \lambda$, and the ultrafilter $D$ is $\kappa$ -decomposable for all regular cardinals $\kappa$ with $\lambda '\lessthan \kappa \lessthan \lambda$. Then $D$ is either $\lambda$-decomposable or $\lambda ^+$-decomposable. Corollary: If $\lambda$ is a singular cardinal, then an ultrafilter is ($\lambda$,$\lambda$)-regular if and only if it is either $\operator{cf} \lambda$-decomposable or $\lambda^+$-decomposable. We also give applications to (...) topological spaces and to abstract logics. (shrink)