Taking a series of colour patches, starting with one that clearly looks red, and making each so similar in colour to the previous one that it looks the same as it, we appear to be able to show that a yellow patch looks red. I ask whether phenomenal sorites paradoxes, such as this, are subject to a unique kind of solution that is unavailable in relation to other sorites paradoxes. I argue that they do not need such a solution, nor (...) do they succumb to one. In particular, I reject the claim made by Fara and Raffman that looks the same is a transitive relation, which would allow us to solve phenomenal sorites paradoxes by denying the possibility of the required kind of sorites series. (shrink)

Ambiguous figures pose a problem for representationalists, particularly for representationalists who believe that the content of perceptual experience is non-conceptual (MacPherson in Nous 40(1):82–117, 2006). This is because, in viewing ambiguous figures, subjects have perceptual experiences that differ in phenomenal properties without differing in non-conceptual content. In this paper, I argue that ambiguous figures pose no problem for non-conceptual representationalists. I argue that aspect shifts do not presuppose or require the possession of sophisticated conceptual resources and that, although viewing ambiguous (...) figures often causes a change in phenomenal properties, this change is accompanied by a change in non-conceptual content. I illustrate the case by considering specific examples. (shrink)

The article considers, in a historical setting, the links between varieties of nominalism—the extreme nominalism of the Quine-Goodman variety and the trope nominalism current today—and types of idealism. In so doing arguments of various twentieth century figures, including Husserl, Bradley, Russell, and Sartre, as well as a contemporary attack on relations by Peter Simons are critically examined. The paper seeks to link the rejection of realism about universals with the rejection of a mind-independent “world”—in short, linking nominalism with idealism.

I outline the debate in metaphysics between those who believe time is tensed and those who believe it is tenseless. I describe the terms in which this debate has been carried out, and the significance to it of ordinary tensed language and widespread common sense beliefs that time is tensed. I then outline a case for thinking that our intuitive beliefs about tense constitute an Adaptive Imaginary Representation (Wilson, in Biol Philos 5:37–62, 1990; Wilson, in Biol Philos 10:77–97, 1995). I (...) also outline a case for thinking that our ordinary tensed beliefs and tensed language owe their tensed nature to its being adaptive to adopt a temporally self-locating perspective on reality. If these conclusions are right, then common sense intuitions and temporal language will be utterly misleading guides to the nature of temporal reality. (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)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

The papers by Macpherson, O'Callaghan, and Batty reveal some startling differences in the objects and properties represented by different modalities. They also reveal some tensions between different ways of understanding what it is for any one modality to represent objects and properties.

