Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.

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

A conjecture on the metaphysical nature of Tractatus objects is put forward and its interpretative adequacy is tested. The clarification of the true import of the metaphor of logical space and the recognition of the theoretical role played by Wittgenstein's explicit claim that the emptiness of logical space is conceivable enable us to account for the thesis that objects are the substance of the world. Once objects are identified with those universal abstract entities which are qualia, and complexes or states (...) of affairs with their concrete instances, some statements of the Tractatus become liable to a consistent reading: that objects are colourless ; that space, time and colour are forms of objects ; that Leibniz's Principle of the Identity of Indiscernibles, though still holding for complexes, does not apply to objects. Lastly, it is shown how the interpretation of objects as qualia sheds a vivid light on the theme of the relation between objects and time. (shrink)

Each person is perceived by others and by herself as an individual in a very strong sense, namely as a unique individual. Moreover, this supposed uniqueness is commonly thought of as linked with another character that we tend to attribute\nto persons (as opposed to stones or chairs and even non-human animals): a kind of depth, hidden to sensory perception, yet in some measure accessible to other means of knowledge. I propose a theory of strong or essential individuality. This theory is (...) introduced by way of a critical discussion of Van Inwagen’s and Baker’s ontologies of persons. Composition\nTheory and Constitution Theory are shown to be complementary, in their opposite strong and weak points. I argue that both\ntheories have unsatisfactory consequences concerning personal identity, a problem which the proposed theory seems to solve\nmore faithfully both to folk intuitions and the phenomenology of personal life. (shrink)

In this paper reasons are given for accepting a paradigmatically ‘metaphysical’ thesis called Unrestricted Mereological Composition, or something close to it. These reasons are drawn from thoroughly empirical considerations that played a significant role in the history of physical sciences, particularly in the emergence of the Newtonian laws of motion. Roughly: this metaphysical thesis is supported by a principle of ‘inference to the best explanation’ of observations of the very same kind that paradigmatically furnish evidence supporting or undermining empirical theories (...) in physics. There are methodological morals in metaphilosophy to be drawn from this historical example – blurring the distinction that has been traditionally drawn between ‘metaphysical’ theses and ‘empirical’ hypotheses. (shrink)

IntroductionIt is at least a bit embarrassing, perhaps even scandalous, that debate should still rage over the sheer existence of qualia, but they continue to find able defenders after decades of being attacked as relics of ghostly substances, epiphenomenal non-entities, nomological danglers and the like; the intensity of the current confrontation is captured vividly by Daniel Dennett:What are qualia,exactly?This obstreperous query is dismissed by one author (“only half in jest”) by invoking Louis Armstrong's legendary reply when asked what jazz was: (...) “If you gotta ask, you ain't never gonna get to know.” … If I succeed in my task, this move … will look as quaint and insupportable as a jocular appeal to the ludicrousness of a living thing-a living thing, mind you! -doubting the existence ofelan vital. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Definitions of phenomenal types (Nelson Goodman’s definition of qualia, Sydney Shoemaker’s phenomenal types, Austen Clark’s physicalist theory of qualia) imply that numerically distinct experiences can be type-identical in some sense. However, Goodman also argues that objects cannot be replicated in respect of continuous and densely ordered types. In that case, how can phenomenal types be defined for sizes, shapes and colours, which appear to be continuously ordered types? Concentrating on size, I will argue for the following points. (§2) We cannot (...) deny the possibility of replication in respect of dense types, because this would imply that particulars have determinable sizes, shapes and colours. (§3) Phenomenal sizes and shapes are determinable types; objective, or super-determinate, sizes and shapes are unknowable. (§4) We can define and know, prior to verification, groupings of objective sizes for which indiscriminability is transitive. (§5) Phenomenal identity has to be defined on the basis of these transitive groupings, because finer-grained criteria (such as Goodman’s) lead to definition of objective identity. The quality space of phenomenal types consists of overlapping but not dense types, and this prevents a collapse of phenomenal types. (shrink)

