For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

European Journal of Philosophy, EarlyView.

In the third chapter of his major work, the Controversy over the Existence of the World, Roman Ingarden discusses four varieties of dependence entities might exhibit. The aim of this essay is to explore these varieties and to put the claims Ingarden makes concerning them on a rigorous footing.

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...) formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications. (shrink)

There is currently an explosion of interest in grounding. In this article we provide an overview of the debate so far. We begin by introducing the concept of grounding, before discussing several kinds of scepticism about the topic. We then identify a range of central questions in the theory of grounding and discuss competing answers to them that have emerged in the debate. We close by raising some questions that have been relatively neglected but which warrant further attention.

Theories of truthmaking have been introduced quite recently in epistemology. Having little to do with truth serums, or truths drugs, their concern is to define truth in terms of a certain relation between truthbearers and truthmakers. Those theories make an attempt to remedy what is supposed to be lacking in classical theories of truth, especially in Alfred Tarski’s semantic theory.

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why one knows when one does know. I (...) argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

In this paper I argue that there are in fact external relations in Russell’s sense. The level at which we are forced to acknowledge them is, however, not the level of relations between concrete individual objects. All relations of this kind, which I will call “inter-individual” relations, can be construed as supervenient on the monadic properties of their terms. But if we pursue our ontological analysis a little bit deeper and consider the internal structure of a concrete individual, then we (...) will inevitably find irreducible external relations. I mean for example the relation of instantiation (in the frame of a realist’s theory) or that of concurrence (in the frame of a trope theory). I will show that such “intra-individual” relations – the relations that make up the internal structure of a concrete individual out of more primitive metaphysical “building blocks” like universals or tropes – could not (even in principle) be construed as supervenient. (shrink)

Résumé -/- Dans son premier livre (Philosophie de l’arithmétique 1891), Husserl élabore une très intéressante philosophie des mathématiques. Les concepts mathématiques sont interprétés comme des concepts de « deuxième ordre » auxquels on accède par une réflexion sur nos opérations mentales de numération. Il s’ensuit que la vérité de la proposition : « il y a trois pommes sur la table » ne consiste pas dans une relation mythique quelconque avec la réalité extérieure au psychique (où le nombre trois doit (...) être exemplifié de quelque manière), mais bien dans le fait que les pommes sur la table peuvent être dénombrées correctement en tant qu’elles sont au nombre de trois. Nous avons affaire ici à une position « antiréaliste » fondant la vérité mathématique non pas dans un monde platonicien, mais bien sur le concept de rectitude de nos opérations formelles. -/- Abstract -/- In his first book (Philosophy of Arithmetic 1891) Husserl develops a very interesting philosophy of mathematics. Mathematical concepts are interpreted as « second order » concepts gained by reflection on our mental operations of counting. Accordingly the truth of the proposition « There are three apples on the table » consists not in any mythical relation to the extra-mental reality (where the number three should be somehow exemplified), but rather in the fact that the apples on the table can be correctly counted as three. We have here an « anti-realist » position grounding the mathematical truth not in platonic realms, but rather in the concept of correctness of our formal operations. (shrink)

The truth-making principle is one of the main subjects in contemporary meta- physics, and this paper is an elementar exposition of the main issues of the on-going debate. I will proceed as follows. First, I will expose the basics, including the principle’s range, the main kinds of truth-making, the main interpretations of the principle, and some applications. Second, I will expose some technical issues about ontological commitment, reification, necessity, reality, and truth.

Truth-makers are the dark matter of metaphysics. On the one hand, truth-makers seem obvious and necessary: if there are truths then there must be something that makes these truths true. On the other hand, it’s proven difficult to say exactly what these truth-makers are. Even defenders disagree about what sort of entity truth-makers are or whether all truths have truth-makers. Skeptics have questioned whether truth-makers are actually so obvious and necessary, or even whether they exist at all. Here I offer (...) an account of this unhappy state of affairs and a modest proposal. First, I argue that not only are there no good arguments for truth-makers but it’s unlikely that there ever will be. Second I point to how much can be done without resorting to truth-makers in the first place: they are not as essential as often assumed. Finally, I conclude that we needn’t jettison the concept of truth-makers entirely. Understood in a modest and pragmatic spirit we can hold on to truth-makers while recognizing their inherent limitations. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

