In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

In a recent paper , Urbaniak and Cieśliński describe an analogue of the Yablo Paradox, in the domain of formal provability. Just as the infinite sequence of Yablo sentences inherit the paradoxical behavior of the liar sentence, an infinite sequence of sentences can be constructed that inherit the distinctive behavior of the Gödel sentence. This phenomenon—the transfer of the properties of self-referential sentences of formal mathematics to their “unwindings” into infinite sequences of sentences—suggests a number of interesting logical questions. The (...) purpose of this paper is to give a precise statement of a conjecture from Cieśliński and Urbaniak regarding the unwinding of the Rosser sentence, and to demonstrate that this precise statement is false. We begin with some preliminary motivation, introduce the conjecture against the background of some related results, and finally, in the last section, move on to the proof, which adapts a method used by Solovay and Guaspari. (shrink)

In this paper, I present a class of ‘structural’ abstraction principles, and describe how they are suggested by some features of Cantor's and Dedekind's approach to abstraction. Structural abstraction is a promising source of mathematically tractable new axioms for the neo-logicist. I illustrate this by showing, first, how a theorem of Shelah gives a sufficient condition for consistency in the structural setting, solving what neo-logicists call the ‘bad company’ problem for structural abstraction. Second, I show how, in the structural setting, (...) we can measure the logical strength of abstraction principles using categories of interpretations between theories. (shrink)

Russell’s paradox is purely logical in the following sense: a contradiction can be formally deduced from the proposition that there is a set of all non-self-membered sets, in pure first-order logic—the first-order logical form of this proposition is inconsistent. This explains why Russell’s paradox is portable—why versions of the paradox arise in contexts unrelated to set theory, from propositions with the same logical form as the claim that there is a set of all non-self-membered sets. Burali-Forti’s paradox, like Russell’s paradox, (...) is portable. I offer the following explanation for this fact: Burali-Forti’s paradox, like Russell’s, is purely logical. Concretely, I show that if we enrich the language \ of first-order logic with a well-foundedness quantifier W and adopt certain minimal inference rules for this quantifier, then a contradiction can be formally deduced from the proposition that there is a greatest ordinal. Moreover, a proposition with the same logical form as the claim that there is a greatest ordinal can be found at the heart of several other paradoxes that resemble Burali-Forti’s. The reductio of Burali-Forti can be repeated verbatim to establish the inconsistency of these other propositions. Hence, the portability of the Burali-Forti’s paradox is explained in the same way as the portability of Russell’s: both paradoxes involve an inconsistent logical form—Russell’s involves an inconsistent form expressible in \ and Burali-Forti’s involves an inconsistent form expressible in \. (shrink)

It’s well known that it’s possible to extract, from Frege’s Grudgesetze, an interpretation of second-order Peano Arithmetic in the theory  HP2, whose sole axiom is Hume’s principle. What’s less well known is that, in Die Grundlagen Der Arithmetic §82–83 Boolos (2011), George Boolos provided a converse interpretation of HP2 in PA2 . Boolos’ interpretation can be used to show that the Frege’s construction allows for any model of PA2 to be recovered from some model of HP2. So the space (...) of possible arithmetical universes is precisely characterized by Hume’s principle. -/- In this paper, I show that a large class of second-order theories admit characterization by an abstraction principle in this sense. The proof makes use of structural abstraction principles, a class of abstraction principles of considerable intrinsic interest, and categories of interpretations in the sense of Visser (2003). (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along (...) with its current and projected pedagogical applications. (shrink)

Frege’s Basic Law V and its successor, Boolos’s New V, are axioms postulating abstraction operators: mappings from the power set of the domain into the domain. Basic Law V proved inconsistent. New V, however, naturally interprets large parts of second-order ZFC via a construction discovered by Boolos in 1989. This paper situates these classic findings about abstraction operators within the general theory of F-algebras and coalgebras. In particular, we show how Boolos’s construction amounts to identifying an initial F-algebra in a (...) certain category, we identify a natural coalgebraic dual to Boolos’s axiom which naturally interprets large parts of Aczel’s non-well-founded set theory via the construction of a certain terminal F-coalgebra, and we suggest a coalgebraic way forward for an abstraction-theoretic axiomatization of the real numbers. (shrink)

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...) hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali-Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