Several psychological experiments have suggested that concepts can influence perceived color (e.g., Delk and Fillenbaum in Am J Psychol 78(2):290–293, 1965, Hansen et al. in Nat Neurosci 9(11):1367–1368, 2006, Olkkonen et al. in J Vis 8(5):1–16, 2008). Observers tend to assign typical colors to objects even when the objects do not have those colors. Recently, these findings were used to argue that perceptual experience is cognitively penetrable (Macpherson 2012). This interpretation of the experiments has far-reaching consequences: it implies that the (...) way we think of objects determines how we see them, thus threatening the role of perception in justifying beliefs. In this paper, I show that the psychological findings can be accounted for without admitting cognitive penetrability. An underestimated but key feature of the experiments is that observers had to judge colors in borderline cases, in conditions of reduced acuity, or on the basis of color-concepts instead of matching. Such judgments are sensitive to the form of bias that Tversky and Kahneman (Science 185:1124–1131, 1974) have termed ‘anchoring’. Adopting a suggestion from Raffman (Philos Rev 103(1):41–74, 1994), I argue that the way subjects in the experiments think of the objects could affect their color judgments without altering their color experiences. (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

A standard illustration' of this situation in this: let M~ be a theory of mechanics employing mass points as basic objects and let Mz be similar yet with only extended objects as its primitive elements. Let M> postulate that mass points come only in dense collections. Granted reasonable assumptions about the further details of Mq and M2, we can define the extended objects of Mz in M~ as dense sets of mass points whereas the latter can be defined in Mz (...) as nested sets of the former. Both theories offer equivalent descriptions of the world in the sense that any claim of Mq can be systematically translated into a theorem of Mz and conversely. (shrink)

The title is an allusion to the fact that, traditionally, propositions have served at least two distinct functions in philosophy, even though these functions have not usually been distinguished. Propositions have been invoked as the ‘meanings’ or ‘intensions’ of sentences and as the objects of propositional attitudes. Thus the proposition that Socrates is wise is the meaning of the English sentence, ‘Socrates is wise,’ and is what Charles believes when he believes that Socrates is wise. ‘Means that’ and ‘believes that’ (...) take the same kind of object. I shall argue, first, that there are two quite different functions here and it takes two quite different kinds of proposition to serve these distinct functions. The second thing I want to do is examine the suggestion that we can treat propositions as sets of possible worlds. There is a serious difficulty here, and so I shall want to turn that idea on its side: I shall define possible worlds as sets of G-propositions and then define E-propositions as sets of possible worlds. (shrink)

Exemplification can be found in ontologies from the ancient world, such as those of Plato and Aristotle, and more recent ontologies, in particular those that take what exists to be determined by the empiricist’s Principle of Acquaintance. This study examines some of the ways in which exemplification takes different forms in these different ontologies. Exemplification has also been criticized as an ontological category. This paper examines a number of these criticisms, to see the extent to which they are viable.

In his recently published book, The Nature of Physical Reality, Professor Margenau develops a conception of physical reality, which, on the one hand, is a repudiation of radical empiricism and which, on the other hand, is a denial of realism. Margenau believes that he has accomplished his task by means of “constructs” which, in “a large area of discourse,” are “wholly synonymous” with concepts and which, nevertheless, when verified, are “the external objects”.

In a recent article, Adam Elga outlines a strategy for “Defeating Dr Evil with Self-Locating Belief”. The strategy relies on an indifference principle that is not up to the task. In general, there are two things to dislike about indifference principles: adopting one normally means confusing risk for uncertainty, and they tend to lead to incoherent views in some ‘paradoxical’ situations. I argue that both kinds of objection can be levelled against Elga’s indifference principle. There are also some difficulties with (...) the concept of evidence that Elga uses, and these create further difficulties for the principle. (shrink)

The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgements of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy (...) of mathematics. So this paper focuses on providing a preliminary defense of this thesis, in that it focuses on responding to several objections. Some of these objections are from the classical literature, such as Frege's concern about indiscernibility and circularity, while other are more recent, such as Baker's concern about the unreliability of small samplings in the setting of arithmetic. Another family of objections suggests that we simply do not have access to probability assignments in the setting of arithmetic, either due to issues related to the~$\omega$-rule or to the non-computability and non-continuity of probability assignments. Articulating these objections and the responses to them involves developing some non-trivial results on probability assignments, such as a forcing argument to establish the existence of continuous probability assignments that may be computably approximated. In the concluding section, two problems for future work are discussed: developing the source of arithmetical confirmation and responding to the probabilistic liar. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

In this review essay, I examine the central tenets of sociologist Dave Elder-Vass’s recent contribution to social ontology, as put forth in his book The Causal Power of Social Structures: Emergence, Structure and Agency. Elder-Vass takes issue with ontological individualists and maintains that social structures exist and have causal powers in their own right. I argue that he fails to establish his main theses: he shows neither that social structures have causal powers “in their own right” (in any sense of (...) this expression) nor that they exist. (shrink)

The notion of conceptuality is still unclear and vague. I will present a definition of conceptual and nonconceptual representations that is grounded in different aspects of the representations’ structures. This definition is then used to interpret empirical results from human and animal navigation. It will be shown, that the distinction between egocentric and allocentric spatial representations can be matched onto the conceptual vs. nonconceptual distinction. The phenomena discussed in spatial navigation are thereby put into a wider context of cognitive abilities, (...) which allows for new explanations of certain features of spatial representations and how they are linked to other capacities, like perception and reasoning. (shrink)

Mereological atomism is the thesis that everything is ultimately composed of atomic parts, i.e., parts lacking proper parts. Standardly, this thesis is characterized by an axiom that says, more simply, that everything has atomic parts. Anthony Shiver has argued that this characterization is satisfied by models that are not atomistic, and is therefore inadequate. I argue that Shiver’s conclusion can and ought to be resisted, for the models in question are atomistic in the intended sense, and even though the standard (...) characterization does not say that everything is composed of atoms, it implies so. If there is a sense in which the relevant models are problematic, it lies elsewhere. (shrink)

This essay defends the neo-Quinean approach to ontology against the criticisms of two neo-Carnapians, Huw Price and Amie Thomasson.

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

In this article, I show and discuss the relevance of Wittgenstein's arguments as to the spatial structure of sight to recent issues in the philosophy of mind. The first, bearing upon the dimensionality of the manifolds at play in depiction, plays a critical role in Clark's attempt to provide an independent account ofqualiaand of their differentiative properties. The second, pertaining to the properly spatial structure formed by the data of sight, is explicitly appealed to in the debate on the realistic (...) character of any genuinely spatial scheme. I argue that if Wittgenstein rightly assumes that the simultaneous presence of sensible places in vision is a key condition for objectivity, he fails nevertheless to warrant the allegedly realistic character of the scheme employed in his own search for a phenomenological description of the visual field. (shrink)

What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian theory of categories. In the second place, Brentano (...) embraced a Cartesian epistemology. He saw the source of all knowledge as residing in our direct awareness of our own mental phenomena and in our capacity to grasp evident incompatibilities in the realm of concepts.) Thirdly, he regarded the existence of an external world as at most probable, and denied outright the existence of a world similar to the world that is given in experience. Finally, and in some sense linking together these opposing strands, he propagated an idea of what he called "descriptive psychology", a discipline which would on the one hand yield exact knowledge of the structures and categories of mental life, and on the other hand provide an epistemologically sure foundation for other branches of philosophy. As we shall see, it is this psychological aspect of Brentano's philosophy which leads him to his conception of the substantiality of place. Surprisingly, however, the psychological considerations which underlie Brentano's thinking will be shown to raise a series of questions strictly ontological in nature, questions which are not without a systematic interest of their own. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

