Luca Zanetti

The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic considerations are closely related in the selection of the appropriate estimate of seismic hazard by the experts. Finally, we argue that the division of scientifc responsibility among the experts can lead to responsibility gaps. This raises a problem for the ownership of the results (“no one’s model” problem) similar to the “problem of many hands” in the ethics of technology. We conclude with a plea for a close collaboration between philosophy and engineering.

Technological innovation is almost always investigated from an economic perspective; with few exceptions, the specific technological and social nature of innovation is often ignored. We argue that a novel way to characterise and make sense of different types of technological innovation is to start considering uncertainty. This seems plausible since technological development and innovation almost always occur under conditions of uncertainty. We rely on the distinction between, on the one hand, uncertainty that can be quantified (e.g. probabilistic risk) and, on the other, deep forms of uncertainty that may resist the possibility of being quantified (e.g. severe or fundamental uncertainties). On the basis of these different ingredients of uncertainty in technological innovation, we propose a new taxonomy that reveals the technological nature of innovation. Unlike previous taxonomies employed to handle different types of technological innovations, our taxonomy does not consider the economic value of innovation alone; it is much more oriented towards societal preferences and forms of technological uncertainty. Finally, we investigate the coherence of our proposal with the dual nature of technological artefacts, showing that innovation can be grounded on structural and functional factors and not just on economic ones.

Hume’s Principle states that the cardinal number of the concept F is identical with the cardinal number of G if and only if F and G can be put into one-to-one correspondence. The Schwartzkopff-Rosen Principle is a modification of HP in terms of metaphysical grounding: it states that if the number of F is identical with the number of G, then this identity is grounded by the fact that F and G can be paired one-to-one, 353–373, 2011, 362). HP is central to the neo-logicist program in the philosophy of mathematics ; in this paper we submit that, even if the neo-logicists wish to venture into the metaphysics of grounding, they can avoid the SR Principle. In Section 1 we introduce neo-logicism. In Sections 2 and 3 we examine the SR Principle. We then formulate an account of arithmetical facts which does not rest on the SR Principle; we finally argue that the neo-logicists should avoid the SR Principle in favour of this alternative proposal.

A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good Company Problem for neo-logicists recently raised by Paolo Mancosu (2016), concerning the existence of rival abstractive definitions of cardinal number which are nonetheless equally able to reconstruct Peano Arithmetic. We survey Mancosu’s envisaged possible replies to this predicament, and suggest as a further path the adoption of some form of mathematical pluralism concerning abstraction principles. We then explore three possible ways of substantiating such pluralism—Conceptual Pluralism,Domain Pluralism,Pluralism about Criteria—showing how each of them can be related to analogous proposals in the philosophy of logic. We conclude by considering advantages, concerns, and theoretical ramifications for these varieties of mathematical pluralism.

Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it is of the essence of cardinal numbers that the cardinal size of a collection does not depend upon how its members are ordered'. This paper's goal is to implement Hale's response to the Good Company problem by producing a Cantorian argument for HP. In Section 2, we present the Heck-Mancosu argument against neologicism. In Section 3, we discuss Hale's defence of Hume's Principle. In Section 4, we discuss Cantor's abstractionist definitions of number. In Section 5, we argue that good abstraction must comply with what we call ‘Gödel’s Minimal Account of Abstraction’ (GMAA). We finally show (Sections 5 and 6) that non-Cantorian theories of cardinality fail to satisfy GMAA.

Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for an application of the anti-exceptionalist methodology to abstraction principles. In Sect. 1 I outline my strategy. I show that anti-exceptionalism has a bearing on the so-called Bad Company problem (Sect. 2), and explore some versions of anti-exceptionalism about abstraction (Sect. 3). I then consider new criteria for choosing between rival abstraction principles, and, in particular, between consistent revisions of Frege’s Basic Law V (Sect. 4). I finally consider how the abstractionist can compare between competing criteria (Sect. 5), and argue that anti-exceptionalists should be pluralists about abstraction (Sect. 6).

Abstraction principles and grounding can be combined in a natural way Modality: metaphysics, logic, and epistemology, Oxford University Press, Oxford, pp 109–136, 2010; Schwartzkopff in Grazer philosophische studien 82:353–373, 2011). However, some ground-theoretic abstraction principles entail that there are circles of partial ground :775–801, 2017). I call this problem auto-abstraction. In this paper I sketch a solution. Sections 1 and 2 are introductory. In Sect. 3 I start comparing different solutions to the problem. In Sect. 4 I contend that the thesis that the right-hand side of an abstraction principle is prior to its left-hand side motivates an independence constraint, and that this constraint leads to predicative restrictions on the acceptable instances of ground-theoretic abstraction principles. In Sect. 5 I argue that auto-abstraction is acceptable unless the left-hand side is essentially grounded by the right-hand side. In Sect. 6 I highlight several parallelisms between auto-abstraction and the puzzles of ground. I finally compare my solution with the strategies listed in Sect. 3.

