In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

Se leggiamo tra le righe del suo lavoro, possiamo scoprire che Varzi prende i mostri molto sul serio. Troviamo, per esempio, mostri mereologici frutto della composizione non ristretta, come l’entità costituita dalla metà sinistra di questa mela e dal bracciolo di quella poltrona.10 Oppure mostri topologici dai quali una teoria mereotopologica delle nicche deve rifuggire, come le curve riempispazio di Peano e Hilbert.11 O, ancora, mostri ontologici come l’antimateria;12 le entità “inesistenti” che, come si sa, non possono esistere, dato che (...) non ci sono cose che non esistono; e le entità “negative”: buchi, mancanze e omissioni, conferenze non date.13 In questo contributo, seguendo il suggerimento di Varzi, parlerò, appunto, di mostri, prendendo l’avvio da alcune creature che popolano il regno della finzione, per poi passare a trattare dei mostri che popolano il nostro mondo. Essendo poco lo spazio e molti i mostri, procederò dapprima proponendone una tassonomia – punto di partenza per ogni generalizzazione che si rispetti – e in seguito cercando di illustrare perché i mostri vadano presi sul serio in metafisica. È d’obbligo precisare che si tratterà di una tassonomia parziale e provvisoria, ma lo è altrettanto ricordare che le tassonomie, quelle biologiche in particolare, lo sono sempre, per due ragioni. In parte, perché la vita è in costante evoluzione, in parte perché le nostre conoscenze e decisioni condizionano la struttura e i contenuti dei nostri sistemi di categorie: basti pensare che la prima edizione del Systema naturae di Linneo contava undici pagine, mentre la tredicesima ben tremila, ripartite in sei volumi. Quando un tassonomo scopre un organismo che ritiene – dopo accurati esami comparativi – essere appartenente a una specie fino ad allora sconosciuta, ne deposita nella letteratura scientifica, insieme al nome binomiale (cioè il nome specifico, composto dall’indicazione del genere e della specie, come Homo sapiens), una descrizione in termini di caratteri fenetici. Quel token è chiamato tipo nomenclaturale, o esemplare-tipo, ed è il portatore del nome della specie di cui viene considerato tipo. Sulla falsariga della procedura appena descritta, riporterò la descrizione di alcuni tipi nomenclaturali per una tassonomia mostruosa che si baserà su tre criteri principali: (1) l’origine, (2) la costituzione genetica, (3) l’aspetto fenotipico. Prima di procedere, vorrei però sottolineare tre rispetti sotto i quali classificare mostri mitologici differisce dal classificare individui “ordinari”. Innanzitutto, nel caso dei mostri mitologici non è possibile, a causa del frequente intervento divino, ricorrere al criterio dell’interfecondità per stabilire se due mostri appartengono alla medesima specie. Ma d’altro canto, tale criterio, benché sia abbastanza affidabile per gli animali, non lo è affatto, per ragioni diverse dai mostri, per molte piante, alghe e funghi. Un’altra peculiarità da segnalare – di cui però non avremo modo di occuparci oltre – è che le entità mitologiche sono frequentemente soggette a trasformazioni sostanziali, mentre la nostra biologia sembra, aristotelicamente, escluderne la possibilità: una tigre non può trasformarsi in un canguro, pena la sua uscita dall’esistenza. Meno paradossalmente, una larva di mosca e la mosca adulta saranno considerate appartenenti alla medesima sorta – la mosca, appunto – benché dall’una all’altra non vi sia praticamente alcuna continuità materiale (nella metamorfosi la larva viene distrutta quasi completamente e l’adulto si genera a partire da pochi aggregati cellulari indifferenziati). Infine, nel caso dei mostri mitologici, parlerò più genericamente di “gruppo tassonomico” anziché di “specie” (e dunque il nome dei tipi nomenclaturali non sarà un nome binomiale) dal momento che, come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come articolazione naturale non oltrepassabile che i mostri che andiamo a classificare ci chiedono di mettere in discussione. (shrink)

