Francesco Orilia

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

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.

I shall explain the notions of propositions and states of affairs as they are understood in the current ontological debate and I shall briefly relate them to similar notions in Aristotle and some Medieval authors. In contrast with the point of view of some philosophers who identify propositions and states of affairs, I shall argue that they need to be sharply distinguished. I shall then move on to a problem for propositions and, above all, states of affairs, known as Bradley’s regress, and hint at discussions of this or analogous puzzles in the philosophical tradition before Bradley. Finally, I shall present my own approach to this issue, Fact Infinitism, focusing on why it would have been hardly acceptable before ontology came to have the Cantorian conception of the infinite at its disposal

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.

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.

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.

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.

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.

I assume that the task of natural language semantics is to provide an unambiguous logical language into which natural language can be translated in such a way that the translating expressions display a structure which is isomorphic to the meaning of the translated expressions. Since language is a means of thinking and communicating mental contents, the meanings of singular terms cannot be the individuals of the substratist tradition, because such individuals are not cognizable entities. Thus I propose that the logical language be based on Castaneda's guise theory, according to which singular terms always denote guises, i.e., roughly, bundles of properties. This, I argue, would result in a semantics which is in accordance with projects such as Lakoff's natural logic or Fodor's methodological solipsism. ;I first propose a formal system, GCC, which tries to be as faithful as possible to Castaneda's informal presentation of guise theory. It is therefore characterized by different forms of predication and a distinction between a level of property composition and a level of proposition composition. Such a distinction is dropped in a second system, GF, which presents a more traditional Fregean representation of predication. Yet, GF endorses essential assumptions of guise theory such as the existence of different sameness relations that can provide various interpretations for the English "is". I claim that GF provides more theoretical simplicity than GCC. ;Finally, I show the fruitfulness of the present approach by applying GF to a vast collection of linguistico-philosophical puzzles which includes but is not restricted to those that guise theory was originally designed to address: various versions of Frege's paradox, the paradox of analysis, Quine's puzzle on the number of planets, issues of reidentification and intentional identity, the anaphoric "it" of sentences such as "the lizard's tail fell off but then it grew back," problems connected with the use of "knowing-who ," proper names, indexicals and demonstratives

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.

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.