According to the traditional view, visual objects can be characterized as bundles of features and locations. This initially plausible idea is contested within the contemporary psychology and philosophy of perception, where it is claimed that the visual system can represent objects as merely ‘this’ or ‘that’, in abstraction from their qualities. In this paper, I consider whether philosophical and psychological arguments connected with the rejection of the ‘bundle’ view of visual objects show that it is needed to postulate an additional, (...) purely individualizing characteristic, known in the philosophical tradition as ‘thisness’, within the structure of visual objects. I argue that the phenomenon of asymmetry of errors observed in Multiple Object Tracking experiments strongly suggests that reference to ‘thisness’ is needed if we are to formulate a proper diachronic identity criterion of visual objects. (shrink)

Eternalists say that non-present entities (for instance dinosaurs) exist; presentists say that they do not. But some sceptics deny that this debate is genuine, claiming that presentists simply represent eternalists' quantifiers over non-present entities in different notation. This scepticism may be refuted on purely logical grounds: one of the leading candidate ‘presentist quantifiers’ over non-present things has the inferential role of a quantifier. The dispute over whether non-present objects exist is as genuine and non-verbal as the dispute over whether there (...) is life on other planets. (shrink)

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (shrink)

The non-transitivity of the relation looks the same as has been used to argue that the relation has the same phenomenal character as is non-transitive—a result that jeopardizes certain theories of consciousness. In this paper, I argue against this conclusion while granting the premise by dissociating lookings and phenomenology; an idea that some might find counter-intuitive. However, such an intuition is left unsupported once phenomenology and cognitive access are distinguished from each other; a distinction that is conceptually and empirically grounded.

