Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly (...) the same relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Departing from the intention to explore Frank Gehry’s drawings serving to their own designer to grasp ideas during the process of their genesis, the article examines Frank Gehry’s concern about the revelation of the first gestural drawings and all the sketches and working models concerning the evolution of his projects, and his intention to capture the successive transformation and progressive concretisation of architectural concepts. The article also compares Gehry’s design process with that of Enric Miralles, Alvar Aalto, Bernard Tschumi, and (...) Le Corbusier. It sheds light on Miralles, Aalto, Le Corbusier and Gehry’s interest in a holistic understanding of all the parts of an architectural project, which is expressed through their tendency to draw the different sketches concerning the same project on the same sheet of paper. At the core of Gehry’s design approach is the osmosis of function and morphology. This aspect of his design vision could be compared to Alvar Aalto’s design process. At the core of the article are the distinction between communication drawings and conceptual drawings, and Gehry’s concern about achieving an osmosis between function and morphology. The article also investigates Gehry’s use of uninterrupted self-twisting line in his sketches, exploring his intention to enhance a straightforward relationship between the gesture and the decision-making regarding the form of the building. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit what (...) is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (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)

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)

Using a ‘reformulation of Bell’s theorem’, Waegell and McQueen (2020) argue that any empirically adequate theory that is local and does not involve retro-causation or fine-tuning must be a many-worlds theory. They go on to analyze several prominent many-worlds interpretations and conclude that non-separable many-worlds theories whose ontology is given by the wavefunction involve superluminal causation, while separable many-worlds theories (e.g. Waegell, 2021; Deutsch and Hayden 2000) do not. I put forward three claims. (A) I challenge their argument for relying (...) on a non-trivial, unquestioned assumption about elements of reality which allows Healey’s approach (Healey, 2017b) to evade their claim. In an attempt to respond to (A), Waegell and McQueen may restrict their claim to theories which satisfy such an assumption, however, I also argue that (B) their argument fails to prove even the so weakened claim, as exemplified by theories that are both non-separable and local. Finally, (C) by arguing for the locality of the decoherence-based Everettian approach (Wallace, 2012) I refute Waegell and McQueen’s claim that wavefunction-based ontologies, and more generally non-separable ontologies, involve superluminal causation. I close with some doubtful remarks about separable Everettian interpretations as compared to non-separable ones. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (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)

This dissertation offers a proof of the logical possibility of testing empirical/factual theories that are inconsistent, but non-trivial. In particular, I discuss whether or not such theories can satisfy Popper's principle of falsifiablility. An inconsistent theory Ƭ closed under a classical consequence relation implies every statement of its language because in classical logic the inconsistency and triviality are coextensive. A theory Ƭ is consistent iff there is not a α such that Ƭ ⊢ α ∧ ¬α, otherwise it is (...) inconsistent. We say, instead, that Ƭ is non-trivial iff there is at least one α such that Ƭ ⊢ α, otherwise we say that it trivial. This happens because classical logic satisfies the principle of explosion, according ex contradictione sequitur quodlibet (from a contradiction anything follows). Under these conditions inconsistent classical theories would be compatible with any well-formed formula, which makes them useless for science. There are, however, so-called paraconsistent logics in which the principle of explosion does not generally hold and in which a theory can be (simply) inconsistent, but also absolutely consistent. It is in this logical framework that we can prove that some inconsistent theories can be falsifiable. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Non-locality is one of the great mysteries of quantum mechanics (qm). There is a new realist interpretation of qm on the table whose notion of time incorporates both of McTaggart's A-series and B-series. In this philosophically motivated interpretation there is no fact of the matter as to whether the 'now' of one system is the 'now' of another system, until measurement. But this reproduces the idea that the spins of a Bell pair of electrons do not become definite 'until' measurement. (...) And this almost trivially allows for non-locality. (shrink)

