After indicating why this is needed, the paper proves a non-triviality result for paraconsistent theory containing arithmetic, naive truth and denotation predicates, and descriptions. The result is obtained by dualising a construction of Kroon. Its most notable feature is that there is a trivial object- one that has every property.

Presentism is usually understood as the thesis that only the present exists whereas the rival theory of eternalism is usually understood as the thesis that past, present, and future things are all equally real. The significance of this debate has been threatened by the so-called triviality objection, which allegedly shows that the presentist thesis is either trivially true or obviously false: Presentism is trivially true if it is read as saying that everything that exists now is present, and (...) it is obviously false if read as saying that everything that has existed, exits or will exist is present. If eternalism is taken as the negation of presentism, it is also either trivially false or obviously true. In this paper, I try to respond to the triviality objection on behalf of presentism. In second section, I will examine how the argument proceeds. In third section, I will reflect on three possible ways to respond but will argue that none of them succeeds in giving a satisfactory solution. I will then try to clarify the core idea of presentism and to suggest that if we characterise presentism accurately, the problem will disappear. In fourth section, I will offer a plausible definition of presentism and will show how it can avoid the triviality objection and demonstrate why it is advantageous to accept the version of presentism I offer. (shrink)

In this paper we examine the thesis that the probability of the conditional is the conditional probability. Previous work by a number of authors has shown that in standard numerical probability theories, the addition of the thesis leads to triviality. We introduce very weak, comparative conditional probability structures and discuss some extremely simple constraints. We show that even in such a minimal context, if one adds the thesis that the probability of a conditional is the conditional probability, then one (...) trivializes the theory. Another way of stating the result is that the conditional of conditional probability cannot be represented in the object language on pain of trivializing the theory. (shrink)

According to physicalism, everything is physical, namely there are no entities (or no more restricted sorts of entities) that are not physical. In this paper, I shall examine the truth of this thesis by presenting a triviality objection against physicalism that is somehow similar to the one advanced against presentism. Firstly, I shall distinguish between two different definitions of the physical (roughly, every entity is physical-1 iff it has some feature F, such as impenetrability or exact spatio-temporal location, (...) while every entity is physical-2 iff it is accepted by some ideal, true and complete physical theory) and between unrestricted and restricted versions of physicalism (according to the former ones, physicalism is true for every entity while, according to the latter ones, it is true only with regard to some restricted domain of entities). Secondly, I shall argue that physicalists have to deal with six different problems: the triviality of some versions of physicalism, the content-indeterminacy of the physical and the justification of the “faith” according to which we will formulate some ideal, true and complete physical theory (given the definition of the physical-2), the restricted domain problem (so that restricted versions of physicalism seem not to exclude the existence of seemingly non-physical entities), the (possible and plausible) incompatibility between the two different definitions of the physical, the extension of the physical investigation problem. (shrink)

The thesis that probabilities of conditionals are conditional probabilities has putatively been refuted many times by so-called ‘triviality results’, although it has also enjoyed a number of resurrections. In this paper I assault it yet again with a new such result. I begin by motivating the thesis and discussing some of the philosophical ramifications of its fluctuating fortunes. I will canvas various reasons, old and new, why the thesis seems plausible, and why we should care about its fate. I (...) will look at some objections to Lewis’s famous triviality results, and thus some reasons for the pursuit of further triviality results. I will generalize Lewis’s results in ways that meet the objections. I will conclude with some reflections on the demise of the thesis—or otherwise. (shrink)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. (...) I first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. (...) I then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