The _Physics_ is a foundational work of western philosophy, and the crucial one for understanding Aristotle's views on matter, form, essence, causation, movement, space, and time. This richly annotated, scrupulously accurate, and consistent translation makes it available to a contemporary English reader as no other does—in part because it fits together seamlessly with other closely associated works in the New Hackett Aristotle series, such as the _Metaphysics_, _De Anima_, and forthcoming _De Caelo_ and _On Coming to Be and Passing Away_. (...) Eventually the series will include all of Aristotle's works. Sequentially numbered endnotes provide the information most needed at each juncture, while a detailed Index of Terms indicates places where focused discussion of key notions occurs. An illuminating general Introduction describes the book that lies ahead, explaining what sort of work it is and what sorts of evidence it relies on. (shrink)

Value, Reality, and Desire is an extended argument for a robust realism about value. The robust realist affirms the following distinctive theses. There are genuine claims about value which are true or false--there are facts about value. These value-facts are mind-independent - they are not reducible to desires or other mental states, or indeed to any non-mental facts of a non-evaluative kind. And these genuine, mind-independent, irreducible value-facts are causally efficacious. Values, quite literally, affect us. These are not particularly fashionable (...) theses, and taken as a whole they go somewhat against the grain of quite a lot of recent work in the metaphysics of value. Further, against the received view, Oddie argues that we can have knowledge of values by experiential acquaintance, that there are experiences of value which can be both veridical and appropriately responsive to the values themselves. Finally, these value-experiences are not the products of some exotic and implausible faculty of "intuition." Rather, they are perfectly mundane and familiar mental states - namely, desires. This view explains how values can be "intrinsically motivating," without falling foul of the widely accepted "queerness" objection. There are, of course, other objections to each of the realist's claims. In showing how and why these objections fail, Oddie introduces a wealth of interesting and original insights about issues of wider interest--including the nature of properties, reduction, supervenience, and causation. The result is a novel and interesting account which illuminates what would otherwise be deeply puzzling features of value and desire and the connections between them. (shrink)

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of (...) Berkeley's master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

What does it take for one proposition to be closer to the truth than another. In this, the first published monograph on the topic, Oddie develops a comprehensive theory that takes the likeness in truthlikeness seriously.

In this book, Graham Oppy examines arguments for and against the existence of God. He shows that none of these arguments is powerful enough to change the minds of reasonable participants in debates on the question of the existence of God. His conclusion is supported by detailed analyses of the arguments as well as by the development of a theory about the purpose of arguments and the criteria that should be used in judging whether or not arguments are successful. (...) Oppy discusses the work of a wide array of philosophers, including Anselm, Aquinas, Descartes, Locke, Leibniz, Kant, Hume and, more recently, Plantinga, Dembski, White, Dawkins, Bergman, Gale and Pruss. (shrink)

This is a revised and updated edition of Graham Nerlich's classic book The Shape of Space. It develops a metaphysical account of space which treats it as a real and concrete entity. In particular, it shows that the shape of space plays a key explanatory role in space and spacetime theories. Arguing that geometrical explanation is very like causal explanation, Professor Nerlich prepares the ground for philosophical argument, and, using a number of novel examples, investigates how different spaces would (...) affect perception differently. This leads naturally to conventionalism as a non-realist metaphysics of space, an account which Professor Nerlich criticises, rejecting its Kantian and positivistic roots along with Reichenbach's famous claim that even the topology of space is conventional. He concludes that there is, in fact, no problem of underdetermination for this aspect of spacetime theories, and offers an extensive discussion of the relativity of motion. (shrink)

Two different programmes are in the business of explicating accuracy—the truthlikeness programme and the epistemic utility programme. Both assume that truth is the goal of inquiry, and that among inquiries that fall short of realizing the goal some get closer to it than others. Truthlikeness theorists have been searching for an account of the accuracy of propositions. Epistemic utility theorists have been searching for an account of the accuracy of credal states. Both assume we can make cognitive progress in an (...) inquiry even while falling short of the target. I show that the prospects for combining these two programmes are bleak. A core accuracy principle, proximity, that is universally embraced within the truthlikeness programme turns out to be incompatible with a central principle within the epistemic utility programme, namely propriety. 1Truthlikeness and Epistemic Utility 2Inquiries 3Accuracy for Propositions 4Proximity 5Accuracy for Credal States 6Propriety 7Proximity for Credal States 8Extensionality 9Admissible Weightings 10Propriety Violates Proximity 11Possible Responses 11.1Retreat to convexity 11.2Reject boundedness 11.3Reject additivity 12The Upshot. (shrink)