In a recent pair of publications, Richard Bradley has offered two novel no-go theorems involving the principle of Preservation for conditionals, which guarantees that one’s prior conditional beliefs will exhibit a certain degree of inertia in the face of a change in one’s non-conditional beliefs. We first note that Bradley’s original discussions of these results—in which he finds motivation for rejecting Preservation, first in a principle of Commutativity, then in a doxastic analogue of the rule of modus ponens —are problematic (...) in a significant number of respects. We then turn to a recent U-turn on his part, in which he winds up rescinding his commitment to modus ponens, on the grounds of a tension with the rule of Import-Export for conditionals. Here we offer an important positive contribution to the literature, settling the following crucial question that Bradley leaves unanswered: assuming that one gives up on full-blown modus ponens on the grounds of its incompatibility with Import-Export, what weakened version of the principle should one be settling for instead? Our discussion of the issue turns out to unearth an interesting connection between epistemic undermining and the apparent failures of modus ponens in McGee’s famous counterexamples. (shrink)

A probability aggregation rule assigns to each profile of probability functions across a group of individuals (representing their individual probability assignments to some propositions) a collective probability function (representing the group's probability assignment). The rule is “non-manipulable” if no group member can manipulate the collective probability for any proposition in the direction of his or her own probability by misrepresenting his or her probability function (“strategic voting”). We show that, except in trivial cases, no probability aggregation rule satisfying two (...) mild conditions (non-dictatorship and consensus preservation) is non-manipulable. (shrink)

Contemporary science seems to be caught in a strange predicament. On the one hand, it holds a firm and reasonable commitment to a healthy naturalistic methodology, according to which explanations of natural phenomena should never overstep the limits of the natural itself. On the other hand, contemporary science is also inextricably and now inevitably dependent on ever more complex technologies, especially Information and Communication Technologies, which it exploits as well as fosters. Yet such technologies are increasingly “artificialising” or “denaturalising” the (...) world, human experiences and interactions, as well as what qualifies as real. So the search for the ultimate explanation of the natural seems to rely upon, and promote, the development of the artificial, seen here as an instantiation of the non-natural. In this article, I would like to try and find a way out of this apparently strange predicament. I shall argue that the naturalisation of our knowledge of the world is either philosophically trivial, or mistaken. First, I shall distinguish between different kinds of naturalism. Second, I shall remind the reader that the kinds of naturalism that are justified today need to be protected and supported pragmatically, but they are no longer very interesting conceptually. We know how to win the argument. We just have to keep winning it. Whereas the kind of naturalism that is still interesting today is now in need of revision in order to remain acceptable. Such a kind of naturalism may be revised on the basis of a realistic philosophy of information, according to which knowing is a constructive activity, through which we do not merely represent the phenomena we investigate passively, but create more or less correct informational models of them, proactively and interactively. I shall conclude that the natural is in itself artefactual, and that the information revolution is disclosing a tension not between the natural and the non-natural, but a deeper one between a user’s and a producer’s interpretation of knowledge. The outcome is a philosophical view of knowledge and science in the information age that may be called constructionist and a revival of philosophy as a classic, foundationalist enterprise. (shrink)

Frank Snare had a puzzle. Noncognitivism implies No-Ought-From-Is but No- Ought-From-Is does not imply non-cognitivism. How then can we derive non-cognitivism from No-Ought-From-Is? Via an abductive argument. If we combine non-cognitivism with the conservativeness of logic (the idea that in a valid argument the conclusion is contained in the premises), this implies No-Ought-From-Is. Hence if No-Ought-From-Is is true, we can arrive at non-cognitivism via an inference to the best explanation. With prescriptivism we can make this argument more precise. I develop (...) an account of imperative consequence that underwrites Hare’s principle that you cannot derive imperatives from indicatives. Thus if moral judgments contain an imperative component, it will be impossible to derive moral conclusions from indicative or non-moral premises. Given this account of imperative consequence, we can explain No-Ought-From-Is without appealing to anything as nebulous as the conservativeness of logic. Hence if No-Ought-From-Is is true, we have an inference to the best explanation for prescriptivism. Both lines of argument face problems from Prior. Given Prior’s counterexamples, No-Ought-From-Is as originally conceived is false. The version that survives is No-Non-Vacuous-Ought-From-Is. But the best explanation of this does not include non-cognitivism. With prescriptivism it is worse. For the version of No-Ought-From-Is that prescriptivism ‘explains’ – that is, the version of No-Ought-From-Is that prescriptivism implies – would exclude Prior’s counter-examples to Autonomy as invalid. But they are not invalid. Thus Prior’s counter-examples to No-Ought-From- Is refute prescriptivism. Thus from 1960 onwards R. M.Hare was a dead philosopher walking. But if non-cognitivism cannot be derived from No-Ought-From-Is, this suggests that it is not what Hume was trying to prove. I argue that what Hume was trying to prove is that moral truths are not demonstrable. To be demonstrable, a proposition must be either self-evident or logically derivable from self-evident propositions. By Treatise 3.1.1.27, Hume had proved to his own satisfaction that no moral propositions are self-evident. That leaves open the possibility that they are logically derivable from self-evident but NON-moral propositions. The point of No-Ought-From-Is was to exclude this possibility. If you cannot logically derive moral conclusions from non-moral premises, you cannot demonstrate the truths of morality by deriving them from self-evident but NON-moral truths. I also discuss why Hume abandoned No-Ought-From-Is in the EPM. He had no need of it since he thought he had a proof that (with some exceptions) no nontrivial truths are demonstrable. Hence no non-trivial MORAL truths are demonstrable. No-Ought-From-Is drops out as unnecessary. (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 investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...) QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

Bradley offers a quick and convincing argument that no Boolean semantic theory for conditionals can validate a very natural principle concerning the relationship between credences and conditionals. We argue that Bradley’s principle, Preservation, is, in fact, invalid; its appeal arises from the validity of a nearby, but distinct, principle, which we call Local Preservation, and which Boolean semantic theories can non-trivially validate.

Triviality arguments against the computational theory of mind claim that computational implementation is trivial and thus does not serve as an adequate metaphysical basis for mental states. It is common to take computational implementation to consist in a mapping from physical states to abstract computational states. In this paper, I propose a novel constraint on the kinds of physical states that can implement computational states, which helps to specify what it is for two physical states to non-trivially implement the (...) same computational state. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

There is a non-trivial chance that sometime in the (perhaps somewhat distant) future, someone will build an artificial general intelligence that will surpass human-level cognitive proficiency and go on to become "superintelligent", vastly outperforming humans. The advent of superintelligent AI has great potential, for good or ill. It is therefore imperative that we find a way to ensure-long before one arrives-that any superintelligence we build will consistently act in ways congenial to our interests. This is a very difficult challenge (...) in part because most of the final goals we could give an AI admit of so-called "perverse instantiations". I propose a novel solution to this puzzle: instruct the AI to love humanity. The proposal is compared with Yudkowsky's Coherent Extrapolated Volition, and Bostrom's Moral Modeling proposals. (shrink)

Michael Almeida has recently tried to show that if S5 correctly represents metaphysical necessity, there can be no non-trivial evidence for or against the existence of the traditional God. Evidence would thus be irrelevant to the reasonability of traditional theistic belief. Almeida's argument has implications beyond its announced target: it amounts to a new argument for sweeping scepticism. Almeida's argument for the irrelevance of evidence to the existence of God would apply to any state of affairs that entails some (...) metaphysical necessity. In S5, every state of affairs entails some metaphysical necessity, so Almeida should conclude that non-trivial evidence for or against any state of affairs is impossible. I argue that the problem is not with S5 but with inadequately motivated assumptions about evidential support. Avoiding those assumptions disables the argument for sweeping scepticism and without foreclosing the possibility of non-trivial evidence for or against the existence of the traditional God. (shrink)

The linchpin of Williamson (2000)'s radically externalist epistemological program is an argument for the claim that no non-trivial condition is luminous—that no non-trivial condition is such that whenever it obtains, one is in a position to know that it obtains. I argue that Williamson's anti-luminosity argument succeeds only if one assumes that, even in the limit of ideal reflection, the obtaining of the condition in question and one's beliefs about that condition can be radically disjoint from one another. (...) However, no self-respecting defender of the luminosity of the mental would ever make such an assumption. Thus Williamson can only secure his controversial claims in epistemology by taking for granted certain equally controversial claims in the philosophy of mind. What emerges is that the best bet for defending an internalist epistemology against Williamson's attack is to take there to be a tight, intimate connection between (to take one example) our experiences and our beliefs upon reflection about the obtaining of those experiences, or between (to take another example) the rationality of our beliefs and our beliefs upon reflection about the rationality of those beliefs. (shrink)

Population axiology concerns how to evaluate populations in terms of their moral goodness, that is, how to order populations by the relations “is better than” and “is as good as”. The task has been to find an adequate theory about the moral value of states of affairs where the number of people, the quality of their lives, and their identities may vary. So far, this field has largely ignored issues about uncertainty and the conditions that have been discussed mostly pertain (...) to the ranking of risk-free outcomes. Most public policy choices, however, are decisions under uncertainty, including policy choices that affect the size of a population. Here, we shall address the question of how to rank population prospects—that is, alternatives that contain uncertainty as to which population they will bring about—by the relations “is better than” and “is as good as”. We start by illustrating how well-known population axiologies can be extended to population prospect axiologies. And we show that new problems arise when extending population axiologies to prospects. In particular, traditional population axiologies lead to prospect-versions of the problems that they praised for avoiding in the risk-free settings. Finally, we identify an intuitive adequacy condition that, we contend, should be satisfied by any population prospect axiology, and show how given this condition, the impossibility theorems in population axiology can be extended to (non-trivial) impossibility theorems for population prospect axiology. (shrink)

Perception is typically distinguished from cognition. For example, seeing is importantly different from believing. And while what one sees clearly influences what one thinks, it is debatable whether what one believes and otherwise thinks can influence, in some direct and non-trivial way, what one sees. The latter possible relation is the cognitive penetration of perception. Cognitive penetration, if it occurs, has implications for philosophy of science, epistemology, philosophy of mind, and cognitive science. This paper offers an analysis of the (...) phenomenon, its theoretical consequences, and a variety of experimental results and possible interpretations of them. The paper concludes by proposing some constraints for analyses and definitions of cognitive penetrability. (shrink)

A long-standing tension in semantic theory concerns the reconciliation of positive gradable adjective (GA) ascriptions and comparative GA ascriptions. Vagueness-based ap- proaches derive the comparative from the positive, and face non-trivial challenges with incommensurability and non-GA comparatives. Classic degree-based approaches effectively derive the positive from the comparative, out of sync with the direction of evidence from morphology, and create some difficulties in accounting for GA scale-mates with differing thresholds (e.g., cold ∼ warm ∼ hot). We propose a new reconciliation (...) that capitalizes on recent proposals analyzing GAs as predicates of states. On our account, GAs lexically involve both a threshold property and a background state structure. Positive occurrences of GAs make use of the threshold property, while comparative occurrences make use of degrees representing elements of the background structure. Our approach preserves the virtues of classic degree-based approaches while offering a natural account of scale-mates, and without appeal to covert morphemes like POS or related devices. As we show, it is possible to inject our solution back into the classic degree-based approach, but we find reasons to prefer our states-based account. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Discussions of the functions of biological traits generally take the notion of a trait for granted. Defining this notion is a non-trivial problem. Different approaches to function place different constraints on adequate accounts of the notion of a trait. Accounts of function based on engineering-style analyses allow trait boundaries to be a matter of human interest. Accounts of function based on natural selection have typically been taken to require trait boundaries that are objectively real. After canvassing problems raised by (...) each approach, I conclude with some facts that satisfactory notions of trait must respect. (shrink)

An object being non-art appears only trivially informative. Some non-art objects, however, could be saliently 'almost' art, and therefore objects for which being non-art is non-trivially informative. I call these kinds of non-art objects 'failed-art' objects—non-art objects aetiologically similar to art-objects, diverging only in virtue of some relevant failure. I take failed-art to be the right sort of thing, to result from the right sort of action, and to have the right sort of history required to be art, but to (...) be non-art by having failure where being art requires success. I assume that for something to be art that thing must be the product of intention-directed action. I then offer an account of attempts that captures the success conditions governing the relationship between intention-directed actions and their products. From this, I claim that to be failed-art is to be the product of a failed art-attempt, i.e., to be non-art as the result of the particular way in which that art-attempt failed. An art-attempt I take to be an attempt with success conditions, that, if satisfied, entail the satisfaction of the conditions for being art—whatever those may be. To be art, then, is to be the product of a successful art-attempt. As such, any art theory incompatible with my account of failed-art is an art theory for which the notions of success and failure do not matter, and therefore an art theory for which being art needn't be substantively intention-dependent. So, any theory of art unable to accommodate my account of failed-art is _ipso facto_ false. (shrink)

We are fallible creatures, prone to making all sorts of mistakes. So, we should be open to evidence of error. But what constitutes such evidence? And what is it to rationally accommodate it? I approach these questions by considering an evolutionary debunking argument according to which (a) we have good, scientific, reason to think our moral beliefs are mistaken, and (b) rationally accommodating this requires revising our confidence in, or altogether abandoning the suspect beliefs. I present a dilemma for such (...) debunkers, which shows that either we have no reason to worry about our moral beliefs, or we do but we can self-correct. Either way, moral skepticism doesn’t follow. That the evolutionary debunking argument fails is important; also important, however, is what its failure reveals about rational belief revision. Specifically, it suggests that getting evidence of error is a non-trivial endeavor and that we cannot learn that we are likely to be mistaken about some matter from a neutral stance on that matter. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such (...) paraphrases are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Sometimes you are unreliable at fulfilling your doxastic plans: for example, if you plan to be fully confident in all truths, probably you will end up being fully confident in some falsehoods by mistake. In some cases, there is information that plays the classical role of evidence—your beliefs are perfectly discriminating with respect to some possible facts about the world—and there is a standard expected‐accuracy‐based justification for planning to conditionalize on this evidence. This planning‐oriented justification extends to some cases where (...) you do not have transparent evidence, in the sense that your beliefs are not perfectly discriminating with respect to any non‐trivial facts. In other cases, accuracy considerations do not tell you to plan to conditionalize on any information at all, but rather to plan to follow a different updating rule. Even in the absence of evidence, accuracy considerations can guide your doxastic plan. (shrink)

Max Deutsch has recently argued that conceptual engineering is stuck in a dilemma. If it is construed as the activity of revising the semantic meanings of existing terms, then it faces an unsurmountable implementation problem. If, on the other hand, it is construed as the activity of introducing new technical terms, then it becomes trivial. According to Deutsch, this conclusion need not worry us, however, for conceptual engineering is ill-motivated to begin with. This paper responds to Deutsch by arguing, (...) first, that there is a third construal of conceptual engineering, neglected by him, which renders it both implementable and non-trivial, and second, that even the more ambitious project of changing semantic meanings is no less feasible than other normative projects we currently pursue. Lastly, the value of conceptual engineering is defended against Deutsch’s objections. (shrink)

Conceptual analysis, like any exclusively theoretical activity, is far from overrated in current psychology. Such a situation can be related both to the contingent influences of contextual and historical character and to the more essential metatheoretical reasons. After a short discussion of the latter it is argued that even within a strictly empirical psychology there are non-trivial tasks that can be attached to well-defined and methodologically reliable, conceptual work. This kind of method, inspired by the ideas of Ludwig Wittgenstein, (...) Peter Strawson (conceptual grammar), and Gilbert Ryle (conceptual geography), is proposed and formally depicted as being holistic, descriptive, and connective. Finally, the newly presented framework of connective conceptual analysis is defended against the “Charge from Psychology,” in a version developed by William Ramsey, claiming that conceptual analysis is based on psychological assumptions that have already been refuted by empirical psychology. (shrink)

We explore the contribution made by oscillatory, synchronous neural activity to representation in the brain. We closely examine six prominent examples of brain function in which neural oscillations play a central role, and identify two levels of involvement that these oscillations take in the emergence of representations: enabling (when oscillations help to establish a communication channel between sender and receiver, or are causally involved in triggering a representation) and properly representational (when oscillations are a constitutive part of the representation). We (...) show that even an idealized informational sender–receiver account of representation makes the representational status of oscillations a non-trivial matter, which depends on rather minute empirical details. (shrink)

In this article, I cast doubt on an apparent truism, namely, that if evidence is available for gathering and use at a negligible cost, then it’s always instrumentally rational for us to gather that evidence and use it for making decisions. Call this ‘value of information’ (VOI). I show that VOI conflicts with two other plausible theses. The first is the view that an agent’s evidence can entail non-trivial propositions about the external world. The second is the view that (...) epistemic rationality requires us to update our credences by conditionalization. These two theses, given some plausible assumptions, make room for rationally biased inquiries where VOI fails. I go on to argue that this is bad news for defenders of VOI. (shrink)

I argue that there are non-trivial objective chances (that is, objective chances other than 0 and 1) even in deterministic worlds. The argument is straightforward. I observe that there are probabilistic special scientific laws even in deterministic worlds. These laws project non-trivial probabilities for the events that they concern. And these probabilities play the chance role and so should be regarded as chances as opposed, for example, to epistemic probabilities or credences. The supposition of non-trivial deterministic chances (...) might seem to land us in contradiction. The fundamental laws of deterministic worlds project trivial probabilities for the very same events that are assigned non-trivial probabilities by the special scientific laws. I argue that any appearance of tension is dissolved by recognition of the level-relativity of chances. There is therefore no obstacle to accepting non-trivial chance-role-playing deterministic probabilities as genuine chances. (shrink)

A handful of well-known arguments (the 'diachronic Dutch book arguments') rely upon theorems establishing that, in certain circumstances, you are immune from sure monetary loss (you are not 'diachronically Dutch bookable') if and only if you adopt the strategy of conditionalizing (or Jeffrey conditionalizing) on whatever evidence you happen to receive. These theorems require non-trivial assumptions about which evidence you might acquire---in the case of conditionalization, the assumption is that, if you might learn that e, then it is not (...) the case that you might learn something else that is consistent with e. These assumptions may not be relaxed. When they are, not only will non-(Jeffrey) conditionalizers be immune from diachronic Dutch bookability, but (Jeffrey) conditionalizers will themselves be diachronically Dutch bookable. I argue: 1) that there are epistemic situations in which these assumptions are violated; 2) that this reveals a conflict between the premise that susceptibility to sure monetary loss is irrational, on the one hand, and the view that rational belief revision is a function of your prior beliefs and the acquired evidence alone, on the other; and 3) that this inconsistency demonstrates that diachronic Dutch book arguments for (Jeffrey) conditionalization are invalid. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes and (...) the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of (...) a hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