The aesthetic appreciation of both art and nature is often, in fact, judged to be more – and less – serious. For instance, both natural objects and art objects can be hastily and unthinkingly perceived, and they can be perceived with full and thoughtful attention. In the case of art, we are better equipped to sift the trivial from the serious appreciation; for the existence of a corpus, and a continuing practice, of criticism of the arts – for all their (...) internal disputatiousness – furnishes us with relevant criteria. In the case of nature, we have far less guidance. Yet it must matter, there too, to distinguish trivial from serious encounters. When we seek to defend areas of “outstanding natural beauty” against depredations, it matters greatly what account we can give of the appreciation of that beauty: how its value can be set alongside competing and vociferously promoted values involved in industry, commerce and urban expansion. If we wish to attach very high value to the appreciation of natural beauty, we must be able to show that more is involved in such appreciation than the pleasant, unfocused enjoyment of a picnic place, or a fleeting and distanced impression of countryside through a touring-coach window, or obligatory visits to standard viewpoints or snapshot-points.That there is much work to be done on this subject is of course due to the comparative neglect of natural beauty in recent and fairly recent aesthetics. (shrink)

In this article, I argue that desire-satisfaction theories of well-being face the problem of trivially satisfied desires. First, I motivate the claim that desire-satisfaction theories need an aggregation principle and reconstruct four possible principles desire-satisfactionists can adopt. Second, I contend that one of these principles seems implausible on numerous counts. Third, I argue that the other three principles, which hold that the creation and satisfaction of new desires is good for individuals and can be called proliferationist, are vulnerable to an (...) objection from trivially satisfied desires. They implausibly imply that forming desires that are trivially satisfied is good for individuals. Finally, I argue that trivially satisfied desires may also worsen desire-satisfactionism's classical problem of pointless desires. Together, these claims constitute a challenge to desire-satisfactionism. (shrink)

The paper examines Derek Parfit’s claim that naturalism trivializes the agent’s practical argument and therefore abolishes the normativity of its conclusion. In the first section, I present Parfit’s charge in detail. After this I discuss three possible responses to the objection. I show that the first two responses either fail or are inconclusive. Trying to avoid Parfit’s charge by endorsing irreductionist naturalism is not a solution because this form of naturalism is metaphysically untenable. Non- descriptive naturalism, on the other (...) hand, does not answer the pressing concern behind Parfit’s charge. I conclude that we had better turn to the third response: Peter Railton’s vindicatory reductionism. However, I also argue that naturalism can only avoid triviality in this way if it is able to respond to further challenges concerning the vindication of the reduction it proposes. Hence, though not a knockdown argument as it is intended to be, Parfit’s charge can still pose a threat to naturalist accounts of normativity. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (in (...) a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

Functionalism has become one of the predominant theories in the philosophy of mind, with its many merits supposedly including its capacity for precise formulation. The most common method to express this precise formulation is by means of the modified Ramsey sentence. In this article, I will apply work from the field of the philosophy of science to functionalism for the first time, examining how Newman’s objection undermines the Ramsey sentence as a means of formalising functionalism. I will also present (...) a formal variation on Newman’s objection through mathematical induction. Together, these proofs suggest that functionalism formalised by the Ramsey sentence trivially reduces to a kind of behaviourism plus a cardinality constraint on the number of relations holding between mental-relevant behaviours. As most functionalists see functionalism as a distinct theory of mind from behaviourism, this suggests that the modified Ramsey sentence cannot form a satisfactory formalism for functionalism. (shrink)

The simple proposal for a characterization of general term rigidity is in terms of sameness of designation in very possible world. Critics like Schwartz (2002) and Soames (2002) have argued that such a proposal would trivialize rigidity for general terms. Martí (2004) claims that the objection rests on the failure to distinguish what is expressed by a general term and the property designated. I argue here against such a response by showing that the trivialization problem reappears even if one (...) pays attention to such a distinction. (shrink)

In this paper, the Author reviewed the typical objections against the claim that brains are computers, or, to be more precise, information-processing mechanisms. By showing that practically all the popular objections are based on uncharitable interpretations of the claim, he argues that the claim is likely to be true, relevant to contemporary cognitive science, and non-trivial.

David Wallace has given a decision-theoretic argument for the Born Rule in the context of Everettian quantum mechanics. This approach promises to resolve some long-standing problems with probability in EQM, but it has faced plenty of resistance. One kind of objection charges that the requisite notion of decision-theoretic uncertainty is unavailable in the Everettian picture, so that the argument cannot gain any traction; another kind of objection grants the proof’s applicability and targets the premises. In this article I (...) propose some novel principles connecting the physics of EQM with the metaphysics of modality, and argue that in the resulting framework the incoherence problem does not arise. These principles also help to justify one of the most controversial premises of Wallace’s argument, ‘branching indifference’. Absent any a priori reason to align the metaphysics with the physics in some other way, the proposed principles can be adopted on grounds of theoretical utility. The upshot is that Everettians can, after all, make clear sense of objective probability. 1 Introduction2 Setup3 Individualism versus Collectivism4 The Ingredients of Indexicalism5 Indexicalism and Incoherence5.1 The trivialization problem5.2 The uncertainty problem6 Indexicalism and Branching Indifference6.1 Introducing branching indifference6.2 The pragmatic defence of branching indifference6.3 The non-existence defence of branching indifference6.4 The indexicalist defence of branching indifference7 Conclusion. (shrink)

The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...) an observer choosing to view it as such. According to one view, which we dub bold anti-realist pancomputationalism, every physical object (can be said to) computes every computer program. According to another, more modest view, some computational systems can be ascribed multiple computational descriptions. We argue that the first view is misguided, and that the second view need not entail observer-relativity of computation. At least to a large extent, computation is an objective phenomenon. Construed as a form of information processing, we argue that information-processing considerations determine what type of computation takes place in physical systems. (shrink)

