It is often claimed that the debate between presentism and eternalism is merely verbal, because when we use tensed, detensed or tenseless notions of existence, there is no difference in the accepted metaphysical statements between the adherents of both views. On the contrary, it is shown in this paper that when we express their positions making use, in accordance with intentions of the presentists and the eternalists, of the tensed notion of existence (in the case of the presentists) and the (...) detensed or tenseless notion (in the case of the eternalists), the controversy remains deep and very important for us, because both ontological claims express a different attitude to the existence of the flow of time. It is shown that not only does the proposed approach to presentism and eternalism exactly express the intentions of the adherents of both views but it also offers a better understanding of them joining together seemingly different theses maintained by the presentists and the eternalists, and explaining at the same time the dynamism of the presentists' ontology. The paper takes for granted that we should assess metaphysical theories in a similar way as we assess scientific theories, that is on the basis of their explanatory value. (shrink)

Moral contextualism is the view that claims like ‘A ought to X’ are implicitly relative to some (contextually variable) standard. This leads to a problem: what are fundamental moral claims like ‘You ought to maximize happiness’ relative to? If this claim is relative to a utilitarian standard, then its truth conditions are trivial: ‘Relative to utilitarianism, you ought to maximize happiness’. But it certainly doesn’t seem trivial that you ought to maximize happiness (utilitarianism is a highly controversial position). Some (...) people believe this problem is a reason to prefer a realist or error theoretic semantics of morals. I argue two things: first, that plausible versions of all these theories are afflicted by the problem equally, and second, that any solution available to the realist and error theorist is also available to the contextualist. So the problem of triviality does not favour noncontextualist views of moral language. (shrink)

This paper discusses and relates two puzzles for indicative conditionals: a puzzle about indeterminacy and a puzzle about triviality. Both puzzles arise because of Ramsey's Observation, which states that the probability of a conditional is equal to the conditional probability of its consequent given its antecedent. The puzzle of indeterminacy is the problem of reconciling this fact about conditionals with the fact that they seem to lack truth values at worlds where their antecedents are false. The puzzle of (...) triviality is the problem of reconciling Ramsey's Observation with various triviality proofs which establish that Ramsey's Observation cannot hold in full generality. In the paper, I argue for a solution to the indeterminacy puzzle and then apply the resulting theory to the triviality puzzle. On the theory I defend, the truth conditions of indicative conditionals are highly context dependent and such that an indicative conditional may be indeterminate in truth value at each possible world throughout some region of logical space and yet still have a nonzero probability throughout that region. (shrink)

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

"THE central problem in moral philosophy is commonly known as the is-ought problem." So runs the opening sentence of the introduction to a recent volume of readings on this issue. [1] Taken as a statement about the preoccupations of moral philosophers of the present century, we can accept this assertion. The problem of how statements of fact are related to moral judgments has dominated recent moral philosophy. Associated with this problem is another, which has also been (...) given considerable attention - the question of how morality is to be defined. The two issues are linked, since some definitions of morality allow us to move from statements of fact to moral judgments, while others do not. In this article I shall take the two issues together, and try to show that they do not merit the amount of attention they have been given. I shall argue that the differences between the contending parties are terminological, and that there are various possible terminologies, none of which has, on balance, any great advantage over any other terminology. So instead of continuing to regard these issues as central, moral philosophers could, I believe, "agree to disagree" about the "is-ought" problem, and about the definition of morality, provided only that everyone was careful to stipulate how he was using the term "moral" and was aware of the implications and limitations of the definition he was using. Moral philosophers could then move on to consider more important issues. (shrink)

The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI, analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel's paradox of inference: Since the conclusion of a valid argument is contained in (...) the premises, it fails to provide any novel information. Again, ESI does not give a satisfactory account of the paradox. In this paper I propose a solution based on the distinction between empirical information and analytic information. Declarative sentences are informative due to their meanings. I construe meanings as structured hyperintensions, modelled in Transparent Intensional Logic as so-called constructions. These are abstract, algorithmically structured procedures whose constituents are sub-procedures. My main thesis is that constructions are the vehicles of information. Hence, although analytically true sentences provide no empirical information about the state of the world, they convey analytic information, in the shape of constructions prescribing how to arrive at the truths in question. Moreover, even though analytically equivalent sentences have equal empirical content, their analytic content may be different. Finally, though the empirical content of the conclusion of a valid argument is contained in the premises, its analytic content may be different from the analytic content of the premises and thus convey a new piece of information. (shrink)

