This essay explores an ideal notion of form (mathematical structure) that embraces logical, phenomenological, and ontological form. Husserl envisioned a correlation among forms of expression, thought, meaning, and object—positing ideal forms on all these levels. The most puzzling formal entities Husserl discussed were those he called ‘manifolds’. These manifolds, I propose, are forms of complex states of affairs or partial possible worlds representable by forms of theories (compare structuralism). Accordingly, I sketch an intentionality-based semantics correlating these four Husserlian levels of (...) form—thereby integrating logic, phenomenology, and ontology. (shrink)

forthcoming in Philosophy and Phenomenological Research.

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

I discuss the relations between God and spatial entities, such as the universe. An example of a relation between God and a spatial entity is the relation,causes. Such relations are, in D.M. Armstrong’s words, ‘realm crossing’ relations: relations between or among spatial entities and entities in the realm of the spatially unlocated. I discuss an apparent problem with such realm crossing relations. If this problem is serious enough, as I will argue it is, it implies that God cannot be the (...) creator of the universe I also discuss that if God cannot be the creator of the universe, then God does not exist. (shrink)

The identity theory of truth, according to which true thoughts are identical with facts, is very hard to formulate. It oscillates between substantive versions, which are implausible, and a merely truistic version, which is difficult to distinguish from deflationism about truth. This tension is present in the form of identity theory that one can attribute to McDowell from his views on perception, and in the conception defended by Hornsby under that name.

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

Sydney Shoemaker has recently given an account of emergent properties according to which emergent properties are a special type of structural property and the determination relation holding between emergent properties and their base properties is one of "mere nomological supervenience." According to Shoemaker, emergent properties are what he calls type-2 microstructural properties, whereas physical properties are type-1 microstructural properties. After highlighting the advantages of viewing emergent properties as a special class of microstructural properties, I show how according to his own (...) causal theory of properties type-2 microstructural properties actually reduce to type-1 microstructural properties, and thus do not truly count as emergent. I then suggest an alternative view according to which emergent properties are actually a third type of microstructural property, one not considered by Shoemaker. I conclude with reflections why we might view the dependence relation between emergent properties and their physical base properties as a causal relation rather than one of mere supervenience. (shrink)

All organised bodies are composed of parts, similar to those composing inorganic nature, and which have even themselves existed in an inorganic state; but the phenomena of life, which result from the juxtaposition of those parts in a certain manner, bear no analogy to any of the effects which would be produced by the action of the component substances considered as mere physical agents. To whatever degree we might imagine our knowledge of the properties of the several ingredients of a (...) living body to be extended and perfected, it is certain that no mere summing up of the separate actions of those elements will ever amount to the action of the living body itself. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

How should physical entities be characterized? Physicalists, who have most to do with the notion, usually characterize the physical by reference to two components: 1. The physical entities are the entities treated by fundamental physics with the proviso that 2. Physical entities are not fundamentally mental (that is, do not individually possess or bestow mentality) Here I explore the extent to which the appeals to fundamental physics and to the NFM (“no fundamental mentality”) constraint are appropriate for characterizing the physical, (...) especially for purposes of formulating physicalism. Ultimately, I motivate and defend a version of an account incorporating both components: The physics-based NFM account: An entity existing at a world w is physical iff (i) it is treated, approximately accurately, by current or future (in the limit of inquiry, ideal) versions of fundamental physics at w, and (ii) it is not fundamentally mental (that is, does not individually either possess or bestow mentality). (shrink)

Our perceptual systems make information about the world available to our cognitive faculties. We come to think about the colors and shapes of objects because we are built somehow to register the instantiation of these properties around us. Just how we register the presence of properties and come to think about them is one of the central problems with understanding perceptual cognition. Another problem in the philosophy of perception concerns the nature of the properties whose presence we register. Among the (...) perceptible properties are colors and shapes, for example, and there is a long philosophical tradition of drawing and refusing to draw metaphysical distinctions between them. This paper makes a claim about the information-theoretic approach to perceptual cognition in order to argue for a fundamentally epistemological distinction between colors and shapes. What makes shapes and colors seem so different to us is how we carry information about their presence around us. In particular, we can come to know more about the shapes on the basis of perceiving them than we can come to know about the colors. One interesting feature of how this distinction is drawn is that it partially vindicates Locke’s claim that our ideas of primary qualities like shapes resemble them in ways our ideas of colors do not. (shrink)