Graham Nerlich is one of the most distinguished of contemporary philosophers of space and time. Eleven of his essays are here brought together in a carefully structured volume, which deal with ontology and methodology in relativity, variable curvature and general relativity, and time and causation. The author has provided a new general introduction and also introductions to each part to bring the discussion more up to date and draw out the general themes. The book will be welcomed by all (...) philosophers of physics, and of science in general. (shrink)

Truth is the aim of inquiry. Nevertheless, some falsehoods seem to realize this aim better than others. Some truths better realize the aim than other truths. And perhaps even some falsehoods realize the aim better than some truths do. The dichotomy of the class of propositions into truths and falsehoods should thus be supplemented with a more fine-grained ordering — one which classifies propositions according to their closeness to the truth, their degree of truthlikeness or verisimilitude. The logical problem of (...) truthlikeness is to give an adequate account of the concept and to explore its logical properties. Of course, the logical problem intersects with problems in both epistemology and value theory. (shrink)

Why should a Bayesian bother performing an experiment, one the result of which might well upset his own favored credence function? The Ramsey-Good theorem provides a decision theoretic answer. Provided you base your decision on expected utility, and the the experiment is cost-free, performing the experiment and then choosing has at least as much expected utility as choosing without further ado. Furthermore, doing the experiment is strictly preferable just in case at least one possible outcome of the experiment could alter (...) your choice of options. That is, you should pursue the information just in case it could make a difference to what you do. The problem remains, however, why one should do an experiment when nothing of much practical consequence hangs in the balance. One possibility here is to invoke the pure cognitive utility of states. It is shown that one constraint on cognitive value (what I call cogency) guarantees the value of learning: from a cognitive point of view you are justified in performing an experiment if the outcome of the experiment could make a different to what you think. A bonus of the basic framework is that it provides a new decision theoretic argument for the rationality of conditionalization. (shrink)