The claim that similarity plays a role in representation has been philosophically discredited. Psychologists, however, routinely analyse the success of mental representations for guiding behaviour in terms of a similarity between representation and the world. I provide a foundation for this practice by developing a philosophically responsible account of the relationship between similarity and representation in natural systems. I analyse similarity in terms of the existence of a suitable homomorphism between two structures. The key insight is that by restricting attention (...) to only those homomorphisms induced by causal processes, we can solve two philosophical problems with a single assumption. First, causal structure provides an adequate source for the bias required to ensure the similarity relation is non-trivial; second, it provides an adequate source for the directionality required to move from similarity to representation. I defend this account against objections by Goodman and van Fraassen and demonstrate that it is indeed the account of similarity’s role in representation assumed by psychological practice. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

In this paper, I will defend a strategy for employing perfect being theology that Jeff Speaks calls “restriction strategy.” In Section I, I will outline what the restriction strategy is and explicate Speaks’s objection to it. In Section II, I will propose a response to Speaks’s objection. In Section III, the response will be refined to avoid objections. My contention will be that this refined version of perfect being theology avoids Speaks’s objection, and therefore can help theists (...) find what divine attributes God has. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:How Philosophers Trivialize Art: Bleak House, Oedipus Rex, "Leda and the Swan"Michael D. HurleyIIt is a Perverse but unsurprising irony that answers to the question of whether art can give us knowledge characteristically trivialize that which draws us to individual artworks in the first place. The experience of art is sidelined in favor of the apparent after-effect of that experience. Even those writing against each other tend to converge (...) on this. In an essay contesting Nelson Goodman's epistemic claims for art, Gordon Graham nonetheless agrees that, "The question to be asked of such a work is not, 'Does this effectively capture the scene portrayed?', but 'Does this make us see this sort of occasion differently?'"1 Even attempts to distinguish art as "gift" as opposed to commodity predictably figure its value in terms of what might be taken away: "I went to see a landscape painter's works, and that evening, walking among pine trees near my home, I could see the shapes and the colors I had not seen the day before."2This state of affairs is perversely ironic for two reasons. Firstly, because the possibility of art's cognitive content is only prompted at all by the immediate experience it offers: without this, art would not excite us the way it does and there would be no debate to be had. Secondly, and more significantly, because a defining part of what constitutes an interest in art is, I should like to suggest, an experience of knowledge; or, more accurately, an experience of knowing. This irony is unsurprising because it is merely another expression of a recalcitrant prejudice in western epistemology that idealizes knowledge as an objectively true, justified belief—perforce excluding the possibility of knowing as a subjective [End Page 107] experience of believing. No wonder the author of Theætetus elsewhere finds poets incapable of offering anything but lies.Plato's lingering legacy assures that the cognitive content of art be assized according to what might be extracted from the artwork—cashed in like so many casino chips—when we are done with our experience of it. This applies whether the knowledge-bearing being argued for, or against, is conceptual or propositional (e.g., Putnam, Novitz, John),3 or imaginative (e.g., Goodman, Robinson, Currie),4 as well as for the claim that art can offer us moral instruction (e.g., Beardsmore, Eldridge, Nussbaum, Sharpe, Kieran, John).5 There is less consensus as to whether the capacity of art to give us knowledge enriches the aesthetic value of that artwork, but those who would advance this position have been on the back-foot in recent years following a wave of criticisms from, among others, Beardsley, Lamarque and Olsen, Diffey, and Gaut.6This article addresses art's capacity to give us knowledge as well as the conjunct of whether such knowledge might inform its value qua art. In so doing, it presses a case that has already been disallowed by the terms in which the question of the relationship between art and knowledge is typically put. Whatever efferent knowledge art might offer, it also provides the conditions for a kind of knowing that cannot be translated beyond itself. Only such an experience of knowledge-as-knowing, which is realized through the untranslatable singularity of an artwork, may be considered constitutive of art's aesthetic value. Couched another way: epistemology meets aesthetics not where it has most often been located, in the perfective, at the congruence of the thought and the felt, but in the present continuous, in the engagement of thinking and feeling. Connecting the epistemic and the aesthetic in this way is, then, exactly the opposite proposition to that presented by Douglas Morgan, for whom, "although many words in many arts can and do give us knowledge of many kinds, nonetheless if this knowledge were the key and limit to the love of art, the world of art would be even sorrier than it now is."7IILiterature has generated by far the greatest volume of commentary in the debate on art and knowledge. This is to be expected given the bias towards categorizing knowledge as something like data... (shrink)

