Truth pluralists say that there are many ways to be true. Aaron Cotnoir (“Pluralism and Paradox” in: Pedersen and Wright (eds) Truth and pluralism: current debates, Oxford University Press, Oxford, 2013) has suggested a “uniquely pluralist response to the liar”. The basic idea is to maintain that, if a sentence says of itself that it is not true in a certain way, then that sentence is not apt to be true in that way, but is instead apt to be true (...) in a different way. While this is consistent with the basic tenets of truth pluralism, it is an open question whether or not it is amenable to any actual pluralist theory. The primary goal of this paper is to argue that Cotnoir's proposal is amenable to form-based pluralism, rather than domain-based pluralism. In particular, in Section 1, I argue that there are several serious obstacles in the way of the domain-based pluralist who wishes to endorse Cotnoir's proposal; in Section 2, I show how the form-based pluralist can overcome these difficulties. The secondary goal of the paper is to argue that most, if not all, substantivists about truth should find form-based pluralism independently attractive. As such, the possibility of a form-based pluralist solution to the liar is not merely a technical curiosity, but something in which substantivists about truth have a vested interest. (shrink)

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in the philosophy of (...) language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (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)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (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)

Philosophers of perception frequently assume that we see actual states of affairs, or facts. Call this claim factualism. In his book, William Fish suggests that factualism is supported by phenomenological observation as well as by experimental studies on multiple object tracking and dynamic feature-object integration. In this paper, I examine the alleged evidence for factualism, focusing mainly on object detection and tracking. I argue that there is no scientific evidence for factualism. This conclusion has implications for studies on the phenomenology (...) and epistemology of visual perception. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

What I call Mellor’s Question is the problem of whether determinables are properties of their determinates or properties of the particulars that possess these determinates. One can distinguish two basic competing theories of determinables that address the issue, implicitly if not explicitly. On the second-order theory, determinables are second-order properties of determinate properties; on the second-level theory, determinables are first-order properties of the particulars with these determinate properties. Higher-order properties are prima facie ontologically uneconomical, and in line with my general (...) view that ontological parsimony is vital to metaphysics, I consider it highly important which of the two theories is true. Firstly, I argue that the second-level theory offers the best explanation of the explananda (though the race is close), including the important but neglected phenomenon of ‘intermediate determinables’. Secondly, by paying attention to intermediate determinables and instantiation of higher-order properties, I argue that the second-level theory also is more ontologically economical. For these two reasons, this theory is preferable. (shrink)

This paper motivates and defends a principle which captures a systematic connection between essence, truth, and grounding. It says that if a proposition expresses an essential truth, i.e., if it is true in virtue of the nature of some objects, then there are grounds for its truth which involve these objects. Together with the assumption that a fact can only be grounded in facts which are relevant to it, this principle is then applied in an argument against the monotonicity of (...) the Essentialist notion ‘true in virtue of the nature of’. (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)

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)

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)

A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, an additional (...) three theorems are defended based upon Ginsberg’s modified theorems. Also, a brief introduction is given discussing Ginsberg’s pioneering role as part of the Lvov-Warsaw school—in spite of her being murdered by the Nazis in 1942—especially her role as the first commentator on Husserl’s third logical investigations, which is a pioneering work on mereology and ontology; but also her later publication from 1931 where she developed several notions of ontological dependence (for instance foreshadowing the work of Roman Ingarden as well as Kit Fine). (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.

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)

Recent metaphysics has seen a surge of interest in grounding—a relation of non-causal determination underlying a distinctive kind of explanation common in philosophy. In this article, I investigate the connection between grounding and another phenomenon of great interest to metaphysics: ontological dependence. There are interesting parallels between the two phenomena: for example, both are commonly invoked through the use of “dependence” terminology, and there is a great deal of overlap in the motivations typically appealed to when introducing them. I approach (...) the question of the relationship between grounding and ontological dependence through an investigation of their modal connections. I argue, firstly, that on the common assumption that grounding is factive, it can be shown that no known variety of rigid ontological dependence is either necessary or sufficient for grounding. I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence. I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic ontological dependence. I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary both for factive and non-factive grounding. However, justifying even these fairly weak modal connections between grounding and ontological dependence turns out to require some quite specific and substantive assumptions about the two phenomena that have only rarely been discussed. (shrink)

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.

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte a las (...) proposiciones de una teoría y por otra parte al dominio de objetos al que esas proposiciones se refieren. Este ensayo presenta una perspectiva sistemática del punto de vista husserliano sobre estos temas tal como él lo expone en sus Investigaciones Lógicas. Se muestra la manera en que su teoría de los significados lingüísticos en tanto especies de actos mentales, su ontología formal de la parte, el todo y la dependencia, su teoría de las categorías significativas, y su teoría de la intuición categorial combinada con su teoría de la ciencia conforman un todo singular. Finalmente, este trabajo explora la forma en que las ideas de Husserl sobre estos temas pueden ser reactivadas para resolver problemas en la filosofía del lenguaje, la lógica y la matemática de un modo que haga justicia al rol de la actividad mental en cada uno de estos dominios, evitando al mismo tiempo caer en los problemas del psicologismo. (shrink)

