Achille C. Varzi

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case.

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’.

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.

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.

Some philosophers have argued that the vagueness exhibited by names and descriptions such as ‘Mount Everest’, ‘Downtown Manhattan’, or ‘that cloud in the sky’ is ultimately ontological: they are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and argue for the view that all vagueness is semantic. There is no such thing as a vague mountain. Rather, there are many things where we conceive the 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.

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.

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed.

How many championships have the Lakers won? Fourteen, if one counts those won in Minneapolis; nine, otherwise. Which is the correct answer? Is it even obvious that there is a correct answer? One is tempted to identify a team with its players. But teams, like ordinary objects, seem to survive gradual turnover of their parts. Suppose players from the Lakers are gradually replaced, one by one, over the years. We have the intuition that the team persists through this change, even after none of the original players remain. Suppose too that these original players wind up playing for the Celtics. Lakers fans face an awkward question: for whom should they root? On the one hand, they have the team currently playing in L.A.—a team that has continued gradually through the years, who wear the same uniforms, but now can’t make the playoffs. On the other hand, there are the beloved Lakers starting five (responsible for all those championships) now playing together in the hated Boston garden—a team which looks (despite wearing those hated Celtics jerseys) and plays just like the Lakers of old. What’s a loyal fan to do?

Universalist and nihilist answers to philosophical questions may be extreme, but they are clear enough. Aliquidist answers, by contrast, are typically caught between the Scylla of vagueness and indeterminacy and the Charybdis of ungroundedness and arbitrariness, and steering a proper middle course—saying exactly where in the middle one is going to settle—demands exceptional navigating powers. I myself tend to favor extreme answers precisely for this reason. Here, however, I consider one sense in which Something may claim superiority over its polar competitors, Everything and Nothing, when it comes to answerting the ontological question, “What is there?”.

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.

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).

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness.

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.

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 work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).