Perceptual constancy, often defined as the perception of stable features under changing conditions, goes hand in hand with variation in how things look. A white wall in the orange afternoon sun still looks white, though its whiteness looks different compared with the same wall in the noon sun. Historically, this variation has often been explained in terms of our experience of “merely sensory” or subjective properties – an approach at odds with the fact that the variation does track objective features (...) of the perceptual situation, such as illumination. One approach, becoming more common, is to account for the variation in terms of further “dimensions” to perceptual experience. Especially in colour perception, this is a natural thought to have but the idea is often left vague. In this paper I argue that the “dimensional” strategy has problems of its own, but is useful in drawing out some interesting complications in the way perceptual experience is structured. Specifically, the structure of “constancy spaces” brings out the different ways in which there is stability and instability in the experience of constancy, without the need for novel or merely subjective features. Instability arises in a contingent structural feature of perceptual experience. (shrink)

The theory of events as property-instances has been considered one of the most widely accepted metaphysical theories of events. On the other hand, several philosophers claim that if both events and objects perdure, then objects must be identified with events. In this work, I investigate whether these two views can be held together. I shall argue that if they can, it depends on the particular theory of instantiation one is to adopt. In particular, I shall conclude that the theory of (...) events as property-instances and the view that identifies objects with events can be held together only if instances of eventive universals are temporal parts of objects – namely, those temporal parts that have the universals in question. (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)

In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . We (...) formulate an axiomatization of mereological structures, different from Tarski’s axiomatization aspresented in [10] . We prove that these axiomatizations are equivalent . Of course, these axiomatizations are definitionally equivalent to thevery first axiomatization of mereology from [5], where the relation of being aproper part ⊏ is a primitive one.Moreover, we will show that Simons’ “Classical Extensional Mereology”from [9] is essentially weaker than Leśniewski’s mereology. (shrink)

Le nominalisme est « le refus d'admettre toute entité autre qu'indivi-duelle ». II doit, pour justifier la simplicité de son ontologie, proposer une théorie de laconnaissance et une théorie sémantique qui ne présupposent ni l'une ni l'autre l'existence réelle des univer-saux. Certaines des voies qui s'ouvrent à cette entreprise délicate ont été systématiquement explorées vers la fin du Moyen Age et il y a tout à parier que, malgré les ruptures épistémologiques, les révolutions scientifiques et autres changements d'epistémè, les nominalistes (...) contemporains pourraient encore profiter de quelque façon de l'immense travail théorique accompli par leurs prédécesseurs médiévaux. C'est dans cet esprit que je voudrais procéder à une reconstruction sommaire de la théorie sémantique avancée au début du quatorzième siècle par le Fran-ciscain Guillaume d'Occam. Je ne m'engagerai pas dans une comparaison détaillée entre Occam et les auteurs contemporains, mais j'essaierai de présenter sans en trahir l'esprit la sémantique occa-miste de manière à en faire apparaître la pertinence pour les débats actuels. II serait possible, me semble-t-il, d'aller encore plus loin dans cette voie en mettant à profit les techniques formelles récentes pour axiomatiser la théorie d'Occam. Pour l'instant cependant, je me limiterai à une présentation plutôt informelle. (shrink)

In Our Knowledge of the Internal World, Robert Stalnaker describes two opposed perspectives on the relation between the internal and the external. According to one, the internal world is taken as given and the external world as problematic, and according to the other, the external world is taken as given and the internal world as problematic. Analytic philosophy moved from the former to the latter, from problems of world-construction to problems of self-locating beliefs. I argue in this paper that these (...) problems are equivalent: both arise because experience and objective, external facts jointly underdetermine their relation. Both can be seen as a problem of expressive completeness; of the internal language in the former case, and of the non-indexical language in the second. (shrink)

Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential commitments of a theory? The second (...) is ontological reduction: How can an ontology be reduced to (or substituted by) another? And what is the most economical ontology that can be obtained for certain given purposes? The third is criteria of identity: When are entities of some kind (sets, properties, material objects, propositions, meanings, etc.) the same or different? In this paper I discuss Quine’s development of these three themes and some of the problems that were aised in connection with his work. (shrink)

