In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

A familiar means of enhancing the descriptive power of attitudinal reports is the distinction between de re and de dicto readings of ascriptions or, alternatively, between internal and external occurrences of terms and phrases used in ascribing attitudes.i While there is little agreement about the philosophical significance or viability of these contrasts, supporters of cognitive theories of content -- those which take the that-clause of an ascription to express something to which the subject bears a psychological relation, viz., what he (...) or she believes, doubts, wishes for, etc. -- invoke the de re mode whenever the ascriber does not claim to represent the subject's exact content, though, for descriptive or explanatory purposes, finds a partial specification appropriate.ii The strategy is particularly useful for understanding ascriptions containing indexicals. For example, if I overhear Andrea praising my insights, strategies, and calculations, I might report her thoughts as follows: (1) Andrea thinks that I am clever. This ascription is misleading if taken to convey Andrea's exact content; the occurrence of 'I' expresses my thought of myself, not hers. Since she does not think of me in a first-person way, (1) cannot be understood as reporting her disposition to assent to the sentence 'I am clever,' nor to affirm the proposition that I am clever, regardless if the I in question is herself or myself. On certain views of indexical content, I might be unable to specify exactly the proposition she does accept, but I can at least allude to what she has in mind by exporting the pronoun as in, (2) I am someone whom Andrea believes to be clever. or, to retain an overt that-clause, (3) There is someone x who is identical to me and Andrea believes.. (shrink)

This paper examines the logic of fictions within fictions. I argue that consistently nested consistent fictions must have certain formal characteristics. The most important is that they form a tree structure. Depending on one’s theory of fictional objects, additional constraints may apply regarding the appearance of a fictional object in two or more fictional universes. The background motivation for the paper is to use iterated fiction operators as a tool for making sense of iterated modal operators; I conclude by noting (...) briefly where the results about nested fictions can, and where they cannot, be extended to nested possible worlds. (shrink)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

The present paper addresses the formal perspective of information with the focus on ‘untrue’ information presented as dangerous. Grounded in perspectivism, the epistemic subject is understood as decisive in informational transfer. In this context, ethics should focus on how the epistemic subject receives information. Regarding wide-spread information, the notions of danger and safety, the latter being a reaction to the former, essentially result from the fear mechanism of affective neural systems in higher mammals. The practice of attaining safety by eliminating (...) danger is analyzed through the Nietzschean metaphor of the Apollonian and the Dionysian and the concept of ressentiment. Focusing on the individual, the paper presents a critique of systemized authoritative management of speech content, intensified by the emergence of social media. It is asserted that, by reacting to danger through the systematization of prevention and regulation of speech, it not only affirms fear but also decreases the faculties of an individual to deal with danger and fear itself. The paper argues that the only way to overcome danger and fear is through the individual’s exposure to it, which allows for the strengthening of one’s faculties, thus fulfilling one’s potential in freedom. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

I present Searle’s theory of intentionality and defend it against some objections. I then significantly extend his theory by exposing and incorporating an ambiguity in the question as to what an intentional state is about as between a subjective and an objective reading of the question. Searle implicitly relies on this ambiguity while applying his theory to a solution to the problem of substitution in propositional attitudes, but his failure to explicitly accommodate the ambiguity undermines his solution. My extension of (...) his theory succeeds. I also indicate how the new theory can be deployed to resolve other outstanding problems. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the proposals (...) formulated by Roman Frigg and Adam Toon by using some modal logic concepts, notably by defining the identities of properties in modal contexts in terms of world-lines. Applying a model to a target-system consists in transposing fictional truths into actual situations, through an extrapolation that goes beyond the games of make-believe. (shrink)

In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...) requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual. (shrink)

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

If there are no fictional characters, how do we explain thought and discourse apparently about them? If there are, what are they like? A growing number of philosophers claim that fictional characters are abstract objects akin to novels or plots. They argue that postulating characters provides the most straightforward explanation of our literary practices as well as a uniform account of discourse and thought about fiction. Anti-realists counter that postulation is neither necessary nor straightforward, and that the invocation of pretense (...) provides a better account of the same phenomena. I outline and assess these competing theories. (shrink)