The notion of perceptual content is commonly introduced in the analysis of perception. It stems from an analogy between perception and propositional attitudes. Both kinds of mental states, it is thought, have conditions of satisfaction. I try to show that on the most plausible account of perceptual content, it does not determine the conditions under which perceptual experience is veridical. Moreover, perceptual content must be bipolar (capable of being correct and capable of being incorrect), whereas perception as a mental state (...) is not (if it is veridical, it is essentially so). This has profound consequences for the epistemological view that perception is a source of knowledge. I sktech a two-level epistemology which is consistent with this view. I conclude that the analogy between perception and propositional attitudes, from which the notion of perceptual content is born, may be more misleading than it is usually thought. (shrink)

This collection maintains a dialogue between the analytic and continental traditions, while aspiring to situate itself beyond the analytic-continental divide. It divides into four parts, Methodologies, Truth and Meaning, Metaphysics and Ontology, and Values, Personhood and Agency, though there is considerable overlap among the categories. History and temporality are recurrent themes, but there is a lot of metaphysics generally, with some philosophy of language, philosophy of social science, ethics, political philosophy and epistemology. Less prominent is a pragmatic, deflationary attitude, and (...) at a number of points I argue for the virtues of such an approach. (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.

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 note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, in (...) order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

Husserlian Essentialism is the view, maintained byEdmundHusserl throughout his career, that necessary truths obtain because essentialist truths obtain. In this thesis I have two goals. First, to reconstruct and flesh out Husserlian Essentialism and its connections with surrounding areas of Husserl's philosophy in full detail – something which has not been done yet. Second, to assess the theoretical solidity of the view. As regards the second point, after having presented Husserlian Essentialism in the first two chapters, I raise a serious (...) problem for it in Chapter 3. In the remainder of the thesis I endeavour to solve the problem. In order to do so, I propose to amend both Husserl's theory of essence and his theory of predication. The bulk of the emendation consists in working out an account of essence and an account of predication that do not presuppose, or in any way imply, the claims that: 1) for a universal to be in the essence of an object, either the object or one of its parts must instantiate the universal; 2) for a universal to be truly predicated of an object, either the object or one of its parts must instantiate the universal. These claims, notice, apart from being what gets Husserl in trouble, are well entrenched not only in Husserl's, but in most theories of essence and predication. It is thus interesting to see what an alternative option may be – even regardless of the Husserlian setting in which I work it out. (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 title of this paper reflects the fact truthmaking is quite frequently considered to be expressive of realism. What this means, exactly, will become clearer in the course of our discussion, but since we are interested in Armstrong’s work on truthmaking in particular, it is natural to start from a brief discussion of how truthmaking and realism appear to be associated in his work. In this paper, special attention is given to the supposed link between truthmaking and realism, but it (...) is argued that this link should not be taken too seriously, as truthmaking turns out to be, to a large extent, ontologically neutral. Some consequences of this are studied. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there is no reason to exempt negative (...) truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (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.

Cet ouvrage est consacre a l'etude de la distinction linguistique entre noms massifs (lait, mobilier, desordre, amour...) et noms comptables (chat, equipe, combat, chose...). Les premiers sont normalement invariables, tandis que les seconds s'emploient librement au singulier et au pluriel. Apres avoir etabli qu'il s'agit bien d'une distinction morpho-syntaxique, l'ouvrage discute la possibilite de caracteriser semantiquement cette distinction. Les recherches existantes ne tiennent compte, essentiellement, que des noms s'appliquant au domaine materiel. Ce travail, au contraire, examine en detail aussi bien (...) les noms concrets qu'abstraits. Il propose de redefinir les proprietes souvent attribuees aux noms massifs (references distributive et cumulative), grace, notamment, a une nouvelle notion de partie. Concernant les noms comptables, il montre qu'aucune propriete purement semantique n'est necessaire pour qu'un nom soit de ce type. L'ouvrage se termine par l'analyse des conversions (emplois massifs des noms comptables, et vice versa), et du role qu'y jouent les facteurs pragmatiques. (shrink)

