Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

Philosophy and Literature is an internationally renowned refereed journal founded by Denis Dutton at the University of Canterbury, Christchurch. It is now published by the Johns Hopkins University Press. Since its inception in 1976, Philosophy and Literature has been concerned with the relation between literary and philosophical studies, publishing articles on the philosophical interpretation of literature as well as the literary treatment of philosophy. Philosophy and Literature has sometimes been regarded as iconoclastic, in the sense that it repudiates academic pretensions, (...) insidious jargon and institutional vogue. Dutton, who remains the editor, still writes a regular column. A distinctive feature of Philosophy and Literature was the annual Bad Writing Contest, held from 1995–98, which sought to identify (and publish) the ‘most stylistically lamentable passages’ of academic prose, often to great amusement. (shrink)

An exploration of the details of counterpart theory, and some applications of the view. In Chapter 1, I set out the view and clarify the most important features: that the counterpart relation is a context dependent similarity relation, and that individuals are world-bound entities. I then set out what I take to be the most promising methods of filling in important details. Chapter 2 is a discussion of an alternative view, lump theory. I attempt to distinguish lump theory from counterpart (...) theory, and argue that several attempt to do so fail. Chapter 3 is an attempt to apply counterpart theory for individuals to properties. I attempt to stay as close to the standard view as possible, but find it necessary to modify the world-bound condition. I suggest a version of property counterpart theory that overcomes the obstacles I have identified. The final chapter is a discussion of a recent attempt to apply counterpart theory to the comparativist view of quantitative properties. I argue that an attempt to rely on counterpart theory to overcome an objection is unsuccessful. (shrink)

There is no single problem of universals but a family of difficulties that treat of a variety of interwoven metaphysical, epistemological, logical and semantic themes. This makes the problem of universals resistant to canonical reduction (to a ‘once-and-for-all’ concern). In particular, the problem of universals cannot be reduced to the problem of supplying truth-makers for sentences that express sameness of type. This is (in part) because the conceptual distinction between numerical and qualitative identity must first be drawn before a sentence (...) is eligible to be supplied with truth-makers. The case is made through a consideration of a recent argument by Gonzalo Rodriguez-Pereyra. (shrink)

Le Poidevin has recently presented an argument that gives rise to a serious problem for relationist theories of space. It appeals to the simple geometrical fact that if A, B and C are three points lying in a straight line, then AB and BC together entail AC. He suggests that an ontological relationship of supervenience must be appealed to to explain this entailment. Given this thesis of supervenience, relationism is implausible. I argue that the problem that Le Poidevin raises for (...) relationism should be rejected, because the thesis of supervenience is false. The latter rests upon what Le Poidevin refers to as ‘The explanatory principle', a principle which he claims to be a natural extension of the truthmaker principle. Contrary to this, I argue that given any plausible theory of truthmaking, the explanatory principle is false. With the rejection of this principle, Le Poidevin's argument against relationism collapses. (shrink)

The aim of the Schematism chapter of the Critique of Pure Reason is to solve the problem posed by the “inhomogeneity” of intuitions and categories: the sensible properties of objects represented in intuition are of a different kind than the properties represented by categories. Kant's solution is to introduce what he calls “transcendental schemata,” which mediate the subsumption of objects under categories. I reconstruct Kant's solution in terms of two substantive premises, which I call Subsumption Sufficiency (i.e., that subsuming an (...) object under a transcendental schema is sufficient to subsume it under the corresponding category) and Real Possibility (i.e., that it is really possible to subsume objects under each of the transcendental schemata). These two principles, together with a trivial modal one (the Subsumption-Possibility Link), entail that it is possible to subsume objects under categories; in other words, the argument of the Schematism is valid. The main work of the paper consists in reconstructing Kant's arguments for, and explanations of, these premises. I argue that they hinge on Kant's claim that transcendental schemata are “time-determinations,” which I interpret to mean: rules for reflexively representing the temporal relations among our own representational states. On the basis of this reading, I reconstruct Kant's argument for Subsumption Sufficiency, category by category. I also explain why Real Possibility follows almost immediately. Granting Kant the argument up to this point in the Critique, the argument of the Schematism is sound. (shrink)

Stanford Encyclopedia article surveying the life and work of D.C. Williams, notably in defending realism in metaphysics in the mid-twentieth century and in justifying induction by the logic of statistical inference.

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Although a number of truth theorists have claimed that a deflationary theory of ‘is true’ needs nothing more than the uniform implication of instances of the theorem ‘the proposition that p is true if and only if p ’, reflection shows that this is inadequate. If deflationists can’t support the instances when replacing the biconditional with ‘because’, then their view is in peril. Deflationists sometimes acknowledge this by addressing, occasionally attempting to deflate, ‘because’ and ‘in virtue of’ formulas and their (...) close relatives. I examine what I take to be the most promising deflationist moves in this direction and argue that they fail. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