Theories of verisimilitude have routinely been classified into two rival camps—the content approach and the likeness approach—and these appear to be motivated by very different sets of data and principles. The question thus naturally arises as to whether these approaches can be fruitfully combined. Recently Zwart and Franssen (Synthese 158(1):75–92, 2007) have offered precise analyses of the content and likeness approaches, and shown that given these analyses any attempt to meld content and likeness orderings violates some basic desiderata. Unfortunately their (...) characterizations of the approaches do not embrace the paradigm examples of those approaches. I offer somewhat different characterizations of these two approaches, as well as of the consequence approach (Schurz and Weingartner (Synthese 172(3):415–436, 2010) which happily embrace their respective paradigms. Finally I prove that the three approaches are indeed compatible, but only just, and that the cost of combining them is too high. Any account which combines the strictures of what I call the strong likeness approach with the demands of either the content or the consequence approach suffers from precisely the same defect as Popper’s—namely, it entails the trivialization of truthlikeness. The downside of eschewing the strong likeness constraints and embracing the content constraints alone is the underdetermination of the concept of truthlikeness. (shrink)

Recent studies of spider phobia have indicated thatfearof spiders is closely associated with the disease-avoidance response of disgust. It is argued that the disgust-relevant status of the spider resulted from its association with disease and illness in European cultures from the tenth century onward. The development of the association between spiders and illness appears to be linked to the many devastating and inexplicable epidemics that struck Europe from the Middle Ages onwards, when the spider was a suitable displaced target for (...) the anxieties caused by these epidemics. Such factors suggest that the pervasive fear of spiders that is commonly found in many Western societies may have cultural rather than biological origins, and may be restricted to Europeans and their descendants. (shrink)

Moral dilemmas can arise from uncertainty, including uncertainty of the real values involved. One interesting example of this is that of experimentation on human embryos and foetuses, If these have a moral stauts similar to that of human persons then there will be server constraitns on what may be done to them. If embryous have a moral status similar to that of other small clusters of cells, then constraints will be motivated largely by consideration for the persons into whom the (...) embryos may develop. If the truth lies somewhere between these two extremes, the embryo having neither the full moral weight of persons, nor a completely negligible moral weight, then different kinds of constraints will be appropriate. On the face of it, in order to know what kinds of experiements, if any, we are morally justified in performing on embryos we have to know what the moral weight of the embryo is. But then an impasse threatens, for it seems implausible that we can settle with certainty the exact moral status of the human embryo. It is the purpose of this paper to show that moral uncertainty need not make rational moral justification impossible. I develop a framework which distinguishes between what is morally right/wrong, and what is morally justified/unjustified, and applies standard decision theoretic tools to the case of moral uncertainties. (This was the first published account of what has subsequently become known as Expected Moral Value Theory. An earlier version of the paper, "A decision theoretic argument against human embryo experimentation", was published in M. Fricke (ed.), Essays in honor of Bob Durrant. (University of Otago Press, 1986) 111-27.). (shrink)

The only constant in theological education is change, despite brave attempts to hold the tide back in some quarters. Yet, Western-based theological education remains the norm globally. The Faculty of Theology at the University of Pretoria exemplifies this norm despite its commitment to Africanisation. This article will consider transformation through the lens of the leadership of Prof. Johan Buitendag, who has led the transformation initiative from his own shared leadership perspective as dean since 2010. Change in the faculty will be (...) analysed through analysis of the faculty plans, with particular reference to teaching, learning and research. Consideration will be given to a more radical proposal for future transformation under the initiative of Africanisation. (shrink)

Atheism: The Basics is a concise and engaging introduction to belief in the non-existence of deities. Atheism has long fascinated people but debate around this controversial position may seem daunting. In this lively and lucid book, Graham Oppy addresses the following important questions: -/- • What does it mean to be an atheist? -/- • What is the difference between atheism, agnosticism, theism and innocence? -/- • How has atheism been distributed over time and place? -/- • What does (...) science tell us about atheism? -/- • Are there good reasons to be an atheist? -/- • Are there good reasons not to be an atheist? -/- • What do we mean by ‘new atheism'? -/- With a glossary of key terms and suggestions for further reading throughout, the book considers key philosophical arguments around atheism, making this an ideal starting point for anyone seeking a full introduction to the arguments between those who hold atheistic beliefs and those who do not. (shrink)

Most academic efforts to understand morality and ideology come from theorists who limit the domain of morality to issues related to harm and fairness. For such theorists, conservative beliefs are puzzles requiring non-moral explanations. In contrast, we present moral foundations theory, which broadens the moral domain to match the anthropological literature on morality. We extend the theory by integrating it with a review of the sociological constructs of community, authority, and sacredness, as formulated by Emile Durkheim and others. We present (...) data supporting the theory, which also shows that liberals misunderstand the explicit moral concerns of conservatives more than conservatives misunderstand liberals. We suggest that what liberals see as a non-moral motivation for system justification may be better described as a moral motivation to protect society, groups, and the structures and constraints that are often (though not always) beneficial for individuals. Finally, we outline the possible benefits of a moral foundations perspective for System Justification Theory, including better understandings of 1) why the system-justifying motive is palliative despite some harmful effects, 2) possible evolutionary origins of the motive, and 3) the values and worldviews of conservatives in general. (shrink)

According to Fitting Attitude theorists, for something to possess a certain value it is necessary and sufficient that it be fitting to take a certain attitude to the bearer of that value. This seems obvious for thick evaluative attributes, but less obvious for thin evaluative attributes. This chapter argues that the fitting response to the thin evaluative attributes of states is desire. The good is what it is fitting to desire, the bad what it is fitting to be averse to, (...) and the better what it is fitting to prefer. For the FA schema to survive the challenges of “wrong kinds of reasons” and “solitary goods,” the fitting response to the goodness of a state has to be a non-factive, non-doxastic representation of the state as good. That desires and preferences are non-doxastic value appearances is independently attractive; this is the simplest hypothesis compatible with the Fitting Attitude approach. (shrink)

Are things good because we desire them or do we desire them because they are good? Theories that countenance only desire-dependent values are idealist, those that countenance desire-independent values are realist. A value can be either subject-relative or subject-neutral. Subjectivism countenances only subject-relative and desire-dependent values. Subject-neutral idealism countenances at least some subject-neutral values. Realism repudiates the dependence of value on actual desires, but endorses an important relation between value and the fittingness of desires. Normative realism takes normative facts about (...) the fittingness of desires to ground the value facts, while axiological realism takes value facts to ground facts about fittingness. An important variant of axiological realism, namely representational realism, holds that desires are appearances of value, and that the fittingness of a desire is simply a matter of accurate representation. (shrink)