In the course of his discussion of perception, Searle criticizes representative theories in general. In this paper I will argue that, even though his criticisms may be adequate regarding a certain form of these theories, perhaps the most frequently defended by philosophers of perception, a version I will outline here scapes to them. A second issue I raise concerns Searle’s claim that his theory of perception is a form of direct realism. I will raise difficulties for Searle’s attempt to maintain (...) at the same time a “token-reflexive” theory of perception and the thesis of direct realism. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (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.

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

As Rodriguez-Pereyra understands the Problem of Universals, solving it requires specifying the truthmakers of attributions of sparse properties to particulars, so as to resolve the “Many over One”—the puzzle of how the same particular can be different ways. According to Rodriguez-Pereyra, these truthmakers need not involve irreducible properties ; resemblances between particulars will do. Here I’ll set out Rodriguez-Pereyra’s version of resemblance nominalism and note certain of its problems, some of which can be answered with revisions that he could, qua (...) nominalist, accept, and others for which the solution is not so clear. (shrink)

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (shrink)

This article aims to give an overview of Carnap's 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2 , I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3 . Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and (...) Richardson which focuses on issues of objectivity. In Section 5 , I turn to two more recent interpretations that can be thought of as emphasizing Carnap's concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

The goal of the present paper is to defend against a certain line of attack the view that conscious experience of color is no more fine-grained that the repertoire of non- demonstrative concepts that a perceiver is able to bring to bear in perception. The line of attack in question is an alleged empirical argument - the Diachronic Indistinguishability Argument - based on pairs of colors so similar that they can be discriminated when simultaneously presented but not when presented across (...) a memory delay. My aim here is to show that this argument fails. (shrink)

As standardly conceived, an illusion is an experience of an object o appearing F where o is not in fact F. Paradigm examples of color illusion, however, do not fit this pattern. A diagnosis of this uncovers different sense of appearance talk that is the basis of a dilemma for the standard conception. The dilemma is only a challenge. But if the challenge cannot be met, then any conception of experience, such as representationalism, that is committed to the standard conception (...) is false. Perhaps surprisingly, naïve realism provides a better account of color illusion.An apparence ymaad by som Magyk. Chaucer. (shrink)

Fallibilists about looks deny that the relation of looking the same as is non-transitive. Regarding familiar examples of coloured patches suggesting that such a relation is non-transitive, they argue that, in fact, indiscriminable adjacent patches may well look different, despite their perceptual indiscriminability: it’s just that we cannot notice the relevant differences in the chromatic appearances of such patches. In this paper, I present an argument that fallibilism about looks requires commitment to an empirically false consequence. To succeed in deflecting (...) putative cases of non-transitivity, fallibilists would have to claim that there can’t be any perceptual limitations of any kind on human chromatic discrimination. But there are good reasons to think such limitations exist. (shrink)

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

InPart I of my article I have tried to show how the problem of negation has led the Jains to accept Non-existence and Existence as constituents ordharmas of every real object and to formulate their first dialectical principle:sad-asad-rŪpa $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{m} $$ vastu or ‘Every real object possesses a mode as an existent and as a non-existent’. Their interpretation of negation seems to be based on the ‘primitive’ realistic standpoint that every word in a true proposition, including the word ‘not(-)’, must have (...) some sort of objective reference. InPart II I have tried to show, using Mereology as a logical tool, howHaribhadra SŪri in the first chapter of theAnekānta-jaya-patākā defends the Jain viewpoint. (shrink)

Recent work in experimental psychology and neuroscience has revealed a rather surprising architecture for early (or preattentive) perceptual processes. This paper will describe some of the surprising features of that architecture, and how they bear on recent philosophical debates about the notion of phenomenal consciousness. I will argue that the common sense idea that states of phenomenal consciousness are states of a unitary kind cannot survive confrontation with the details of how our early perceptual processing works. In particular, that architecture (...) forces us to contemplate the prospect of phenomenal consciousness being sundered in two, with states that have phenomenal character making an appearance far before the arrival of anything one could call consciousness or awareness. (shrink)

I am a realist of a metaphysical stripe. I believe in an immense realm of "modal" and "abstract" entities, of entities that are neither part of, nor stand in any causal relation to, the actual, concrete world. For starters: I believe in possible worlds and individuals; in propositions, properties, and relations (both abundantly and sparsely conceived); in mathematical objects and structures; and in sets (or classes) of whatever I believe in. Call these sorts of entity, and the reality they comprise, (...) metaphysical. In contrast, call the actual, concrete entities, and the reality they comprise, physical. Physical and metaphysical reality together comprise all that there is. In this paper, it is not my aim to defend realism about any particular metaphysical sort of entity. Rather, I ask quite generally whether and how any brand of realism about metaphysical sorts of entity could be justified? (shrink)

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

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)

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)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Recently Samuel Richmond, generalizing Nelson Goodman, has proposed a measure of the simplicity of a theory that takes into account not only the polymorphicity of its models but also their internal homogeneity. By this measure a theory is simple if small subsets of its models exhibit only a few distinct (i.e., non-isomorphic) structures. Richmond shows that his measure, unlike that given by Goodman's theory of simplicity of predicates, orders the order relations in an intuitively satisfactory manner. In this note I (...) formalize his presentation and suggest an improvement designed to overcome certain technical difficulties. (shrink)

I discuss puzzles involving coinciding material objects (such as statues and their constitutive lumps of clay) and propose solutions.