Simple assumptions represent a decisive reason to prefer one theory to another in everyday scientific praxis. But this praxis has little philosophical justification, since there exist many notions of simplicity, and those that can be defined precisely strongly depend on the language in which the theory is formulated. The language dependence is a natural feature—to some extent—but it is also believed to be a fatal problem, because, according to a common general argument, the simplicity of a theory is always trivial (...) in a suitably chosen language. But, this trivialization argument is typically either applied to toy-models of scientific theories or applied with little regard for the empirical content of the theory. This paper shows that the trivialization argument fails, when one considers realistic theories and requires their empirical content to be preserved . In fact, the concepts that enable a very simple formulation, are not necessarily measurable, in general. Moreover, the inspection of a theory describing a chaotic billiard shows that precisely those concepts that naturally make the theory extremely simple are provably not measurable. This suggests that—whenever a theory possesses sufficiently complex consequences—the constraint of measurability prevents too simple formulations in any language. This explains why the scientists often regard their assessments of simplicity as largely unambiguous. In order to reveal a cultural bias in the scientists’ assessment, one should explicitly identify different characterizations of simplicity of the assumptions that lead to different theory selections. General arguments are not sufficient. (shrink)

Kathrin Koslicki is one of the leading authors of mereological hylomorphism, a non-reductive theory that construes material objects as mereological fusions of matter and form. Accordingly, Michelangelo’s David has both a portion of marble and David’s individual form as proper parts. I individuate two kinds of dependence that play an important role in characterising Koslicki’s brand of hylomorphism. First, forms depend for their existence on the compounds of which they are parts. Second, hylomorphic compounds depend for their identity on their (...) forms. The existential dependence of forms on their compounds ensures forms cannot float free of material objects, whereas the identity dependence of material objects on their forms grants forms play a non-trivial role in determining the nature of their compounds. The main goal of the present paper is to argue that these two claims of dependence lead to a contradiction when conjoined with some further weak principles concerning parthood and grounding. I then briefly illustrate which are the theoretical commitments that Koslicki may arguably relax to avoid the impasse. In the end, though, her brand of hylomorphism will be in a worse dialectical position. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