The notion of similarity plays a central role in Quine's theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine's theory has been ignored by several philosophers. Nominalism and realism: Universals and Scientific realism. Cambridge: (...) Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine's austere ontology; in particular, it does not assume the existence of properties and of possible worlds.. Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine's approach that have been raised by Armstrong and Oliver [. The metaphysics of properties. Mind, 105, 1-80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [. On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

Christian Platonism and Divine Simplicity remain the most commonly discussed views with respect to the way in which Christians ought to conceive of God’s nature and properties. In this essay, I suggest that we ought to consider seriously two versions of a quite different view, namely, what I call “the Nominalized Composite God View.” Both versions of the Nominalized Composite God View share two features: (1) they treat God as metaphysically composite, in opposition to Divine Simplicity, and (2) they deny (...) that God has God’s properties in virtue of instantiating abstractly existing universals, in opposition to Christian Platonism. (shrink)

This paper examines the justification for the hypothesis of extended cognition. HEC claims that human cognitive processes can, and often do, extend outside our head to include objects in the environment. HEC has been justified by inference to the best explanation. Both advocates and critics of HEC claim that we can infer the truth value of HEC based on whether HEC makes a positive or negative explanatory contribution to cognitive science. I argue that IBE cannot play this epistemic role. A (...) serious rival to HEC exists with a differing truth value, and this invalidates IBEs for both the truth and the falsity of HEC. Explanatory value to cognitive science is not a guide to the truth value of HEC.Keywords: Extended mind; Extended cognition; Embedded cognition; Externalism; Inference to the best explanation; Functionalism. (shrink)

This paper explores the claim that explanation of a group 's behaviour in term of individual mental states is, in principle, superior to explanation of that behaviour in terms of group mental states. We focus on the supposition that individual-level explanation is superior because it is simpler than group -level explanation. In this paper, we consider three different simplicity metrics. We argue that on none of those metrics does individual-level explanation achieve greater simplicity than a group -level alternative. We conclude (...) that an argument against group minds should not lay weight on concerns of explanatory simplicity. (shrink)

Both philosophers of perception and analytic metaphysicians apply the tropes/universals distinction when considering the ontological status of visual properties. One way of arguing in favor of the trope interpretation of visual properties is to claim that the way in which we visually experience properties makes it plausible to characterize them as tropes. In this paper, I argue for a different position, namely that the way in which we visually experience properties provides a serious challenge for the trope interpretation, but not (...) for an interpretation in terms of universals. More specifically, I claim that the trope interpretations of visual properties have problems accounting for the fact that ordinary, veridical visual experiences can present the properties of two objects as strictly similar. (shrink)

Traditional rationalist approaches to a priori epistemology have long been looked upon with suspicion for positing a faculty of rational intuition capable of knowing truths about the world apart from experience. Conceptualists have tried to fill this void with something more empirically tractable, arguing that we know a priori truths due to our understanding of concepts. All of this theorizing, however, has carried on while neglecting an entire cross section of such truths, the grounding claims that we know a priori. (...) Taking a priori grounding into account poses a significant challenge to conceptualist accounts of a priori knowledge, as it is unclear how merely understanding conceptual connections can account for knowledge of grounding. The fact that we do know some grounding truths a priori, then, is a significant mark in traditional rationalism’s favor, and the next frontier for those who aim to eliminate the mystery surrounding a priori knowledge. (shrink)

This paper is about the relationship between truthmaking—one of the pillars of contemporary metaphysics—and deflationism about truth—one of the main contenders in the debate about truth, and a key component of the broad anti-metaphysical philosophical approach known as pragmatism. Many philosophers have argued that deflationism and truthmaking are incompatible or in conflict in some interesting way. Some take this to count against deflationism, others to count against truthmaking. In this paper I argue that deflationism and truthmaking are compatible in most (...) of the ways in which they are commonly thought to be incompatible. Deflationism does not render truthmaking unintelligible, avoidable, unmotivated, or trivial. While deflationism is incompatible with certain ideas within mainstream truthmaking, I argue that these ideas result from merely optional assumptions and principles commonly accepted by mainstream truthmaker theorists. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

When is there no fact of the matter about a metaphysical question? When multiple candidate meanings are equally eligible, in David Lewis's sense, and fit equally well with ordinary usage. Thus given certain ontological schemes, there is no fact of the matter whether the criterion of personal identity over time is physical or psychological. But given other ontological schemes there is a fact of the matter; and there is a fact of the matter about which ontological scheme is correct.

A constructivist thesis of worldmaking is characterized and some misinterpretations of its claims are dispelled. An attempt is then made to reply to various common criticisms of the thesis. Although this defense of worldmaking takes into account general challenges to the thesis, the focus of the paper is narrower. It is aimed primarily at those critics who typically accept related pragmatic assumptions and themes, but still think it necessary to resist the idea of worldmaking.

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

A central problem for any truthmaker theory is the problem of negative truths. In this paper, I develop a novel, piecemeal strategy for solving this problem. The strategy puts central focus on a truth-relevant notion of aboutness within a metaphysically modest version of truthmaker theory and uses key conceptual tools gained by taking a deeper look at the best attempts to solve the problem of intentionality. I begin this task by critically discussing past proposed solutions to P-NEG in light of (...) Russell’s debate with Demos. This reveals a central difficulty with addressing the problem, specifically that one cannot be committed to incompatibility facts in one’s account of negation and of the truth of negative truths. I then present an aboutness-based version of truthmaker theory. Utilising what I call the strict and full account of aboutness, I extract aboutness-based theories of truth and falsity. I use this machinery to present a promising new strategy for solving P-NEG which does not have the problems of alternative approaches. Finally, I present and respond to some potential objections. (shrink)

This article outlines a realist theory of aesthetic properties as higher-order manifest properties and defends it from several objections, including a possible conflict with contextualist approaches to the aesthetic properties of works of art.

In this paper, I both propose and discuss a novel account of truthmaking. I begin by showing what truthmaking is not: it is not grounding and it is not correspondence. I then show what truthmaking is by offering an account that appeals both to grounding and what I call ‘deep correspondence’. After I present the account and show that it is an account that unifies, I put it to work by showing how it can overcome an objection to truthmaking, how (...) we can get truthmaking from correspondence, what it says about truthmaker necessitation, and how it can explain a connection between truthmaker maximalism and pluralism about truth. (shrink)

In this article I address the Problem of Universals by answering questions about what facts a solution to the Problem of Universals should explain and how the explanation should go. I argue that a solution to the Problem of Universals explains the facts the Problem of Universals is about by giving the truthmakers (as opposed to the conceptual content and the ontological commitments) of the sentences stating those facts. I argue that the sentences stating the relevant facts are those like (...) 'a has the property F', that is, sentences stating that a particular has a certain property. Finally I show how answering these questions in this way transforms the Problem of Universals, traditionally conceived as the One over Many, that is, the problem of explaining how different particulars can have the same properties, into the Many over One, that is, the problem of explaining how the same particular can have different properties. The Problem of Universals is the problem of the Many over One. (shrink)

Recent discussions of mental causation have focused on three principles: (1) Mental properties are (sometimes) causally relevant to physical effects; (2) mental properties are not physical properties; (3) every physical event has in its causal history only physical events and physical properties. Since these principles seem to be inconsistent, solutions have focused on rejecting one or more of them. But I argue that, in spite of appearances, (1)–(3) are not inconsistent. The reason is that 'properties' is used in different senses (...) in the principles. In (1) and (3), 'properties' should be read as 'tropes' (properties here are particulars), while in (2) 'properties' should read as 'types' (properties here are universals or classes). Although mental types are distinct from physical types, every mental trope is a physical trope. This allows mental properties to be causally relevant to physical effects without violating the closed character of the physical world. (shrink)

In this paper, I offer a new theory of grounding. The theory has it that grounding is a job description that is realized by different properties in different contexts. Those properties play the grounding role contingently, and grounding is the property that plays the grounding role essentially. On this theory, grounding is monistic, but ‘grounding’ refers to different relations in different contexts. First, I argue against Kit Fine’s monist univocalism. Next, I argue against Jessica Wilson’s pluralist multivocalism. Finally, I introduce (...) monist multivocalism, explicate three versions of it (of which the above is one), and show its advantages. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

In the paper I discuss the problem of the nature of the relationship between objects and their properties. There are three contexts of the problem: of comparison, of change and of interaction. Philosophical explanations of facts indicated in the three contexts need reference to properties and to a proper understanding of a relationship between them and their bearers. My aim is to get closer to this understanding with the use of some models but previously I present the substantialist theory of (...) object and shortly argue for its main theses. The two models enabling us the understanding of the subject–properties structure are: the plastic stuff model and the functional model. On the ground of the first a subject is compared to a piece of plastic stuff which is informed by different shapes. Properties are ways how a subject is, they “give” some “figure” to a subject. The core idea of the second model is that essences (performing the role of subjects) are immanent functional laws governing correlations of properties. As such they are similar to mathematical functions which are saturated by values. The relationship between a subject and properties can be grasped by analogy to such a saturation. (shrink)

In On the Nature and Existence of God, Richard Gale follows majority opinion in giving very short shrift to the doctrine of divine simplicity: in his view, there is no coherent expressible doctrine of divine simplicity. Rising to the implicit challenge, I argue that---contrary to what is widely believed---there is a coherently expressible doctrine of divine simplicity, though it is rather different from the views that are typically expressed by defenders of this doctrine. At the very least, I think that (...) I manage to show that there are ways of understanding the doctrine of divine simplicity that have not yet been adequately examined. (shrink)

In this paper, I motivate the view that quantitative parsimony is a theoretical virtue: that is, we should be concerned not only to minimize the number of kinds of entities postulated by our theories (i. e. maximize qualitative parsimony), but we should also minimize the number of entities postulated which fall under those kinds. In order to motivate this view, I consider two cases from the history of science: the postulation of the neutrino and the proposal of Avogadro's hypothesis. I (...) also consider two issues concerning how a principle of quantitative parsimony should be framed. (shrink)

The focus of the following comments will be mainly on Mugnai's characterization of Leibniz's ‘mild nominalism’. Mugnai seems to suggest that Leibniz might have had in mind an ontological commitment view. My idea is that such a construal can be somewhat misleading, for Leibniz's ontological cautiousness seems to stem, in an utter Ockhamistic spirit, from more general considerations about theory building and theory choice.

The focus of the following comments will be mainly on Mugnai's characterization of Leibniz's ‘mild nominalism’. Mugnai seems to suggest that Leibniz might have had in mind an ontological commitment view. My idea is that such a construal can be somewhat misleading, for Leibniz's ontological cautiousness seems to stem, in an utter Ockhamistic spirit, from more general considerations about theory building and theory choice.

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

Ha sido uno de los alegatos centrales de la teoría así llamada “cognitiva” de las proposiciones que su carácter representacional —y, con ello, sus condiciones de verdad— es derivativo del carácter representacional primitivo de los actos cognitivos concretos por los que un agente predica una propiedad de un objeto. Las proposiciones heredan su carácter representacional porque son ‘tipos’ de actos cognitivos particulares que poseen el ‘mismo’ contenido representacional. Se argumenta en este trabajo que esta suposición está en conflicto con el (...) hecho de que actos cognitivos concretos son instancias de ciertos tipos. Bajo la mayoría de las concepciones acerca de lo que funda el hecho de que una pluralidad de objetos comparte la ‘misma’ naturaleza —i. e., acerca de cómo son algo ‘uno’ en lo múltiple— el carácter cualitativo de un objeto está fundado en universales o en alguna otra construcción aceptable para el nominalista. (shrink)

Este trabajo considera el programa de reducción de universales por clases de tropos semejantes. Diversas cuestiones surgen acerca de la relación de semejanza: ¿Presuponen los "respectos" de semejanza un universal? ¿Induce un regres vicioso el hecho de que la relación de semejanza sea una relación? Si hay diferentes respectos de comparación entre tropos, entonces hay espacio para las dificultades tradicionales contra el nominalismo de semejanza: la "comunidad imperfecta" y la "compañía". ¿Pueden ser manejados estos problemas con clases de tropos semejantes? (...) La relación de semejanza requerida es una "semejanza perfecta", esto es, una relación de semejanza transitiva, sin margen para grados y sin variación en los respectos de comparación entre tropos. ¿Hay clases de tropos exactamente semejantes? Después de consideradas estas cuestiones, parece que el defensor de los tropos tiene respuestas para las cuestiones, y, pero parece no haber respuestas plausibles para la cuestión. Las clases de semejanza perfecta que van a reemplazar a los universales deben ser clases de tropos posibles y no hay formas razonables de explicar los hechos modales requeridos para estos tropos.This work considers the program of reduction of universals by classes of resembling tropes. Several questions appear concerning the relation of resemblance: Does not the "respects" for resemblance presuppose a universal? Does not the fact that the relation of resemblance is a relation induce a vicious regress? If there are different respects of comparison between tropes, then there is space for the traditional difficulties against resemblance nominalism: the "imperfect community" and the "companionship" difficulties. Can these problems be handled by classes of tropes? The relation of resemblance required is "perfect resemblance", that is, a relation of resemblance transitive, with no margin for degrees, and with no variation in the respects of comparison between tropes. Are there any perfect resembling tropes? After consideration, it appears that the defender of tropes seems to have answers for the questions, and, but it seems that there are no plausible answers for the question. The classes of exact resemblance that are going to replace the universals should be classes of possible tropes and there are no reasonable ways of explaining the modal facts required for these tropes. (shrink)