As anyone who has flown out of a cloud knows, the boundaries of a cloud are a lot less sharp up close than they can appear on the ground. Even when it seems clearly true that there is one, sharply bounded, cloud up there, really there are thousands of water droplets that are neither determinately part of the cloud, nor determinately outside it. Consider any object that consists of the core of the cloud, plus an arbitrary selection of these droplets. (...) It will look like a cloud, and circumstances permitting rain like a cloud, and generally has as good a claim to be a cloud as any other object in that part of the sky. But we cannot say every such object is a cloud, else there would be millions of clouds where it seemed like there was one. And what holds for clouds holds for anything whose boundaries look less clear the closer you look at it. And that includes just about every kind of object we normally think about, including humans. Although this seems to be a merely technical puzzle, even a triviality, a surprising range of proposed solutions has emerged, many of them mutually inconsistent. It is not even settled whether a solution should come from metaphysics, or from philosophy of language, or from logic. Here we survey the options, and provide several links to the many topics related to the Problem. (shrink)

I defend a formulation of the Ramsey Test with a condition for accepting negations of conditionals. It is implicit in the assumptions of the triviality theorems of Gärdenfors, Harper, and Lewis; and it allows for a unified proof of those theorems, from weaker assumptions about belief revision. This leads to a proof of McGee’s thesis that iterated conditionals do not obey modus ponens. †To contact the author, please write to: Institute of Philosophy, University of Leuven, Kardinaal Mercierplein 2, B‐3000 (...) Leuven, Belgium; e‐mail: etlin@alum.mit.edu. (shrink)

Much of the literature on "ceteris paribus" laws is based on a misguided egalitarianism about the sciences. For example, it is commonly held that the special sciences are riddled with ceteris paribus laws; from this many commentators conclude that if the special sciences are not to be accorded a second class status, it must be ceteris paribus all the way down to fundamental physics. We argue that the (purported) laws of fundamental physics are not hedged by ceteris paribus clauses and (...) provisos. Furthermore, we show that not only is there no persuasive analysis of the truth conditions for ceteris paribus laws, there is not even an acceptable account of how they are to be saved from triviality or how they are to be melded with standard scientific methodology. Our way out of this unsatisfactory situation to reject the widespread notion that the achievements and the scientific status of the special sciences must be understood in terms of ceteris paribus laws. (shrink)

This paper takes up a recent challenge to mechanistic approaches to computational implementation, the view that computational implementation is best explicated within a mechanistic framework. The challenge, what has been labelled “the abstraction problem”, claims that one of MAC’s central pillars – medium independence – is deeply confused when applied to the question of computational implementation. The concern is that while it makes sense to say that computational processes are abstract (i.e. medium-independent), it makes considerably less sense to say (...) that they are also concrete processes of a mechanism. After outlining the problem and its effect on MAC, I examine a recent response from Kuokkanen and Rusanen [2018. “Making Too Many Enemies: Hutto and Myin’s Attack on Computationalism.” Philosophical Explorations 21 (2): 282–294. doi:10.1080/13869795.2018.1477980]. I argue that Kuokkanen and Rusanen’s response comes up short insofar as it makes problematic trade-offs among various desiderata we have for a theory of implementation. This leads to a general dilemma for MAC: either give up being an objective theory of implementation or concede the abstraction problem and so reintroduce triviality concerns. In response, I argue that conceiving of computations as abstracta rather than illata provides a way to avoid the proposed dilemma and articulate a notion of medium independence that addresses the abstraction problem. (shrink)

The “brain in a vat” thought experiment is presented and refuted by appeal to the intuitiveness of what the author informally calls “the eye for an eye principle”, namely: Conscious mental states typically involved in sensory processes can conceivably successfully be brought about by direct stimulation of the brain, and in all such cases the utilized stimulus field will be in the relevant sense equivalent to the actual PNS or part of it thereof. In the second section, four classic problems (...) of Functionalism are given novel solutions based on the inclusion of peripheral nervous processes as constituents of mental states: The mad pain problem, the problem of pseudo-normal vision, the China-brain problem, and the triviality problem. (shrink)

