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)

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)

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)

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 book presents a systematic exploration of the subjective experience, keeping the investigation for the most part within a subjective first person perspective through the use of “vignettes” as sources of data. It also uses incorporates a ‘"third person” objective approach when that is relevant. The goal of Journeys in the Mind is to capture and convey the operations of the mind: both the shared blueprints common to the elaboration of subjective knowledge as well as the immense fishnet of personalized (...) variables that operate in each mental phase-space and act upon the blueprints to continuously recategorize them into sets of coherent, dynamic outcomes, or mental landscapes. Dr. Sanguineti's meditative perspective holds the promise to enrich the way we understand the workings of the human mind. (shrink)

Starting from the 13th century, the question of defining theology as a science gained prominence within a new epistemological reflection on the discipline. It has been hypothesized that the availability of new translations of Aristotelian works significantly contributed to the growing interest among theologians in the theory of science. One of the most prominent intellectuals who recognized the necessity of defining theology as a science and outlining its boundaries and investigative methods in relation to other disciplines, was Albert the Great (...) (d. 1280). Numerous studies have been dedicated to exploring Albert’s treatment of this subject since the 1930s. However, little to no attention has been given to the role played by Arabic sources, particularly the works of Avicenna (Ibn Sīnā, d. 1037), the philosopher and polymath of Persian origin, in shaping Albert’s own definition of theology as a science. This contribution concentrates on the analysis of a section of the Summa Theologiae (Treatise I, quaestio V, chapter 3), with particular emphasis on the ‘translation’ of the logical-argumentative method from its domain of application in scientific and philosophical research to the branch of theology dedicated to safeguarding Christian doctrine against the criticisms and the attacks of heretics. The aim is to analyze how Albert accomplished this translation of the method of inquiry by drawing parallels between the defence of the principles of philosophical inquiry, which is a primary concern of metaphysics, and the defence of the articles of faith in theology. It is by reconciling sources from both the Christian and the Arabo-Islamic traditions that Albert claims the use of a form of dialectic argumentation within theology. (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)

This essay analyzes the work of Paolo Prodi (1932–2016), which is characterised by a constant reflection on secularisation. As a democratic Catholic, he explored the relationship between the Roman Church and the modern world starting from the Council of Trent and from the dual figure of the pope as a temporal ruler and spiritual guide. His original contribution concerned the conflict between law and conscience: a problem that led him to design a triptych of books on the foundations of the (...) western world. He was influenced not only by Verfassungsgeschichte (German constitutional history), but also by Harold Berman. If for Weber the modern world was born from the Reformation, for Berman it was the ‘Gregorian revolution’ that changed the fate of Latin Europe. For Prodi, too, the medieval conflict between canon and civil law introduced a peculiar structure in Europe that would last until the triumph of the nation states and the so-called ‘political religions’. In his three books (the first dedicated to the oath, the second to justice, the last to economics), Prodi placed at the centre of his analysis the notion of forum; the history of moral theology and casuistry and the relationship between penitence and justice. (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 this paper, I present two crucial problems for Wolff’s metaphysics of quantities: 1) The structural identification problem and 2) the Pythagorean problem. The former is the problem of uniquely defining a general algebraic structure for all quantities; the latter is the problem of distinguishing physical quantitative structure from mathematical quantities. While Wolff seems to have a consistent and elegant solution to the first problem, the second problem may put in jeopardy his metaphysical view on quantities as spaces. After drawing (...) a parallelism between Wolff’s treatment of quantitative structures and Frege’s conception of quantitative domain, I propose a solution to the Pythagorean problem based on the idea that mathematical structures are the result of applying an abstraction principle on physical quantitative structures. In particular, I propose the view that abstraction may be seen as the operation of structure determination which transforms concrete physical quantities (i.e. undetermined structures) into abstract mathematical quantities (fully determined structures of thin and shallow objects). Keywords: Metaphysics of Quantities, Abstraction Principles, Locationism. (shrink)

En dépit de ce que le titre semble en première lecture suggérer, le livre d’Aurélien Robert (= A. R.), Épicure aux Enfers, est moins la reconstruction d’une damnation, que l’histoire d’un dédoublement : le constat initial procède de la scission entre la dimension historique d’Épicure, sa pensée -essentiellement eudémonique- et l’image injustifiée d’athée et hédoniste qui a connu un large succès au Moyen Âge et a, pendant longtemps, effacé son profil historique pour se substituer à lui. Le liv...

