Ciro De Florio

In this article, we take into consideration two semantics of the future tense: linearism, according to which future-tense sentences are interpreted on a single history, and universalism, according to which they are evaluated by universally quantifying on the plurality of future histories that radiate from the present instant. Specifically, we focus on a objection advanced against universalism: if universalism were correct semantics of _will_, negated future-tense sentences of natural language should have two readings, depending on the scope of negation with respect to the universal quantifier on histories. However, since natural language does not show this difference, one may conclude that there is no universal quantifier in the interpretation of these sentences. We show that this conclusion is premature. First, _will_ has clear scope interactions with indefinite nouns phrases, contrary to what linearism predicts. Second, it is possible to extend the treatment of vague predicates as partial predicates to _will_: Since partial predicates have no scope interactions with negation, this can account for the scopelessness of _will_. The partiality of truth conditions is not restricted to _will_ but also pertains to counterfactuals and generics and probably is part of a general tendency to maximize contraries.

Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism :264–281, 1970; Thomason, in: Gabbay, Guenthner Handbook of philosophical logic, Springer, Berlin, 1984), which preserves important logical principles. Recently, non-bivalent semantics are under attack from some pragmatics arguments: these semantics would be incompatible with our practices of asserting future contingents and with the probability we ascribe to such assertions :251–271, 2014; Cariani and Santorio in Mind 127:129–165, 2018). The aim of this paper is to defend supervaluationism against this kind of criticism. We argue that, if probability is interpreted as the subjective belief in a proposition and if a semantic contextualism is adopted, supervaluationism makes correct predictions concerning the norms that govern our practices of asserting future contingents. Obviously, other arguments can be proposed against supervaluationism, but they must be of a different kind, such as metaphysical arguments.

In this paper, we aim to examine the relationships between four solutions to the dilemma of divine foreknowledge and human freedom—theological determinism, Molinism, simple foreknowledge and open theism—and divine providence and theodicy. Some of these solutions—theological determinism and Molinism, in particular—highlight God’s government of the world. Some others—simple foreknowledge and open theism—highlight human autonomy and freedom. In general, the more libertarian human freedom is highlighted, the less God’s government of the history of the world seems possible. However, the task of theodicy becomes easier because humans are fully responsible for the evil they do. Conversely, the more God’s government is highlighted, the more human freedom seems to be restricted. Moreover, God seems to be directly or indirectly responsible for evil in the world. Because of the trade–off between control and freedom, each solution finds itself at ease with some problems, while on other fronts, it must adopt a defensive position. As we will see, no solution can solve all problems; thus, the pros and cons of each solution should be weighed carefully.

In this paper, we argue that Williamson’s arguments against luminosity and the KK principle do not work, at least in a scientific context. Both of these arguments are based on the presence of a so-called “buffer zone” between situations in which one is in a position to know p and situations in which one is in a position to know ¬p. In those positions belonging to the buffer zone ¬p holds, but one is not in a position to know ¬p. The presence of this buffer zone triggers two types of sorites arguments. We show that this kind of argument does not hold in a scientific context, where the buffer zone is controlled by a quantitative measurement of the experimental error.

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of dependence of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option.

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise? If all our choices are already written, is our freedom simply an illusion? This book provides a precise analysis of this dilemma using the tools of modern ontology and the logic of time. With a focus on three intertwined concepts - God's nature, the formal structure of time, and the metaphysics of time, including the relationship between temporal entities and a timeless God - the chapters analyse various solutions to the problem of foreknowledge and freedom, revealing the advantages and drawbacks of each. Building on this analysis, the authors advance constructive solutions, showing under what conditions an entity can be omniscient in the presence of free agents, and whether an eternal entity can know the tensed futures of the world. The metaphysics of time, its topology and the semantics of future tensed sentences are shown to be invaluable topics in dealing with this issue. Combining investigations into the metaphysics of time with the discipline of temporal Logic this monograph brings about important advancements in the philosophical understanding of an ancient and fascinating problem. The answer, if any, is hidden in the folds of time, in the elusive nature of this feature of reality and in the infinite branching of our lives.

The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of (scientific) hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in dealing with hypothetical judgements, especially when based on different, sometimes conflicting, evidence.