The identity of indiscernibles states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a number of (...) well-known and recent objections to the PII. (shrink)

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

The language of mathematics speaks of objects. This is a rather trivial statement; it is not certain that we can conceive any developed language that does not. What is of interest is that, taken at face value, mathematical language speaks of objects distinctively mathematical in character: numbers, functions, sets, geometric figures, and the like. To begin with they are distinctive in being abstract.

Can we feel emotions about abstract objects, assuming that abstract objects exist? I argue that at least some emotions can have abstract objects as their intentional objects and discuss why this conclusion is not just trivially true. Through critical engagement with the work of Dacher Keltner and Jonathan Haidt, I devote special attention to awe, an emotion that is particularly well suited to show that some emotions can be about either concrete or abstract objects. In responding to a possible (...) class='Hi'>objection, according to which we can only feel emotions about things that we take to matter to our flourishing, and thus cannot feel emotions about causally inefficacious abstract objects, I explore how abstract objects can be relevant to human flourishing and discuss someemotions other than awe that can be about abstract objects. I finish by explaining somereasons why my conclusion matters, including the fact that it presents a challenge to perceptual theories of emotion and causal theories of intentionality. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

This is a copy of my DPhil thesis, the abstract for which is as follows: The first third of this thesis argues for a B-theoretic conception of time according to which all times exist equally and the present is in no way privileged. I distinguish "ontological" A-theories from "non-ontological" ones, arguing that the latter are experientially unmotivated and barely coherent. With regard to the former, I focus mainly on presentism. After some remarks on how to formulate this (and eternalism) non-trivially, (...) I review the non-relativistic case against presentism. I then consider the impact of Special Relativity on the debate, and attempt to deepen this impact by supplying a modal variation on the standard arguments. The middle third of the thesis investigates persistence, contending that both endurance and perdurance are consonant with the eternalism already endorsed. After introducing these theories of persistence, and discussing in particular how best to formulate an eternalist endurance, I proceed to defend the coherence of this combination. The Problem of Change is addressed here. I then respond in some detail to recent allegations of relativistic threats to endurance. The final third of the thesis questions the validity of the endurantist-perdurantist dispute. I criticize two recently proposed translation schemes that aim to show this dispute to be non-substantive. However, the second scheme suggests a doctrine of "Ontological Equivalence" which I develop and consider. I then address the Rotating Discs Argument, using this to launch a discussion of identity, genidentity, and the relationship between them. (shrink)