Poiché i miei interessi di ricerca si concentrano sul rapporto tra spazio e rappresentazione, nel presente articolo commenterò un lavoro di Achille C. Varzi pubblicato nel 2008 e intitolato, nella sua versione italiana, «Configurazioni, regole e inferenze». Accennerò anche a un secondo articolo scritto da Varzi e Massimo Warglien e pubblicato nel 2003, intitolato «The Geometry of Negation». Mi rivolgerò poi alla psicologia sperimentale, collegando alcuni aspetti delle osservazioni di Varzi a un articolo di Johnson- Laird del 2005 intitolato «The (...) Shape of Problems». Nelle conclusioni, farò un ultimo riferimento a un articolo di Varzi pubblicato nel 2000, scritto con Philip Kitcher e intitolato «Some Pictures Are Worth 2 אo Sentences». Le parole configurazioni, geometry, shape e picture nei titoli degli articoli di cui mi occuperò sono dei buoni indizi per capire quale sia il filo rosso che lega a mio avviso tutti questi lavori. (shrink)

The aim of this paper is to show that it is not irrational to doubt one’s own existence, even in the face of introspective evidence to the effect that one is currently in a certain mental state. For this purpose, I will outline a situation in which I do not exist, but which cannot be ruled out on the basis of any evidence available to me—including introspective evidence about my current mental states. I use this ‘superskeptical scenario,’ as I will (...) call it, to formulate an argument to the conclusion that I do not know that I exist. In order to substantiate my argument, I draw upon Terence Parsons’ theory of non-existent objects. I conclude that, inasmuch as Parsons’ theory is reasonable, doubts about one’s own existence are reasonable as well. (shrink)

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

It is usually taken for granted, in discussions about fiction, that real things or events can occur as referents of fictional names . In this paper, I take issue with this view, and provide several arguments to the effect that it is better to take the names in fiction to refer to fictional surrogates of real objects. Doing so allows us to solve a series of problems that arise on the reference-continuity view. I also show that the arguments philosophers usually (...) rely on in order to ban surrogates are not as serious as they have been taken to be. In the first part of the paper, I describe the two conflicting views. In the second part, I discuss several specific arguments in favor of surrogates. In the third part I take up the kind of reasons ordinarily offered against them. (shrink)

The subject of my article is the principle of characterization – the most controversial principle of Meinong’s Theory of Objects. The aim of this text is twofold. First of all, I would like to show that Russell’s well-known objection to Meinong’s Theory of Objects can be reformulated against a new modal interpretation of Meinongianism that is presented mostly by Graham Priest. Secondly, I would like to propose a strategy which gives uncontroversial restriction to the principle of characterization and which allows (...) to avoid Russell’s argument. The strategy is based on the distinction between object- and metalanguage, and it applies to modal Meinongianism as well as to other so-called Meinongian theories. (shrink)

According to modal realism formulated by David Lewis, there exist concrete possible worlds. As he argues the hypothesis is serviceable and that is a sufficient reason to think it is true. On the other side, Lewis does not consider the pragmatic reasons to be conclusive. He admits that the theoretical benefits of modal realism can be illusory or that the acceptance of controversial ontology for the sake of theoretical benefits might be misguided in the first place. In the first part (...) of the paper, I consider the worry and conclude that although the worry is justified, there can be an epistemological justification for his theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the arguing for the existence of concrete (im)possibilia in particular. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to non-propositional objects and do (...) so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (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)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

A critical survey of topics that play a central role in contemporary analytic ontology and metaphysics, including, identity, persistence through time, the problem of universals, the notion of ontological commitment, and the boundary between semantic issues and metaphysics proper.