Singularists about causation often claim that we can have experiences as of causation. This paper argues that regularity theorists need not deny that claim; hence the possibility of causal experience is no objection to regularity theories of causation. The fact that, according to a regularity theorist, causal experience requires background theory does not provide grounds for denying that it is genuine experience. The regularity theorist need not even deny that non-inferential perceptual knowledge of causation is possible, despite the fact that (...) such knowledge would sometimes allow us to make inferences about what happens in far-off places and times. (shrink)

In this doctoral dissertation I consider, and reject, the claim that recent varieties of non-reductive physicalism, particularly Donald Davidson's anomalous monism, are committed to a new kind of epiphenomenalism. Non-reductive physicalists identify each mental event with a physical event, and are thus entitled to the belief that mental events are causes, since the physical events with which they are held to be identical are causes. However, Jaegwon Kim, Ernest Sosa and others have argued that if we follow the non-reductive physicalist (...) in denying that mental features can be reduced to physical properties, then we must regard mental properties as being causally irrelevant to their bearers' effects, In short, the non-reductive physicalist is said to be committed to the belief that while there are mental causes, they do not cause their effects in virtue of being the types of mental state that they are. It is in this sense that non-reductive physicalists are thought to represent a new form of epiphenomenalism. After a brief survey of the history of epiphenomenalism, and its mutation into the contemporary strain that is believed to afflict non-reductive physicalism, 1 argue against the counterfactual criterion of the sort of causal relevance that we take mental features to enjoy. I then criticize the 'trope' response to the epiphenomenalist threat, and conclude that much of the current debate on this topic is premised on the mistaken belief that there is some variety of causal relevance that is not simply a brand of explanatory relevance. Once this is seen, it will seem much less plausible that mental properties are excluded from relevance to the phenomena of which we typically take them to be explanatory. (shrink)

According to recent arguments for panpsychism, all physical properties are dispositional, dispositions require categorical grounds, and the only categorical properties we know are phenomenal properties. Therefore, phenomenal properties can be posited as the categorical grounds of all physical properties—in order to solve the mind–body problem and/or in order avoid noumenalism about the grounds of the physical world. One challenge to this case comes from dispositionalism, which agrees that all physical properties are dispositional, but denies that dispositions require categorical grounds. In (...) this paper, I propose that this challenge can be met by the claim that the only dispositional properties we know are phenomenal properties, in particular, phenomenal properties associated with agency, intention and/or motivation. Versions of this claim have been common in the history of philosophy, and have also been supported by a number of contemporary dispositionalists. I will defend a new and updated version of it. Combined with other premises from the original case for panpsychism—which are not affected by the challenge from dispositionalism—it forms an argument that dispositionalism entails panpsychism. (shrink)

Ockham’s Razor advises us to not multiply entities without necessity. Recently, Jonathan Schaffer and Karen Bennett have argued that we ought to replace Ockham’s Razor with the Laser, the principle that only advises us to not multiply fundamental entities without necessity. In this paper, I argue that Ockham’s Razor is preferable to the Laser. I begin by contending that the arguments offered for the Laser by Schaffer and Bennett are unpersuasive. Then I offer two cases of theory assessment that I (...) believe the Razor handles better than the Laser. Finally, I argue that accepting the Laser gives rise to a difficult explanatory challenge: It is difficult to explain why fundamental entities and non-fundamental entities ought to be treated differently in ontological parsimony assessments. A recurring secondary theme of the paper is that the most tempting ways of responding to my arguments frequently result in the Laser losing much of its significance for debates about ontology. Thus, not only is it difficult to defend a preference for the Laser over the Razor, but it is especially difficult to do so while maintaining the Laser’s dialectical significance. (shrink)

Each truth has a truthmaker: an entity in virtue of whose existence that truth is true. So say truthmaker maximalists. Arguments for maximalism are hard to find, whereas those against are legion. Most accept that maximalism comes at a significant cost, which many judge to be too high. The scales would seem to be balanced against maximalism. Yet, as I show here, maximalism can be derived from an acceptable premise which many will pre-theoretically accept.

