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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

"Meeting strangers" is a metaphor for the increasingly common experience of working with diversity in family therapy. This book offers a model of cultural family therapy for working with families across cultures, particularly immigrants, refugees, and minorities in mainstream society. -/- The author draws together several emerging trends in therapy and the human sciences: narrative approaches, transcultural psychiatry, studies of autobiographical memory and the distributed and saturated self, translation theory and sociolinguistics. He offers an understanding of the "situated nature" of (...) human problems and tools for translating the family's culture and idioms into a common language in a culturally responsive and collaborative way. -/- Each chapter is both theoretical and practical, far-reaching and grounded in the experiences of families in therapy. The chapters of Part I, Meeting Strangers, introduce themes of cultural family therapy, a synthesis of family therapy and transcultural psychiatry that reframes the presenting issue in therapy as the "presenting culture." Here DiNicola both critiques family therapy's unexamined use of cultural concepts and introduces fresh conceptual tools, such as spirals, masks, and roles, that facilitate the therapist's engagement with the family culture. -/- Part II, On the Threshold: Language, Identity, and Cultural Change, introduces a number of "changelings," "liminal people," and "orphans." Between or on the thresholds of two or more cultures, they struggle with issues around language and translation, identity and cultural change. The overbearing influence of Western concepts is seen in DiNicola's examination of the psychological, social, and cultural implications of the myth of independence. -/- Part III, Families as Storying Cultures, demonstrates in extended cases the power of narrative and of metaphor to transform experience. The final chapter is a moving memoir of the author's fascinating journey to Brazil to meet his father for the first time. -/- The author's aim is "to open space for people who have been treated like minor characters in the drama of family therapy." In doing so, he puts onto center stage all sorts of strangers in society, families of diversity, and their human predicaments, inviting his readers to engage in the full richness and complexity of culture, families, and therapy. (shrink)

The series is devoted to the study of scientific and philosophical texts from the Classical and the Islamic world handed down in Arabic. Through critical text editions and monographs, it provides access to ancient scientific inquiry as it developed in a continuous tradition from Antiquity to the modern period. All editions are accompanied by translations and philological and explanatory notes.

Al nominalista non manca proprio nulla? La dispensabilità dell’insieme vuoto in mereologia - Quine’s commitment to nominalism has always required set theory to be replaced by an ontologically less dubious tool for the analysis of predication, one that is usually ABSTRACT Rivista di storia della filosofia, n. 1, 2009 mereological in nature, akin to the Calculus of Individuals he and Goodman developed in a seminal paper on nominalism. The problem Quine himself always acknowledged as central in any such replacement arises (...) with the mereological "translation" of numbers. I show here that Quine’s proposed translation strategy, even when successful, raises even more serious issues since it requires mereology to supply a substitute for the empty set. After proving the indispensability, given Quine’s translation, of such an entity, I demonstrate that an exact mereological replica of the empty set cannot be admitted without engendering contradictions. I conclude by discussing some paraphrases of the usual mereological axioms that prima facie might seem to be compatible with the null object and assessing their implausibility. (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)

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal results that (...) a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (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)

In this paper we are concerned about the ways GCH can fail in relation to rank-into-rank hypotheses, i.e., very large cardinals usually denoted by I3, I2, I1 and I0. The main results are a satisfactory analysis of the way the power function can vary on regular cardinals in the presence of rank-into-rank hypotheses and the consistency under I0 of the existence of j:Vλ+1≺Vλ+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j : V_{\lambda+1} {\prec} V_{\lambda+1}}$$\end{document} with the failure of GCH (...) at λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}. (shrink)

The present paper is divided in two parts . In the first part we will propose Meinong’s theory of time outlined in 1899 interpreted in such a way that the subtlety of his argumentation is emphasised. In the second, we will discuss different solutions for the celebrated McTaggart’s paradox, reaching the conclusion that a theory of time suggested by the reflections of the Austrian Philosopher seems to be the most adequate perspective for tackling this problem.

This article pursues the aim of pointing out the occidental Personalism (that developed in Europe between the XVIIIth and the XXth century) as probably the most appropriate basis for justify the concept of “hospitality” together with the possible relative doctrine and praxis. We discuss the thought of many personalist thinkers and the thought of those thinkers that are near to the Personalism (but always taking as basis the thought of Edith Stein and Nikolaj Berdjaev). With this aim we attempt to (...) propose a new concept of person along the global personalist thinking, toward the ethical demanded by the concept of “hospitality”. Thus the concept of person seems to us the best way to approach “hospitality”. In fact this new concept of person and the rise of “hospitality” enables a view free of ideological extremisms. (shrink)

L'opera, dedicata alla liberazione dell'interpretazione dei testi di Platone dal giogo del moderno riduzionismo, analizza un vasto orizzonte di studi non riduzionistici, a loro volta posti in relazione con i testi platonici stessi e con i testi sapienziali dalla valenza platonica. In particolore viene posto in evidenza che per Platone l'idea è veramente la cosa nella sua pienezza."--Page 4 of cover.

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)

In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These models share with Kuhn a number (...) of questions about the relation between individuals and communities. At the same time, they also inherit some of Kuhn’s problematic characterisations of the scientific community. In particular, current models of the social organisation of science represent the scientific community as essentially value-free. This may put into question both their representational adequacy and their normative ambitions. In the end, it will be shown that the discussion on the formal models of the scientific community may contribute in fruitful ways to the ongoing debates on value judgements in science. (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)

This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.

The bioeconomy is becoming increasingly prominent in policy and scholarly literature, but critical examination of the concept is lacking. We argue that the bioeconomy should be understood as a political project, not simply or primarily as a technoscientific or economic one. We use a conceptual framework derived from the work of Karl Polanyi to elucidate the politically performative nature of the bioeconomy through an analysis of an influential Organization for Economic Cooperation and Development initiative, The Bioeconomy to 2030. We argue (...) that this initiative is a response to some of the most acute challenges facing the current neoliberal-capitalist accumulation regime, which seeks to protect and extend that regime, through both what it occludes and what it promotes. Rather than taking the bioeconomy as a description of some subset of economic activity, we regard it as a promissory construct that is meant to induce and facilitate some actions while deterring others; most explicitly, it is meant to bring about a particular set of political–institutional changes that will shape the parameters of possible future action. The bioeconomy concept highlights the potential dangers of failing to situate ethnographic examinations of horizontal micro-relations within a political–economic macro-context that enables and constrains. Scholarly work in science and technology studies and elsewhere that does not recognize the wider politics of the bioeconomy risks unintentionally contributing to the legitimation of this political project. (shrink)

The current state of inductive logic is puzzling. Survey presentations are recurrently offered and a very rich and extensive handbook was entirely dedicated to the topic just a few years ago [23]. Among the contributions to this very volume, however, one finds forceful arguments to the effect that inductive logic is not needed and that the belief in its existence is itself a misguided illusion , while other distinguished observers have eventually come to see at least the label as “slightly (...) antiquated” .What seems not to have lost any of its currency is the problem which inductive logic is meant to address. Inference from limited ascertained information to uncertain hypotheses is ubiquitous in learning, prediction and discovery. The logical insight that such kind of inference is fallible m .. (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)

Interaction mining is about discovering and extracting insightful information from digital conversations, namely those human?human information exchanges mediated by digital network technology. We present in this article a computational model of natural arguments and its implementation for the automatic argumentative analysis of digital conversations, which allows us to produce relevant information to build interaction business analytics applications overcoming the limitations of standard text mining and information retrieval technology. Applications include advanced visualisations and abstractive summaries.