The paper consists of two parts. The first critically analyses Meyer’s [2005] version of the triviality objection to presentism (according to which, presentism is either trivial or untenable), and tries to show that his argument is untenable because – contrary to what he claimed – he did not take into account the entire possible spectrum of interpretations of the presentist’s thesis. In the second, positive part of the paper, it is shown that a leading form of tensed theory of (...) time postulates the same ontology as presentism and that it avoids the triviality problem which means that it can be used to generate an alternative formulation of presentism which is no longer vulnerable to the triviality objection. (shrink)

The aim of the paper is to critically assess the idea that reasons for action are provided by desires. I start from the claim that the most often employed meta-ethical background for the Model is ethical naturalism; I then argue against the Model through its naturalist background. For the latter purpose I make use of two objections that are both intended to refute naturalism per se. One is G.E. Moore’s Open Question Argument, the other is Derek Parfit’s Triviality Objection. (...) I show that naturalists might be able to avoid both objections if they can vindicate the reduction proposed. This, however, leads to further conditions whose fulfillment is necessary for the success of the vindication. I deal with one such condition, which I borrow from Peter Railton and Mark Schroeder:the demand that naturalist reductions must be tolerably revisionist. In the remainder of the paper I argue that the most influential versions of the Model are intolerably revisionist. The first problem concerns the picture of reasons that many recent formulations of the Model advocate. By using an objection from Michael Bedke, I show that on this interpretation obvious reasons won’t be accounted for by the Model. The second problem concerns the idealization that is also often part of the Model. Invoking an argument of Connie Rosati’s, I show that the best form of idealization, the ideal advisor account, is inadequate. Hence, though not the knock down arguments they were intended to be, OQA and TO do pose a serious threat to the Model. (shrink)

I build a case for the impossibility of natural necessity as anything other than a species of metaphysical necessity – the necessity obtaining in virtue of the essences of natural objects. Aristotelian necessitarianism about the laws of nature is clarified and defended. I contrast it with E.J. Lowe’s contingentism about the laws. I examine Lowe’s solution to the circularity/triviality problem besetting natural necessity understood as relative necessity. Lowe’s way out is subject to serious problems unless it is given (...) an essentialist turn, which he declines to do. Further, his defence of contingency in terms of possible variation in the natural constants is found wanting, as is a related defence given by Kit Fine. I examine and raise problems for a recent, Lowe-inspired defence of a hybrid view of the modal status of laws given by Tuomas Tahko. Aristotelian necessitarianism can account for the sorts of phenomena to which contingentists typically appeal. (shrink)

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set (...) theory, leads to triviality. (shrink)

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

One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with (...) a truth predicate and argue that they fail to support the necessity of transparency for that purpose. Second, we show that, with the aid of some regimentation, many expressive functions of the truth predicate can actually be performed using truth principles that are consistent in classical logic. Finally, we suggest a reconceptualisation of deflationism, according to which the principles that govern the use of the truth predicate in natural language are largely irrelevant for the question of what formal theory of truth we should adopt. Many philosophers think that the paradoxes pose a special problem for deflationists; we will argue, on the contrary, that deflationists are in a much better position to deal with the paradoxes than their opponents. (shrink)

The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion (...) that conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)

One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with (...) a truth predicate and argue that they fail to support the necessity of transparency for that purpose. Second, we show that, with the aid of some regimentation, many expressive functions of the truth predicate can actually be performed using truth principles that are consistent in classical logic. Finally, we suggest a reconceptualisation of deflationism, according to which the principles that govern the use of the truth predicate in natural language are largely irrelevant for the question of what formal theory of truth we should adopt. Many philosophers think that the paradoxes pose a special problem for deflationists; we will argue, on the contrary, that deflationists are in a much better position to deal with the paradoxes than their opponents. (shrink)

