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

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections.

According to a popular line of reasoning, diachronic vagueness creates a problem for the endurantist conception of persistence. Some authors have replied that this line of reasoning is inconclusive, since the endurantist can subscribe to a principle of Diachronic Unrestricted Composition (DUC) that is perfectly parallel to the principle required by the perdurantist’s semantic account. I object that the endurantist should better avoid DUC. And I argue that even DUC, if accepted, would fail to provide the endurantist with the necessary resources for explaining diachronic vagueness in familiar semantic terms.

A rejoinder to G. Hull’s reply to my Mind 2003. Hull argues that Sorensen’s purported proof that ‘vague’ is vague--which I defended against certain familiar objections--fails. He offers three reasons: (i) the vagueness exhibited by Sorensen’s sorites is just the vagueness of ‘small’; (ii) the general assumption underlying the proof, to the effect that predicates which possess borderline cases are vague, is mistaken; (iii) the conclusion of the proof is unacceptable, for it is possible to create Sorensen-type sorites even for predicates that are paradigmatically precise. I argue that each of these points involves fallacious reasoning.

According to a certain familiar way of dividing up the business of philosophy, ontology is concerned with the question of what entities exist (a task that is often identified with that of drafting a “complete inventory” of the universe) whereas metaphysics seeks to explain, of those entities, what they are (i.e., to specify the “ultimate nature” of the items included in the inventory). This distinction carries with it a natural thought, namely, that ontology is in some way prior to metaphysics. One must first of all figure out what things exist (or might exist); then one can attend to the further question of what they are, specify their nature, speculate on those features that make each thing the thing it is. I sympathize with that thought, but there is a major worry lurking in the background and there are several complications that emerge in the foreground. The purpose of this paper is to address such worries and complications and to come up with a plausible way of understanding the “priority thesis” that makes it both reasonable and, hopefully, useful.

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well.

This volume aims to offer an up-to-date indication of the on-going debate on the nature of logic. The focus is on questions pertaining to the existence and individuation of clear boundaries delineating the concerns of logic: What is their distinctive character? What makes logic a subject of its own, separate from (and generally in the background of) the concerns of other disciplines? What is it for an expression to be a logical constant? Or, perhaps equivalently, what is it for an operation or a relation to be logical? Can these questions be addressed in a general setting, or are they intrinsically unanswerable except within specific frameworks of reference (e.g., a language, or a conceptual scheme)? How are they to be addressed—are they semantic, syntactic, pragmatic? And how do semantics, syntax, or pragmatics contribute to our understanding of these questions? Are the answers fully captured by extant systems of logic? Contributors: E. Bencivenga, J. van Benthem, D. van Dalen, M. García-Carpintero and M. Pérez Otero, A. P. Hazen, A. Koslow, G. Priest, G. Sher.

[ES] Aquí articulo y luego defiendo las dos afirmaciones siguientes: que es un error pensar que la estructura del mundo debe reflejar la estructura de las teorías por las cuales lo representamos, y por medio de las cuales tratamos de descifrarlo, simplemente porque estas teorías parecen funcionar; entre las consecuencias más lamentables de este error está la tendencia generalizada a pensar que debe haber una pluralidad de realidades, o varios niveles diferentes e irreductibles de una realidad estratificada, simplemente porque nuestro credo incluye una pluralidad de teorías cada una de las cuales aparenta ser tan importante y confiable como es irreductible a las demás. [EN] I articulate and then defend the following two claims: 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; 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 the others.

The idea that an adequate semantics of ordinary language calls for some theory of events has sparked considerable debate among linguists and philosophers. On the one hand, so many linguistic phenomena appear to be explained if (and, according to some authors, only if) we make room for logical forms in which reference to or quantification over events is explicitly featured. Examples include nominalization, adverbial modification, tense and aspect, plurals, and singular causal statements. On the other hand, a number of deep philosophical questions arise as soon as we take events into consideration. Are events entities of a kind? What are their identity and individuation criteria? How does semantic theorizing depend on such metaphysical issues? The aim of this book is to address such issues in some depth, with emphasis precisely on the interplay between linguistic applications and philosophical implications. Contributors: N. Asher, P. M. Bertinetto, J. Brandl, D. Delfitto, R. Eckardt, J. Higginbotham, A. Lenci, T. Parsons, A. ter Meulen, H. Verkuyl. A comprehensive introductory essay (pp. 3-47) is included.

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively.

A scholarly annotated epic poem on the pitfalls and tribulations of “good philosophizing”. Divided into twenty-eight cantos (in medieval Italian hendecasyllabic terza rima), the poem tells of an allegorical journey through the downward spiral of the philosophers’ hell, where all sorts of thinkers are punished for their faults and mistakes, in the endeavor to reach a way out of the condition of intellectual impasse in which the narrator has found himself. The affinities with Dante’s Inferno are apparent. Whereas Dante’s poem is about human sins and moral felonies, this one is about philosophical errors and fallacies; whereas Virgil takes Dante through the gluttons, the wrathful, the violent, the traitors to parties and countries, etc., here Socrates takes us through the realists, the skeptics, the dualists, the nichilists, the worshipers of language and easy mythos, etc. And yet this is not just a philosophical counterpart of Dante’s masterpiece, even less a parody. We can’t say exactly when, how, and why it was written, but this is an authentic piece of philosophy, a poem of love, a passionate testimony of militant metaphysics. It is the inspired and inspiring journey of someone, anyone, who is truly moved by the Love for Wisdom and by the grueling purification of the intellect that it demands.

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.