“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.

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)

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)

Relativism offers a nifty way of accommodating most of our intuitions about epistemic modals, predicates of personal taste, color expressions, future contingents, and conditionals. But in spite of its manifest merits relativism is squarely at odds with epistemic value monism: the view that truth is the highest epistemic goal. I will call the argument from relativism to epistemic value pluralism the trivial argument for epistemic value pluralism. After formulating the argument, I will look at three possible ways to refute it. (...) I will then argue that two of these are unsuccessful, and defend the third, which involves denying that there are any genuinely relative truths. (shrink)

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in the weaker, bound, form, the counterfactual (...) Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

I formulate a counterfactual version of the notorious ‘Ramsey Test’. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probability/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter. Even in the weaker, bound, form, the (...) counterfactual Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time‐evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument. I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

Conditional probability is often used to represent the probability of the conditional. However, triviality results suggest that the thesis that the probability of the conditional always equals conditional probability leads to untenable conclusions. In this paper, I offer an interpretation of this thesis in a possible worlds framework, arguing that the triviality results make assumptions at odds with the use of conditional probability. I argue that these assumptions come from a theory called the operator theory and that the (...) rival restrictor theory can avoid these problematic assumptions. In doing so, I argue that recent extensions of the triviality arguments to restrictor conditionals fail, making assumptions which are only justified on the operator theory. (shrink)

This paper challenges defenders/advocates of the semantic-completeness route towards gluts to explain, in simple and plausible terms, why the ‘trivializer paradox’, framed in terms of closure relatives on theories, fails to undermine their argument.