Mesmo reconhecido por diversos autores recentes como precursor dos modernos conceitos de produtores de verdade e de produção de verdade, nenhum tratamento destes conceitos na obra de Aristóteles ainda foi apresentado. O presente artigo procura fazer uma apresentação introdutória destes conceitos no pensamento do mestre do Liceu através da análise de algumas passagens retiradas de Categorias e da Metafísica, mostrando que o conceito de produtor de verdade é determinado pela noção de estado de coisas e a relação de produção de (...) verdade por meio dos conceitos de fundação ontológica e de dependência ontológica. (shrink)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view faces a (...) contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

Abstract‘Logical Realism’ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ‘One True Logic’; second, that the One True Logic is made true by the mind‐and‐language‐independent world; and third, that the mind‐and‐language‐independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, (...) I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism. (shrink)

I maintain that intrinsic value is the fundamental concept of axiology. Many contemporary philosophers disagree; they say the proper object of value theory is final value. I examine three accounts of the nature of final value: the first claims that final value is non‐instrumental value; the second claims that final value is the value a thing has as an end; the third claims that final value is ultimate or non‐derivative value. In each case, I argue that the concept of final (...) value described is either identical with the classical notion of intrinsic value or is not a plausible candidate for the primary concept of axiology. (shrink)

Humean accounts of laws of nature fail to distinguish between dynamic laws and static initial conditions. But this distinction plays a central role in scientific theorizing and explanation. I motivate the claim that this distinction should matter for the Humean, and show that current views lack the resources to explain it. I then develop a regularity theory that captures this distinction. My view takes empirical accessibility to be one of the primary features of laws, and I identify features laws must (...) have to be empirically accessible. I then argue that laws with these features tend to be dynamic. _1_ The Best System _1.1_ Orthodox Humeanism _2_ The Best Is Not Good Enough _2.1_ Laws and boundary conditions _2.2_ Laws and scientific practice _2.3_ An illustrative example _3_ Laws and Epistemic Roles _3.1_ The epistemic criterion _3.2_ The epistemic role account _3.3_ Scientific virtues _3.4_ Applying the epistemic role account _4_ Conclusion. (shrink)

Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

In this paper, I will defend the thesis that fundamental natural laws are distinguished from accidental empirical generalizations neither by metaphysical necessity, 147–155, 2005, 2007) nor by contingent necessitation. The only sort of modal force that distinguishes natural laws, I will argue, arises from the peculiar physical property of mutual independence of elementary interactions exemplifying the laws. Mutual independence of elementary interactions means that their existence and their nature do not depend in any way on which other interactions presently occur. (...) It is exactly this general physical property of elementary interactions in the actual world that provides natural laws with their specific modal force and grounds the experience of nature’s ‘recalcitrance’. Thus, the modal force of natural laws is explained by contingent non-modal properties of nature. In the second part of the paper, I deal with some alleged counterexamples to my approach: constraint laws, compositional laws, symmetry principles and conservation laws. These sorts of laws turn out to be compatible with my approach: constraint laws and compositional laws do not represent the dynamics of interaction-types by themselves, but only as constitutive parts of a complete set of equations, whereas symmetry principles and conservation laws do not represent any specific dynamics, but only impose general constraints on possible interactions. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

This paper seeks to explicate and analyze an alternative response to fine-tuning arguments from those that are typically given—namely, design or brute contingency. The response I explore is based on necessity, the necessitarian response. After showing how necessity blocks the argument, I explicate the reply I claim necessitarians can give and suggest how its three requirements can be met: firstly, that laws are metaphysically necessary; secondly, that constants are metaphysically necessary; and thirdly, that the fundamental properties that determine the laws (...) and constants are necessary. After discussing each in turn, I end the paper by assessing how the response fares when running the fine-tuning argument in two ways, as an inference to best explanation and as a Bayesian argument. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

According to the well-known Bradley’s Regress argument, one cannot explain the unity of states of affairs by referring to relations combining objects with properties. This argument has been widely discussed within analytic metaphysics, but has not been recognized as relevant for the philosophy of perception. I argue that the mainstream characterization of visual content is threatened by the Bradley’s Regress, and the most influential metaphysical solutions to the regress argument cannot be applied in the context of visual content. However, I (...) show that a proper solution to Bradley’s Regress can be formulated by taking into consideration features of visual content suggested by empirical research in vision science. (shrink)

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