Due to natural selection pressure, certain aspects of memory may have been selected to give humans a survival advantage. Research has demonstrated that processing information for survival relevance leads to better item memory (i.e., the content of information) compared to control conditions. The current study investigates the effects of survival processing on context memory (i.e., memory for peripheral episodic details) and item memory to better understand when the survival processing memory advantage emerges. In this study, participants viewed objects in either (...) a plausible color, for example a red apple, or in an implausible color, such as a green pie. We chose this color plausibility manipulation because color is a detail that conveys information about the fitness of an item. After studying items in either a survival or moving (control) condition, participants made item memory judgments (did you see this item before?), and two context memory judgments: color context (in which color did you see this item?), and source context (in which condition did you see this item?). Results indicated better item memory for materials processed in the survival relative to moving condition. Critically, for color context there was a condition by plausibility interaction, where memory was best for plausibly colored items in the survival processing condition. There was no difference, however, in source context memory between the survival and moving conditions. These results suggest the survival processing memory advantage extends to some contextual details, but only those details that tap into the survival utility of items, such as color. (shrink)

Volume 20, Issue 4, May 2020, Page 94-97.

It was something of a dogma for much of the twentieth century that one cannot validly derive an ought from an is. More generally, it was held that non-normative propositions do not entail normative propositions. Call this thesis about the relation between the natural and the normative Natural-Normative Autonomy. The denial of Autonomy involves the entanglement of the natural with the normative. Naturalism entails entanglement—in fact it entails the most extreme form of entanglement—but entanglement does not entail naturalism. In a (...) ground-breaking paper “The autonomy of ethics” Arthur Prior constructed some intriguing counterexamples to Autonomy. While his counterexamples have convinced few, there is little agreement on what is wrong with them. I present a new analysis of Autonomy, one which is grounded in a general and independently plausible account of subject matters. While Prior’s arguments do establish shallow natural-normative entanglement, this is a consequence of simple logical relationships that hold between just about any two subject matters. It has nothing special to do with the logical structure of normativity or its relation to the natural. Prior’s arguments leave the fundamental idea behind natural-normative Autonomy intact. I offer a new argument for deep entanglement. I show that in any framework adequate for dealing with the natural and the normative spheres, a purely natural proposition entails a purely normative proposition, and vice-versa. But this is no threat to non-naturalist moral realism. In fact it helps ameliorate the excesses of an extreme non-naturalism, delivering a more palatable and plausible position. (shrink)

I argue for an evaluative theory of desire—specifically, that to desire something is for it to appear, in some way or other, good. If a desire is a non-doxastic appearance of value then it is no mystery how it can rationalize as well as cause action. The theory is metaphysically neutral—it is compatible with value idealism (that value reduces to desire), with value realism (that it is not so reducible), and with value nihilism (all appearances of value are illusory). Despite (...) this metaphysical neutrality the thesis opens up an epistemological gold mine. Non-doxastic value appearances can provide defeasible reasons for value judgements, in roughly the same way that perceptual appearances provide defeasible reasons for perceptual judgements. The paper presents a new line of argument for the evaluative theory—drawing on recent work on fitting attitudes—and rebuts some of the most pressing criticisms. (shrink)

David Lewis has argued against the thesis he calls "Desire as Belief", claiming it is incompatible with the fundamentals of evidential decision theory. I show that the argument is unsound, and demonstrate that a version of desire as belief is compatible with a version of causal decision theory.

Tiyo Soga, the first black minister ordained in Scotland by the United Presbyterian Church of Scotland in 1856, was, by any standards, a conflicted character. He stood both in and between two worlds and suffered from the vulnerability that emerged from his dual allegiances. Yet he made a significant contribution to the mission history of South Africa, particularly through his early influence on the development of black consciousness and black nationalism, which were to make significant contributions to black thinking in (...) the 20th century. Soga's life and ministry are set in the context of Michael Ashley's concept of 'universes in collision'. (shrink)