From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution, containing basic definitions and distinctions and some metatheorems, to the development of a general metatheory of such theories.

I reply to Hawthorne and Uzquiano’s arguments for the incompatibility between mereological universalism and plenitudinous co-location. I argue that a mereology in which antisymmetry for parthood fails is independently motivated, and allows for both universalism and plenitudinous co-location. There can be as many angels in a place as there are cardinalities.

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

There are two no-change objections that can be raised against the B-theory of time. One stems from the observation that in a B-theoretic scenario changes of determinations can only be represented by propositions which have eternal truth values. The other derives from the principle that nothing can vary over a period of time if it doesn’t instantiate a state of change at all the instants of time which compose it. Here I argue that both objections apply to all comparative conceptions (...) of change, regardless of whether they take tense seriously or not. It follows that, contrary to what is widely believed, A-theoretic accounts of time are not immune to no-change objections, just in virtue of being realist about tense. A-theorists must either accept the conclusion that time, according to their account, does not flow, or put forward an account of flow that is not comparative. A number of difficulties with both of these options are discussed. (shrink)

That the present day society profits from research in many areas is evident. This has stimulated a keen desire to emulate similarly advantageous contributions in other areas. It appears to imply not only a need to know how to (better) support action in general or any action, but also how to support the act of making "better" itself (better businesses, better houses, better emotions, better objectives, etc.). Developing the latter type of knowledge has proved to pose a major challenge, however. (...) Although the challenge has been taken up in areas such as social policy, economics, therapy, management, architecture, design, and others, leading to a number of responses, a complete characterisation seems still to be lacking. Such a characterisation is attempted in this article. Typical characteristics are the inclusion of non-observational experiences and a simultaneous striving for individual and collective high quality. (shrink)

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

This paper asks whether persistence can be a matter of convention. It argues that in a rather unexciting de dicto sense persistence is indeed a matter of convention, but it rejects the notion that persistence can be a matter of convention in a more substantial de re sense. However, scenarios can be imagined that appear to involve conventional persistence of the latter kind. Since there are strong reasons for thinking that such conventionality is impossible, it is desirable that our metaphysical-cum-semantic (...) theories of persistence be able to account for such scenarios in terms of conventions of the first kind. Later parts of the article therefore investigate whether three of the currently most influential metaphysical-cum-semantic theories of persistence—the endurance theory, the stage theory, and the perdurance theory—can do this. Fortunately, for them, it turns out that all can, though some philosophers have disputed this. However, when we ask how they account for a typical case of “conventional persistence” some problematic features of the theories—having to do with reference, persistence conditions, how they relate, and the epistemology of persistence—are revealed. (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)

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.

In the present paper, I try to defend a coherent interpretation of Goodman’s relativism by responding to the main objections of the critics. I also discuss the significance of his pluralism by relating it to the notion of construction. This will show the relevance of Goodman’s philosophy for the present days.

This paper provides a detailed examination of Kit Fine’s sizeable contribution to the development of a neo‐Aristotelian alternative to standard mereology; I focus especially on the theory of ‘rigid’ and ‘variable embodiments’, as defended in Fine 1999. Section 2 briefly describes the system I call ‘standard mereology’. Section 3 lays out some of the main principles and consequences of Aristotle’s own mereology, in order to be able to compare Fine’s system with its historical precursor. Section 4 gives an exposition of (...) Fine’s theory of embodiments and goes on to isolate a number of potential concerns to which this account gives rise. In particular, I argue that Fine’s theory threatens to proliferate primitive sui generis relations of parthood and composition, whose characteristics must be stipulatively imposed on them, relative to particular domains; given its ‘superabundance’ of objects, Fine’s system far outstrips the already inflated ontological commitments of standard mereology; and there is a legitimate question as to why we should consider Fine’s primitive and sui generis relations of parthood and composition to be genuinely mereological at all, given their formal profile. These three objections lead me to conclude that we ought to explore other avenues that preserve the highly desirable, hylomorphic, features of Fine’s mereology, while avoiding its methodological and ontological excesses. (shrink)

This essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the right kind (...) of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (shrink)

