In recent years there has been a lot of skepticism about the existence of facts. It seems that one of the last places for their application is in truthmaking theory. In this paper I discuss two approaches to the use of facts in truthmaking. The first, categorial, holds that facts are entities that belong to one of three ontological categories (true propositions, truth of propositions, instantiations of universals).The second, deflationary, holds that a fact is merely a functional concept denoting any (...) entity that performs a truthmaking function. I argue that in the face of significant criticism of categorial facts as truthmakers, a defender of facts may resort to the deflationary concept. Nevertheless, even in this case we can do without facts as truthmakers. (shrink)

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond to (...) parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

The idea that what we perceive are tropes (abstract particulars) is anything but new. In fact, it was one of the reasons why the ontology of tropes was postulated in the first place. Still, the claim that we perceive tropes is invariably and purely based on pre-philosophical intuitions or, indirectly, as a supporting argument for the advantages of the content view when compared to the relational view of experience. In this paper, I take the content view for granted and argue (...) in favor of what is herein referred to as the trope-content view of experience. My defense is a case of inference to the best explanation. The trope-content view can meet all reasonable desiderata on the experience and its content without assuming gaps or making the ad hoc assumption that there are different layers of content, or so shall I argue. (shrink)

Representationalists hold that perceptual experience is a conscious representational state with content, something which is accurate or inaccurate in certain conditions. The most common version of Representationalism takes perceptual content to be singular in the object-place and otherwise consisting of attribution of properties (Singularism/Attributionism). Schellenberg has recently developed a version on which perceptual content is singular even in the property-place in containing a de re mode of presentation of a property-instance (Particularism). In this paper, I show that Particularism faces a (...) version of the problem of the Unity of Perceptual Content. Namely, its supporters haven’t told us how objects can be bound together with property-instances into a content such that it represents them and has accuracy-conditions. Furthermore, I argue that Particularists face an in-principle obstacle in solving it. In contrast, Attributionists can solve the problem and that establishes their view as the only game in town. (shrink)

This paper discusses a recent puzzle concerning the notions of boundary parthood and dependence, and offers a new solution. The puzzle was originally presented by Jeroen Smid and successively elaborated upon by Claudio Calosi. I first reformulate some of the troublesome premises. Particularly, whereas Smid and Calosi discuss the puzzle in terms of an underspecified notion of dependence, I propose to construe it in terms of the notion of grounding. In this manner, the dependence relation inherently carries an asymmetry, and (...) we can effectively utilize its four places. The solution I advance precisely takes advantage of this feature of dependence. My proposal avoids the contradiction while still respecting the intuitions driving the original premises. It is also fully compatible with boundaries being only generically dependent on their wholes. (shrink)

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)

The paper proposes a simple method for constructing ontological theories—an ‘ontology generator’. It shows that such a generator manages to produce major existing ontological theories, e.g., Realism, Nominalism, Trope theory, Bundle theory, Perdurantism, Endurantism, Possibilism, Actualism and more. It thus turns out, surprisingly, that all these seemingly unrelated different ontological theories that were designed by thinkers hundreds of years apart, can all be generated using the same simple mechanism. Moreover, this same generator manages to produce entirely novel ontological theories, that (...) fare no worse than existing ones in meeting the same common metaphysical challenges. (shrink)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (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.

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

In a 2014 paper in this journal, I put forward two objections to a version of divine simplicity I call ‘Divine Truthmaker Simplicity’. James Beebe and Timothy Pawl have come to Divine Truthmaker Simplicity’s defense. In this paper, I respond to Beebe and Pawl, consider an overlooked way of defending Divine Truthmaker Simplicity, and conclude by outlining an alternative account of God’s simplicity.

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (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)

2020 update of the entry "Properties".

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)

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)

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)

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)

