Francesco Orilia

This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revision theory of definitions, which allows definitions to be circular without this giving rise to contradiction (but, at worst, to “vacuous” uses of definienda). The theory is applied with varying levels of detail to a circular analysis of concepts as diverse as truth, predication, necessity, physical object, etc. The focus is on truth, and hope is expressed that a deeper understanding of the Liar and related paradoxes has been provided: “We have tried to show that once the circularity of truth is recognized, a great deal of its behavior begins to make sense. In particular, from this viewpoint, the existence of the paradoxes seems as natural as the existence of the eclipses” (p. 142). We think that this hope is fully justified, although some problems remain that future research in this field should take into account.

This paper examines the challenge that the argument known as "Bradley's regress" poses to the friends of states of affairs (facts), in its requesting an explanation of the existence of a fact as a unitary whole in addition to its constituents. All the main theoretical options, short of denying that there are facts, are considered. It is argued that only two of them are viable, namely a "Brute fact approach", according to which the existence of a fact cannot be explained with the typical tools of ontologists, and "Fact infinitism", according to which, for any given fact, one should posit for explanatory purposes an infinite number of distinct states of affairs involving exemplification relations of higher and higher levels. Fact infinitism is defended against various objections and it is suggested that it should be preferred to the brute fact approach by those who are not too shy in vindicating for ontology a role, alongside with the empirical sciences, in the task of postulating entities in order to achieve explanations.

It is customary in current philosophy of time to distinguish between an A- (or tensed) and a B- (or tenseless) theory of time. It is also customary to distinguish between an old B-theory of time, and a new B-theory of time. We may say that the former holds both semantic atensionalism and ontological atensionalism, whereas the latter gives up semantic atensionalism and retains ontological atensionalism. It is typically assumed that the B-theorists have been induced by advances in the philosophy of language and related A-theorists’ criticisms to acknowledge that semantic atensionalism can hardly stand, but have also maintained that what is essential for the B-theory is ontological atensionalism, which can be independently defended. Here it is argued that the B-theorists have been too quick in abandoning semantic atensionalism: they can still cling to it

A version of Bradley's regress can be endorsed in an effort to address the problem of the unity of states of affairs or facts, thereby arriving at a doctrine that I have called fact infinitism . A consequence of it is the denial of the thesis, WF, that all chains of ontological dependence are well-founded or grounded. Cameron has recently rejected fact infinitism by arguing that WF, albeit not necessarily true, is however contingently true. Here fact infinitism is supported by showing that Cameron's argument for the contingent truth of WF is unsuccessful.

Temporal ontology is the philosophical debate on the existence of the past and the future. It features a three-way confrontation between supporters of presentism (the present exists, the past and the future do not), pastism (the past and the present exist, the future does not), and eternalism (the past, the present, and the future all exist). Most philosophers engaged in this debate believe that presentism is much more in agreement with common sense than the rival views; moreover, most of them believe that being in agreement with common sense is epistemically valuable for a philosophical view. We studied experimentally non-experts’ ideas pertaining to the domain of temporal ontology, i.e., as we called it, common-sense temporal ontology, focusing on the Italian population. We found that a non-overwhelming majority of participants (~64%) favoured presentism, while two significant minorities favoured pastism (~19%) and eternalism (~17%). We think that our findings provide some support, albeit weaker than expected, for the view that presentism is more in agreement with common sense than the rival positions.

Analyses, in the simplest form assertions that aim to capture an intimate link between two concepts, are viewed since Russell's theory of definite descriptions as analyzing descriptions. Analysis therefore has to obey the laws governing definitions including some form of a Substitutivity Principle (SP). Once (SP) is accepted the road to the paradox of analysis is open. Popular reactions to the paradox involve the fundamental assumption (SV) that sentences differing only in containing an analysandum resp. an analysans express the same proposition, because analysandum and analysans are the same entity. Following suggestions of Gupta and Belnap it is argued that (SV) should be rejected.

Dynamic events such as a rolling ball moving from one place to another involve change and time intervals and thus presumably successions of static events occurring one after the other, e.g., the ball’s being at a certain place and then at another place during the interval in question. When dynamic events are experienced they should count as present and thus as existent from a presentist point of view. But this seems to imply the existence of the static events involved in them. This in turn seems to imply that there exist past and perhaps even future static events. Therefore, there is a problem for presentism. A possible way out for the presentist is proposed, based on allowing for time-indexed past-oriented and future-oriented properties. One may raise objections regarding the ontological status of these properties and the commitment to past and future objects and times that they seem to bring with them, but these objections can be put to rest.

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks

There have been attempts to derive anti-haeccetistic conclusions from the fact that quantum mechanics (QM) appeals to non-standard statistics. Since in fact QM acknowledges two kinds of such statistics, Bose-Einstein and Fermi-Dirac, I argue that we could in the same vein derive the sharper anti-haeccetistic conclusion that bosons are bundles of tropes and fermions are bundles of universals. Moreover, since standard statistics is still appropriate at the macrolevel, we could also venture to say that no anti-haecceitistic conclusion is warranted for ordinary objects, which could then tentatively be identified with substrates. In contrast to this, however, there has been so far no acknowledgement of the possibility of inclusivism, according to which ontological accounts of particulars as widely different as those can possibly coexist in one world picture. The success of the different statistics in physics at least calls for a revision in this respect.

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments.