On Hume’s account of motivation, beliefs and desires are very different kinds of propositional attitudes. Beliefs are cognitive attitudes, desires emotive ones. An agent’s belief in a proposition captures the weight he or she assigns to this proposition in his or her cognitive representation of the world. An agent’s desire for a proposition captures the degree to which he or she prefers its truth, motivating him or her to act accordingly. Although beliefs and desires are sometimes entangled, they play very (...) different roles in rational agency. In two classic papers (Lewis 1988, 1996), David Lewis discusses several challenges to this Humean picture, but ultimately rejects them. We think that his discussion of a central anti-Humean alternative – the desire-as-belief thesis – is in need of refinnement. On this thesis, the desire for proposition p is given by the belief that p is desirable. Lewis claims that ‘[e]xcept in trivial cases, [this thesis] collapses into contradiction’(Lewis 1996, p. 308). The problem, he argues, is that the thesis is inconsistent with the purportedly plausible requirement that one’s desire for a proposition should not change upon learning that the proposition is true; call this the invariance requirement. In this paper, we revisit Lewis’s argument. We show that, if one carefully distinguishes between non-evaluative and evaluative propositions, the desire-asbelief thesis can be rendered consistent with the invariance requirement. Lewis’s conclusion holds only under certain conditions: the desire-as-belief thesis conflicts with the invariance requirement if and only if there are certain correlations between non-evaluative and evaluative propositions. But when there are such correlations, we suggest, the invariance requirement loses its plausibility. Thus Lewis’s argument against the desire-as-belief thesis appears to be valid only in cases in which it is unsound. (shrink)

Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the (...) desired result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

Russell famously argued that causation should be dispensed with. He gave two explicit arguments for this conclusion, both of which can be defused if we loosen the ties between causation and determinism. I show that we can define a concept of causation which meets Russell’s conditions but does not reduce to triviality. Unfortunately, a further serious problem is implicit beneath the details of Russell’s arguments, which I call the causal exclusion problem. Meeting this problem involves deploying (...) a minimalist pragmatic account of the nature and function of modal language. Russell’s scruples about causation can be accommodated, even as we partially legitimise the pervasive causal explanations in folk and scientific practice. (shrink)

This paper argues that recent arguments to the effect that the debate between presentism and eternalism lacks any metaphysical substance ultimately fail, although important lessons can be gleaned from them in how to formulate a non-vacuous version of presentism. It suggests that presentism can best be characterized in the context of spacetime theories. The resulting position is an ersatzist version of presentism that admits merely non-present entities as abstracta deprived of physical existence. Ersatzist presentism both escapes the charges of (...) class='Hi'>triviality and promises to offer a route to solving the grounding problem which befalls its more traditional cousins. (shrink)

In this paper I shall “draw” a sketch of a version of Meinongian Presentism. After having briefly presented some data that presentists need to explain and three problems that typically affect presentism (the triviality objection, the problem of the reference of true propositions’ constituents that seem to involve merely past and merely future objects, the truthmaking problem), I shall clarify the bases of my theory. First, I shall reject the actualist presentist assumption, according to which there are (...) no things that do not exist now. Secondly, I shall introduce some notions (e.g., the ones of tensed properties and of temporal existence) that will be useful in order to clarify the contrast between eternalist and non-eternalist metaphysical theories of time. Thirdly, I shall define Meinongian Presentism. Finally, I shall try to demonstrate that this version can deal with the aforementioned problems and with the presentist data in a serious and perspicuous way. (shrink)

The aim of this paper is to make presentism a dynamic view of reality by basing it on a notion of dynamic existence, that is, on a notion of existence which has a dynamic character. The paper shows that both of the notions of existence which are used in metaphysical theories of time have a static character and, while such a notion is useful for eternalists, it is useless for presentists if they want to make their view able to remain (...) in agreement with our everyday experience and self-consistent. It is demonstrated that both empirical and theoretical arguments indicate that the presentist should replace the notion of this static existence with the notion of a dynamic existence and that this maneuver allows the presentist to treat his/her existential thesis as equivalent to the thesis that time flows. Not only does this strategy allow us to express presentism in a simple, homogenous way which remains in agreement with our experience, but also permits us to solve some of the difficult problems which presentism faces, such as, for example, the objection of triviality and the question about the rate of time passage. Moreover, such an approach to presentism allows us to solve fundamental metaphysical problems concerning time such as the problem of the openness of the future and the fixity of the past, direction of causation, and relations between presentism and persistence through time by endurance. (shrink)