Quest'opera fa parte di un più vasto lavoro di ricerca sul neo-idealismo italiano in rapporto alla politica. Il titolo - filosofia e politica - è di per sé significativo: sta a indicare chiaramente la direzione e il tipo dell'indagine, che non è empirica ma trascendentale, non riguarda cioè la dottrina politica e le scelte pratiche di Croce, staccate dall'organismo del pensiero in cui s'incorporano e analizzate alla luce di alcune categorie, magari psicologiche e sociologiche; ma riguarda i presupposti teoretici che (...) stanno a fondamento di quella dottrina e di quelle scelte. Scartato, perché fuorviante, il metodo di quelle due «false scienze» che sono la psicologia e la sociologia, l'Autore ha tentato un discorso schiettamente filosofico, che è poi discorso di fondazione e di deduzione. Per questo è stato necessario procedere a una lettura integrale di Croce, avendo in una mano l'esperienza dei «testi» e nell'altra quella categoria della «totalità», che è più facile da invocare che da impiegare. Ma è stato necessario anche dare al lavoro un «taglio» particolare, in modo da evitare le semplificazioni eccessive e le sintesi sommarie, per andare direttamente al cuore dei problemi. L'impostazione metodologica ha richiesto da una parte l'adesione all'universo spirituale dell'autore studiato, e dall'altra l'obiettivo distaccato scientifico: due condizioni fondamentali, queste, che solo in apparenza si escludono, perché in realtà si conciliano riassumendosi nel concetto di «critica interna». DAL TESTO - "A ragione Croce afferma che il liberalismo è grandemente debitore all'estetica e alla filosofia dell'economia che hanno asserito la spiritualità del corpo, l'interiorità dell'oggetto nel soggetto, sì che il suo destino è legato a quelle due scienze che unificando Dio e mondo, idea e fatto, garantiscono, contro ogni disposizione autoritaria, la spontaneità e i contrasti delle forze spirituali; e a ragione afferma che l'autoritarismo politico e morale si congiunge a tutte quelle concezioni che hanno un riferimento trascendente e oltremondano. (da Archiviostorico.info). Ristampa del libro edito da Bulzoni, nel 1976. (shrink)

In his late years, Thomas Kuhn became interested in the process of scientific specialization, which does not seem to possess the destructive element that is characteristic of scientific revolutions. It therefore makes sense to investigate whether and how Kuhn’s insights about specialization are consistent with, and actually fit, his model of scientific progress through revolutions. In this paper, I argue that the transition toward a new specialty corresponds to a revolutionary change for the group of scientists involved in such a (...) transition. I will clarify the role of the scientific community in revolutionary changes and characterize the incommensurability across specialties as possessing both semantic and methodological aspects. The discussion of the discovery of the structure of DNA will serve both as an illustration of my main argument and as reply to one criticism raised against Kuhn—namely, that his model cannot capture cases of revolutionary yet non-disruptive episodes of scientific progress. Revisiting Kuhn’s ideas on specialization will shed new light on some often overlooked features of scientific change. (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.

There is a growing concern for the proper role of science within democratic societies, which has led to the development of new science policies for the implementation of social responsibility in research. Although the very expression ‘social responsibility of science’ may be interpreted in different ways, many of these emerging policy frameworks define it, at least in part, as a form of anticipative reflection about the potential impacts of research in society. What remains a rather under-discussed issue is the definition (...) of the bearer of the social responsibility of science. In other words, it is not clear who is supposed to engage in such an anticipative reflection, whether individual researchers or research groups. In the past few years, philosophers of science have begun to use qualitative research methods to fill the gaps between normative models of the organisation of ideal scientific communities and the reality of actual scientific practices. In this article, I follow this approach to discuss the issue of the collective dimension of the social responsibility of science. I rely on a qualitative study conducted on an interdisciplinary research group and I describe how group dynamics position individuals and distribute duties and roles, including social responsibility. Qualitative descriptions of the distribution of duties within actual research groups should inform the formulation of general prescriptive theories on the collective responsibility of science. (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 of providing a satisfactory account of the phenomenon has proven challenging. Here, we elaborate the suggestion (first discussed by Sides et al., 2001) that in standard conjunction problems the fallacious probability judgments experimentally observed 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 conjuntion 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 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)

Both in the bibliography and in the citation in the text, Michelle Gibbons’ article below has been mistakenly attributed to “Gibson.” The proper reference to the article should be: Gibbons, M.. Reassessing discovery: Rosalind Franklin, scientific visualization, and the structure of DNA. _Philosophy of Science, 79_, 63–80.

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)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and I show (...) that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (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)

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)

Splicing is an efficient and precise mechanism that removes noncoding regions from a single primary RNA transcript. Cutting and rejoining of the segments occurs on nascent RNA. Trans-splicing between small specialized RNAs and a primary transcript has been known in some organisms but recent papers show that trans-splicing between two RNA molecules containing different coding regions is the normal mode in a Drosophila gene.1-3 The mod(mdg4) gene produces 26 different mRNAs encoding as many protein isoforms. The differences lie in alternative (...) 3′ exons encoded by different transcriptional units and spliced to the 5′ common region by a surprising trans-splicing mechanism. BioEssays 24:988–991, 2002. © 2002 Wiley-Periodicals, Inc. (shrink)