Presented here are translations of two essays of the Austrian logician, philosopher and experimental psychologist Ernst Mally, originally delivered at the Third International Congress of Philosophy in Heidelberg, Germany. Both essays conclude with discussion between Mally and Kurt Grelling. Mally was a student of Alexius Meinong and a contributor to logical investigations in the field of object theory (Gegenstandstheorie). In these essays, Mally introduces a vital distinction between formal and extra-formal ?determinations? (Bestimmungen), and he argues that formal determinations are not (...) part of the identity conditions for intended objects, but provide the basis for a theory of pure logical and mathematical relations. Mally then proceeds to develop a formal logic of formal and extra-formal determinations, whose interrelations of ontic and modal predications provide an analysis of fundamental object theory concepts. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (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)

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

Even though Richard Routley is known as a proponent of so-callednuclear Meinongianism (in his terminology, noneism), the details of hisview in Exploring Meinong’s Jungle and Beyond (1980) have not attractedmuch attention. In this paper, I critically examine two notablebut less known features of Meinongianism in Routley (1980) which particularlyconcern a core claim of nuclear Meinongianism that so-calledCharacterization Principle (CP) is applicable to nuclear properties(in his terminology, characterizing properties) but not to extranuclearproperties (in his terminology, noncharacterizing properties): The firstone is his (...) ‘double determination’ argument for restricting the class ofproperties to which CP is applicable; and the second is his expansionof the class of nuclear properties in terms of the supposition operator s.Firstly, I will show that the double determination argument fails, since,for some extranuclear properties, the argument fails to justify that CPis not applicable to them, and, moreover, the argument unintendedlyshows that CP is not applicable to some nuclear properties. Secondly,based on the idea that the supposition operator, combined with anyproperty f, forms the intensional property of being assumed to havef, I will give a formal treatment of the supposition operator withinthe framework of world semantics. We will see that this interpretationgoes beyond Routley’s original nuclear Meinongianism and assimilateshis view with modal Meinongianism proposed by Priest (2005, 2016). (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

This paper defends the possibility of admitting occurrents in a presentist ontology. Two ways of doing so are proposed, the first one involves Meinongian presentism. By using the notion of non-existent object and coherently modifying some mereological principle, it is argued, the presentist can allow for occurrents. The second proposal involves ex-concrete objects. Ex-concrete objects, i.e. objects that are contingently not concrete, have been used by Linsky and Zalta, 431-458, 1994), Williamson in the modal metaphysics debate, by Orilia, 589-607, 2016) (...) in the presentism-eternalism debate, and by Longenecker, 5091-5111, 2018) in the debate about material constitution. I argue that, just by admitting ex-concrete objects, it is possible to have occurrents even for the presentist. Of course, in order to do so we must modify our definitions of occurrent and continuant. Nevertheless, I argue that my theory is metaphysically sound, at least for the presentist persuaded by the intuitive claim that there are occurrents, which otherwise she must reject. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency. This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three ‘schools’ of paraconsistency: Australian, Belgian and Brazilian. The Belgian and Brazilian schools have raised some objections to the dialetheism of the Australian school. I argue that the Australian school of paraconsistency need not be closed down on the basis of the Belgian (...) and Brazilian schools’ objections. In the appendix of the paper, I also argue that the Brazilian school’s view of logic is not coherent. (shrink)

La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...) notazioni della logica. Il presente contributo intende proporre un nuovo insieme di simboli per una particolare teoria logica: la Mereologia Formale, in considerazione del fatto che questa teoria, pur avendo avuto trattazioni sistematiche, non ha allo stato attuale ancora raggiunto un sistema di notazioni condiviso dagli studiosi. Tale stato dell’arte è espressione, da un lato, di un legame della teoria al suo nascere con la notazione polacca, e del suo confronto con la Teoria Assiomatica degli Insiemi; dall’altro, del fatto che essa ha ricevuto solo in tempi recenti sistematiche applicazioni alle scienze.94 In tale prospettiva ho ritenuto necessario definire in primo luogo dei criteri attraverso cui procedere alla costruzione del sistema di simboli. Criteri desunti in parte dalla storia delle notazioni scientifiche nella loro evoluzione, in parte dalla pratica personale nell’uso di strumenti formali. (shrink)

