Achille C. Varzi

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto.

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology.

Dear Harriet Monroe:—Your recent issue of Poetry is quite interesting. The first poem of that young Italian chap is very good, the rest—unsuccessful. You are certainly the clearinghouse for a lot of mediocre stuff—so you should be: very democratic—keep up the good work. Yours,Williams This is William Carlos Williams writing to the editor of Poetry magazine on March 12, 1918.1 We know who the young Italian chap is: Emanuel Carnevali, age twenty, who had just made his debut in Monroe’s magazine with a six-page group of poems, “The Splendid Commonplace.”2 Less clear, perhaps, is what Williams means by “the rest” —the “unsuccessful,” “mediocre stuff.” “The Splendid Commonplace” consists of six...

Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit “in the negative”. More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized.

Much recent work aimed at extending model-theoretic semantics has been formulated in response to specific needs, and little effort has been made in the direction of a truly "general" generalization. This work is an attempt to overcome these limitations. The unifying view is that semantics must account for the main relationships between languages and models in a uniform fashion, regardless of the specific conditions that may be imposed upon either notion. And the upshot is a general framework within which a large variety of semantic theories naturally fall and from which the semantics of a wide class of logics can be obtained as special cases. ;The presentation is organized in two parts. In the first, a suitably general notion of a language is introduced along with a correspondingly general notion of a model, allowing for the possibility that the interpretation of some expressions be incomplete or inconsistent. The notion of a valuation is then systematically characterized by exploiting the idea that the value of an expression on a given model is always a function of the values it takes on the various ways of filling in the gaps and/or weeding out the gluts in the model. This account is shown to be grounded on some fundamental properties of the lattice of all admissible models, and may be viewed as a generalization of the method of super-valuations. ;The second part investigates the major properties of the resulting semantic apparatus. In particular, it is shown that the notion of logical validity as applied to single expressions is rather standard, and in fact reduces to the corresponding classical notion when this is available. Thus, gaps and gluts can be explained away as local phenomena that do not metastasize throughout the framework. However, with regard to the more comprehensive relation of entailment between expressions, the general picture is more intricate, as the notion of argument validity appears to escape the control of recursively specifiable systems. To shed light on this picture, a cost-benefit analysis of the proposed framework is offered in the concluding part

I articulate and the defend the following two claims: (i) it is a mistake to think that the structure of the world should mirror the structure of the theories by which we represent it, and through which we try to decipher it, simply because those theories appear to work; (ii) among the most deplorable consequences of this mistake is the widespread tendency to think that there must be a plurality of realities, or several different and irreducible levels of a stratified reality, merely because our credo includes a plurality of theories each of which appears to be as important and trustworthy as it is irreducible to (if not overtly in conflict with) the others.

Quine’s desert is generally contrasted with Meinong’s jungle, as a sober ontological alternative to the exuberant luxuriance that comes with the latter. Here I focus instead on the desert as a sober metaphysical alternative to the Aristotelian garden, with its tidily organized varieties of flora and fauna neatly governed by fundamental laws that reflect the essence of things and the way they can be, or the way they must be. In the desert there are no “natural joints”; all the boundaries we find are lines we have drawn, artificial fencings that merely reflect of our own demarcations, our classifications, our desperate need to ward off the flux and meet an excusable but ungrounded demand for order and stability. The desert returns a picture of reality that is radically anti-realist. And yet the picture does not amount to a form of irrealism. The desert is out there and is what it is regardless of how we feel. And it is not completely structureless. It’s just that the structure it has is very thin and does not correspond to the sort of structure that so-called metaphysical realists—and scientific realists alike—tend to attribute to it.

I endorse Composition as Identity, broadly and loosely understood as the thesis that a composite whole is nothing over and above its parts, and the parts nothing over and above the whole. Thus, given an object, x, composed of n proper parts, y1, ..., yn, I feel the tension between my Quinean heart and its Lewisian counterpart. I feel the tension between my obligation to countenance n+1 things, x and the y’s, each of which is a distinct portion of reality, and my inclination to count just 1 thing, x, or just n things, the y’s, the former encompassing the same amount of reality as the latter. This paper is an attempt to reconstruct this tension and to explain it away without forgoing the intimate link between counting and countenancing.