Since the early part of this century there has been a considerable amount of discussion of the question 'Does time pass?'. A useful way of approaching the debate over the passage of time is to consider the following thesis: The space-time thesis (SPT): Time is similar to the dimensions of space in at least this one respect: there is no set of properties such that (i) these properties are possessed by time, (ii) these properties are not possessed by any dimension (...) of space, and (iii) in virtue of time's possession of these properties it is true to say that time passes. Those who say that time does not pass generally want to affirm something like SPT. But those, on the other hand, who say that time does pass generally want to deny SPT. Of course, SPT is, as it stands, a mere skeleton of a thesis. It needs to be fleshed out. What could the relevant properties be? Why exactly would it be that in virtue of time's possession of these properties it is true to say that time passes? What exactly would it mean to say that time passes? These are all matters that require considerable discussion. The aim of this paper, however, is to take up some linguistic issues that have been considered central to the debate over the passage of time. There are two main reasons why I think it is appropriate to discuss these linguistic issues independently of the relevant metaphysical issues. The first reason is historical: many of the writers who have taken up the issue of whether or not time passes have begun their discussions by focusing on linguistic.. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

The view that plural reference is reference to a set is examined in light of George Boolos's treatment of second-order quantification as plural quantification in English. I argue that monadic second-order logic does not, in Boolos's treatment, reflect the behavior of plural quantifiers under negation and claim that any sentence that properly translates a second-order formula, in accordance with his treatment, has a first-order formulation. Support for this turns on the use of certain partitive constructions to assign values to variables (...) in a way that makes Boolos's reading of second-order variables available for a first-order language and, with it, the possibility of interpreting quantification in an unrestricted domain.A first-order theory, T(D), is developed on the basis of Boolos's treatment of simple plural definite descriptions extended to Richard Sharvy's general theory of definite plural and mass descriptions. I introduce a primitive predicate, o, for the relation of the referent of a singular description to that of its plural. If o is simply added to T(D), is definable in T(D), and the result is inconsistent. If o is added to a theory with axioms for the fragment of T(D) I call D-mereology, the result is a natural basis for the development of a pluralized Zermelo set theory. This theory, however, is inconsistent in an unrestricted domain, unless it is recast as a second-order theory of sets interpreted in Boolos's way. (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

Colors are sensible qualities. They are qualities that objects are perceived to have. Thus, when Norm, a normal perceiver, perceives a blue bead, the bead is perceived have a certain quality, perceived blueness. `Quality', here, is no mere synonym for property; rather, a quality is a kind of property a qualitative, as opposed to quan• titative, property. (The quantitative is a way of contrasting with the qualitative perhaps not the only way.).

Realists, D. M. Armstrong among them, claim, contrary to natural class nominalists, that natural classes are analysable. Natural classes of particulars, claim the realists, can be analysed in terms of particulars having universals in common. But for the realist, there are also natural classes of universals. And if the realist's claim that natural classes are analysable is a general claim about natural classes, then the realist must also provide an analysis of natural classes of universals. For Armstrong, the unity (or (...) naturalness) of a natural class of universals is analysed in terms of universals resembling each other. I argue that Armstrong's account fails. His account fails for the same reason all other resemblance accounts of natural classes fail: some arbitrary classes satisfy the analysis for natural classes. (shrink)

Since Nelson Goodman 1951, the assumption that phenomenal indiscriminability is non-transitive is taken generally for granted. Moreover, this assumption was used (by Goodman 1951, Travis 1985, Dummett 1975 and others) to argue against the existence or coherence of subjective and/or observational properties. Recently, however, the assumption has been questioned [Fara 2001] and I agree with Fara that the assumption is much more problematic than was thought, partly because it is not clear what is meant by the relation of phenomenal indiscriminability, (...) and partly because it is not clear how to interpret ideas such as continuous change, and the limitations of our power of perceptual discrimination. In this paper I will bypass the question of the transitivity of phenomenal indiscriminability. I will use only the assumption about the existence (or even the possibility of existence) of a phenomenal sorites. This assumption is less controversial, and accepted (at least the version I will use) by opponents and defenders of transitivity alike. I will argue that the incoherence of 'red' (as response-dependent or purely observational) can be derived without committing ourselves to a view on the question of transitivity, and I will use this incoherence, to argue against the account of 'red' as a response-dependent concept. (shrink)

I defend a view of the structure of visual property-awareness by considering the phenomenon of perceptual constancy. I argue that visual property-awareness is a three-place relation between a subject, a property, and a manner of presentation. Manners of presentation mediate our visual awareness of properties without being objects of visual awareness themselves. I provide criteria of identity for manners ofpresentation, and I argue that our ignorance of their intrinsic nature does not compromise the viability of a theory that employs them. (...) In closing, I argue that the proposed manners of presentation are consistent with key direct-realist claims about the structure of visual awareness. (shrink)

If connectionism is to be an adequate theory of mind, we must have a theory of representation for neural networks that allows for individual differences in weighting and architecture while preserving sameness, or at least similarity, of content. In this paper we propose a procedure for measuring sameness of content of neural representations. We argue that the correct way to compare neural representations is through analysis of the distances between neural activations, and we present a method for doing so. We (...) then use the technique to demonstrate empirically that different artificial neural networks trained by backpropagation on the same categorization task, even with different representational encodings of the input patterns and different numbers of hidden units, reach states in which representations at the hidden units are similar. We discuss how this work provides a rebuttal to Fodor and Lepore's critique of Paul Churchland's state space semantics. (shrink)

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)

This paper contrasts three different schemes of reference relevant to understanding systems of perceptual representation: a location-based system dubbed "feature-placing", a system of "visual indices" referring to things called "proto-objects", and the full sortal-based individuation allowed by a natural language. The first three sections summarize some of the key arguments (in Clark, 2000) to the effect that the early, parallel, and pre-attentive registration of sensory features itself constitutes a simple system of nonconceptual mental representation. In particular, feature integration--perceiving something as (...) being both F and G, where F and G are sensible properties registered in distinct parallel streams--requires a referential apparatus. Section V. reviews some grounds for thinking that at these earliest levels this apparatus is location-based: that it has a direct and nonconceptual means of picking out places. Feature-placing is contrasted with a somewhat more sophisticated system that can identify and track four or five "perceptual objects" or "proto-objects", independently of their location, for as long as they remain perceptible. Such a system is found in Zenon Pylyshyn's fascinating work on "visual indices", in Dana Ballard's notion of deictic codes, and in Kahneman, Treisman, and Wolfe's accounts of systems of evanescent representations they call "object files". Perceptual representation is a layered affair, and I argue that it probably includes both feature-placing and proto-objects. Finally, both nonconceptual systems are contrasted with the full-blooded individuation allowed in a natural language. (shrink)

Intelligent systems are faced with the problem of securing a principled (ideally, veridical) relationship between the world and its internal representation. I propose a unified approach to visual representation, addressing both the needs of superordinate and basic-level categorization and of identification of specific instances of familiar categories. According to the proposed theory, a shape is represented by its similarity to a number of reference shapes, measured in a high-dimensional space of elementary features. This amounts to embedding the stimulus in a (...) low-dimensional proximal shape space. That space turns out to support representation of distal shape similarities which is veridical in the sense of Shepard's (1968) notion of second-order isomorphism (i.e., correspondence between distal and proximal similarities among shapes, rather than between distal shapes and their proximal representations). Furthermore, a general expression for similarity between two stimuli, based on comparisons to reference shapes, can be used to derive models of perceived similarity ranging from continuous, symmetric, and hierarchical, as in the multidimensional scaling models (Shepard, 1980), to discrete and non-hierarchical, as in the general contrast models (Tversky, 1977; Shepard and Arabie, 1979). (shrink)

If one examines the sky at sunset on a clear night, one seems to see a continuum of colors from reds, oranges and yellows to a deep blue-black. Between any two colored points in the sky there seem to be other colored points. Furthermore, the changes in color across the sky appear to be continuous. Although the colors at the zenith and the horizon are obviously distinct, nowhere in the sky can one see any color borders, and every sufficiently small (...) region of the sky is made up of regions that all seem to be of the same color. (shrink)

Frank Jackson’s knowledge argument is a very influential piece of reasoning that seeks to show that colour experiences constitute an insoluble problem for science. This argument is based on a thought experiment concerning Mary. She is a vision scientist who has complete scientific knowledge of colours and colour vision but has never had colour experiences. According to Jackson, upon seeing coloured objects, Mary acquires new knowledge that escapes her complete scientific knowledge. He concludes that there are facts concerning colour experiences (...) that scientific knowledge can neither describe nor explain. Specifically, these facts involve the occurrence of certain non-physical properties of experiences that he calls qualia. The present research considers whether a plausible formulation of the hypothesis that science can accommodate colour experiences is threatened by a version of the knowledge argument. The specific formulation of this problem has two motivations. Firstly, before investigating whether the knowledge argument raises a problem for the claim that science can account for colour experiences, we need a plausible formulation of this claim. I argue that the idea that science can accommodate colour experiences can be formulated as the modest reductionism hypothesis. Roughly speaking, this is the hypothesis that a science that can be explanatory interfaced with current physics of ordinary matter can account for conscious experiences. Secondly, an unintelligible premise figures in Jackson’s version the knowledge argument. Namely, it is assumed that Mary possesses a complete scientific knowledge. Nevertheless, the type of strategy involved in Jackson’s argument can be used to target modest reductionism. By considering contemporary psychophysics and neuroscience, I characterise Mary’s scientific knowledge. First, this characterisation is intelligible. In fact, it is elaborated on the basis of descriptions and explanations of colour experiences involved in current physics and neuroscience. Second, a supporter of modest reductionism can assume that the scientific knowledge ascribed to Mary might account for colour experiences. The main conclusion of the present research is that our version of the knowledge argument fails to threaten the modest reductionism hypothesis. In fact, I endorse what can be called the “two ways of thinking” reply to the knowledge argument. According to this response, the knowledge argument shows that there are different ways of thinking about colour experiences. One way of thinking is provided by scientific knowledge. The other way of thinking is provided by our ordinary conception of colour experiences. However, the existence of these two ways of thinking does not imply the existence of facts and properties that escape scientific knowledge. It might be the case that the ordinary way of thinking about colour experience concerns facts and properties described and explained by science. The principal conclusion of the research results from two investigations. The first line of research aims to reveal and evaluate the implicit assumptions that figure in the knowledge argument. The main body of the research is dedicated to this task. The principal result of this investigation is that the knowledge argument must rely on an account of introspective knowledge of colour experiences. I argue that an inferential model of introspection provides such account. On this model, Mary’s capacity to hold beliefs about her colour experiences when she sees coloured objects requires her mastery of colour concepts. The second main investigation seeks to justify the two ways of thinking strategy. As many opponents and supporters have recently started to realise, this strategy might be charged with being ad hoc. I offer a distinctive justification of this reply to the knowledge argument. Assuming the account of introspection mentioned above, the existence of visual recognitional colour concepts might justify this strategy. A person possesses these concepts when she is able to determine the colours of objects simply by having visual experiences. (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)

Born on October 26, 1946, Carlos Ulises Moulines studied Physics, Philosophy and Psychology at the University of Barcelona, obtaining a Degree in Philosophy from that same University and a PhD in Philosophy from the University of Munich, supervised by Wolfgang Stegmüller. He is one of the most outstanding contemporary philosophers of science and one of the most prominent exponents of metascientific structuralism. In this interview he talks about biographical aspects, philosophy of science in general and specific topics, as well as (...) presenting his impressions on some topics related to academic life. (shrink)

In this paper it is argued that there are relevant similarities of Aristotle's account of definition and Carnap's account of explication. To show this, first, Aristotle's conditions of adequacy for definitions are provided and an outline of the main critique put forward against Aristotle's account of definition is given. Subsequently, Carnap's conditions of adequacy for explications are presented and discussed. It is shown that Aristotle's conditions of extensional correctness can be interpreted against the backdrop of Carnap's condition of similarity once (...) one skips Aristotelian essentialism and takes in a Carnapian and more pragmatic stance. Finally, it is argued that, in general, a complementary rational reconstruction of both approaches allows for resolving problems of interpretational underdetermination. (shrink)

Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.