The aim of the paper is to critically assess the idea that reasons for action are provided by desires (the Model). I start from the claim that the most often employed meta-ethical background for the Model is ethical naturalism; I then argue against the Model through its naturalist background. For the latter purpose I make use of two objections that are both intended to refute naturalism per se. One is G. E. Moore’s Open Question Argument (OQA), the other is Derek (...) Parfit’s Triviality Objection (TO). I show that naturalists might be able to avoid both objections in case they can vindicate the reduction proposed. This, however, leads to further conditions whose fulfillment is necessary for the success of vindication. I deal with one such condition, which I borrow from Peter Railton and Mark Schroeder: the demand that naturalist reductions must be tolerably revisionist. In the remainder of the paper I argue that the most influential versions of the Model are intolerably revisionist. The first problem concerns the picture of reasons many recent formulations of the Model advocate. By using an objection from Michael Bedke I show that on this interpretation obvious reasons won’t be accounted for by the Model. The second problem concerns idealization that is also often part of the Model. Invoking an argument by Connie Rosati, I show that the best form of idealization, the ideal advisor account, is inadequate. Hence, though not knock down arguments as they were intended to be, OQA and TO do pose a serious threat to the Model. (shrink)

The central concern of McKeever & Ridge’s paper is with whether or not the moral particularist can formulate a defensible distinction between default and non-default reasons. [McKeever & Ridge 2004] But that issue is only of concern to the particularist, they argue, because it allows him or her to avoid a deeper problem, an unacceptable “flattening of the normative landscape”. The particularist ought, McKeever & Ridge claim, to view this corollary of his or her position as a serious embarrassment. (...) Unpacking the metaphor somewhat, the putative problem is that certain moral reasons seem, at their face value, directly to exhibit their relevance to moral decision and others, equally clearly, do not. Examples of the former class are, for example, the fact that an action 2 would inflict pain seems directly to indicate that this is a reason against carrying out the action. McKeever & Ridge cite as an example of an implausible candidate for direct moral relevance the fact that a person’s shoelace is a certain colour. [Little 2000, p. 291] They explain direct relevance as dependent on the content of a moral reason. It is the triviality of the content of this reason, namely, the fact that the colour of a person’s shoelaces is a certain way that makes it seem utterly implausible as a moral reason. McKeever & Ridge further argue that, “there surely is an important difference between considerations of shoelace colour and considerations of pain, pleasure, promising and the like.” [McKeever & Ridge 2004 p.2] They approvingly cite Lance & Little’s observation that an aspect of moral wisdom is that a morally wise person understands “that there is a deep difference in moral status between infliction of pain and shoelace colour”. [Lance & Little, forthcoming]. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

I present two Triviality results for Kratzer's standard “restrictor” analysis of indicative conditionals. I both refine and undermine the common claim that problems of Triviality do not arise for Kratzer conditionals since they are not strictly conditionals at all.

This thesis investigates the distinction, or distinctions, between response-dependent and response-independent concepts or subject matters. I present and discuss the three most influential versions of the distinction: Crispin Wright’s, Mark Johnston’s, and Philip Pettit’s. I argue that the versions do not compete for a single job, but that they can supplement each other, and that a system of different distinctions is more useful than a single distinction. I distinguish two main paradigms of response-dependence: response-dependence of subject matter, and response-dependence of (...) concepts only. I develop Pettit’s ‘ethocentric’ story of concept acquisition into an account of concept evolution that suggests answers to a range of hard questions about language, reality, and the relation between them. I argue that while response-dependence theses of subject matter can be motivated in very different ways, the resulting theses are less different than they might seem. I suggest that the traditional ways of distinguishing response-dependent subject matters from response-independent ones – in terms of a priori biconditionals connecting facts of the disputed class with responses in subjects in favourable conditions, and fulfilling some further conditions such as non-triviality and sometimes necessity – may not be the best approach. I also discuss two general problems for response-dependence theses: the problem of ‘finkish’ counterexamples, and the problem of specifying the ‘favourable conditions’ a priori, yet in a non-trivial way. The discussion of response-dependence is informed by a framework based on the idea that some realism disputes can be viewed as location disputes: disputes over the correct location of the disputed properties among several levels of candidate properties. The approach taken in this work is a charitable one: I try to make sense of response-dependence. The conclusion is the correspondingly optimistic one that the idea of response-dependence makes sense. (shrink)

