Achille C. Varzi

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions.

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic.

In his Romanes Lecture of 1907, Lord Curzon emphasized the overwhelming influence of “natural” and “artificial” frontiers in the political history of the modern world. As Barry Smith has shown, the same could be said, more generally, of the natural and artificial boundaries that are at work in articulating every aspect of the reality with which we have to deal, not only in the world of geography, but the world of human experience at large. Moreover, once the natural/artificial distinction has been recognized, it can be drawn across the board: not merely in relation to boundaries but also in relation to those entities that may be said to have boundaries. If something enjoys a natural boundary, its identity and survival conditions do not depend on us; it is a bona fide, mind-independent entity of its own. By contrast, if its boundary is artificial, then the entity itself is to some degree a fiat entity, a product of our worldmaking. Here I am interested in limit case: what if, pace Curzon and pace Smith, all entities turned out to be of the latter sort?

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.

Alexandre Koyré wrote that Newton and the science that followed led to a splitting of the world: on the one hand is the “world of qualities and of sensible perceptions”, on the other is the “world of quantities and of reified geometry”. A comparison between facts held true by common sense and false by the scientific image of the world (or vice versa) seems to confirm this view. But is the dichotomy a real one? Is the world of common sense really “another world” relative to the world of the natural sciences? In this paper we argue in support of a negative answer.

"Perhaps not all the stories that follow are true. They could, however, be true, and the Reader is invited to ponder this." So begins _Insurmountable Simplicities_, Roberto Casati and Achille Varzi's colorful incarnation of the many philosophical conundrums that hide in the wrinkles of everyday life. Why do mirrors seem to invert left and right but not up and down? How do we know whether strawberries taste the same for everyone? Where is it written that we must observe the law, and if it is not written, why should we observe it? What if we could swap brains-or the rest of our bodies? _Insurmountable Simplicities_ is filled with stories, dialogues, and epistolary exchanges that cover a range of themes-such as personal identity, causality and responsibility, fortune, the nature of things, the paradoxes of time and space, the interface between logic and language-in captivating and inventive ways. Clear, concise, and intellectually engaging, this internationally acclaimed book brilliantly demonstrates that the beauty of philosophy resides in its thorough engagement with the simplicities of the world, insurmountable as they might initially appear.

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.

Standard lore has it that a proper name, or a definite description on its de re reading, is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time‐bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds ‐ like the “wave” at the stadium or the characters of a cartoon? In such cases the rigidi‐ ty claim can't be right and a counterpart‐theoretic semantics seems required. Is that bad? I say it isn't. And it had better not be, if that turns out to be the best metaphysical option we have.

We tend to talk about parts in the same way in which we talk about whole objects. Yet a part is not something to be included in an inventory of the world over and above the whole to which it belongs, and a whole is not something to be included in an inventory over and above its own parts. This paper is an attempt to clarify a way of dealing with this tension which may be labeled the Minimalist View: an element in the field of a part‐whole relation is to be included in an inventory of the world if, and only if, it does not overlap any other element that is itself included in the inventory. As it turns out, a clarification of this view involves both a defense of mereological extensionality and an account of the topological distinction between detached and undetached parts.

The so-called ‘argument from vagueness’ is among the most powerful and innovative arguments offered in support of the view that objects are four-dimensional perdurants. The argument is defective – I submit – and in a number of ways that are worth looking into. But each ‘defect’, each gap in the argument, corresponds to a model of change that is independently problematic and that can hardly be built into the common-sense picture of the world. So once all the gaps of the argument are filled in, the three-dimensionalist is left with the burden of a response that cannot rely on a passive plea for common sense. The argument is not a threat to common sense as such; it is a threat to the three-dimensionalist faithfulness to common sense.

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

Remember the story of the most-most? It’s the story of that club in New York where people are the most of every type. There is the hairiest bald man and the baldest hairy man; the shortest giant and the tallest dwarf; the smartest idiot and the stupidest wise man. They are all there, including honest thieves and crippled acrobats. On Saturday night they have a party, eat, drink, dance. Then they have a contest. “And if you can tell the hairiest bald man from the baldest hairy man—we are told—you get a prize.”.

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.

The “Game of the Rule” is easy enough: I give you the beginning of a sequence of numbers (say) and you have to figure out how the sequence continues, to uncover the rule by means of which the sequence is generated. The game depends on two obvious constraints, namely (1) that the initial segment uniquely identify the sequence, and (2) that the sequence be non-random. As it turns out, neither constraint can fully be met, among other reasons because the relevant notion of randomness is either vacuous or undecidable. This may not be a problem when we play for fun. It is, however, a serious problem when it comes to playing the game for real, i.e., when the player to issue the initial segment is not one of us but the world out there, the sequence consisting not of numbers (say) but of the events that make up our history. Moreover, when we play for fun we know exactly what initial segment to focus on, but when we play for real we don’t even know that. This is the core difficulty in the philosophy of the inductive sciences.

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

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.

There are two main ways, philosophically, of characterizing the business of ontology. On one account, made popular by Quine, ontology is concerned with the material question of what there is. On the other, which made its way into our times through Brentano and his pupils, ontology is concerned with the task of laying bare the formal structure of all there is, whatever it is. My question, here, is whether one can pursue one sort of theory without also engaging in the other—whether, or to what extent, the tasks of material ontology presuppose the backing of some formal-ontological theory, and whether or to what extent formal ontology can be, in the material sense of the term, ontologically neutral.

Ci imbattiamo in un confine ogni volta che pensiamo a un’entità demarcata rispetto a ciò che la circonda. C’è un confine (una superficie) che delimita l’interno di una sfera dal suo esterno; c’è un confine (una frontiera) che separa il Maryland dalla Pennsylvania. Talvolta la collocazione esatta di un confine non è chiara o è in qualche modo controversa (come quando si cerchi di tracciare i limiti del monte Everest, o il confine del nostro corpo). Talaltra il confine non corrisponde a una discontinuità fisica o a una differenziazione qualitativa (come nel caso dei confini del Wyoming, o della demarcazione tra la metà superiore e la metà inferiore di una sfera omogenea). Ma, che sia netto o confuso, naturale o artificiale, sembra esservi per ogni oggetto un confine che lo separa dal resto del mondo. Anche gli eventi hanno confini, quantomeno confini temporali. Le nostre vite sono delimitate dalle nostre nascite e morti; una partita di calcio comincia alle quindici in punto e termina col fischio finale dell’arbitro alle sedici e quarantacinque. E a volte si dice che anche le entità astratte, come i concetti o gli insiemi, hanno dei propri confini. Se tutto questo parlare di confini abbia davvero un senso, e se rifletta la struttura del mondo o solo l’attività organizzatrice del nostro intelletto, è però oggetto di profonda controversia filosofica.

An introduction to analytic ontology. Part 1 deals with the question, What is ontology?, focusing on (i) the interplay between ontological and broadly metaphysical concerns, and (ii) the difference between material ontology and formal ontology. Part 2 deals with the question, How is ontology done?, focusing on (i) the delicate interplay between ontology and truth-making (or: between meaning and existence), and (ii) the differences between revolutionary vs. hermeneutic, prescriptive vs. descriptive, and absolute vs. relative approaches to ontology. Part 3 surveys the state of the art in a number of areas, both in material ontology (e.g., the problem of universals, the status of objects and events, the ontology of mathematics, of the physical sciences, of the social sciences) and in formal ontology (identity, ontological dependence, part-whole relations).