Facts and States of Affairs

According to orthodoxy, the most fundamental kind of causation involves one event causing another event. I argue against this event‐causal view. Instead, the most fundamental kind of causation is thing causation, which involves a thing causing a thing to do something. Event causation is reducible to thing causation, but thing causation is not reducible to event causation, because event causation cannot accommodate cases of fine‐grained causation. I defend my view from objections, including C. D. Broad's influential “timing” argument, and I (...) conclude with implications for agent‐causal theories of free will. (shrink)

If possible worlds are conjunctions of states of affairs, as in David Armstrong’s combinatorial theory, then is the empty world to be thought of as the null conjunction of states of affairs? The proposal seems plausible, and has received support from David Efird, Tom Stoneham, and Armstrong himself. However, in this paper, it is argued that the proposal faces a trilemma: either it leads to the absurd conclusion that the actual world is empty; or it reduces to a familiar representation (...) of the empty world in which the concept of a null conjunction plays no role; or it needs to make room for the null individual of certain non-classical mereologies. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. On (...) relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

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)

When and why does awareness of a belief's genealogy render it irrational to continue holding that belief? According to explanationism, awareness of a belief’s genealogy gives rise to an epistemic defeater when and because it reveals that the belief is not explanatorily connected to the relevant worldly facts. I argue that an influential recent version of explanationism, due to Korman and Locke, incorrectly implies that it is not rationally permissible to adopt a “sparse” ontology of worldly facts or states of (...) affairs. I then propose a new explanationist account of genealogical defeat capable of accommodating rational belief in ontological sparsity. According to my account, awareness of a belief’s genealogy gives rise to a defeater when and because it reveals that the belief is not explanatorily connected to its truthmaker. (shrink)

Armstrong famously argued in favour of introducing totality facts in our ontology. Contrary to fully negative (absence) facts, totality facts yield a theory of “moderate” or “partial” negativity, which allegedly provides an elegant solution to the truthmaking problem of negative claims and, at the same time, avoids postulating (many) first-order absences. Friends of totality facts argue that partial negativity is (i) tolerable vis-à-vis the Eleatic principle qua mark of the real, and (ii) achieves a significant advantage in terms of ontological (...) parsimony. But are totality facts, which are partially negative, really more ontologically acceptable than fully negative facts? In this paper, we argue that, comparatively, the case for totality facts is weaker than commonly assumed and that, ultimately, the answer is negative. (shrink)

Truth in a correspondence sense is objective in two ways. It is objective because the relation of correspondence is objective and because the facts to which truths correspond are objective. Truth about artifacts is problematic because artifacts are intentionally designed to perform certain functions, and so are not entirely mind independent. Against this, it is argued in this paper that truth about artifacts is perfectly objective despite the role played by intention and purpose in the production of artifacts.

Some facts are objective. Some facts are subjective. Subjective facts are personal facts about individuals. It is the purpose of this short note to suggest that subjective facts are in fact objective facts about us. This applies not just to facts involving relations to entities that are independent of us, but to our tastes. It is an objective fact about us that we have the tastes that we do though there may be no objective matter of fact that our tastes (...) reflect or fail to reflect. (shrink)

It seems natural to ask why the universe exists at all. Modern physics suggests that the universe can exist all by itself as a self-contained system, without anything external to create or sustain it. But there might not be an absolute answer to why it exists. I argue that any attempt to account for the existence of something rather than nothing must ultimately bottom out in a set of brute facts; the universe simply is, without ultimate cause or explanation.

This article (in Finnish) discusses Seppo Albert Kivinen's (1933-2021) views on identity and existence conditions of universals. Moreover, the article puts the views to larger context.

Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...) for his conclusion. They all draw, as does Hossack's theory of facts, on views Russell expressed in various writings. Two arguments are based on Russell's explanation of universals as aspects of resemblance; the third on Russell's observation that general propositions do not follow logically from exclusively particular premises. Comparison with other metaphysics of generality show them to be wanting and Russell's and Hossack's accounts superior. (shrink)

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

We can only know what determines us as being and by the fact that it determines us as being. Our knowledge is therefore logically limited to what determines us as being. Since representation is defined as the act that makes knowledge dicible, our representation is logically limited to what dynamically determines us as being. Our representation is included in our becoming. Nothing that we represent, no infinite, can exceed the mere necessity of our becoming. The world, my physical being and (...) my consciousness are subsumed by the necessity of my becoming. We know nothing but “we become” To the question "Is there anything else to know?" we can give no logical answer -/- Summary: Reality is pure logical interdependence, immanent, formless, unspeakable. Logos is a principle of order in this interdependence. Individuation is the necessary asymptote of any instance of the Logos. Each knowing subject is Individuation, a mode of order among infinites of infinites of possible modes of order. Everything that appears to the subject as Existing participates in his Individuation. This convergence into Individuation defines a perspective that gives meaning. The subject is representation. It is in this representation that exist the subject, objects and laws of the world. Without subject there are no objects, no laws, no framework. The representation is not isomorphism but morphogenesis. The physical world and the Spirit have the same logical nature: they are categories of representation. The representation is animated because meaning is an Act. Representation is limited by a horizon of meaning. Below this horizon the subject represents the universe and itself. Beyond this horizon there is no prevailing space, time or form. The predicate expresses, below the horizon of meaning, a necessity whose source is beyond this horizon, unfathomable. The OK is neither materialism nor idealism and frees itself from any psychological preconceptions. The OK does not propose an "other reality" than that described by common sense or science, but another mode of representation. The OK is compatible with the current state of science, while offering new interpretive avenues. The OK differs from ontic structural realism (OSR) in various ways: Just like being, the relationship is representation, The knowing subject is present in any representation, the real is non-founded. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text we (...) assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in (...) my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