The origin of paraconsistent logic is closely related with the argument, ‘from the assertion of two mutually contradictory statements any other statement can be deduced’; this can be referred to as ex contradictione sequitur quodlibet (ECSQ). Despite its medieval origin, only by the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this article is to study what happened earlier: from Principia Mathematica to that time, when it became well (...) established. The two main historical claims that I am going to advance are the following: (1) the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition of the book Grundzüge der Theoretischen Logik (Hilbert, D. and Ackermann, W. 1928. Grundzüge der Theoretischen Logik. Berlin: Julius Springer Verlag); (2) Łukasiewicz's position regarding the logical constraints against contradictions varies considerably from his studies on the principle of (non-) contradiction in Aristotle, published in 1910 and what is stated in his `authorized lectured notes' on mathematical logic that appeared in 1929. The two texts are: 1) a paper in German (Łukasiewicz, J. 1910. `Über den Satz des Widerspruchs bei Aristotles'. Bulletin International de l'Académie des sciences de Cracovie, Classe d'Histoire et de Philosophie, pp. 15–38) [English translation: Łukasiewicz, J. 1971. ‘On the principle of contradiction in Aristotle’, Review of Metaphysics, XXIV, 485–509]; and 2) a book in Polish. Łukasiewicz, J. 1910. O zasadzie sprzecznosci u Aristotelesa Studium krytyczne, Warsaw: Panstwowe Wydawnictwo Naukowe [German translation: Łukasiewicz, J. 1993. Über den Satz des Widerspruchs bei Aristotles. Hildesheim: Georg Olms Verlag]. The lecture notes were then published as a book (Łukasiewicz, J. 1958. Elementy Logiki Matematycznej. Warszawa: Panstwowe Wydawnictwo Naukowe [PWN] and then translated into English (Łukasiewicz, J. 1963. Elements of Mathematical Logic. Oxford, New York: Pergamon Press/the Macmillan Company). The second half of this article will concentrate on Łukasiewicz's position on ECSQ. This will lead me to propose that to regard him as a forerunner of paraconsistent logic by virtue of those early writings is accurate only if his book published in Polish is considered but not if the analysis is restricted to the paper originally published in German (as has been the case for the principal reconstructions of the history of paraconsistent logic). Furthermore, I will stress that in the 1929 book he presented one formalization of ECSQ as an axiom for sentential calculus and, also, he used ECSQ to defend the necessity of consistency, apparently independently of Hilbert and Ackermann's book. At the end, I will suggest that the aim of twentieth century usage of ECSQ was to change from the centuries-long philosophical discussion about contradictions to a more ‘technical’ one. But with paraconsistent logic viewed as a technical solution to this restriction, then, the philosophical problem revives but having now at one's disposal an improved understanding of it. Finally, Łukasiewicz's two different positions about ECSQ open an interesting question about the history of paraconsistent logic: do we have to attempt a consistent reconstruction of it, or are we prepared to admit inconsistencies within it? (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)

Saunders & van Brakel prematurely reject the idea of nontrivial constraints in color nomenclature. Their claim that the universality of color naming is caused by Western contact and cultural dominance is inadequate because of the great variety of terminology systems still found in the world. The complex interactions of hue, brightness, and saturation can be studied rigorously. If we discard the standard models of color nomenclature because of some discrepancies and anomalies, we will not be able to explain the vast (...) array of remaining data that is consistent with current theories. (shrink)

In their recent contribution to this journal, Brian D. Earp, Anders Sandberg, and Julian Savulescu argue that "the 'medicalization of love' need not necessarily be problematic, on balance, but could plausibly be expected to have either good or bad consequences depending upon how it unfolds." Although I find myself in agreement with the majority of the points the authors make to this end, as well as with the general thrust of their position, I am nevertheless left feeling rather unsatisfied by (...) their overall exposition. This is largely because they fail to provide any substantial love-specific argument, as I demonstrate in this paper. (shrink)

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...) well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...) well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so (...) on. A popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (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)

In the last years, we have attended to different attempts to extend the notion of affordance to include mental or cognitive actions. In short, the idea is that our capacity to perform some cognitive functions such as counting, imagining, mathematical reasoning, and so on, is preceded by our awareness of cognitive or mental affordances. In this paper, we analyze two of these attempts, Mental Affordance Hypothesis, and cognitive horizons, and conclude that they fail to deliver their promise. Our argument is (...) two-fold. First, we show that both proposals lack an explanation for how these affordances can be perceived or experienced by the individuals. Second, we argue, focusing on the examples provided by the authors, that the introduction of cognitive affordances is not justified on explanatory grounds. In other words, neither of these proposals offers a compelling justification for thinking that performing said “mental acts” requires the perception of mental or cognitive affordances. Hence, the existence of mental or cognitive affordances remains both scientifically mysterious and explanatorily unjustified. (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even (...) if it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (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)

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

Gold & Stoljar reveal that adherence to the radical neuron doctrine cannot be maintained via appeals to scientific principles. Using arguments from naturalism and materialism, unification, and exemplars, it is shown that the “mind-is-brain” materialism explicit in the trivial version of the neuron doctrine ultimately suffers the same theoretical fate. Cognitive science, if it is to adopt an ontology at all, would be better served by a metaphysically neutral ontology such as double-aspect theory or neutral monism.

What can make storytelling “evil” in the sense that the storytelling leads to accepting a view for no good reason, thus allowing ill-reasoned action? I mean the storytelling can be argumentatively evil, not trivially that (e.g.) the overt speeches of characters can include bad arguments. The storytelling can be argumentatively evil in that it purveys false premises, or purveys reasoning that is formally or informally fallacious. My main thesis is that as a rule, the shorter the fictional narrative, the (...) greater the potential for argumentative evil. Here, the notion of length is to be understood such that it is generally a proxy for more abstract features such as how complex and nuanced the piece is. In other argumentative contexts, length generally appears to make no comparable difference. This feature would put fictional narrative arguments in a special class beyond what is determined by obvious features, such as the definitional fact that they in some way(s) collapse two of the four traditional types of discourse: exposition, description, narration, and argument. The nonobvious features that distinguish this class have been a source of puzzlement and inquiry. (shrink)

This paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that (...) this strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open. (shrink)

The central argument in this paper is the following: if we agree that one of the aims of explanation is to provide or increase understanding, and if we assess understanding on the basis of the inferences one can draw from the knowledge of the phenomenon which is understood, then the value of an explanation, i.e. its capacity to provide or increase understanding of the explained phenomenon, should be assessed on the basis of the extra-inferences which this explanation allows for. The (...) extra-inferences which a given explanation allows for constitute its inferential content. The analysis of the explanation’s inferential content could be applied to all kinds of explanations with the aim of assessing their goodness. I show how such an analysis helps us to better understand a number of difficulties that have puzzled contemporary philosophers of explanation: the flagpole counterexample to the deductive-nomological model of explanation, the conjunction problem, the difference between good and bad circular explanations. (shrink)

Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This (...) article discusses the applications of Leibniz’s Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz’s Law. These strategies divide into three categories: (i) denying Leibniz’s Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument’s premises are true. Strategies falling under each of these three categories are discussed in turn. (shrink)

ABSTRACT A trivalent theory of indicative conditionals automatically enforces Stalnaker's thesis – the equation between probabilities of conditionals and conditional probabilities. This result holds because the trivalent semantics requires, for principled reasons, a modification of the ratio definition of conditional probability in order to accommodate the possibility of undefinedness. I explain how this modification is motivated and how it allows the trivalent semantics to avoid a number of well-known triviality results, in the process clarifying why these results hold for (...) many bivalent theories. In short, the slew of triviality results published in the last 40-odd years need not be viewed as an argument against Stalnaker's thesis: it can be construed instead as an argument for abandoning the bivalent requirement that indicative conditionals somehow be assigned a truth-value in worlds in which their antecedents are false. (shrink)

In several recent publications, Professor Adolf Grünbaum has inveighed against the conventionalism of writers like Einstein, Poincaré, Quine and especially Duhem. Specifically, Grünbaum has assailed the view that a single hypothesis can never be conclusively falsified. Grünbaum claims that the conventionalists’ insistence on the immunity of hypotheses from falsification is neither logically valid nor scientifically sound. Directing the weight of his argument against Duhem, Grünbaum launches a two-pronged attack. He insists, first, that conclusive falsifying experiments are possible, suggesting that Duhem's (...) denial of such experiments is a logical non-sequitur. He then proceeds to show that, more than being merely possible, crucial falsifying experiments have occurred in physics. I do not intend to make a logical point against Grünbaum's critique so much as an historical and exegetical one. Put briefly, I believe that he has misconstrued Duhem's views on falsifiability and that the logical blunder which he discusses should not be ascribed to Duhem, but rather to those who have made Duhem's conventionalism into the doctrine which Grünbaum attacks. Whether there are any writers who accept the view he imputes to Duhem, or whether he is exploiting “straw-men” to give weight to an otherwise trivial argument is an open question. For now, I simply want to suggest that his salvos are wrongly directed against Duhem. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Argumentative Structure of Kant’s Metaphysical Foundations Of Natural ScienceEric Watkinsone of kant’s most fundamental aims is to justify Newtonian science. However, providing a detailed explanation of even the main structure of his argument (not to mention the specific arguments that fill out this structure) is not a trivial enterprise. While it is clear that Kant’s Critique of Pure Reason (1781), his Metaphysical Foundations of Natural Science (1786), (...) and his unpublished (and incomplete) Opus postumum should in some way constitute the core of this justification, it is less clear how each of these works does so in detail. In this paper I shall first argue that the standard view of the relationship between the Critique of Pure Reason and the Metaphysical Foundations of Natural Science (hereafter simply Metaphysical Foundations) is mistaken. I shall then present my own interpretation of how the Metaphysical Foundations contributes to the justification of Newtonian science. Finally, I shall conclude by considering an important interpretation of the argument of the Metaphysical Foundations developed by Michael Friedman. However, it is first necessary to present briefly Kant’s conception of science (in particular what conditions a body of knowledge must satisfy for Kant in order to be considered science proper) as well as Kant’s own understanding of the relevant differences between his projects in the first Critique, the Metaphysical Foundations, and the Opus postumum.Kant’s conception of science is rather strict if measured by contemporary standards. For in the preface to the Metaphysical Foundations Kant establishes three substantive conditions that a body of knowledge must satisfy in order to be considered science proper.1 (1) It must not consist in empirical principles, [End Page 567] but rather must be obtained solely from pure, a priori principles;2 (2) It must be apodictically certain;3 (3)4 It must be a systematically ordered whole (which means that its various propositions must be related as, for example, antecedents and consequents).5 After stating these conditions, Kant then argues that all natural science proper requires a pure part upon which its apodictic certainty is based. In other words, satisfaction of the first condition immediately implies satisfaction of the second condition as well.6 Accordingly, these three conditions (and the first one in particular) imply that natural science proper requires (or rather presupposes) a justification by something distinct from it that Kant calls a metaphysics of nature.7 But what exactly does a metaphysics of nature encompass? Kant distinguishes two different parts of the metaphysics of nature: a transcendental part and a special part. A metaphysics of nature [End Page 568] is transcendental insofar as it concerns “the laws that make the concept of nature in general possible, even without relation to any determinate object of experience, and [insofar as it is] thus indeterminate with respect to the nature of this or that thing in the sensible world,” whereas a metaphysics of nature is special to the extent that “it is concerned with a special nature of this or that kind of thing of which an empirical concept is given, but so that except for what lies in this concept no other empirical principle is used for knowledge thereof.”8 In short, a transcendental metaphysics, revealing how experience in general is possible, is not supposed to presuppose an empirical concept, whereas a special metaphysics does make such an assumption insofar as it is concerned with the special natures of things.How do the three works cited above relate to Kant’s distinction between a transcendental and a special metaphysics of nature? In the preface to the Metaphysical Foundations Kant clearly indicates that he intends the Metaphysical Foundations to constitute the special metaphysics of nature. Although he does not explicitly refer to the first Critique in the preface, it is also relatively clear that he sees it (or at least the ‘System of Pure Reason’ that Kant foresees as following upon it and as incorporating its fundamental results)9 as constituting [End Page 569] the transcendental part of a metaphysics of nature.10 The Principles of Pure Understanding (‘Grundsätze des reinen Verstandes’) in the Transcendental Analytic argue for what could naturally be described as “laws... (shrink)

Argumentation is a cognitive category. Texts cannot be said to be argumentation, nor can argumentation be said to lie in texts. This is an almost trivial semiotic point of departure, but it is quite relevant nevertheless. In this contribution, three reasons are developed to emphasize and to articulate the semiotic component of argumentation to show that it is a crucial element that cannot be disregarded. Two of these reasons are mentioned only in passing as other contributions in this volume deal (...) with them more substantially. The third reason, being that argumentation requires an exchange of discourse worlds and that consequently the mimetic construction of these discourse worlds is part of the argumentation, is discussed in some detail in this paper. It will be argued that a lack of attention for the mimetics of argumentation is regrettable, both theoretically and practically. Focusing on the mimetics raises questions concerning the dominant ‘propositional’ format of argumentation assumed to be essential for argumentative assessment. (shrink)

I argue against the claim that it is trivial to state that Sidgwick used the method of wide reflective equilibrium. This claim is based on what could be called the Triviality Charge, which is pressed against the method of wide reflective equilibrium by Peter Singer. According to this charge, there is no alternative to using the method if it is interpreted as involving all relevant philosophical background arguments. The main argument against the Triviality Charge is that although (...) the method of wide reflective equilibrium is compatible with coherentism (understood as a form of weak foundationalism) as well as moderate foundationalism, it is not compatible with strong foundationalism. Hence, the claim that a philosopher uses the method of wide reflective equilibrium is informative. In particular, this is true with regard to Sidgwick. (shrink)

Krabbe (2003, in F.H. van Eemeren, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Fifth Conference of the International Society for the Study of Argumentation, Sic Sat, Amsterdam, pp. 641–644) defined a metadialogue as a dialogue about one or more dialogues, and a ground-level dialogue as a dialogue that is not a metadialogue. Similarly, I define a meta-argument as an argument about one or more arguments, and a ground-level argument as one which is not a (...) meta-argument. Krabbe (1995, in F.H van Eemeren, R. Grootendorst, J.A. Blair, C.A. Willard and A.F. Snoeck Henkemans (eds.), Proceedings of the Third ISSA Conference on Argumentation, Sic Sat, Amsterdam, pp. 333–344) showed that formal-fallacy criticism (and more generally, fallacy criticism) consists of metadialogues, and that such metadialogues can be profiled in ways that lead to their proper termination or resolution. I reconstruct Krabbe’s metadialogical account into monolectical, meta-argumentative terminology by describing three-types of meta-arguments corresponding to the three ways of proving formal invalidity he studied: the trivial logic-indifferent method; the method of counterexample situation; and the method of formal paraphrase. A fourth type of meta-argument corresponds to what Oliver (1967, Mind 76, 463–478), Govier (1985, Informal Logic 7, 27–33), and Copi (1986) call refutation by logical analogy. A fifth type of meta-argument represents my reconstruction of arguments by parity of reasoning studied by Woods and Hudak (1989, Informal Logic 11, 125–139). Other particular meta-arguments deserving future study are Hume’s critique of the argument from design in the Dialogues Concerning Natural Religion, and Mill’s initial argument in The Subjection of Women about the importance of established custom and general feeling vis-à-vis argumentation. (shrink)

In this paper, I seek to undermine G.A. Cohen ’s polemical use of a metaethical claim he makes in his article, ‘ Facts and Principles’, by arguing that that use requires an unsustainable equivocation between epistemic and logical grounding. I begin by distinguishing three theses that Cohen has offered during the course of his critique of Rawls and contractualism more generally, the foundationalism about grounding thesis, the justice as non-regulative thesis, and the justice as all-encompassing thesis, and briefly argue that (...) they are analytically independent of each other. I then offer an outline of the foundationalism about grounding thesis, characterising it, as Cohen does, as a demand of logic. That thesis claims that whenever a normative principle is dependent on a fact, it is so dependent in virtue of some other principle. I then argue that although this is true as a matter of logic, it, as Cohen admits, cannot be true of actual justifications, since logic cannot tell us anything about the truth as opposed to the validity of arguments. Facts about a justification cannot then be decisive for whether or not a given argument violates the foundationalism about grounding thesis. As long as, independently of actual justifications, theorists can point to plausible logically grounding principles, as I argue contractualists can, Cohen ’s thesis lacks critical bite. (shrink)

David Lewis introduced a new kind of reductio ad absurdum style of argument: while the claims, suitably formalized, do not lead to outright contradiction, he showed they are tenable only in trivial ways. Lewis proved what are known as triviality results against the claims. The claims are "Probabilities of conditionals are conditional probabilities." "Desires are beliefs about what is good." The author argues that the tenuous connections between the claims go considerably further still: the claims give rise to debates (...) that display a remarkably parallel structure. He brings out their many similarities to illuminate both of them, and to point the way to some promising avenues for future research. He displays structural similarities between the fluctuating fortunes of Stalnaker's Thesis, and those of Desire‐as‐Belief. Lewis concludes telegraphically by saying that Desire by Necessity is "a form of anti‐Humeanism, sure enough, but not the right form of anti‐Humeanism"; and that's it. (shrink)

Timeless techniques of effective public speaking from ancient Rome's greatest orator All of us are faced countless times with the challenge of persuading others, whether we're trying to win a trivial argument with a friend or convince our coworkers about an important decision. Instead of relying on untrained instinct—and often floundering or failing as a result—we’d win more arguments if we learned the timeless art of verbal persuasion, rhetoric. How to Win an Argument gathers the rhetorical wisdom of Cicero, (...) ancient Rome’s greatest orator, from across his works and combines it with passages from his legal and political speeches to show his powerful techniques in action. The result is an enlightening and entertaining practical introduction to the secrets of persuasive speaking and writing—including strategies that are just as effective in today’s offices, schools, courts, and political debates as they were in the Roman forum. How to Win an Argument addresses proof based on rational argumentation, character, and emotion; the parts of a speech; the plain, middle, and grand styles; how to persuade no matter what audience or circumstances you face; and more. Cicero’s words are presented in lively translations, with illuminating introductions; the book also features a brief biography of Cicero, a glossary, suggestions for further reading, and an appendix of the original Latin texts. Astonishingly relevant, this unique anthology of Cicero’s rhetorical and oratorical wisdom will be enjoyed by anyone who ever needs to win arguments and influence people—in other words, all of us. (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)

The gist of the many-subjects argument is that, given physicalism, it’s hard to avoid the absurd result that there are many conscious subjects in your vicinity with more-or-less the same experiences as you. The most promising ways of avoiding this result have a consequence almost as bad: that there are many things in your vicinity that are in a state only trivially different from being conscious, a state with similar normative significance. This paper clarifies and defends three versions of the (...) many-subjects argument. One version poses the threat of conscious parts. Its key premise is that if physicalism is true, then not only you, but also certain parts of your body, are conscious. These parts might include your brain, your head, all-of-you-except-your-left-pinky, all-of-your-brain-except-one-neuron, or your left cerebral hemisphere. A second version poses the threat of conscious coinciders, things that currently occupy the same spatial region as you and share all your matter. Its key premise is that if physicalism is true, then not only you, but also some things that currently coincide with you, are conscious. These might include your body or the aggregate of particles of which you are currently composed. A third version poses the threat of conscious person candidates, the many human-body-shaped material objects in your vicinity that mostly overlap one another, differing only in a few peripheral atoms. This version claims that if physicalism is true, then there are many conscious person-candidates in your vicinity. -/- . (shrink)

This paper offers a refutation of P. Duhem's thesis that the falsifiability of an isolated empirical hypothesis H as an explanans is unavoidably inconclusive. Its central contentions are the following: 1. No general features of the logic of falsifiability can assure, for every isolated empirical hypothesis H and independently of the domain to which it pertains, that H can always be preserved as an explanans of any empirical findings O whatever by some modification of the auxiliary assumptions A in conjunction (...) with which H functions as an explanans. For Duhem cannot guarantee on any general logical grounds the deducibility of O from an explanans constituted by the conjunction of H and some revised non-trivial version R of A: the existence of the required set R of collateral assumptions must be demonstrated for each particular case. 2. The categorical form of the Duhemian thesis is not only a non-sequitur but actually false. This is shown by adducing the testing of physical geometry as a counterexample to Duhem in the form of a rebuttal to A. Einstein's geometrical articulation of Duhem's thesis. 3. The possibility of a quasi a priori choice of a physical geometry in the sense of Duhem must be clearly distinguished from the feasibility of a conventional adoption of such a geometry in the sense of H. Poincare. And the legitimacy of the latter cannot be invoked to save the Duhemian thesis from refutation by the foregoing considerations. (shrink)

Recently two pairs of authors have aimed to vindicate the longstanding "orthodox" or conventional claim that a first-class constraint generates a gauge transformation in typical gauge theories such as electromagnetism, Yang-Mills and General Relativity, in response to the Lagrangian-equivalent reforming tradition, in particular Pitts, _Annals of Physics_ 2014. Both pairs emphasize the coherence of the extended Hamiltonian formalism against what they take to be core ideas in Pitts 2014, but both overlook Pitts 2014's sensitivity to ways that one might rescue (...) the claim in question, including an additive redefinition of the electrostatic potential. Hence the bulk of the paper is best interpreted as arguing that the longstanding claim about separate first-class constraints is _either false or trivial_---de-Ockhamization (using more when less suffices by splitting one quantity into the sum of two) being trivial. Unfortunately section 9 of Pitts 2014, a primarily verbal argument that plays no role in other works, is refuted. Pooley and Wallace's inverse Legendre transformation to de-Ockhamized electromagnetism with an additively redefined electrostatic potential, however, opens the door to a precisely analogous calculation introducing a photon mass, which shows that a _second-class primary_ constraint generates a 'gauge transformation' in the exactly same sense---a _reductio ad absurdum_ of the orthodox claim that a first-class constraint generates a gauge transformation _and a second-class constraint does not_. A _reductio_ using massive electromagnetism was presaged in Pitts 2014. Gauge freedom by de-Ockhamization does not require any constraints at all, first-class or second-class, because any dynamical variable in any Lagrangian can be de-Ockhamized into exhibiting trivial additive artificial gauge freedom by splitting one quantity into the sum of two. Physically interesting gauge freedom, however, is typically generated by a tuned sum of first-class constraints, not each first-class constraint alone. (shrink)

I argue that voting abstention may be obligatory under certain non-trivial conditions. Following recent work on voting ethics, I argue that the obligation to abstain under certain conditions follows from a duty not to vote badly. Whether one votes badly, however, turns on more than one's reasons for wanting a particular candidate elected or policy implemented. On my account, one's reasons for voting at all also matter, and one can be in a position where there is no way to exercise (...) one's right to vote well. Seriously unfair electoral processes may put one in such a position. Such processes arguably hold in some contemporary western democracies, including the US. (shrink)

Leibniz often refers to the Principle of Sufficient Reason (PSR) as something like a first principle. In some texts, however, he attempts to give positive arguments in its favor. I examine two such arguments, and find them wanting. The first argument has two defects. First, it is question-begging; and second, when the question-begging step is excised, the principle one can in fact derive is highly counter-intuitive. The second argument is valid, but has the defect of only reaching a (...) nearly trivial conclusion. (shrink)

The hole argument purportedly shows that spacetime substantivalism implies a pernicious form of indeterminism. We show that the argument is seductive only because it mistakes a trivial claim (viz. there are isomorphic models) for a significant claim (viz. there are hole isomorphisms). We prove that the latter claim is false -- thereby closing the debate about whether substantivalism implies indeterminism.

Priest and others have presented their “most telling” argument for paraconsistent logic: that only paraconsistent logics allow non-trivial inconsistent theories. This is a very prevalent argument; occurring as it does in the work of many relevant and more generally paraconsistent logicians. However this argument can be shown to be unsuccessful. There is a crucial ambiguity in the notion of non-triviality. Disambiguated the most telling reason for paraconsistent logics is either question-begging or mistaken. This highlights an important confusion about the (...) role of logic in our development of our theories of the world. Does logic chart good reasoning or our commitments? We also consider another abductive argument for paraconsistent logics which also is shown to fail. (shrink)

In this paper, my aim is to offer some comments on the study of Mu‘tazilite kalām, framed around the study of a particular episode in the Mu‘tazilite dispute about man – a question with a deceptively Aristotelian cadence that is not too difficult to dispel. Within this episode, my focus is on one of the major arguments used by the late Baṣrans to hold up their side of the dispute, and on the relationship between the mental and the physical (...) which emerges from it. The most interesting – and most surprising – aspect of this relationship is that the mental and the physical do not seem to be treated as distinct terms, thus creating the space for questions about how the two relate. The first person perspective seems to be identified with the physical body. My interest then is in the response of the reader to this surprising presentation – or rather, in a certain kind of reader response, and thus a certain kind of interpretive mode, whose value and viability it is part of my aim to help clarify. (shrink)

According to Amie Thomasson, most of the existence questions that concern ontologists can be easily answered using trivial arguments from uncontroversial premises. In this paper, I examine Thomasson’s main argument for this significant and striking thesis, focusing on the crucial premise that sortal terms have application conditions. I argue that Thomasson’s defence of this premise fails to support it. I also argue that it faces a serious objection.

While the rule of law is surely a very important good, the familiar discussions found in the literature lead many to conclude that it is either a relatively trivial political ideal, or else a redundant one. What is needed is a new and persuasive defense of the rule of law that properly reflects its great significance for human well being. An important step towards building such an argument is to question a widely-shared but often unnoticed assumption that the rule of (...) law should be understood as a virtue of legal systems. The path is then cleared for a republican argument built on two theses: first, the thought that an ideal society would be one in which no one is the master of anyone else, and second, the thought that our freedom from domination is not natural or pre-institutional. (shrink)

What do we learn when we find out that an argument is logically incorrect? If logically incorrect means the same as not logically correct, which in turn means not having a valid logical form, it seems that we do not learn anything too useful—an argument which is logically incorrect can still be conclusive. Thus, it seems that it makes sense to fix a stronger interpretation of the term under which a logically incorrect argument is guaranteed to be wrong. In this (...) paper, we show that pinpointing this stronger sense is much trickier than one would expect; but eventually we reach an explication of the notion of logical incorrectness which we find non-trivial and viable. (shrink)