The paper aims to show that, if S5 is the logic of metaphysical necessity, then no state of affairs in any possible world constitutes any non-trivial evidence for or against the existence of the traditional God. There might well be states of affairs in some worlds describing extraordinary goods and extraordinary evils, but it is false that these states of affairs constitute any (non-trivial) evidence for or against the existence of God. The epistemological and metaphysical consequences for philosophical (...) theology of assuming that S4 or Kσρ is the logic of metaphysical necessity are equally untenable. S4 guarantees that God does not exist if there is the slightest evidence against the existence of God. And Kσρ guarantees that God might survive the loss or acquisition of any essential property at all. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I (...) therefore suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)

What is aesthetic appreciation? In this paper, I approach this question in an indirection fashion. First, I introduce the Kantian notion of moral worthy action and an influential analysis of it. Next, I generalise that analysis from the moral to the aesthetic domain, and from actions to affects. Aesthetic appreciation, I suggest, consists in an aesthetically worthy affective response. After unpacking the proposal, I show that it has non-trivial implications while cohering with a number of existing insights concerning the (...) nature of appreciation and the constraints to which it is subject. In closing, I note some limitations on the analogy between aesthetic appreciation and morally worthy action. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the (...) current methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

There is a libertarian argument for live donor organ markets, according to which live donor organ markets would be permitted if we simply refrained from imposing any substantive and controversial moral assumptions on people who reasonably disagree about morality and justice. I argue that, to the contrary, this endorsement of live donor organ markets depends upon the libertarians’ adoption of a substantive and deeply controversial conception of strong, extensive property rights. This is shown by the fact that these rights would (...) prevent states intervening in cases of preventable and intuitively impermissible wronging of others that can arise when free individuals engage in voluntary offers and exchanges. I outline two forms of such wronging: discrimination and disrespectful demands. I argue that although these types of acts are morally impermissible, the policy question of whether and how they should be regulated by states is non-trivial. I then argue that there is good reason to think that organ markets would rely on disrespectful demands. This may help explain the widespread moral repugnance people feel toward organ trading. It also provides a prima facie, though not decisive, case for states to prohibit such markets. (shrink)