This volume consists of the invited papers presented at the 23rd International Wittgenstein Conference held in Kirchberg, Austria in August 2000. Among the topics treated are: truth, psychologism, science, the nature of rational discourse, practical reason, contextualism, vagueness, types of rationality, the rationality of religious belief, and Wittgenstein. Questions addressed include: Is rationality tied to special sorts of contexts? ls rationality tied to language? Is scientific rationality the only kind of rationality? Is there something like a Western rationality? and: Could (...) we genetically engineer human beings to be less wicked? (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 ontological theory of the later Franz Brentano is often referred to as ‘reism.’ But what exactly is reism, and how is it related to modern-day nominalism? In this paper, I offer an interpretation of Brentano’s reism as a specific variety of nominalism. This variety, although motivated by distinctly modern concerns about truthmakers, adopts a strategy for providing such truthmakers that is completely foreign to modern nominalism. The strategy rests on proliferation of coincident concrete particulars. For example, ‘Socrates is wise’ (...) and ‘Socrates is Greek’ are made true, respectively, by wise-Socrates and Greek-Socrates, where wise-Socrates and Greek-Socrates are two coinciding but numerically distinct concrete particulars (which also coincide with Socrates). (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former (...) are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots. (shrink)

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its (...) primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (shrink)

This paper is concerned with the relation between two important metaphysical notions, ‘truthmaking’ and ‘grounding’. I begin by considering various ways in which truthmaking could be explicated in terms of grounding, noting both strengths and weaknesses of these analyses. I go on to articulate a problem for any attempt to analyze truthmaking in terms of a generic and primitive notion of grounding based on differences we find among examples of grounding. Finally, I outline a more complex view of how truthmaking (...) and grounding could relate. On the view explored, truthmaking is a species of grounding differentiated from other species of grounding by the unique form of dependence it involves. (shrink)

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

For the sake of explaining the merits of a Leśniewski type nominalism, it should be made clear what is meant by „nominalism” and what the characteristics of this special type of nominalism are. To the first question we can find quite a lot of mutually inconsistent answers. Therefore I will just explain the distinction between two different nominalistic traditions which I hold to be fundamental. I think we should not just focus on the question which so-called abstract entities are rejected (...) but as well look for basic entities nominalists rely on. (shrink)

It is argued that the distinction between the normative and the descriptive interpretation of norm sentences can be regarded as a distinction between two kinds of utterances. A norm or a directive has as its content a normative proposition. A normative utterance of a normative proposition in appropriate circumstances makes the proposition true, and an assertive utterance has as its truth-maker the norm system to which it refers. This account of norms, norm-contents, and utterances of norm sentences solves Jørgensen's problem: (...) logical relations among norms can be defined in the usual way in terms of the truth-conditions of the normative propositions which form their content. There is no distinction between the logic of norms and the logic of normative propositions; in this respect the present account differs from Carlos Alchourrón and Eugenio Bulygin's account of the logic of normative propositions. Se argumenta que la distinción entre la interpretación normativa y la descriptiva de las oraciones normativas puede ser considerada como una distinción entre dos tipos de emisiones. Una norma o directiva tiene como su contenido una proposición normativa. Una emisión normativa de una proposición normativa en circunstancias apropiadas hace verdadera la proposición y es el sistema de normas al que se refiere una emisión asertiva el que la hace verdadera. Esta concepción de normas, contenidos de normas y emisiones de oraciones normativas resuelve el problema de Jörgensen: las relaciones lógicas entre normas pueden ser definidas de manera usual en términos de las condiciones de verdad de las proposiciones normativas que forman su contenido. No hay diferencia alguna entre la lógica de normas y la lógica de proposiciones normativas; en este aspecto la presente concepción difiere de la concepción de la lógica de proposiciones normativas de Carlos Alchourrón y Eugenio Bulygin. (shrink)

The theory of speech acts put forward by Adolf Reinach in his "The A Priori Foundations of the Civil Law" of 1913 rests on a systematic account of the ontological structures associated with various different sorts of language use. One of the most original features of Reinach's account lies in hIs demonstration of how the ontological structure of, say, an action of promising or of commanding, may be modified in different ways, yielding different sorts of non-standard instances of the corresponding (...) speech act varieties. The present paper is an attempt to apply this idea of standard and modified instances of ontological structures to the realm of judgement and cognition, and thereby to develop a Reinachian theory of how intentionality is mediated through language in acts of thinking and speaking. (shrink)