If we are to understand the nature of science, we must see it as an activity and achievement of the human mind alongside others, such as the achievements of children in learning to talk and to cope with people and other objects in their environment, and the achievements of non-scientists living in a rich and complex world which constantly poses problems to be solved. Looking at scientific knowledge as one form of human knowledge, scientific understanding as one form of human (...) understanding, scientific investigation as one form of human problem-solving activity, we can begin to see more clearly what science is, and also what kind of mechanism the human mind is. -/- By undermining the slogan that science is the search for laws, and subsidiary slogans such as that quantification is essential, that scientific theories must be empirically refutable, and that the methods of philosophers cannot serve the aims of scientists, I shall try, in what follows, to liberate some scientists from the dogmas indoctrinated in universities and colleges. I shall also try to show philosophers how they can contribute to the scientific study of man, thereby escaping from the barrenness and triviality complained of so often by non-philosophers and philosophy students. -/- A side-effect which will be reported elsewhere, is to undermine some old philosophical distinctions and pour cold water on battles which rage around them -- like the distinction between subjectivity and objectivity, and the battles between empiricists and rationalists. -/- Key idea: A major aim of science is not to discover and explain laws, but to discover what is possible, and how it is possible. -/- This view of science developed further in Sloman (1978) helps to explain the contributions of Theoretical Linguistics, Chemistry, Artificial Intelligence, and Computer Science insofar as they all enrich our understanding of what is possible and how it is possible. -/- Download: http://www.cs.bham.ac.uk/research/projects/cogaff/papers.html#1976-01 . (shrink)

We investigate profinite structures in the sense of Newelski interpretable in fields. We show that profinite structures interpretable in separably closed fields are the same as profinite structures weakly interpretable in . We also find a strong connection with the inverse Galois problem. We give field theoretic constructions of profinite structures weakly interpretable in and satisfying some model theoretic properties, like smallness, m-normality, non-triviality, being -rank 1. For example we interpret in this way the profinite structure consisting of (...) the profinite group together with a distinguished Sylow p-subgroup of its standard structural group. (shrink)

There are three main categories of rationale for withholding information or telling lies: if overwhelming harm can only be averted through deceit; complete triviality such that it is irrelevant whether the truth is told; a duty to protect the interests of others. Public health authorities are frequently having to form judgements about the public interest, whether to release information or issue warnings. In June 1992, routine surveillance detected patulin levels (a known carcinogen) in samples of apple juice exceeding safety (...) threshold. Remedial actions were promptly taken and it was planned to subsequently publish the information in the routine way. However, the media portrayed the handling of the problem as a conspiracy and there was a short term reduction in juice sales. In October 1995, the UK Committee on Safety of Medicines issued a warning about certain brands of the contraceptive pill, based on the interim results of three unpublished studies. The increased risk of thromboembolism was small, but the resulting scare led to an increase in unwanted pregnancies. The handling of the B.S.E. crisis in the U.K. also led to accusations of incompetence or conspiracy. Public health authorities have to handle uncertainty and frequently have to form judgements for public safety on the basis of evidence of poor quantity and quality. Their task is not helped by the sometimes conflicting agenda of scientists and media. The public also have differing perceptions and interpretations of risk. The series of scares and crises are having a detrimental effect on public confidence in public health authorities. (shrink)

“Triviality arguments” against functionalism in the philosophy of mind hold that the claim that some complex physical system exhibits a given functional organization is either trivial or has much less content than is usually supposed. I survey several earlier arguments of this kind, and present a new one that overcomes some limitations in the earlier arguments. Resisting triviality arguments is possible, but requires functionalists to revise popular views about the “autonomy” of functional description.

Presentism is typically characterised as the thesis that everything is present, and therefore there are no dinosaurs or Martian presidential inaugurations. Putting aside the vexed question of exactly what it is to be present in this context, this thesis seems quite straightforward. However, a number of authors—such as Merricks, Lombard, Meyer, Tallant and Sakon —have argued that Presentism so characterised is either trivially true or false even by Presentist lights. This is the so-called Triviality Argument against Presentism. In this (...) paper I show that three of the four premises of the Triviality Argument are plausibly false. I conclude that Presentists have nothing to fear from the Triviality Argument. (shrink)

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

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution (...) would be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