Truthmaker theorists typically claim not only that all truths have truthmakers (Truthmaker Maximalism), but also that there is some enlightening metaphysical theory to be given of the nature of those truthmakers (e.g. that they are Armstrongian states of affairs, or tropes, or concrete individuals). Call this latter thesis the "Material Theory Thesis" (it is the thesis that there is some true material theory of truthmakers). I argue that the Material Theory Thesis is inconsistent with Truthmaker Maximalism.

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)

Alexander Bird (2001; 2002; 2007) offers a powerful argument showing that, regardless of whether necessitarianism or contingentism about laws is true, salt necessarily dissolves in water. The argument is that the same laws of nature that are necessary for the constitution of salt necessitate the solubility of salt. This paper shows that Bird’s argument faces a serious objection if the possibility of emergentism – in particular, C. D. Broad’s account – is taken into account. The idea is (roughly) that some (...) emergent laws in some possible worlds may disrupt the solubility of salt without disrupting its constitution. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes at (...) high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

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)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

According to hardcore actualism (HA), all modal truths are grounded in the concrete constituents of the actual world. In this paper, I discuss some problems faced by HA when it comes to accounting for certain alleged possibilities of non‐existence. I focus particular attention on Leech (2017)'s dilemma for HA, according to which HA must either sacrifice extensional correctness or admit mere possibilia. I propose a solution to Leech's dilemma, which relies on a distinction between weak and strong possibility. It remains (...) the case, however, that HA cannot capture certain iterated de re possibilities of non‐existence and that it is committed to a stock of necessary existents. But I still think that the virtues of the view outweigh these costs. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...) inconsistent. By themselves, however, they are not. The other purpose of this note is to propose some plausible further principles that, when added to the four metaphysical theses, entail a contradiction. (shrink)

Epiphenomenalism is the view that phenomenal properties – which characterize what it is like, or how it feels, for a subject to be in conscious states – have no physical effects. One of the earliest arguments against epiphenomenalism is the evolutionary argument (James 1890/1981; Eccles and Popper 1977; Popper 1978), which starts from the following problem: why is pain correlated with stimuli detrimental to survival and reproduction – such as suffocation, hunger and burning? And why is pleasure correlated with stimuli (...) beneficial to survival and reproduction – such as eating and breathing? According to the argument, the fact that we have these particular correlations and not other ones must have an evolutionary explanation. But given epiphenomenalism, differences in phenomenal properties could not cause differences in fitness, so natural selection would not be expected to favor these correlations over any other ones. Epiphenomenalism thus renders these correlations an inexplicable coincidence, and should therefore be rejected. The evolutionary argument has been widely criticized and few have deemed it cogent (Broad 1925; Jackson 1982; Robinson 2007; Corabi 2014). In this paper, I will consider previous and potential criticisms and conclude some of them are indeed fatal to the argument if it is understood, as it traditionally has been, as an argument for any standard version of non-epiphenomenalism such as physicalism and interactionism. I will then offer a new and improved version of the argument, as an argument for a particular non-epiphenomenalist view, which I will call the phenomenal powers view. This is the view that phenomenal properties produce and thereby (metaphysically) necessitate their effects in virtue of how they feel, or in virtue of their intrinsic, phenomenal character alone – along the lines of C. B. Martin and John Heil’s powerful qualities view (Martin and Heil 1999; Heil 2003). I will argue that the phenomenal powers view explains the correlations given natural selection far better than any other view. It follows that if (and only if) understood as an argument for the phenomenal powers view, the evolutionary argument is far stronger than it is usually thought to be. (shrink)

According to presentism, only the present exists. The view is in a bad dialectical situation since it has to face several objections based on physics and a priori arguments. The view remains nonetheless popular because it is, allegedly, more intuitive than alternative views, namely eternalism (past, present and future entities exist) and no-futurism (only past and present entities exist). In the essay, I shall not discuss whether intuitivity is an accurate criterion for ontological enquiry. I will rather argue that any (...) philosophically acceptable version of presentism entails highly counterintuitive consequences. Indeed, the presentist has to commit herself to substantial claims in order to provide an answer to two problems : the grounding problem and the cross-temporal relations problem. Therefore, if the main motivation for presentism is the willingness to stick with common sense intuitions, presentists should consider endorsing another view about existence in time. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)