According to Fitting Attitude theorists, for something to possess a certain value it is necessary and sufficient that it be fitting (appropriate, or good, or obligatory, or something) to take a certain attitude to the bearer of that value. The idea seems obvious for thick evaluative attributes, but less obvious for the thin evaluative attributes—like goodness, betterness, and degrees of value. This paper is an extended argument for the thesis that the fitting response to the thin evaluative attributes of states (...) is desire, broadly construed. The good is what it is fitting to desire, the bad what it is fitting to be averse to, and the better what it is fitting to prefer. I start with two prominent challenges to the FA schema (Wrong Kinds of Reasons and Solitary Goods). For the FA schema to survive these challenges—along with some developments of them—the fitting response to the goodness of a state has to be a non-factive, non-doxastic representation of the state as good—in other words, an appearance of the goodness that state. That desires and preferences are non-doxastic value appearances is independently attractive, and I argue that this is in fact the simplest hypothesis compatible with the Fitting Attitude approach.Fitting Attitudes. (shrink)

The importance for realism of the concept of truthlikeness was first stressed by Popper. Popper himself not only mapped out a program for defining truthlikeness (in terms of falsity content and truth content) but produced the first definitions within this program. These were shown to be inadequate. But the program lingered on, and the most recent attempt to revive it is that of Newton-Smith. His attempt is a failure, not because of some minor defect or technical flaw in his particular (...) account but rather because the program incorporates a fundamental flaw. However, realists need not despair. There already exists an entirely different program not subject to these criticisms. (shrink)

A number of different theories of truthlikeness have been proposed, but most can be classified into one of two different main programmes: the probability-content programme and the likeness programme.1 In Brink and Heidema [1987] we are offered a further proposal, with the attraction of some novelty. I argue that while the heuristic path taken by the authors is rather remote from what they call ‘the well-worn paths’,2 in fact their point of arrival is rather closer to existing proposals within the (...) likeness approach than might at first appear. It is the purpose of this note to outline the logical connections and to assess the reasons which have been offered in favour of the new proposal. (shrink)

A rather promising value theory for environmental philosophers combines the well-known fitting attitude (FA) account of value with the rather less well-known account of value as richness. If the value of an entity is proportional to its degree of richness (which has been cashed out in terms of unified complexity and organic unity), then since natural entities, such as species or ecosystems, exhibit varying degrees of richness quite independently of what we happen to feel about them, they also possess differing (...) degrees of mind-independent and subject-independent value. In particular, their value is not dependent on the desires or preferences of humans. The fitting attitudes account of value, at least as it is standardly developed, demands isomorphic evaluative responses on the part of all valuers. In particular, it entails that all valuers should have isomorphic preferences. But this seems absurd. I consider three different strategies with which the fitting attitude theorist can deflect this challenge. The first makes use of an account of non-standard value relations in terms of permissible preference orderings. The second appeals to value appearances and the associated notions of value distance and value perspective. The third involves an account of the ultimate bearers of value as properties, rather than as propositions or states of affairs. These strategies are not all mutually incompatible. While it isn’t possible to combine the first and second strategies, it is possible to combine the first and third strategies, and also to combine the second and the third. (shrink)

A recent slew of arguments, if sound, would demonstrate that realism about value involves a kind of paradox-I call it the BAD paradox.More precisely, they show that if there are genuine propositions about the good, then one could maintain harmony between one’s desires and one’s beliefs about the good only on pain of violating fundamental principles of decision theory. I show. however, the BAD paradox turns out to be a version of Newcomb’s problem, and that the cognitivist about value can (...) avoid the paradox by embracing casual decision theory. (shrink)

I address two related questions. First: what value is there in visiting a museum and becoming acquainted with the objects on display? For art museums the answer seems obvious: we go to experience valuable works of art, and experiencing valuable works of art is itself valuable. In this paper I focus on non-art museums, and while these may house aesthetically valuable objects, that is not their primary purpose, and at least some of the objects they house might not be particularly (...) aesthetically valuable at all. Second: to what ontologicaltypeorcategorydo museum objects belong? Whattypeof item should be featured on an inventory of a museum collection? I distinguish betweentypicalobjects andspecialobjects. While these are different types of object, both, I argue, areabstracta, notconcreta. The answer to the second question, concerning the ontological category of special objects, throws new light on various philosophical questions about museums and their collections, including the question about the value of museum experiences. But it also throws light on important questions concerning the preservation and restoration of museum objects. (shrink)