This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt to provide a satisfactory account of the phenomenon has proved challenging. Here we elaborate the suggestion (first discussed by Sides, Osherson, Bonini, & Viale, 2002) that in standard conjunction problems the fallacious probability judgements observed experimentally are typically guided by sound assessments of _confirmation_ relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal (...) result is a confirmation-theoretic account of the conjunction fallacy, which is proven _robust_ (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy, and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)

We discuss the probabilistic analysis of explanatory power and prove a representation theorem for posterior ratio measures recently advocated by Schupbach and Sprenger. We then prove a representation theorem for an alternative class of measures that rely on the notion of relative probability distance. We end up endorsing the latter, as relative distance measures share the properties of posterior ratio measures that are genuinely appealing, while overcoming a feature that we consider undesirable. They also yield a telling result concerning formal (...) accounts of explanatory power versus inductive confirmation, thereby bridging our discussion to a so-called no-miracle argument. (shrink)

Probability ratio and likelihood ratio measures of inductive support and related notions have appeared as theoretical tools for probabilistic approaches in the philosophy of science, the psychology of reasoning, and artificial intelligence. In an effort of conceptual clarification, several authors have pursued axiomatic foundations for these two families of measures. Such results have been criticized, however, as relying on unduly demanding or poorly motivated mathematical assumptions. We provide two novel theorems showing that probability ratio and likelihood ratio measures can be (...) axiomatized in a way that overcomes these difficulties. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

Epistemologists and philosophers of science have often attempted to express formally the impact of a piece of evidence on the credibility of a hypothesis. In this paper we will focus on the Bayesian approach to evidential support. We will propose a new formal treatment of the notion of degree of confirmation and we will argue that it overcomes some limitations of the currently available approaches on two grounds: (i) a theoretical analysis of the confirmation relation seen as an extension of (...) logical deduction and (ii) an empirical comparison of competing measures in an experimental inquiry concerning inductive reasoning in a probabilistic setting. (shrink)

The so‐called problem of irrelevant conjunction has been seen as a serious challenge for theories of confirmation. It involves the consequences of conjoining irrelevant statements to a hypothesis that is confirmed by some piece of evidence. Following Hawthorne and Fitelson, we reconstruct the problem with reference to Bayesian confirmation theory. Then we extend it to the case of conjoining irrelevant statements to a hypothesis that is dis confirmed by some piece of evidence. As a consequence, we obtain and formally present (...) a novel and more troublesome problem of irrelevant conjunction. We conclude by indicating a possible solution based on a measure‐sensitive approach and by critically discussing a major alternative way to address the problem. *Received December 2008; revised August 2009. †To contact the authors, please write to: Department of Philosophy, University of Turin, via Sant'Ottavio 20, 10124 Turin, Italy; e‐mail: vincenzo[email protected] ; [email protected] or [email protected]. (shrink)

The Dunning–Kruger effect focuses our attention on the notion of invisibility of ignorance, i.e., the ignorance of ignorance. Such a phenomenon is not only important for everyday life, but also, above all, for some philosophical disciplines, such as epistemology of sciences. When someone tries to understand formally the phenomenon of ignorance of ignorance, they usually end up with a nested epistemic operator highly resistant to proper regimentation. In this paper, we argue that to understand adequately the ignorance of ignorance phenomenon (...) we have to understand satisfactorily the concept of disbelief and, as we call it, the concept of “radical ignorance”. We propose also prerequisites that a notion of radical ignorance useful for the philosophy of science ought to fulfill, and we sketch a possible formalization of this notion. Finally, we propose some comments on the problem of propagation of ignorance proposed by Fine. (shrink)

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty and the (...) reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information-theoretic formalism. (shrink)

Today, the concept of democracy seems inextricably linked with that of universal suffrage. But is it true? To let that anyone with a given age has the right to vote is a very good democratic practice, or would prefer to question the criteria for access to this right, perhaps to develop new systems? The current crisis of democracy in the Western world is symptomatic of a detriment of the political consciousness of the people? And yet it is very likely to (...) be admissible and that only from the mass, the large numbers, rises the better choices? In this paper I try to answer these questions, drawing from personal opinions and thoughts, which I hope will inspire questions and curiosity in those who, like me, believes that any system is always perfectible, and that its aim should be to that perfection, without fear of asking uncomfortable questions. Personally, in fact, I can accept democracy as “the worst form of government except all the others that have been tried”, to quote a famous statement by Winston Churchill. But not for that I give up, and I try other ways. Ways that are more satisfying, more fair and keep us away from the horrors that only an angry mob can do. (shrink)

The purpose of this article is to investigate about the differences and, if any, the similarities among the modern State and the mafia criminal organizations. In particular, starting from their definitions, I will try to find the differences between State and mafia, to then focus on the operational aspects of the functioning of these two organizations, with specific reference to the effect/impact that both these human constructs have on citizens’ existences, and especially on citizen’s economic lives. All this in order (...) to understand whether it is possible to identify an objective difference – beside morals – between taxation by the modern State and extortion by criminal organizations. With this of course I do not want to argue that the mafia is in any way justifiable or absolvable, nor that it is better than the State. However, I want to investigate whether there is a real, logical reason why the State should be considered by the citizens more desirable than the criminal organizations oppressing Southern Italy, from a strictly logical point of view and not from the point of view of ethics and morality. (shrink)