Opponents of the computational theory of mind have held that the theory is devoid of explanatory content, since whatever computational procedures are said to account for our cognitive attributes will also be realized by a host of other ‘deviant’ physical systems, such as buckets of water and possibly even stones. Such ‘triviality’ claims rely on a simple mapping account of physical implementation. Hence defenders of CTM traditionally attempt to block the trivialization critique by advocating additional constraints on the implementation (...) relation. However, instead of attempting to ‘save’ CTM by constraining the account of physical implementation, I argue that the general form of the triviality argument is invalid. I provide a counterexample scenario, and show that SMA is in fact consistent with empirically rich and theoretically plausible versions of CTM. This move requires rejection of the computational sufficiency thesis, which I argue is scientifically unjustified in any case. By shifting the ‘burden of explanatory force’ away from the concept of physical implementation, and instead placing it on salient aspects of the target phenomenon to be explained, it’s possible to retain a maximally liberal and unfettered view of physical implementation, and at the same time defuse the triviality arguments that have motivated defenders of CTM to impose various theory-laden constraints on SMA. (shrink)

When it comes to the mind-body problem, different kinds of physicalism were the most popular approaches among philosophers. The presence of anomalous monism with its lack of laws concerning mental events and multiple realizability led to a doubt regarding reductionism and a slow movement away from it. It did not, however, weaken the popularity of physicalism. Thus, the problem that had to be faced was to create such a form of physicalism that would reject the reduction of what (...) was mental to what was physical. No difference of one sort without a difference of another sort is a slogan that expresses the idea of supervenience, the idea that according to many philosophers was supposed to be the right expression of physicalism of this particular type. The text briefly presents the intuitions that are hidden behind the notion of supervenience and its main varieties: weak, strong and global. Moreover, the text touches upon the fault of supervenience which was observed in its symmetry and, most of all, in its triviality. This type of fault would force the philosophers to admit that this relation is metaphysically irrelevant. (shrink)

Why do predicates like know embed both declarative and interrogative clauses, whereas closely related ones like believe only embed the former? The standard approach following Grimshaw to this issue has been to specify lexically for each predicate which type of complement clause it can combine with. This view is challenged by predicates such as be certain, which embed interrogative clauses only in certain contexts. To deal with this issue, this paper proposes a novel, unified semantics for declarative and interrogative embedding (...) and a theory where embedding is constrained by semantic considerations. The reason for the apparent unembeddability of an interrogative clause under a given predicate is the resulting trivial meaning of the sentence. Such triviality manifests itself in unacceptability. Crucially, it is affected by both the lexical meaning of the predicate and the polarity of the sentence as a whole. (shrink)

In recent years, a number of theorists have claimed that beliefs about probability are transparent. To believe probably p is simply to have a high credence that p. In this paper, I prove a variety of triviality results for theses like the above. I show that such claims are inconsistent with the thesis that probabilistic modal sentences have propositions or sets of worlds as their meaning. Then I consider the extent to which a dynamic semantics for probabilistic modals can (...) capture theses connecting belief, certainty, credence, and probability. I show that although a dynamic semantics for probabilistic modals does allow one to validate such theses, it can only do so at a cost. I prove that such theses can only be valid if probabilistic modals do not satisfy the axioms of the probability calculus. (shrink)

A triviality result for what Lewis called “the Desire by Necessity Thesis” and Broome : 265–267, 1991) called “the Desire as Expectation Thesis” is presented. The result shows that this thesis and three other reasonable conditions can be jointly satisfied only in trivial cases. Some meta-ethical implications of the result are discussed. The discussion also highlights several issues regarding Lewis ’ original triviality result for “the Desire as Belief Thesis” that have not been properly understood in the literature.

In this paper, I investigate one popular view in current methodological debate about musical ontology, namely, descriptivism. According to descriptivism, the task of musical ontology is to offer a description of the ‘structure of our thought’ about musical works, as it manifests itself in actual musical practices. In this regard, descriptivists often appeal to our pre-theoretical intuitions to ground ontological theories of musical works. This practice, however, is worrisome, as such intuitions are unstable and contradictory. For example, there is a (...) broad variety of intuitions in our musical practice concerning what counts as an authentic performance of a musical work. All such intuitions reflect at least a part of actual practice; however, they are in conflict with each other. This raises a problem, for how can they thus represent a reliable basis for our ontology? A further worry for descriptivism concerns the triviality of the knowledge it gives us access to. If, according to descriptivism, the task of musical ontologists is simply to codify the regularities found in our intuitive thought or discourse about practice, then how can the resulting theories be informative at all with regard to the object of their concern? (shrink)

I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which personal identity is (...) a relation that essentially depends on a mereologically simple (or impartite) entity the existence and features of which may be known directly (e.g., by introspection) or indirectly (e.g., by deduction from a series of other premises). (shrink)