In this paper I am concerned with the problem of applying the notion of rigidity to general terms. In Naming and Necessity, Kripke has clearly suggested that we should include some general terms among the rigid ones, namely, those common nouns semantically correlated with natural substances, species and phenomena, in general, natural kinds -'water', 'tiger', 'heat'- and some adjectives -'red', 'hot', 'loud'. However, the notion of rigidity has been defined for singular terms; after all, the notion that Kripke has provided (...) us with is the notion of a rigid designator. But general terms do not designate single individuals: rather, they apply to many of them. In sum, the original concept of rigidity cannot be straightforwardly applied to general terms: it has to be somehow redefined in order to make it cover them. As is known, two main positions have been put forward to accomplish that task: the identity of designation conception, according to which a rigid general term is one that designates the same property or kind in all possible worlds, and the essentialist conception, which conceives of a rigid general term as an essentialist one, namely, a term that expresses an essential property of an object. My purpose in the present paper is to defend a particular version of the identity of designation conception: on the proposed approach, a rigid general term will be one that expresses the same property in all possible worlds and names the property it expresses. In my opinion, the position can be established on the basis of an inference to the best explanation of our intuitive interpretation and evaluation, relative to counterfactual circumstances, of statements containing different kinds of general terms, which is strictly analogous to our intuitive interpretation and evaluation, relative to such circumstances, of statements containing different kinds of singular ones. I will argue that it is possible to offer a new solution to the trivialization problem that is thought to threaten all versions of the identity of designation conception of rigidity. Finally, I will also sketch a solution to the so-called 'over-generalization and under-generalization problems', both closely related to the above-mentioned one. (shrink)

The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. We argue that (...) acceptance of the first rule leads to the claim that the rule ex contradictione sequitur quodlibet is invalid in classical logic. The second rule does not recognize the fact that objects might be similar to one an-other due to various features. (shrink)

Structural realists claim that we should endorse only what our scientific theories say about the structure of the unobservable world. But according to Newman’s Objection, the structural realist’s claims about unobservables are trivially true. In recent years, several theorists have offered responses to Newman’s Objection. But a common complaint is that these responses “give up the spirit” of the structural realist position. In this paper, I will argue that the simplest way to respond to Newman’s Objection is (...) to return to one of the standard motivations for adopting structural realism in the first place: the No Miracles Argument. Far from betraying the spirit of structural realism, the solution I present is available to any theorist who endorses this argument. (shrink)

There are two ways of reading Newman’s objection to Russell’s structuralism. One assumes that according to Russell, our knowledge of a theory about the external world is captured by an existential generalization on all non-logical symbols of the theory. Under this reading, our knowledge amounts to a cardinality claim. Another reading assumes that our knowledge singles out a structure in Russell’s (and Newman’s) sense: a model theoretic structure that is determined up to isomorphism. Under this reading, our knowledge is (...) far from trivial, for it amounts to knowledge of the structure of the relations between objects, but not their identity. Newman’s objection is then but an expression of structural realism. Since therefore the content of theories is described by classes of structures closed under isomorphism, the most natural description of a theory in structural realism is syntactic. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

I shall begin with the assumption that there are, among our mental acts. some which stand in direct contact with ohjects in the material world. The aim of this paper will he to clarify and to draw out certain implications of this somewhat trivial assumption, and ultimately to say something about the ontological structure of those of our acts which effect the function of bringing us into contact with material acts which serve. as we might say, as the most external (...) points of consciousness which touch the objects consciousness is trying to grasp. Amongst material objects I shall include not only material things such as tables. (shrink)