There is a traditional theistic doctrine, known as the doctrine of divine simplicity, according to which God is an absolutely simple being, completely devoid of any metaphysical complexity. On the standard understanding of this doctrine—as epitomized in the work of philosophers such as Augustine, Anselm, and Aquinas—there are no distinctions to be drawn between God and his nature, goodness, power, or wisdom. On the contrary, God is identical with each of these things, along with anything else that can be predicated (...) of him intrinsically. (shrink)

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential part of traditional philosophical theology, it is now widely rejected as incoherent. In this paper, I develop an interpretation of the doctrine designed to resolve contemporary concerns about its coherence, as well as to show precisely what is required to make sense of divine simplicity.

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles about (...) entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

17th-century Iberian and Italian scholastics had a concept of a truthmaker [verificativum] similar to that found in contemporary metaphysical debates. I argue that the 17th-century notion of a truthmaker can be illuminated by a prevalent 17th-century theory of truth according to which the truth of a proposition is the mereological sum of that proposition and its intentional object. I explain this theory of truth and then spell out the account of truthmaking it entails.

Twardowski'sOn the Content and Object of Presentations(1894) is one of the most influential works that Austrian philosophy has left to posterity. The manuscriptLogik(1894–1895) supplements that work and allows us to reconstruct Twardowski's theory of judgement. These texts raise several issues, in particular whether Twardowski accepts propositions and states of affairs in his theory of judgement and whether his theory is acceptable. This article presents Twardowski's theory, shows that he accepts states of affairs, that he has a notion of proposition, and (...) that his theory is interesting and sophisticated. (shrink)

The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the ‘nature’, if any, of truth. The latter concerns itself largely with logic, particularly logical issues arising from the truth-theoretic paradoxes. Where, if at all, do these two paths meet? It may seem, and it is all too often assumed, that they do not meet, or at best touch in only incidental ways. It is (...) often assumed that work on the metaphysics of truth need not pay much attention to issues of paradox and logic; and it is likewise assumed that work on paradox is independent of the larger issues of metaphysics. Philosophical work on truth often includes a footnote anticipating some resolution of the paradox, but otherwise tends to take no note of it. Likewise, logical work on truth tends to have little to say about metaphysical presuppositions, and simply articulates formal theories, whose strength may be measured, and whose properties may be discussed. In practice, the paths go their own ways. Our aim in this paper is somewhat modest. We seek to illustrate one point of intersection between the paths. Even so, our aim is not completely modest, as the point of intersection is a notable one that often goes unnoticed. We argue that the ‘nature’ path impacts the logic path in a fairly direct way. What one can and must say about the logic of truth is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth. In particular, when it comes to saying what the well-known Liar paradox teaches us about truth, background conceptions — views on ‘nature’ — play a significant role in constraining what can be said. This paper, in rough outline, first sets out some representative ‘nature’ views, followed by the ‘logic’ issues (viz., paradox), and turns to responses to the Liar paradox. What we hope to illustrate is the fairly direct way in which the background ‘nature’ views constrain — if not dictate — responses to the main problem on the ‘logic’ path.. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (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)

Truthmaker theorists often express their core commitment by saying that truth is grounded in being, and grounding theorists often take truthmaking to be a paradigm case of grounding. But I will argue that truthmaking is not a case of grounding. What is crucial for understanding truthmaking is not grounding but rather meaning (in a broad sense including reference). Truth is still constrained by how things are, so even if (so‐called) truthmakers don't play a role in grounding truths, the methodological program (...) of truthmaker theory survives. Here I lay out my understanding of truth and truthmaking, and distinguish two conceptions of grounding. I argue that truthmaking is not plausibly seen as a case of grounding on either conception. I argue further that treating truthmaking as grounding threatens to violate a plausible irreflexivity principle, and makes trouble for the view that grounding is transitive. I then suggest that there is no genuine relation of truthmaking (which there would have to be if it were a true case of grounding). Finally, I show how the core insights of truthmaker theory are preserved by the understanding of truthmaking that I favor. (shrink)