Are there disjunctive properties? This question is important for at least two reasons. First, disjunctive properties are invoked in defense of certain philosophical theories, especially in the philosophy of mind. Second, the question raises the prior issue of what counts as a genuine property, a central concern in the metaphysics of properties. I argue here, on the basis of general considerations in the metaphysics of properties, that there are no disjunctive properties. Specifically, I argue that genuine properties must guarantee similarity-in-a-respect (...) among their instances, and must inhere in their bearers (two notions to be clarified). Disjunctive properties would fail both requirements. I compare the case of disjunctive properties with “mere Cambridge properties,” determinable properties, and functional properties, and show how my conception of properties remains compatible with determinables and functional properties while ruling out disjunctive and mere Cambridge properties. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

A ideia intuitivamente plausível de que pelo menos alguns de nossos estados mentais teriam aspectos fenomenais qualitativos aos quais nós teríamos um acesso cognitivo privilegiado é considerada por muitos filósofos como incompatível com a ontologia fisicista. Alguns defensores radicais do fisicismo preferem simplesmente negar a existência de aspectos qualitativos, ao passo que outros materialistas procuram reinterpretar a cognição do caráter fenomenal da nossa experiência do mundo como a aquisição de uma habilidade, isto é, como uma forma de know-how , em (...) oposição à aquisição de informação ( know-that ). O presente trabalho expõe e examina criticamente algumas tentativas recentes de compatibilização da natureza sui generis da apreensão cognitiva do caráter fenomenal da nossa experiência com a tese materialista de que o conteúdo proposicional dessa cognição é constituído exclusivamente por fatos físicos. doi: http://dx.doi.org/ 10.5007 / 1808-1711.2011v15n3p415. (shrink)

Stability and Justification in Hume's Treatise. LOUIS LOEB. Knowledge by Agreement: The Programme of Communitarian Epistemology. MARTIN KUSCH. A Philosophy of Culture: The Scope of Holistic Pragmatism, MORTON WHITE. Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ‐PEREYRA.

I offer a mereological bundle of universals theory of material objects. The theory says that objects are identical to fusions of immanent universals at regions of space. Immanent universals are in the objects that instantiate them, and they can be wholly located at many regions of space. The version of the bundle theory I offer explains these characteristics of immanent universals, and it captures the instantiation relation in terms of the part-whole relation. The version of the theory I offer is (...) simpler and more unified than other mereological bundle theories. Yet, it is not as encompassing as other versions. For I suppose throughout that space is a particular substance, but not a bundle of properties. (shrink)

Little has been said about whether pictures can depict properties of properties. This article argues that they do. As a result, resemblance theories of depiction must be changed to accommodate this phenomenon. In addition, diagrams and maps are standardly understood to represent properties of properties, so this article brings accounts of depiction closer to accounts of diagrams than they had been before. Finally, the article suggests that recent work on perceptual content gives us reason to believe we can perceive properties (...) of properties. (shrink)

Stegmüller's most recent publication, Theorie und Erfahrung, is the second of four volumes of a work which appears under the general title Probleme und Resultate der Wissenschaftstheorie und analytische Philosophie,. In this voluminous and daring work the author intends to deliver a systematic, critical account of the most important literature which has appeared on various basic topics of philosophy of science and its underlying assumptions over the past twenty-five years. The work promises to become a classic in the German language (...) because of its comprehensiveness, thoroughness, and clarity. (shrink)

Philosophical Investigations, EarlyView.

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

Resemblance Nominalism About Perfect Naturalness is the view that perfect naturalness of classes is best defined by a conceptual primitive of resemblance between particulars. The adequacy of RNPN is defended by outlining nominalism as the strictly anti-constitutive view that the particulars’ being the fundamental ways they are is not constituted by anything further, supplying a doubly plural contrastive and graded resemblance predicate that allows for a definition of perfect naturalness on an actualist basis, and proving a representation and a uniqueness (...) theorem on the basis of a formal constraint on resemblance called “the Principle”, thereby revealing that bodies of nominalist resemblance facts are guaranteed to behave as if they were grounded in patterns of universals distributed over particulars. (shrink)

Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.