One of the objections against the thesis of underdetermination of theories by observations is that it is unintelligible. Any two empirically equivalent theories — so the argument goes—are in principle intertranslatable, hence cannot count as rivals in any non-trivial sense. Against that objection, this paper shows that empirically equivalent theories may contain theoretical sentences that are not intertranslatable. Examples are drawn from a related discussion about incommensurability that shows that theoretical non-intertranslatability is possible.

In a recent article in this journal, Abram Brummett argues that new and future assisted reproductive technologies will provide challenging ethical questions relating to lesbian, gay, bisexual and transgender (LGBT) persons. Brummett notes that it is likely that some clinicians may wish to conscientiously object to offering assisted reproductive technologies to LGBT couples on moral or religious grounds, and argues that such appeals to conscience should be constrained. We argue that Brummett's case is unsuccessful because he: does not adequately interact (...) with his opponents’ views; equivocates on the meaning of ‘natural’; fails to show that the practice he opposes is eugenic in any non‐trivial sense; and fails to justify and explicate the relevance of the naturalism he proposes. We do not argue that conscience protections should exist for those objecting to providing LGBT people with artificial reproductive technologies, but only show that Brummett's arguments are insufficient to prove that they should not. (shrink)

In this paper, I analyse the issue of conscientious objection in relation to cosmetic surgery. I consider cases of doctors who might refuse to perform a cosmetic treatment because: (1) the treatment aims at achieving a goal which is not in the traditional scope of cosmetic surgery; (2) the motivation of the patient to undergo the surgery is considered trivial; (3) the patient wants to use the surgery to promote moral or political values that conflict with the doctor's ones; (...) (4) the patient requires an intervention that would benefit himself/herself, but could damage society at large. (shrink)

Frege’s puzzling remarks on the beginning of On Sense and Reference challenge us to explain how true identity sentences of the form a = a can differ in cognitive value from sentences of the form a = b when they are made true by the same object’s self-identity. Some philosophers (e.g. Almog, Glezakos and Paganini) suggest that the puzzle cannot be set up in the context of natural languages since natural sentences, unlike those of regimented formal ones, do not wear (...) their logical properties on their sleeves. In this paper we argue that, on the contrary, there exists a notion of coordination between names which is apt to track the relevant logical properties of natural sentences and therefore to set up the puzzle in natural languages. Frege’s puzzle is here to stay. (shrink)

Tyler Andrew Wunder, in his article, “Alvin Plantinga on Paul Draper’s evolutionary atheology: implications of theism’s non-contingency,” argues that Plantinga makes a serious error regarding probabilities in his critique of Draper. Properly modified, Wunder believes the argument “works,” but only in a trivial sense. This paper argues that Wunder’s objection, based on an assumed probability calculus, is merely asserted; whereas, there are other competing axiomatic systems consistent with Plantinga’s treatment of probability. As to the modified argument, it is demonstrated (...) that Wunder mistakenly concludes that two key propositions are contradictory. The consequence of this is not that Plantinga’s argument “works” in a trivial sense, but rather that the argument becomes incoherent. Lastly, this paper will explore the consequences of both Wunder’s and Plantinga’s assumptions concerning conditional probability for Draper’s evidentiary argument and Plantiga’s Evolutionary Argument Against Naturalism. (shrink)

On an influential view, Newton's mechanics is built into Kant's very theory of exact knowledge. However, Newtonian dynamics had serious explanatory limits already known by 1750. Thus, we might worry that Kant's Analytic is too narrow to ground enough exact knowledge. In this paper, I draw on Enlightenment dynamics to show that Kant's notion of determinate objecthood is sufficiently broad, non-trivial, and still relevant to the present.