There are more things between heaven and earth than are dreamt of in our philosophy, says Hamlet. Right. But there are also philosophies that have dreamt of things that are neither here nor there, as Goodman says. There is a danger of suffering from ontological myopia just as there is a danger of suffering from ontological allucination. This paper is about some basic strategies that are available to (or have been elaborated by) philosophers to steer clear of both dangers in their efforts to draw up a good inventory of what there is.

The Doctrine of Potential Parts says that proper undetached parts are merely potential entities, entities that do not exist but would exist if they were detached from the rest. They are just aspects of the whole to which they belong, ways in which the whole could be broken down, and talk of such parts is really just talk about the modal properties of the whole. Here I offer a reconstruction of this doctrine and present an argument to illustrate its hidden kinship with another, parallel but independent doctrine Doctrine of Potential Wholes. According to this second doctrine, disconnected wholes (i.e., wholes that are not in one piece) are in turn potential entities, entities that do not exist but would exist if their parts were suitably conjoined.

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy.

In ‘Something to Do with Vagueness ...’, Linda Burns defends an analogy between the informational and the borderline-case variety of vagueness. She argues that the latter is in fact less extraordinary and less disastrous than people in the tradition of Michael Dummett and Crispin Wright have told us. However, her account involves presuppositions that cannot be taken for granted. Here is to take a closer look at some of these presuppositions and argue hat they may--when left unguarded--undermine much of Burns’ general account.

Fictionalism in ontology is a mixed bag. Here I focus on three main variants – which I label after the names of Pascal, Berkeley, and Hume – and consider their relative strengths and weaknesses. The first variant is just a version of the epistemic Wager, applied across the board. The second variant builds instead on the fact that ordinary language is not ontologically transparent; we speak with the vulgar, but deep down we think with the learned. Finally, on the Humean variant it’s the structure of the ontological inventory, not its content, that may turn out to involve fictional elements. That is, for the Humean the fiction lies, not in the reality of common-sense ontology, but in the laws – of unity, identity, causation, etc. – in terms of which we articulate our experience of that reality. In the end, this is the kind of fictionalism that I find most interesting, sensible, and tenable. And I argue that it is even compatible with the sort of “naive” realism we have all come to appreciate in the work of Paolo Bozzi, to whom the paper is dedicated.

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

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious ontological commitment.

Convexity predicates and the convex hull operator continue to play an important role in theories of spatial representation and reasoning, yet their first-order axiomatization is still a matter of controversy. In this paper, we present a new approach to adding convexity to mereotopological theory with boundary elements by specifying first-order axioms for a binary segment operator s. We show that our axioms yields a convex hull operator h that supports, not only the basic properties of convex regions, but also complex properties concerning region alignment. We also argue that h is stronger than convex hull operators from existing axiomatizations and show how to derive the latter from our axioms for s.

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the telicity/atelicity distinction, the treatment of statives, and temporal quantification.

This is a brief sequel to Max Black 's classic dialogue on the Identity of Indiscernibles. Interlocutor A defends the bundle theory by endorsing the view according to which Black 's world does not contain two indiscernible spheres but rather a single, bi-located sphere. His opponent, B, objects that A cannot distinguish such a world from a world with a single, uniquely located sphere, hence that the view in question adds nothing to A's original response to Black 's challenge. A is simply denying that there can be worlds with two or more indiscernible entities.

David Lewis has argued that impossible worlds are nonsense: if there were such worlds, one would have to distinguish between the truths about their contradictory goings-on and contradictory falsehoods about them; and this--Lewis argues--is preposterous. In this paper I examine a way of resisting this argument by giving up the assumption that ‘in so-and-so world’ is a restricting modifier which passes through the truth-functional connectives The outcome is a sort of subvaluational semantics which makes a contradiction ‘A & ~A’ false even when both ‘A’ and ‘~A’ are true, just as supervaluational semantics makes a tautology ‘A v ~A’ true even when neither ‘A’ nor ‘~A’ are. Connections with discussive logics and complications of the account are discussed, and some general morals are drawn.

R. Sorensen’s argument to the effect that ’vague’ is a vague predicate has been used by D. Hyde to infer that vague predicates suffer from higher-order vagueness. M. Tye has objected (convincingly) that this is too strong: all that follows from Sorensen’s result is that there are some border border cases, but not necessarily border border cases of every vague predicate. I argue that this is still too strong: Sorensen’s proof presupposes the existence of border border cases, hence cannot be used to establish that fact on pain of circularity.