Minimalism and Trivialism are two recent forms of lightweight Platonism in the philosophy of mathematics: Minimalism is the view that mathematical objects arethinin the sense that “very little is required for their existence”, whereas Trivialism is the view that mathematical statements have trivial truth‐conditions, that is, that “nothing is required of the world in order for those conditions to be satisfied”. In order to clarify the relation between the mathematical and the non‐mathematical domain that these views envisage, it has recently been proposed that both Linnebo's notion of sufficiency and Rayo's “just is”‐operator can, or even should, be interpreted in terms of metaphysicalgrounding. This interpretation makes Minimalism and Trivialism akin to Aristotelianism in the philosophy of mathematics, according to which mathematical entities depend for their existence and their properties on non‐mathematical ones. In this paper we raise a general objection to this interpretation. We highlight a tension – a “Big Picture” Problem – between the metaphysical picture underlying both Minimalism and Trivialism, on the one side, and the metaphysics of Platonism and Aristotelianism on the other. We then consider various ways in which Linnebo and Rayo could respond. We finally argue that Minimalism and Trivialism are closer to Aristotelianism than to Platonism; however, even though these positions are not forms of traditional Platonism, they are not standard forms of Aristotelianism either.

In Die Grundgesetze der Arithmetik (I, §48), Frege introduces his rule of the fusion of horizontals, according to which if an occurrence of the horizontal stroke is followed by another occurrence of the same stroke, either in isolation or “contained” in a propositional connective, the two occurrences can be fused with each other. However, the role of this rule, and of the horizontal sign more generally, is controversial; Michael Dummett notoriously claimed, for instance, that the horizontal is “wholly superfluous” in Frege's logical system. In this paper, we challenge Dummett's view by providing a comprehensive analysis of the significance of the horizontal stroke. After some preliminary remarks, we argue that even if Frege's connectives in some sense “contain” the horizontal, yet they are total functions. Then, we take up the question of the sense expressed by the horizontal, and we claim that, unlike other sentential operators, the horizontal is not sense‐compositional. Finally, we consider the semantic and pragmatic aspects of Frege's horizontal in connection to his judgment stroke and the double judgment stroke. Contra Dummett, we argue that the horizontal is a special and indispensable element of Frege's logic.

In Thin objects: an abstractionist account (Oxford University Press, 2018), Øystein Linnebo claims that ‘mathematical objects are thin in the sense that very little is required for their existence’. Linnebo articulates his view in an abstractionist manner: according to Linnebo, the truth of the right‐hand side of a Fregean abstraction principle, which states that two items stand in a given equivalence relation, is sufficient for the truth of its left‐hand side, which states that the same abstract object is associated to both items. This special issue contains nine articles discussing different aspects of Linnebo's book. In this introduction, we provide an opinionated introduction to the Special Issue and an overview of the contributions.

The importance of epistemic values in science is universally recognized, whereas the role of non-epistemic values is sometimes considered disputable. It has often been argued that non-epistemic values are more relevant in applied sciences, where the goals are often practical and not merely scientific. In this paper, we present a case study concerning earthquake engineering. So far, the philosophical literature has considered various branches of engineering, but very rarely earthquake engineering. We claim that the assessment of seismic hazard models is sensitive to both epistemic and non-epistemic values. In particular, we argue that the selection and evaluation of these models are justified by epistemic values, even if they may be contingently influenced by non-epistemic values. By contrast, the aggregation of different models into an ensemble is justified by non-epistemic values, even if epistemic values may play an instrumental role in the attainment of these non-epistemic values. A careful consideration of the different epistemic and non-epistemic values at play in the choice of seismic hazard models is thus practically important when alternative models are available and there is uncertainty in the scientific community about which model should be used.

Epistemic uncertainties are included in probabilistic risk assessment (PRA) as second-order probabilities that represent the degrees of belief of the scientists that a model is correct. In this article, I propose an alternative approach that incorporates the scientist’s confidence in a probability set for a given quantity. First, I give some arguments against the use of precise probabilities to estimate scientific uncertainty in risk analysis. I then extend the “confidence approach” developed by Brian Hill and Richard Bradley to PRA. Finally, I claim that this approach represents model uncertainty better than the standard (Bayesian) model does.