This paper first discusses how Russell and Hochberg have addressed some phenomena of relatedness, notably relational order, in a similarly ‘positionalist’ way, yet by appealing to different sorts of formal relations: “positions” in Russell's case and “ordering relations” in Hochberg's. After pointing out some shortcomings of both approaches, the paper then proposes an alternative view based on ‘o-roles’, which are, roughly speaking, ontological counterparts of the thematic roles postulated in linguistics. It is argued that o-roles are sort of middle-of-the-road entities in the sense that they have the virtues of positions and those of ordering relations, without having their respective vices. Some tentative ideas on which o-roles should be acknowledged are also put forward

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory.

Downward causation plays a fundamental role in many theories of metaphysics and philosophy of mind. It is strictly connected with many topics in philosophy, including but not limited to: emergence, mental causation, the nature of causation, the nature of causal powers and dispositions, laws of nature, and the possibility of ontological and epistemic reductions. _Philosophical and Scientific Perspectives on Downward Causation_ brings together experts from different fields—including William Bechtel, Stewart Clark and Tom Lancaster, Carl Gillett, John Heil, Robin F. Hendry, Max Kistler, Stephen Mumford and Rani Lill Anjum—who delve into classic and unexplored lines of philosophical inquiry related to downward causation. It critically assesses the possibility of downward causation given different ontological assumptions and explores the connection between downward causation and the metaphysics of causation and dispositions. Finally, it presents different cases of downward causation in empirical fields such as physics, chemistry, biology and the neurosciences. This volume is both a useful introduction and a collection of original contributions on this fascinating and hotly debated philosophical topic.

According to the received view, descriptivism is a dead end in an attempt to account for singular reference by proper names, indexicals and possibly even incomplete descriptions, for they require referentialism. In contrast to this, I argue for an application of the former to all kinds of singular terms, indexicals in particular, by relying on a view of incomplete descriptions as elliptical in a pragmatic sense. I thus provide a general analysis of singular reference. The proposed approach is in line with the classical theory of propositions, except for admitting “private” ones with subjective mental entities as constituents. On the other hand, there is no commitment to singular Russellian propositions with ordinary objects as constituents and in general to meanings that cannot be “in the mind”

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted.

Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled.

This paper presents a type-free property-theoretic system in the spirit of a framework proposed by Menzel and then supplements it with a theory of truth and exemplification. The notions of a truth-relevantly complex (simple) sentence and of a truth-relevant subsentence are introduced and then used in order to motivate the proposed theory. Finally, it is shown how the theory avoids Russell's paradox and similar problems. Some potential applications to the foundations of mathematics and to natural language semantics are sketched in the introduction.

There are many data suggesting that we should acknowledge fictional entities in our ontological inventory, in spite of the paraphrasing strategies that Russell’s theory of descriptions can offer. Thus the realist attitude toward fictional entities of Meinongian and artifactualist accounts may seem well-motivated. Yet, these approaches infringe the Russellian “robust sense of reality.” A different realist account is proposed here, one that is compatible with the Russellian “robust sense of reality” in that it identifies fictional entities with denoting concepts, understood as properties of properties.

This collection focuses on the ontology of space and time. It is centred on the idea that the issues typically encountered in this area must be tackled from a multifarious perspective, paying attention to both a priori and a posteriori considerations. Several experts in this area contribute to this volume: G. Landini discusses how Russell’s conception of time features in his general philosophical perspective;D. Dieks proposes a middle course between substantivalist and relationist accounts of space-time;P. Graziani argues that it is necessary to provide an account of the “synthetic procedures” implicit in the recourse to diagrams in Euclid’s Elements, while E. Mares comes to the conclusion that in Euclid’s Elements we should treat the parallel postulate as empirical and the postulate that space is continuous as a priori. M. Arsenijevi?/M. Adži? present an important formal result concerning two theories of the infinite two-dimensional continua, which sheds new light on the current dispute between gunkologists and pointilists; F. Orilia discusses two problems for presentism, one regarding the duration of the present and the other related to Zeno’s paradoxes. A. Iacona delves deep into logical matters by focusing on the so-called T×W modal frames in order to deal with the deteterminism-indeterminism controversy. D. Mancuso outlines a non-standard temporal model compatible with time travel, andV. Fano/G. Macchia discuss time travels in the light of an important foundational principle of modern cosmology, Weyl’s Principle.

This paper builds on Lakoff’s and Johnson’s theory of metaphorical concepts to propose that our conception of truth as correspondence with reality is metaphorically based on our conception of perceptual fields. In particular, it is argued that parts of reality, as metaphorically understood in terms of parts of perceptual fields, can play the role of objective truth-makers for sentences with empirical content; for instance, they meet the constraints on correspondence put forward by Barry Smith. Finally, Richard Boyd’s account of the function of metaphor in science is utilized to ground the nonfictional and referential status of truth-maker and related notions.

In line with much current literature, Bradley’s regress is here discussed as an argument that casts doubt on the existence of states of affairs or facts, understood as complex entities working as truthmakers for true sentences or propositions. One should distinguish two versions of Bradley’s regress, which stem from two different tentative explanations of the unity of states of affairs. The first version actually shows that the corresponding explanation is incoherent; the second one merely points to some prima facie implausible consequences of the explanation it stems from, e.g., that there are infinite explanatory chains and that, for any given fact, there are infinitely many facts involving exemplification relations of increasing levels. But these consequences can be swal- lowed after all, thereby leading to the acceptance of a doctrine which may be called fact infinitism, a doctrine adumbrated in a well-known discussion of relations by Meinong.

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed theory fulfils the major desiderata stemming from Kripke's works on proper names.