In his mature works, Kuhn abandons the concept of a paradigm and becomes more interested in the analysis of the conceptual structure of scientific theories. These changes are interpreted as resulting from a ‘linguistic turn’ that Kuhn underwent sometimes around the 1980s. Much of the philosophical discussions about Kuhn’s post-‘linguistic turn’ philosophy revolves around his views on taxonomic concepts. Apart from taxonomy, however, the mature Kuhn introduces other concepts, such as conceptual networks and lexicons. This article distinguishes these three concepts (...) and shows that adopting each one of them has different impacts on Kuhn’s model of science. After distinguishing and assessing the concepts of taxonomy, network, and lexicon, it will be argued that the latter not only fits the Kuhnian model of science better, but it also helps capture the wide sense of Kuhn’s early concept of a paradigm. (shrink)

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. (...) Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations. (shrink)

Harrigan and Spekkens, introduced the influential notion of an ontological model of operational quantum theory. Ontological models can be either “epistemic” or “ontic.” According to the two scholars, Einstein would have been one of the first to propose an epistemic interpretation of quantum mechanics. Pusey et al. showed that an epistemic interpretation of quantum theory is impossible, so implying that Einstein had been refuted. We discuss in detail Einstein’s arguments against the standard interpretation of QM, proving that there is a (...) misunderstanding in Harrigan and Spekkens’ attribution of an epistemic perspective to Einstein, whose point of view was actually statistical, but in a quasi-classical sense. (shrink)

Bayesian approaches to human cognition have been extensively advocated in the last decades, but sharp objections have been raised too within cognitive science. In this paper, we outline a diagnosis of what has gone wrong with the prevalent strand of Bayesian cognitive science (here labelled pure Bayesian cognitive science), relying on selected illustrations from the psychology of reasoning and tools from the philosophy of science. Bayesians’ reliance on so-called method of rational analysis is a key point of our discussion. We (...) tentatively conclude on a constructive note, though: an appropriately modified variant of Bayesian cognitive science can still be coherently pursued, as some scholars have noted. (shrink)

We prove that the unification type of Łukasiewicz logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background (...) to such diverse tools. In particular, we offer a detailed proof of the duality theorem for finitely presented MV-algebras and rational polyhedra—a fundamental result that, albeit known to specialists, seems to appear in print here for the first time. (shrink)

Is the ubiquity of contemporary popular music akin to a deliberate aggression to the hearing, making the listening experience devoid of any sense? If so, is there any strategy to morph this supposed confusion into meaningful stimuli? Relying on epistemology, we attempt at promoting the act of listening as a proper way of world-making and refer to Mark Reybrouck, Bruno Nettl, Steven Brown and Joseph Jordania—among others—to gather appropriate heuristic tools. In the last part of the essay, we advance the (...) concept of timbral quotation as an additional means to grasp meaningful cues in the timbrical richness of contemporary popular compositions. We shall sustain the particular fitness of this tool especially with regard to nowadays’ Western popular music, more and more timbre-centered rather than harmony-centered. (shrink)

This article aims at sketching a philosophical theory of sound based on the perspective of sound designers: unique agents blurring the boundaries between engineering, music, acoustics and sound-based art. After having introduced the general framing in Section 1, focusing on a short history of the theory and practice of sound design, in Section 2 we propose a reading of sound as monad. We derive such intuition from the technology of digital sampling of audio signals, based on the decomposition of complex (...) sound waves in a number of elementary sinusoidal waves. Thus, in Section 3, we attempt at grounding the resulting “sound-atom” on Leibniz’s notion of monad, intended both as a “simple substance without parts” and as a “nucleus of forces in statu possibilitatis.” The insight is resumed and further discussed in Section 4, where we draw our conclusions by demonstrating the fitness of such framing with regards to the standpoint of sound design, while accounting for the work of sound artists Carsten Nicolai and Ryoji Ikeda. (shrink)

In his mature writings, Kuhn describes the process of specialisation as driven by a form of incommensurability, defined as a conceptual/linguistic barrier which promotes and guarantees the insularity of specialties. In this paper, we reject the idea that the incommensurability among scientific specialties is a linguistic barrier. We argue that the problem with Kuhn’s characterisation of the incommensurability among specialties is that he presupposes a rather abstract theory of semantic incommensurability, which he then tries to apply to his description of (...) the process of specialisation. By contrast, this paper follows a different strategy: after criticising Kuhn’s view, it takes a further look at how new scientific specialties emerge. As a result, a different way of understanding incommensurability among specialties will be proposed. (shrink)

To believe that every single scientist ought to be individually engaged in ethical thinking in order for science to be responsible at a collective level may be too demanding, if not plainly unrealistic. In fact, ethical labor is typically distributed across different kinds of scientists within the scientific community. Based on the empirical data collected within the Horizon 2020 ‘RRI-Practice’ project, we propose a classification of the members of the scientific community depending on their engagement in this collective activity. Our (...) classification offers, on the one hand, a model of how the ethical aspects of science are taken into consideration by scientists and, on the other, some indications on how to institutionalize ethics in science. (shrink)

Thomas Kuhn (1922-1996) is widely considered as one of the most important philosophers of science of the 20th century, while his The Structure of Scientific Revolutions (SSR) is regarded as one of the most influential works in the philosophy ofscience. At the same time, however, his place within philosophy of science remains ambiguous. On the one hand, despite the popularity of SSR, there is no proper ‘Kuhnian school of thought’ in HPS. On the other hand, the interest towards Kuhn does (...) not seem to fade away and the number of publications about his work does not seem to decrease. We suggest that there are at least three different ways to go ‘beyond SSR’: (i) by scrutinising the development of Kuhn’s thought, from his pre- to his post-SSR writings; (ii) by contextualising Kuhn in the philosophical milieu of his time, thus interpreting his view as emerging from the intellectual exchanges he had with contemporary philosophers; (iii) by reinterpreting and developing some of his most known ideas, in ways that perhaps Kuhn himself was not able to contemplate. (shrink)