In lieu of an abstract, here is a brief excerpt of the content:Can The Psychopathologized Speak?Notes on Social Objectivity and Psychiatric ScienceAwais Aftab*, MD (bio)In "Exclusion of Psychopathologized Standpoints Due to Hermeneutical Ignorance Undermines Psychiatric Objectivity" (2022), Bennett Knox offers a compelling argument that failure of psychiatric community to engage with the "psychopathologized" in processes such as the revision of the Diagnostic and Statistical Manual of Mental Disorders (DSM) constitutes a form of epistemic injustice and threatens the social objectivity of (...) psychiatric science. I find myself in agreement with the central thesis and I am glad to see it articulated so well by Knox. While it is clear that the exclusion of psychopathologized standpoints in psychiatric science cannot be justified, there are issues that arise that require further clarification, and may generate disagreements, when we consider the complexities of how this inclusion is to take place, what requirements can be imposed on this process of inclusion, and the relationship between the DSM and psychiatric science broadly when it comes to social objectivity.The Methodological Objectivity of the DSM Does Not Exhaust the Methodological Objectivity of Psychiatric ScienceThe DSM is a nosological project within a particular historical context, operating with a certain set of assumptions (Aftab & Ryznar, 2021). The DSM has limitations in terms of what sorts of perspectives it can meaningfully incorporate, but the limitations of the DSM are not the limitations of psychiatric science. This is because psychiatric science is a pluralistic domain and includes many different methodologies and perspectives (Jerotic & Aftab, 2021). As one example, the DSM is poorly equipped to capture the phenomenology of psychiatric conditions. It is not something that it sets out to do. This, however, only becomes a serious problem if we adopt the attitude "if it's not in the DSM then it doesn't really count." Unfortunately, many in the psychiatric community have [End Page 267] adopted this sort of attitude, at least implicitly, resulting in a serious neglect of phenomenology (and various other perspectives, including those of the psychopathologized), leading Nancy Andreasen to bemoan the "death of phenomenology." (Andreasen, 2007) The DSM is methodologically limited by design; there are things that it will fail to do. The appropriate response is to acknowledge these inherent limitations. Other perspectives such as neurodiversity or Hearing Voices Movement also bring their own sets of assumptions and limitations. The DSM is simply one element, one perspective, one methodology in a scientific field that is capable of and ought to adopt a plurality of perspectives and methodologies. This is worth pointing out because Knox appears to assume that if it proves difficult or impossible for the DSM to include radically diverse perspectives, then "all the worse for psychiatry's objectivity." If it is impossible for the DSM, that does not mean that it is also impossible for psychiatric science.1In Determining What Counts as Inappropriate Exclusion, What Is the Role of Scientific Expertise?Longino herself brings up this question: "in determining what counts as inappropriate exclusion of dissenting perspectives, does it matter what kind of issue is involved? Are the duties of inclusion different when the question is, Should we be trying to learn about such and such, for example, atomic fission? than when it is, Is atomic fission a controllable or uncontrollable process?" (Longino, 2002, p. 133) The danger that needs to be averted here is that of trivializing expertise and placing experts on an equal footing with non-experts, a danger that is strikingly illustrated by our social response to the coronavirus disease 2019 pandemic.Take an example from medicine. Individuals with lung cancer have a lot to offer when it comes to the treatment of lung cancer, including their experiences of care, and choice of, say, aggressive chemotherapy vs palliative comfort care, etc. but how much do they have to contribute on the matter of the histopathological classification of lung cancer? Consider the Hierarchical Taxonomy of Psychopathology (HiTOP) (Kotov et al., 2021). This quantitative nosological project has a very specific aim: to determine the patterns of covariation among psychiatric symptoms using statistical techniques such as factor analysis. This... (shrink)

Functionalism in sociology has recently come under the critical scrutiny of philosophers of science who, by extending their analyses of the physical sciences, have attempted to examine its scientific credentials and resolve some of its basic methodological difficulties. These analyses, however, have tended to raise more problems than they solve and, in the process, they have sought to either trivialize or refute one of the main features of functionalism, viz., its teleology.

This paper aims to reconstruct a possible answer to the classical Newman’s objection which has been used countless times to argue against structural realism. The reconstruction starts from the new strand of structural realism – informational structural realism – authored by Luciano Floridi. Newman’s objection had previously stated that all propositions which comprise the mathematical structures are merely trivial truths and can be instantiated by multiple models. This paper examines whether informational structural realism can overcome this objection (...) by analysing the previous attempts to answer this objection, attempts which either try to save the Ramseyfication of mathematical propositions or give up on it. The informational structural realism way is to attempt a third way, the neo-Kantian way inspired by the work of Ernst Cassirer, but also to change the formalism from a mathematical to an informational one. This paper shows how this original combination of neo-Kantianism, informational formalism and the method of levels of abstraction provide the tools to overcome Newman’s objection. (shrink)