Here, I lay the foundations of a high-level ontology of particulars whose structuring principles differ radically from the 'continuant' vs. 'occurrent' distinction traditionally adopted in applied ontology. These principles are derived from a new analysis of the ontology of “occurring” or “happening” entities. Firstly, my analysis integrates recent work on the ontology of processes, which brings them closer to objects in their mode of existence and persistence by assimilating them to continuant particulars. Secondly, my analysis distinguishes clearly between processes and (...) events, in order to make the latter abstract objects of thought (alongside propositions). Lastly, I open my ontological inventory to properties and facts, the existence of which is commonly admitted. By giving specific roles to these primitives, the framework allows one to account for static and dynamic aspects of the physical world and for the way that subjects conceive its history: facts account for the life of substances (physical objects and processes), whereas events enable cognitive subjects to account for the life story of substances. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

This work will focus on Józef Maria Bocheński’s inclination towards seeing the world and its logical structure from the point of view of ontology. In section 2, we shall discuss the perception of the world deriving from Bocheński, while in the third section – issues of its logical structure will be dealt with. In section 4, we will present a formal framework of the structure of the world.

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)

In this article I defend a view according to which facts that express metaphysical grounding are grounded in essences of properties involved into a given grounding relationship. To justify this view, first, I present some reasons for a claim that metaphysical grounding is grounded. In the next step I discuss two theories that explain what are the grounds for grounding: a theory that involves a notion of a superinternal relation and a theory that uses a notion of essences of properties. (...) I argue that later theory is preferable over the former. (shrink)

This paper presents a systematic semantic study of constructions with the noun 'case'. It argues that 'cases' are situations acting as truthmakers within a sentential or epistemic case space. It develops a truthmaker-based alternative semantics of 'case'-constructions, based on Fine's recent truthmaker semantics.

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

The present paper identifies a challenge for a certain view of practical reasons, according to which practical reasons (both normative and motivating) are states of affairs. The problem is that those who endorse such a view seem forced to maintain both a) that the contents of beliefs are states of affairs and b) that the conception according to which the contents of beliefs are states of affairs is outlandish. The suggestion is put forward that, by distinguishing the content of a (...) belief (as a proposition) from its object (as a state of affairs), the conflict between a) and b) can be neutralised. The resulting proposal is of interest for all those sharing the view that practical reasons must be states of affairs, i.e., things capable of being the case. (shrink)

This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.

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

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

We argue that if one wishes to be a realist, one should adopt a Neo-Aristotelian ontology involving tropes instead of a Russellian ontology of property universals and objects. Either Russellian realists should adopt the relata-specific relational tropes of instantiation instead of facts, or convert to Neo-Aristotelian realism with monadic tropes. Regarding Neo-Aristotelian realism, we have two novel points why it fares better than Russellian realism. Instantiation of property universals by tropes and characterization or inherence between tropes and objects are more (...) transparent ontological notions than relational inherence, which is assumed in Russellian realism with the relational tropes of instantiation. Neo-Aristotelian realism makes better sense about abstract universals, which are a more viable option than concrete universals. (shrink)

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and that (...) so understood, it is not obscure. This kind of selective use of satisfaction semantics may be feasible in other contexts as a means of making theories more parsimonious. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over competing (...) theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

This paper makes a case that we should believe in the existence of worldly states of affairs.

The purpose of this paper is to propose and defend an absolute principle of truthmaking, a maximalist one according to which every truth is made true by something in the world beyond itself. I maintain that an absolute principle must be true, that any weakened version is straightforwardly contradictory or incoherent. I criticize one principle of truthmaking (in terms of bald necessity) and articulate one in terms of the relation in virtue of. I then criticize other principles of truthmaking in (...) light of the latter, for I contend that in virtue of has a role in the theory of truthmaking that is essential and ineluctable. That all true representations have a truthmaker as defined by the principle I articulate is the absolute principle of truthmaking I defend. The crux of the paper is the arguments I present in defense of this absolute principle. In defending it against familiar objections to maximalism, an account of the truthmakers that seem to ground all true representations emerges. I maintain that such truthmakers are simple facts. With the absolute principle and its corollary account of truthmakers, this paper contains the core of a comprehensive theory of truthmaking. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true by something’s (...) existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)