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

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory subsuming mereology. Some more speculative strategies and directions for further research are also considered.

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect.

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur.

A philosophical exchange broadly inspired by the characters of Berkeley’s Three Dialogues. Hylas is the realist philosopher: the view he stands up for reflects a robust metaphysic that is reassuringly close to common sense, grounded on the twofold persuasion that the world comes structured into entities of various kinds and at various levels and that it is the task of philosophy, if not of science generally, to “bring to light” that structure. Philonous, by contrast, is the anti-realist philosopher (though not necessarily an idealist): his metaphysic is stark, arid, dishearteningly bone-dry, and stems from the conviction that a great deal of the structure that we are used to attribute to the world out there lies, on closer inspection, in our head, in our “organizing practices”, in the complex system of concepts and categories that unrerlie our representation of experience and our need to represent it that way.

An overview of the way I picture the amorphous world we live in, built around my comments and responses to nine festschrift essays by A. Borghini (on the Fedro metaphor and the art of butchery), F. Calemi (on the predication principle and metalinguistic nominalism), C. Calosi (on the argument from mereological universalism to extensonality), E. Casetta (on the role of “monsters” in the realism/antirealism debate), V. Giardino (on inductive reasoning, spatial representation, and problem solving), P. Graziani (on mereological notation), P. Pedrini (on the distinction between natural and artificial boundaries), D. Santoro (on causation by omission), and G. Torrengo (on absolute vs. relational space and the problem of incongruent counterparts).

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion.

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias?

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts.

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them.

Some philosophers have gone a long way towards a clarification and a defense of the view that there is genuine (worldly) indeterminacy of identity. Among his reasons for taking this view seriously is the contention that extant formulations of the alternative conception, according to which all indeterminacy lies in the semantics of our language (or in the system of concepts embodied in our language), are not fitted for dealing with a host of identity puzzles. I this paper I take issue with that contention and argue that the semantic conception, if charitably construed, can meet such challenges.