Art museums are built to elicit a wide variety of feelings, emotions, and moods from their visitors. While these effects are primarily achieved through the artworks on display, museums commonly deploy numerous other affect-inducing resources as well, including architectural solutions, audio guides, lighting fixtures, and informational texts. Art museums can thus be regarded as spaces that are designed to influence affective experiencing through multiple structures and mechanisms. At face value, this may seem like a somewhat self-evident and trivial statement to (...) make. However, in this article, I argue that niche construction theory enables us to make several illuminating observations about the ways in which art museums are engineered to influence our feelings. To expound on this claim, I single out for discussion the Museum of Non-Objective Painting, which for its entire lifespan (1939–52)—and prior to its evolution into the Solomon R. Guggenheim Museum—was expressly organized to kindle in its visitors a special, spiritual form of aesthetic experience: a liberating feeling of cosmic rhythm and order, no less. -/- The argument will proceed as follows: In Part 1, I introduce the basics of niche construction theory and specify the sense in which I apply it to museums and aesthetic affective experiencing. In Part 2, I outline the origins and ethos of the Museum of Non-Objective Painting, after which I pin down the type of affective experience it fostered by drawing from visitors’ self-reported reactions to the artworks on display. Then, in Part 3, I use niche construction theory to explain how the Museum consciously fashioned itself, by means of various mutually supportive resources and technologies, into a fertile setting for the specified feelings. Finally, in Part 4, I extend beyond the discussed case to assess the implications of niche construction theory for a broader understanding of how art museums make us feel. In other words, by tracing the early steps of the Museum of Non-Objective Painting towards the present-day Guggenheim, I call attention to the general variation in affective niches as regards their structure, technologies, and affective aims. Overall, the article elucidates the functioning of art museums as affective niches and furthers the conceptual development of niche construction theory in aesthetics. (shrink)

We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order theories and P is non-trivial over the set of finitely axiomatizable theories , then P is undecidable. This not only means that the problem of deciding properties of first-order theories is as hard as the problem of deciding properties about languages accepted by Turing machines, but also offers a general setting for proving (...) several undecidability results in first-order theories. (shrink)

This belongs to a symposium about Crispin Wright's Truth\nand Objectivity. Wright entertains the "possibility of a\npluralist view of truth." I suggest that this should not\nentail ambiguity in the word "true." For truth to amount to\ndifferent things for different kinds of subject matter no\nmore entails ambiguity than does the fact that existence\namounts to different things for different kinds of entity.\nTurning to cognitive command, I argue that it is trivially\nsatisfied: if I judge that p and you disagree, then under\nsuitable conditions I must (...) take it that something is wrong\nwith your cognitive mechanisms. (shrink)

Telic egalitarianism is famously threatened by the levelling down objection. In its canonical form, the objection purports to show that it is not, in itself, an improvement if inequality is reduced. In a variant that is less often discussed, the objection is that telic egalitarians are committed to believing that sometimes one ought to reduce inequality, even when doing so makes no one better off. The standard egalitarian response to this ‘all things considered’ variant of the levelling (...) down objection is to embed egalitarianism in a pluralist consequentialist moral theory. In section 1, I briefly recapitulate this familiar strategy. In section 2, I argue that this standard pluralist consequentialist response is inadequate. The inadequacy of the standard response, I argue, stems from the fact that the following are jointly inconsistent: (1) a commitment to levelling down's impermissibility; (2) standard pluralist egalitarian consequentialism; (3) inequality being of non-trivial importance; and (4) the most plausible measures of inequality's badness. In section 3, I show that egalitarians can better respond to the all-things-considered levelling down objection by embedding egalitarianism in a nonconsequentialist moral theory. (shrink)