In «Mancanze, omissioni, e descrizioni negative»,55 Achille Varzi esplora le conseguenze di una forma comune di ragionamento causale, quella in cui citiamo mancanze od omissioni nel fornire una spiegazione delle cause degli eventi. Tale forma appare di comune uso nei contesti normativi del diritto, nelle spiegazioni tipiche delle scienze sociali e, più in generale, nel ragionamento ordinario. Ciò che accomuna questi casi è l’idea intuitiva secondo cui le cause possono anche consistere in eventi negativi. L’intuizione non è però metafisicamente innocua, (...) poiché per affermare che una spiegazione come "C’è stata un’esplosione perché Gianni non ha spento il gas" sia una buona spiegazione, occorre assumere che gli eventi negativi come “il non aver spento il gas da parte di Gianni” esistano al pari di eventi come l’esplosione e dal momento che, solo se sono entrambi eventi, può tra questi sussistere una relazione casuale. Dovremmo pertanto concludere che (1) è perfettamente intellegibile e rispecchia le nostre pratiche linguistiche. Spesso parliamo assumendo che ci siano cose che le persone non fanno: il gas che Gianni non ha spento, la passeggiata che non abbiamo fatto, il treno che non è arrivato, ecc. La sensatezza di questi usi esige pertanto il dover riconoscere una certa legittimità al vocabolario delle omissioni e delle descrizioni negative. Varzi sostiene che questo modo di parlare solleva tuttavia degli scrupoli ontologici,56 poiché non è possibile assumersi alcun serio impegno ontologico nei confronti di eventi negativi, ancor meno quando le nostre asserzioni richiedono di quantificare su eventi “inesistenti”. Una strategia per ovviare a questo scrupolo è sostenere che queste pratiche linguistiche sono analoghe a quelle in cui parliamo di oggetti “inesistenti”, ossia di oggetti che è come se ci fossero, ma che riconosciamo esistere soltanto in un contesto finzionale. Dunque l’analogia con gli oggetti finzionali può rendere in qualche modo espliciti i vincoli ontologici, giustificando quegli usi linguistici. Sebbene questo argomento abbia la sua plausibilità, Varzi nota che «ad un esame più attento, gli eventi non accaduti si rivelano ben più resistenti al rasoio di Occam di quanto l’analogia con gli oggetti non esistenti suggerisca » poiché il nostro linguaggio causale ci induce spesso a ritenere che «il riferimento o la quantificazione nei confronti di eventi non accaduti sia da intendersi in senso stretto e letterale»,57 in contrasto con quanto suggerisce l’analogia con gli oggetti finzionali. La difficoltà nasce dall’argomento per cui, se la causazione è una relazione tra eventi, occorre prendere sul serio l’idea che gli eventi negativi siano negativi stricto sensu. La tesi di Varzi è che questa tesi sia una contraddizione genuina e che l’unico modo di risolverla sia di rinunciare all’idea che gli eventi negativi esistano in un qualsiasi senso. In questo articolo intendo analizzare un aspetto di questa forma di parsimonia ontologica. Il mio intento è di valutare le conseguenze della tesi di Varzi dal punto di vista della spiegazione causale in contesti controfattuali e nei casi di omissione del diritto. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, which defenders (...) of the ‘possible worlds’ approach are frequently critical of. (shrink)

In the paper a theory of relevant properties is developed. The theory permits us to distinguish between properties that are relevant to an object and the properties that are irrelevant to it. Predication is meaningful only if a property is relevant to an object. On the base of introducing a special negative type of predication as opposed to usual sentential negation, a new notion of generalization for properties is defined. Context-free, as weIl as context-depended relevance of properties are considered.