In addressing the problem of the (in)compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ( $$\mathsf {TRL}$$ ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and $$\mathsf {TRL}$$ models, Restall (Molinism and the thin red line. In: Perszyk K (ed) Molinism: the contemporary debate, pp 227–239, 2011) has advanced some criticisms of Molinism that have also been leveled against $$\mathsf {TRL}$$ models. In particular, Restall believes that the implication $$p \rightarrow \mathbf {HF}p$$ is not true in $$\mathsf {TRL}$$ models. Because Molinists must also accept that this implication is not true, this is a problem for them. We will show that Restall’s criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models (not just $$\mathsf {TRL}$$ ) the implication $$p \rightarrow \mathbf {HF}p$$ is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time semantics. In proposing one such modification, we show that this new semantics can be adopted by advocates of the $$\mathsf {TRL}$$ and, as a consequence, by Molinists as well. We conclude that the principle stated by Restall is either a problem for many open future models (not just for Molinists) or can be accounted for by these models and so is not a problem for Molinists either.

The species concept is one of the central concepts in biological science. Although modern systematics speculates about the existence of a complex hierarchy of nested taxa, biological species are considered particularly important for the active role they play in evolution. However, neither theoretical biologists nor philosophers of biology have come to an agreement about what a species is. In this chapter, we address two questions pertaining to biological species: (1) are they individuals or universals? and (2) are they bona fide or fiat entities? In section The Species-as-Individuals View, we illustrate the reasons that have led many scholars to support the view that species are individuals. In the next two sections, we show that the relational concepts of species – on which the species-as-individuals view is based – provide neither necessary nor sufficient conditions for species membership. This seriously undermines the species-as-individuals view. In the section A Conceptualist Model for the Metaphysics of Species, we advance the proposal that species are fiat concepts (and thus, universal entities partially dependent on the human mind) carved in a multi-dimensional space representing the properties that the biological organisms possess. The final section concludes.

The pragmatic logic of assertions shows a connection between ignorance and decidability. In it, we can express pragmatic factual ignorance and first-order ignorance as well as some of their variants. We also show how some pragmatic versions of second-order ignorance and of Rumsfeld-ignorance may be formulated. A specific variant of second-order ignorance is particularly relevant. This indicates a strong pragmatic version of ignorance of ignorance, irreducible to any previous form of ignorance, which defines limits to what can justifiably be asserted about higher-order ignorance. Finally, we relate the justified assertion of second-order ignorance with scientific assertions.

In this paper, we have analyzed a number of solutions to the antinomy between divine foreknowledge and human freedom. If we assume that God is temporal, then a sort of backwards causation of past divine beliefs by future human acts must be acknowledged. Since this solution runs into difficulties, we consider the prospects of the view according to which God is outside time. A timeless and omniscient God seems to imply a B-theory of time and, at least at first glance, seems to jeopardize human freedom. Therefore, we have examined what happens when a non-standard A-theory of time like Fragmentalism is assumed. We demonstrate that in this case the prospects of a timeless view of God are much better: both human freedom and divine knowledge of the results of human choices are preserved if this metaphysics of time is adopted. The costs of this solution are, however, very high. From the logical point of view, it rejects bivalence; from the metaphysical point of view, the world is regarded as fragmentary and incoherent. However, if one is ready to accept these costs, this solution is one of the most successful in the search for a solution to the centuries-old problem of the conciliation between divine foreknowledge and human freedom.

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.

This paper has a twofold aim. The first is to offer a precise definition of soft fact. Without such definition it is impossible to assess the Ockhamist solution to the problem of divine foreknowledge and human freedom in an accurate way. The second purpose is to identify the costs of such a solution, distinguishing them from some of the other costs usually ascribed to Ockhamism, which Ockhamism does not actually need to pay. In particular, it is argued that Ockhamism is committed to the view that a true future exists and to a form of backward causation.

The concept of soft facts is crucial for the Ockhamistic analysis of the divine knowledge of future contingents; moreover, this notion is important in itself because it concerns the structure of the facts that depend—in some sense—on other future facts. However, the debate on soft facts is often flawed by the unaware use of two different notions of soft facts. The facts of the first kind are supervenient on temporal facts: By bringing about a temporal fact, the agent can bring about these facts. However, on the one hand, the determination of the existence of these facts does not affect the past; on the other hand, assimilating divine knowledge into this kind of facts does not help the Ockhamist. The authors will argue that, to vindicate Ockhamism, another definition of “soft fact” is necessary, which turns out to be much more demanding from a metaphysical point of view.

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria.

Philosophy of mathematics of last fifty years has been dominated by the metaontological stance according to which one fundamental problem of the ontology of mathematical theories is the existence of mathematical objects and the related epistemic access to them. But during the last ten years another fecund and promising metaphysical framework has been developed: the key idea (which goes back to Aristotle) is that the main problem of metaphysics is about the relation of grounding among various levels of reality. Although this approach should be relevant for almost all the metaphysical questions, however, there are few attempts to extend these intuitions to the debate in philosophy of mathematics. The aim of this, preliminary, work is analysing some possible outcomes of the grounding approach in metaphysics of mathematics.

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience.