In this paper, I challenge the distinction between “epistemic” and “ontic” states propounded by Harrigan and Spekkens (Found Phys 40:125–157, 2010) by pointing out that because knowledge is factive, any state that represents someone’s knowledge about a physical system thereby also represents something about the physical system itself, so there is no such thing as “mere knowledge”. This criticism leads to the reformulation of the main question of the debate: instead of asking whether a given state is ontic or epistemic, (...) we should instead ask whether a given change of a state is ontic or epistemic. In particular, in the context of quantum mechanics, one can ask whether the collapse of the quantum state could be understood as an epistemically successful change of the observer’s beliefs about the complete state of the system that is not associated with any change in the physical reality. I argue that the answer to this question should be in the negative because it is possible that, in a series of measurements, the collapse rule tells us to update a certain state to a different one and then back to the same state; if both of these updates are merely changes of our beliefs, then they could not both be epistemically successful. (shrink)

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)

This book investigates a number of central problems in the philosophy of Charles Peirce grouped around the realism of his semiotics: the issue of how sign systems are developed and used in the investigation of reality. Thus, it deals with the precise character of Peirce's realism; with Peirce's special notion of propositions as signs which, at the same time, denote and describe the same object. It deals with diagrams as signs which depict more or less abstract states-of-affairs, facilitating reasoning about (...) them; with assertions as public claims about the truth of propositions. It deals with iconicity in logic, the issue of self-control in reasoning, dependences between phenomena in their realist descriptions. A number of chapters deal with applied semiotics: with biosemiotic sign use among pre-human organisms: the multimedia combination of pictorial and linguistic information in human semiotic genres like cartoons, posters, poetry, monuments. All in all, the book makes a strong case for the actual relevance of Peirce's realist semiotics. (shrink)

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)

Different formal tools are useful for different purposes. For example, when it comes to modelling degrees of belief, probability theory is a better tool than classical logic; when it comes to modelling the truth of mathematical claims, classical logic is a better tool than probability theory. In this paper I focus on a widely used formal tool and argue that it does not provide a good model of a phenomenon of which many think it does provide a good model: I (...) shall argue that while supervaluationism may provide a model of probability of truth, or of assertability, it cannot provide a good model of truth -- supertruth cannot be truth. The core of the argument is that an adequate model of truth must render certain connectives truth-functional (at least in certain circumstances) -- and supervaluationism does not do so (in those circumstances). (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)

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)

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

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.

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (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)

Identifying plausible truthmakers for negative truths has been a serious and perennial problem for truthmaker theory. I argue here that negative truths are indeed made true but not in the way that positive truths are. I rely on a distinction between “existence-independence” and “variation-independence” drawn by Hoffman and Horvath to characterize the unique form of dependence negative truths exhibit on reality. The notion of variation-independence is then used to motivate a principle of truthmaking for contingent negative truths.

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

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)

Le but de cet article est de présenter et d’évaluer la théorie de la fondation de Bernard Bolzano, c’est-à-dire sa théorie du concept exprimé et de la relation mise en jeu par « parce que ». Dans la première partie , le concept de fondation est distingué et mis en relation avec trois autres concepts : le concept de raison épistémique, le concept de causalité et le concept de déductibilité . Dans la seconde partie , je reconstruis la théorie bolzanienne (...) de la fondation sous forme axiomatique et j’en offre une discussion critique.The aim of the paper is to present and evaluate Bernard Bolzano’s theory of grounding, i.e. his theory of the concept expressed and the relation brought into play by ‘because’. In the first part 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 . In its second part Bolzano’s positive account of grounding is reconstructed in axiomatic form and critically discussed. (shrink)

Plenitude, roughly, the thesis that for any non-empty region of spacetime there is a material object that is exactly located at that region, is often thought to be part and parcel of the standard Lewisian package in the metaphysics of persistence. While the wedding of plentitude and Lewisian four-dimensionalism is a natural one indeed, there are a hand-full of dissenters who argue against the notion that Lewisian four-dimensionalism has exclusive rights to plentitude. These ‘promiscuous’ three-dimensionalists argue that a temporalized version (...) of plenitude is entirely compatible with a three-dimensional ontology of enduring entities. While few would deny the coherence of such a position, and much work has been done by its proponents to appease critics, there has been surprisingly little by way of exploring the various forms such an ontology might take as well as the potential advantages of one plenitudinous three-dimensional ontology over another. Here I develop a novel form of plenitudinous three-dimensionalism, what John Hawthorne (Metaphysical essays, 2006a, b) has called “Neo-Aristotelian Plenitude,” and argue that if one is inclined to endorse an abundant three-dimensional ontology, one is wise to opt for a plenitude of accidental unities. (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.

In this paper I critically investigate an unorthodox attempt to metaphysically explain in virtue of what there are states of affairs. This is a suggestion according to which states of affairs exist thanks to, rather than, as is the common view, in spite of, the infinite regress their metaphysical explanation seems to engender. I argue that, no matter in which form it is defended, or in which theoretical framework it is set, this suggestion cannot provide us with the explanation we (...) crave. (shrink)

There are at least three well-known accounts of value and evaluations which assign a central role to emotions. There is first of all the emotivist view, according to which evaluations express or manifest emotional states or attitudes but have no truth values. Second is the dispositionalist view, according to which to possess a value or axiological property is to be capable of provoking or to be likely to provoke emotional responses in subjects characterised in certain ways. Third, there is an (...) epistemology of values that is sometimes invoked by the naïve realist. If the naïve realist is one for whom evaluations are made true by the possession by objects of monadic, mind-independent axiological properties, then one natural question is: What sort of cognitive access do we have to such properties? These value properties, the realist may say, are properties we come to know of by virtue of our emotions. Emotions, he may say, present value properties to us. One variant of this view is the claim that values are the "formal objects" of emotions. Closely related to these claims is the view that our emotions are appropriate to value properties, or not. Indignation and injustice, it is sometimes said, are related in one or more of these three ways. (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)

What makes it true when we say that something is not the case? Truthmaker maximalists think that every truth has a truthmaker—some fact in the world—that makes it true. No such facts can be found for the socalled negative truths. If a proposition is true when it has a truthmaker, then it would be false when it has no truthmaker. I therefore argue that negative truths, such as t<p>, are best understood as falsehoods, f<p>.

Philosophical semantics requires an ontology that includes negative as well as positive states of affairs as truth-makers and truth-breakers. Theories that try to do without negative states of affairs while interpreting propositional truth as positive correspondence with existent states of affairs are inherently inadequate and incomplete. A semantics and ontology of negative states of affairs can also do justice to positive states of affairs, since the iterated negative state of affairs that a negative state of affairs exists describes a positive (...) state of affairs, but the iterated positive state of affairs that a positive state of affairs exists never describes a negative state of affairs. Negative states of affairs are not only essential to semantics, but to a complete description of the world; they include phenomena of presence in absence and the metaphysics of gaps, lacks, holes and interstitia. The conceivability of an empty or null universe as consisting of nothing but negative states of affairs recalls a famous problem of Parmenides. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject to (...) an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Gonzalo Rodriguez-Pereyra (2006) argues against attempts to preserve the entailment principle (or a restriction of it) while avoiding the explosion of truthmakers for necessities and truthmaker triviality. In doing so, he both defends the disjunction thesis--if something makes true a disjunctive truth, then it makes true one of its disjuncts--, and rejects the conjunction thesis--if something makes tue a conjunctive truth, then it makes true each of its conjuncts. In my discussion, I provide plausible counterexamples to the disjunction thesis, and (...) contend that Rodriguez-Pereyra's general defence of it fails. Then I defend the conjunction thesis from Rodriguez-Pereyra's case against it. (shrink)

The correspondence theory of truth is often thought to be supported by the intuition that if a proposition (sentence, belief) is true, then something makes it true. I argue that this appearance is illusory and is sustained only by a conflation of two distinct notions of truthmaking, existential and non-existential. Once the conflation is exposed, I maintain, deflationism is seen to be adequate for accommodating truthmaking intuitions.

After drawing attention to the basic importance of Goodman's workThe Structure of Appearance, this paper turns to a critical analysis of Goodman's claims concerning worldmaking. It stresses that Goodman's acceptance of a multiplicity of actual worlds doesnot involve the belief in an unknowable underlying reality; but that it is due to the non-mysterious fact that constructional systems allow for a multiplicity of disagreeing, right versions. However, from the point of view of truthmaker ontology, most worlds of constructional systems are not (...) genuine worlds; and so far it hasnot been shown that there are genuine truthmaker worlds that disagree.It is suggested that the construction of systems usually involves three conflicting aims: the logical, the ontological, and the psychological. Considering the current interest in cognitive psychology and phenomenology, the implications of the psychological aim, too, deserve to be reexamined. (shrink)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of the (...) issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (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)

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)

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)

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)

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)

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)

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.

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)

RésuméHeinrich Scholz et J.M. Bocheski ont affirmé que les lois de la logique formelle étaient en fait les lois les plus générates qui caractérisent les choses, les propriétés, les relations, les états de choses etc. D'autres confondent la logique et la théorie des ensembles. Mais ľ interpretation des quantificateurs qu'on trouve chez Leśniewski montre que la logique ne fait partie ni de ľ ontologie, ni des mathématiques.

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (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)

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)

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)

Philosophers who accept tropes generally agree that tropes act as the objects of reference of nominalizations of adjectives, such as 'Socrates’ wisdom' or 'the beauty of the landscape'. This paper argues that tropes play a further important role in the semantics of natural language, namely in the semantics of bare demonstratives like 'this' and 'that' in what in linguistics is called identificational sentences.