The purpose of this paper is to examine how any domain of Meinongian objects can be structured by a special kind of mereology. The basic definition of this mereology is the following: an object is part of another iff every characteristic property of the former is also a characteristic property of the latter. I will show that this kind of mereology ends up being very powerful for dealing with Meinongian objects. Mereological sums and products are not restricted in any way (...) in a domain of Meinongian objects: there is a sum and a product for any pair of Meinongian objects. With the mereological operations of sum, product and complement, and two special Meinongian objects, we can define a full boolean algebra on Meinongian objects. Moreover, this kind of mereology is atomic and extensional: an atom is a Meinongian object having just one characteristic property and two objects are identical iff the same atoms are parts of both of them. A Meinongian object can finally be defined in mereological terms as the sum of the atoms of its characteristic properties. (shrink)

This paper discusses one of the advantages of applying formal methods in ethics. First, an approach from democratic morality—which is a special case of contractualist ethics that brings together theories of legal and moral philosophy—will be adopted, in order to argue for the non-trivial thesis that moral norms are increasingly democratically motivated. To accept this thesis also as a desired way of justifying ethical principles raises some issues, such as the problem of providing adequate principles for moral opinion pooling. Secondly, (...) it is therefore shown how formal criteria of rationality provide at least a partial solution to such problems. In a broad context this results can be seen as formal preliminaries to contractualist ethics. (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.

Megethology is the second-order theory of the part-whole relation developed by David Lewis, and it is obtained by combining plural quantification with classical extensional mereology. It can express some hypotheses about the size of the domain such as that there are inaccessibly many atoms. This will prove enough to get the orthodox set theory. Then, megethology is a possible foundation for mathematics. This paper is an introduction to megethology.

In this paper the truth is studied in the frame of autonomous systems theory. The method of the truth verification is worked out in its functional aspect. The verification is based on comparison of the predicted inner state of the autonomous agent, that is the cognitive subject, to the achieved inner state of the agent. The state is achieved as the result of performing the action in the real world—the agent’s environment. The action design is created on the basis of (...) the agent’s model of the world. The truth is defined as the adequacy of the model of the real world in the context of the goal that is assumed to be reached as the effect of the performed action. The concepts of the cognitive subject, the truth bearings and the knowledge are redefined. The classical problems of aletheiology and epistemology are discussed in the light of the proposed approach. The cybernetic construct of an autonomous agent allows the researcher to consider a wide class of cognitive entities, which, in the previous approaches, have been limited only to human beings as cognitive subjects. (shrink)

John goes out for a walk. If John endures and his walk perdures, they are different entities. However, what if both John and his walk perdure? Is John’s walk identical to his relevant temporal part? Some philosophers answer in the affirmative. Their motivations rest on ontological parsimony and the quest for clear-cut identity criteria for existing things. By contrast, one of the most widely accepted theories of events – the theory of events as property-exemplifications – allows us to formulate an (...) argument to the effect that objects’ temporal parts are distinct from the events they participate in: the AID argument, as I shall call it. In this paper, I argue that accepting austere nominalism is the best strategy a supporter of the identification between events and temporal parts of objects can take in order to resist the AID argument. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

La definición estándar del conocimiento intenta concebir el conocimiento proposicional como una creencia verdadera y justificada, y, con su modo de proceder, genera una serie de graves problemas. En respuesta a esto, este ensayo investiga un modelo interpretativo prometedor y alternativo del conocimiento como estructura o sistema que se acopla a las reflexiones de Nelson Goodman. A partir de una amplia base constituida por la teoría de los símbolos, es posible desarrollar un concepto de conocimiento plural y procesal que se (...) puede adecuar tanto a la pluralidad de distintos modos de conocimiento, como también a sus transformaciones históricas. En ello tiene un papel decisivo la interpretación de la comprensión como un proceso constructivo que sirve como punto de partida para realizar una descripción teórica de una dinámica transformativa. Del análisis de la relación entre procesos de comprensión y conocimiento se deriva un nuevo punto de vista que deja surgir con claridad el rasgo procesal del conocimiento y sus características específicas. Este artículo ofrece una base para una mayor diferenciación del ámbito epistémico en cuyo marco el concepto de conocimiento puede ser rehabilitado. (shrink)