The intransitivity of matching sensible qualities of color isa threat not only to the sense-data theory, but to allrealist theories of sensible qualities, including thecurrent leading realist theory: representationalism.I save representationalism from this threat by way ofa novel yet empirically plausible hypothesis about theintrospective classification of sensible qualities of color.I argue that due to limitations of the visual system's abilityto extract fine-grained information about color fromthe environment, introspective classification of sensiblequalities of color is sensitive to features of context.I finish by (...) arguing for the superiority of mysolution over two alternative solutions: one by NelsonGoodman, the other by C.L. Hardin. (shrink)

In this paper, I discuss the key role played by Carl G. Hempel's work on theoretical realism and scientific explanation in effecting a crucial philosophical transition between the beginning and the end of the twentieth century. At the beginning of the century, the dominant view was that science is incapable of furnishing explanations of natural phenomena; at the end, explanation is widely viewed as an important, if not the primary, goal of science. In addition to its intellectual benefits, this transition (...) has important practical consequences with respect to dealing with the global problems humans everywhere will face in the twenty-first century. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

The empirical study of visual space has centered on determining its geometry, whether it is a perspective projection, flat or curved, Euclidean or non-Euclidean, whereas the topology of space consists of those properties that remain invariant under stretching but not tearing. For that reason distance is a property not preserved in topological space whereas the property of spatial order is preserved. Specifically the topological properties of dimensionality, orientability, continuity, and connectivity define “real” space as studied by physics and are the (...) spatial properties that characterize the physical universe as being an integral whole. By contrast the geometrical analysis of VS has taken little cognizance of its topology. Instead such properties have been presupposed a priori rather than being established a posteriori by empirical means, perhaps because these properties are self-evident. Applying the method of coordinative definition expounded by Hans Reichenbach for determining geometrical and topological properties of physical space, it can be shown that VS fulfills the topological criteria of being a “real” space sui generis. Though theorized to be produced by the brain, the topology of VS is not topologically equivalent with the structure and activity of the brain because, as will be shown, the topology of VS cannot be formed from the topology of the brain without tearing and/or cutting and pasting. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

There has been some recent optimism that addressing the question of how we distinguish sensory modalities will help us consider whether there are limits on a scientific understanding of perceptual states. For example, Block has suggested that the way we distinguish sensory modalities indicates that perceptual states have qualia which at least resist scientific characterization. At another extreme, Keeley argues that our common-sense way of distinguishing the senses in terms of qualitative properties is misguided, and offers a scientific eliminativism about (...) common-sense modalities which avoids appeal to qualitative properties altogether. I’ll argue contrary to Keeley that qualitative properties are necessary for distinguishing senses, and contrary to Block that our common-sense distinction doesn’t indicate that perceptual states have qualia. A non-qualitative characterization of perceptual states isn’t needed to avoid the potential limit on scientific understanding imposed by qualia. (shrink)

In this essay I argue for a constructivist account of the entities composing the object languages of Davidsonian truth theories and a quotational account of the reference from metalinguistic expressions to interpreted utterances. I claim that ‘radical quotation’ requires an ontology of repeatable events with strong similarities to Derrida's account of iterable events. In part one I summarise Davidson's account of interpretation and Olav Gjelsivk's arguments to the effect that the syntactic individuation of linguistic objects is only workable if interpreters (...) make richer assumptions about semantic properties than Davidson can tolerate. In part two I show that the objectivist account of syntactic objects which Gjelsivk's arguments presuppose is incompatible with one corollary of Davidsonian semantic indeterminacy: namely, the relativity of language to interpretative scheme. In place of this an account of radical interpretation is presented in which a quotational theory of metalinguistic reference furnishes the requisite relativity. In part three I argue that this account requires that particular utterance events must be repeatable to be radically quotable and give reasons why particularity and repeatability are not incompatible. (shrink)

The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl?s works, with minor changes. This paper provides a reconstruction of such an idea. Husserl?s proposal is faced with contemporary logical orthodoxy and it is presented also an interpretative hypothesis, namely that the original difference between the general perspective of usual model theory and formal (...) ontology is grounded in the fact that this latter starts from an intended interpretation and not from the set of all the possible interpretations. (shrink)