I argue that deflationary theories of truth reveal an important lesson for the broader theory of truth: although the notion of truthmaking has played an essential role in many traditional theories of truth, it can be separated from and survive the rejection of substantive theories of truth. I argue that many of the traditional substantive theories of truth are unified in defining truth in terms of the ontological grounds that are needed to account for truth. Deflationists reject the idea that (...) a theory of truth needs such metaphysical implications, but in so doing they need not rule out the possibility of developing an independently motivated theory of truthmaking. I argue that deflationists can and should embrace truthmaker theory, once it is shorn from its connection to the traditional project of defining truth. (shrink)

This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of truthmaking, and not by (...) any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory can (...) make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

The aim of the paper is to present and evaluate Bolzano's theory of grounding, that is, his theory of the concept expressed and the relation brought into play by 'because'. In the first part of the paper (Sections 1-4) the concept of grounding is distinguished from and related to three other concepts: the concept of an epistemic reason}, the concept of causality, and the concept of deducibility (i.e., logical consequence). In its second part (Sections 5-7) Bolzano's positive account of grounding (...) is reconstructed in axiomatic form and critically discussed. (shrink)

This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is (...) shown that, as long as a logic is sound and complete, its inferential structure will be isomorphic to the necessitation structure of our metaphysics. We thus arrive at a purely structural logic–world relationship which can be used for metaphysical investigations. Other products of our investigation are a sound and complete semantics for first-order logic with identity and a solution to a result of Restall which has threatened to make truthmaker theory trivial. (shrink)

The topic of this paper is the perception of properties. It is argued that the perception of properties allows for a distinction between the sense of the identity and the sense of the qualitative nature of a property. So, for example, we might perceive a property as being identical over time even though it is presented as more and more determinate. Thus, you might see an object first as red and then as crimson red. In this case, the property is (...) perceived as identical over time, even though the sense of the qualitative nature (the redness, the crimson redness) of the property is changing. The distinction between the sense of identity and the sense of quality is explicated in terms of perceiving a particular property, a trope, and perceiving it as an instance of a universal. It is subsequently argued that the perceived tropes cannot constitute the phenomenal character of the perceptual experience. (shrink)

According to the “truthmaker maximalism”, every true contingent proposition is made true by something in the world, called its truthmaker. Although at first sight the maximalism seems to be a natural position, it has serious difficulties, especially concerning negative truths. In view of this, many truthmaker theorists adopt some non-maximalist position. It is not clear, however, whether these non-maximalists are justified, since existing reasons to justify the non-maximalism are not good enough. In this paper, then, I shall propose a new (...) reason for the non-maximalism, which consists in the observation that the maximalism cannot acknowledge the widely accepted view that certain inferences involving logical constants are valid in the properly logical sense. (shrink)

ld English manors have their ghosts. And though I would not want to call analytic philosophy a ‘manor’, nor exactly ‘old’, it certainly is of some decent English origin, and it left adolescence a while ago. No wonder then, that it is not exempt from haunting terrors. One particular spectre has been haunting it for decades; it already gave some analytic pioneers the creeps, and we still now and then find people terrified by it: the ghost of old Bradley has (...) not yet found its rest and keeps on threatening people with his notorious regress. The present essay is a lecture in exorcism; much of the fear old Bradley spread, so I will argue, peters out once we dare to look it in the eye. However, this essay is not primarily exegetical, and especially not an attempt in interpreting Bradley. I find Bradley’s writings, to say the least, not particularly accessible. Discussions of isolated passages from his longer treatises will probably be less fruitful than a careful study of the positions within the whole argumentative structure, supplied by the examination of Bradley’s intellectual upcoming. His treatments on relations and properties, in which he develops the famous regress argument, are motivated by a radical goal: a vindication of some form of monism. To reach this goal, he tries to deconstruct the most basic categories of our ordinary conceptual framework. Thus, he holds that.. (shrink)

The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...) objects. (shrink)

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)

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)

To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are called 'dependence structures', or (...) in other words by certain complex concrete portions of reality between the parts of which relations of dependence are defined. Principles governing such dependence-structures are laid down, principles of an ontologically motivated sort which serve as basis for a topological semantics conceived as an altemative to standard set-theoretic approaches to semantics of the Tarskian sort. These principles are then used to resolve certain puzzles generated by the (semantically motivated) theory of events put forward by Davidson. (shrink)