We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like “most.” We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of (...) this phenomenon. (shrink)

In her book Fiction and Metaphysics (1999) Amie Thomasson, influenced by the work of Roman Ingarden, develops a phenomenological approach to fictional entities in order to explain how non-fictional entities can be referred to intrafictionally and transfictionally, for example in the context of literary interpretation. As our starting point we take Thomasson’s realist theory of literary fictional objects, according to which such objects actually exist, albeit as abstract and artifactual entities. Thomasson’s approach relies heavily on the notion of ontological dependence, (...) but its precise semantics has not yet been developed. Moreover, the modal approach to the notion of ontological dependence underlying the Artifactual Theory has recently been contested by several scholars. The main aims of this paper are (i) to develop a semantic approach to the notion of ontological dependence in the context of the Artifactual Theory of fiction, and in so doing bridge a number of philosophical and logical gaps; (ii) to generalize Thomasson’s categorial theory of ontological dependence by reconstructing ontological categories of entities purely in terms of different structures of ontological dependence, rather than in terms of the basic kinds of entities the categorical entities depend on. (shrink)

There has recently been considerable interest in accounts of fiction which treat fictional characters as abstract objects. In this paper I argue against this view. More precisely I argue that such accounts are unable to accommodate our intuitions that fictional negative existentials such as “Raskolnikov doesn’t exist” are true. I offer a general argument to this effect and then consider, but reject, some of the accounts of fictional negative existentials offered by abstract object theorists. I then note that some of (...) the sort of data invoked by the abstract object theorist in fact cuts against her position. I concludle that we should not regard fictional characters as abstract objects but rather should adopt a make-believe theoretic account of fictional characters along the lines of those developed by Ken Walton and others. (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

2020 update of the entry "Properties".

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

One of the issues of Philosophy of Mind is the intentionality of the mind. The topic of this article is the study of the two related aspects of this issue, i.e. the possibility of intentionality and how mind content is determined in the Teleological Theory of Mental Content. According to this theory, the natural evolution of a living organism and the teleological functions based on this determines mental content and one can present a natural and physical explanation of intentionality and (...) mental content with help from that. In this article, after explaining the foundations of this theory, i.e. realism in regards to intentionality, naturalism and the principle of natural evolution of species, we will first address two main versions of this theory, i.e. Dretske’s Indicator Semantics and Millikan Consumer Semantics and then evaluate them. The most important problem of this theory is that it cannot explain the content and meaning of philosophical and logical concepts nor non-existence concepts and therefore, it faces issues concerning the above concepts. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

Intentionality is the power of minds to be about, to represent, or to stand for, things, properties and states of affairs. The puzzles of intentionality lie at the interface between the philosophy of mind and the philosophy of language. The word itself, which is of medieval Scholastic origin, was rehabilitated by the philosopher Franz Brentano towards the end of the nineteenth century. ‘Intentionality’ is a philosopher's word. It derives from the Latin word intentio, which in turn derives from the verb (...) intendere, which means being directed towards some goal or thing. The entry falls into eleven sections. (shrink)

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

In this paper, I will claim that fictional works apparently about utterly immigrant objects, i.e., real individuals imported in fiction from reality, are instead about fictional individuals that intentionally resemble those real individuals in a significant manner: fictional surrogates of such individuals. Since I also share the realists’ conviction that the remaining fictional works concern native characters, i.e., full-fledged fictional individuals that originate in fiction itself, I will here defend a hyperrealist position according to which fictional works only concern fictional (...) individuals. (shrink)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

I develop ontological pluralism about non-being, the view that there are multiple ways, kinds, or modes of non-being. I suggest that the view is both more plausible and defensible than it first seems, and that it has many useful applications across a wide variety of metaphysical and explanatory problems. After drawing out the relationship between pluralism about being and pluralism about non-being, I discuss quantificational strategies for the pluralist about non-being. I examine historical precedent for the view. Finally, I suggest (...) that pluralism about non-being has explanatory power across a variety of domains, and that the view can account for differences between nonexistent past and future times, between omissions and absences, and between different kinds of fictional objects. (shrink)