Some Austro-German philosophers considered thoughts to be mind-dependent entities, that is, psychic products. Yet these authors also attrib- uted “objectivity” to thoughts: distinct thinking subjects can have mental acts with “qualitatively” the same content. Moreover, thoughts, once built, can exist beyond the life of their inventor, “embodied” in “documents”. At the beginning of the 20th century, the notion of “psychic product” was at the centre of the debates on psychologism; a hundred years later, it is rather at the margins of (...) the history of philosophy. While Twardowski’s theory of products has been fre- quently studied, those of Stumpf and the late Husserl have been much less dis- cussed. A presentation of the Austro-German debates about psychic products is all the more important since these discussions might be of direct interest for contemporary philosophy of mind and epistemology. This paper examines the Austro-German notion of psychic products in Stumpf, Twardowski, and the later Husserl. (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)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

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)

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted for in (...) terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics. (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.

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)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

Truths require truthmakers, many think. In this paper I will discuss the scope of this requirement. Truthmaker maximalism is the claim that, necessarily, all truths require truthmakers. I shall argue against this claim. I shall argue against it on the basis of its implications. I shall first consider its implications when applied to synthetic, contingent propositions. If the truthmaker requirement applies to these propositions, so I shall argue, it is not possible for there to be nothing, and it is not (...) possible for any (possibly) accompanied entity to exist on its own. I shall then consider its implications when applied to modal propositions, specifically those concerning possible existence. I shall argue that if the truthmaker requirement applies to such propositions, then there can be no relation which is equivalent to metaphysical explanation, which – I shall suggest – amounts to a denial of the existence of grounding. (shrink)

It is widely accepted that if a property is essential then it is necessary. Against this I present numerous counterexamples from biology and chemistry, which fall into two groups: (I) A property is essential to a genus or species, yet some instances of this genus or species do not have this essential property. (II) A property is essential to a genus, yet some species of this genus do not have this essential property. I discuss and reject four minor objections. Then (...) I discuss in depth whether a distinction between constitutive essence and consequential essence is able to handle these counterexamples. I conclude that this distinction is better put as one between (1) the essence, which is necessary, and (2) the essential properties, which are not formally necessary. An essence of an object X is the substantial universal expressed by its real definition. An object X has a property P essentially iff the property P is explanatory and non-trivial, and P follows from the essence of X. (shrink)

I review Sandra Lapointe (ed.) "Themes from Ontology, Mind, and Logic: Present and Past – Essays in Honour of Peter Simons".

I shall first set out the main lines of Meinong’s account then look at the theo- ries of dependence and possibility on which it is based. Finally I consider some applications of the theory, most of which are at least hinted at by Meinong.

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

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 metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

The resemblance nominalist says that the truthmaker of 〈Socrates is white〉 ultimately involves only concrete particulars that resemble each other. Furthermore he also says that Socrates and Plato are the truthmakers of 〈Socrates resembles Plato〉, and Socrates and Aristotle those of 〈Socrates resembles Aristotle〉. But this, combined with a principle about the truthmakers of conjunctions, leads to the apparently implausible conclusion that 〈Socrates resembles Plato and Socrates resembles Aristotle〉 and 〈Socrates resembles Plato and Plato resembles Aristotle〉 have the same truthmakers, (...) namely, Socrates, Plato and Aristotle. I shall argue that the resemblance nominalist can say that those conjunctions have the same truthmakers but these truthmakers make them true in different ways. I shall also use this view to account for the truthmakers of propositions like 〈Socrates is white〉, and respond to previous objections by Cian Dorr and Jessica Wilson. (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)

An old paper of mine (in Finnish) on the "similarity" of quantity tropes. See "Quantity Tropes and Internal Relations", "Kinds of Tropes without Kinds" and "The Ontological Form of Tropes" for more updated version of our theory.

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 seventeenth-century scholastic attempt to restrict the truthmaker principle to positive truths.

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)

The aim of this paper is to motivate and then defend a restricted version of the truth-maker theory. In defending such a theory I hope to do away with the perceived need for ‘negative existents’ such as totality facts and the like.