Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

Medical diagnosis has been traditionally recognized as a privileged field of application for so called probabilistic induction. Consequently, the Bayesian theorem, which mathematically formalizes this form of inference, has been seen as the most adequate tool for quantifying the uncertainty surrounding the diagnosis by providing probabilities of different diagnostic hypotheses, given symptomatic or laboratory data. On the other side, it has also been remarked that differential diagnosis rather works by exclusion, e.g. by modus tollens, i.e. deductively. By drawing (...) on a case history, this paper aims at clarifying some points on the issue. Namely: 1) Medical diagnosis does not represent, strictly speaking, a form of induction, but a type, of what in Peircean terms should be called ‘abduction’ (identifying a case as the token of a specific type); 2) in performing the single diagnostic steps, however, different inferential methods are used for both inductive and deductive nature: modus tollens, hypothetical-deductive method, abduction; 3) Bayes’ theorem is a probabilized form of abduction which uses mathematics in order to justify the degree of confidence which can be entertained on a hypothesis given the available evidence; 4) although theoretically irreconcilable, in practice, both the hypothetical- deductive method and the Bayesian one, are used in the same diagnosis with no serious compromise for its correctness; 5) Medical diagnosis, especially differential diagnosis, also uses a kind of “probabilistic modus tollens”, in that, signs (symptoms or laboratory data) are taken as strong evidence for a given hypothesis not to be true: the focus is not on hypothesis confirmation, but instead on its refutation [Pr (¬ H/E1, E2, …, En)]. Especially at the beginning of a complicated case, odds are between the hypothesis that is potentially being excluded and a vague “other”. This procedure has the advantage of providing a clue of what evidence to look for and to eventually reduce the set of candidate hypotheses if conclusive negative evidence is found. 6) Bayes’ theorem in the hypothesis-confirmation form can more faithfully, although idealistically, represent the medical diagnosis when the diagnostic itinerary has come to a reduced set of plausible hypotheses after a process of progressive elimination of candidate hypotheses; 7) Bayes’ theorem is however indispensable in the case of litigation in order to assess doctor’s responsibility for medical error by taking into account the weight of the evidence at his disposal. (shrink)

Suppose that some contradictions are true – for example, that as I walk through the door, I’m inside and I’m not inside. Then we argue 'if I'm walking through the door, I'm inside; I'm not inside; therefore, I'm not walking through the door' is an invalid instance of modus tollens.

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this (...) form of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

A consistent finding in research on conditional reasoning is that individuals are more likely to endorse the valid modus ponens (MP) inference than the equally valid modus tollens (MT) inference. This pattern holds for both abstract task and probabilistic task. The existing explanation for this phenomenon within a Bayesian framework (e.g., Oaksford & Chater, 2008) accounts for this asymmetry by assuming separate probability distributions for both MP and MT. We propose a novel explanation within a computational-level Bayesian (...) account of reasoning according to which “argumentation is learning”. We show that the asymmetry must appear for certain prior probability distributions, under the assumption that the conditional inference provides the agent with new information that is integrated into the existing knowledge by minimizing the Kullback-Leibler divergence between the posterior and prior probability distribution. We also show under which conditions we would expect the opposite pattern, an MT-MP asymmetry. (shrink)

Epistemic modals in consequent place of indicative conditionals give rise to apparent counterexamples to Modus Ponens and Modus Tollens. Familiar assumptions of fa- miliar truth conditional theories of modality facilitate a prima facie explanation—viz., that the target cases harbor epistemic modal equivocations. However, these explana- tions go too far. For they foster other predictions of equivocation in places where in fact there are no equivocations. It is argued here that the key to the solution is to drop (...) the assumption that modal claims are inherently relational (i.e., that they ex- press a logical relation between a prejacent and a premise-set) in favor of a view that treats them as inherently quantificational. In particular it is suggested that modals are mass noun descriptions of information. We demonstrate how this approach unlocks the equivocation problem. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss (...) such arguments, nor did he call any arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With (...) the content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal (...) vocabulary and classical logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Abduction* is the genus with deduction and induction as species. Modus tollens is backward reasoning as an unknown proposition is inferred from a known proposition. Reductio ad absurdum is abductive because the conclusion is inferred by deriving a contradiction from an assumption. Inductive reasoning from effect to cause is also backward reasoning. But abduction* consists of forward reasoning as well. The generic structure of abductive* argumentation is universal among all cultures, occupations and disciplines.

The meta-ethical commitments of folk respondents – specifically their commitment to the objectivity of moral claims – have recently become subject to empirical scrutiny. Experimental findings suggest that people are meta-ethical pluralists: There is both inter- and intrapersonal variation with regard to people’s objectivist commitments. What meta-ethical implications, if any, do these findings have? I point out that current research does not directly address traditional meta-ethical questions: The methods used and distinctions drawn by experimenters do not (...) perfectly match those of meta-ethicists. However, I go on to argue that, in spite of this mismatch, the research findings should be of interest to moral philosophers, including meta-ethicists. Not only do these findings extend the field of moral psychology with new data and hypotheses, but they also provide tentative evidence that touches on the adequacy of theses in moral semantics and moral metaphysics. Specifically, they put pressure on argum... (shrink)

This paper assesses the prospects of a pragmatist theory of content. I begin by criticising the theory presented in D.H. Mellor’s essay ‘Successful Semantics’. I then identify problems and lacunae in the pragmatist theory of meaning sketched in Chapter 13 of Dummett’s The Logical Basis of Metaphysics. The prospects are brighter, I contend, for a tempered pragmatism, in which the theory of content is permitted to draw upon irreducible notions of truth and falsity. I sketch the shape of such a (...) theory and illustrate the role of its pragmatist elements by showing how they point towards a promising account of the truth conditions of indicative conditionals. A feature of the account is that it validates Modus Ponens whilst invalidating Modus Tollens. (shrink)

I present and I implement what I take to be the best approach to solve the meta-problem: the evidential approach. The main tenet of this approach is to explain our problematic phenomenal intuitions by putting our representations of phenomenal states in perspective within the larger frame of the cognitive processes we use to conceive of evidence.

One popular approach to statistical mechanics understands statistical mechanical probabilities as measures of rational indifference. Naive formulations of this ``indifference approach'' face reversibility worries - while they yield the right prescriptions regarding future events, they yield the wrong prescriptions regarding past events. This paper begins by showing how the indifference approach can overcome the standard reversibility worries by appealing to the Past Hypothesis. But, the paper argues, positing a Past Hypothesis doesn't free the indifference approach from all reversibility worries. For (...) while appealing to the Past Hypothesis allows it to escape one kind of reversibility worry, it makes it susceptible to another - the Meta-Reversibility Objection. And there is no easy way for the indifference approach to escape the Meta-Reversibility Objection. As a result, reversibility worries pose a steep challenge to the viability of the indifference approach. (shrink)

The Queen's College, Oxford, UK In his article `Facts and Principles', G.A. Cohen attempts to refute constructivist approaches to justification by showing that, contrary to what their proponents claim, fundamental normative principles are fact- in sensitive. We argue that Cohen's `fact-insensitivity thesis' does not provide a successful refutation of constructivism because it pertains to an area of meta-ethics which differs from the one tackled by constructivists. While Cohen's thesis concerns the logical structure of normative principles, constructivists ask how normative (...) principles should be justified . In particular, their claim that justified fundamental normative principles are fact-sensitive follows from a commitment to agnosticism about the existence of objective moral facts. We therefore conclude that, in order to refute constructivism, Cohen would have to address questions of justification, and take a stand on those long-standing meta-ethical debates about the ontological status of moral notions (for example, realism versus anti-realism) with respect to which he himself wants to remain agnostic. Key Words: John Rawls • normative justification • realism versus anti-realism • methodological versus substantive principles. (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible for (...) its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

Philosophical theories of explanation characterize the difference between correct and incorrect explanations. While remaining neutral as to which of these ‘first-order’ theories is right, this paper asks the ‘meta-explanatory’ question: is the difference between correct and incorrect explanation real, i.e., objective or mind-independent? After offering a framework for distinguishing realist from anti-realist views, I sketch three distinct paths to explanatory anti-realism.

Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...) ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

Solving the meta-problem of consciousness requires, among other things, explaining why we are so reluctant to endorse various forms of illusionism about the phenomenal. I will try to tackle this task in two steps. The first consists in clarifying how the concept of consciousness precludes the possibility of any distinction between 'appearance' and 'reality'. The second consists in spelling out our reasons for recognizing the existence of something that satisfies that concept.

In this chapter, Jussi Backman approaches Hannah Arendt’s readings of ancient philosophy by setting out from her perspective on the intellectual, political, and moral crisis characterizing Western societies in the twentieth century, a crisis to which the rise of totalitarianism bears witness. To Arendt, the political catastrophes haunting the twentieth century have roots in a tradition of political philosophy reaching back to the Greek beginnings of philosophy. Two principal features of Arendt’s exchange with the ancients are highlighted. The first is (...) her account, in The Human Condition (1958), of the profound transformation of the Greek perceptions of political life initiated by Plato, the founder of the Western tradition of political philosophy; this transformation, according to Arendt, leads to an instrumentalization of politics as a means toward a higher end. The second feature is Arendt’s distinction, in her unfinished Life of the Mind (1977–8), between three different points of departure for thinking discovered by ancient philosophy—wonder, fear, and conscience—and three different outcomes of thinking—contemplation, willing, and judging. Backman argues that what connects these two interpretations of ancient philosophy is an attempt to rethink and rearticulate the complex relationship between thinking and action, between the reflective vita contemplativa and the world-oriented vita activa. (shrink)

This contribution examines two radically different explanations of our phenomenal intuitions, one reductive and one strongly non-reductive, and identifies two germane ideas that could benefit many other theories of consciousness. Firstly, the ability of sophisticated agent architectures with a purely physical implementation to support certain functional forms of qualia or proto-qualia appears to entail the possibility of machine consciousness with qualia, not only for reductive theories but also for the nonreductive ones that regard consciousness as ubiquitous in Nature. Secondly, analysis (...) of introspective psychological material seems to hint that, under the threshold of our ordinary waking awareness, there exist further ‘submerged’ or ‘subliminal’ layers of consciousness which constitute a hidden foundation and support and another source of our phenomenal intuitions. These ‘submerged’ layers might help explain certain puzzling phenomena concerning subliminal perception, such as the apparently ‘unconscious’ multisensory integration and learning of subliminal stimuli. (shrink)

The meta-problem of consciousness is the problem of explaining why we have the intuition that there is a hard problem of consciousness. David Chalmers briefly notes that my phenomenal powers view may be able to answer to this challenge in a way that avoids problems (having to do with avoiding coincidence) facing other realist views. In this response, I will briefly outline the phenomenal powers view and my main arguments for it and—drawing in part on a similar view developed (...) by Harold Langsam—discuss how more precisely its answer to the challenge would go. (shrink)

This chapter approaches the question of biopolitics in ancient political thought looking not at specific political techniques but at notions of the final aim of the political community. It argues that the “happiness” (eudaimonia, beatitudo) that constitutes the greatest human good in the tradition from Aristotle to Thomas Aquinas is not a “biopolitical” ideal, but rather a metabiopolitical one, consisting in a contemplative activity situated above and beyond the biological and the political. It is only with Thomas Hobbes that civic (...) happiness becomes “biopolitically” identified with simple survival; for modernity, as Hannah Arendt puts it, mere being alive becomes the greatest human good, and happiness is understood as a subjective “quality of life.” In both models, the political realm is a means to an end. Arendt draws our attention to a neglected third alternative to both the classical/metabiopolitical and the modern/biopolitical ideals: “public happiness” consisting in political participation itself. (shrink)

In a recent paper in this journal, David Chalmers introduced the meta-problem of consciousness as “the problem of explaining why we think consciousness poses a hard problem” (Chalmers, 2018, p. 6). A solution to the meta-problem could shed light on the hard problem of consciousness. In particular, it would be relevant to elucidate whether people’s problem intuitions (i.e. intuitions holding that conscious experience cannot be reduced to physical processes) are driven by factors related to the nature of consciousness, (...) or rather by factors that are independent of consciousness. Whether people hold problem intuitions, and what factors drive those intuitions, are largely empirical questions. However, there is a lack of empirical research on these issues to date. The results of four studies will show that (1) problem intuitions are not widespread, and (2) when they arise, they do so because of factors that are unrelated to the nature of consciousness. This suggests that consciousness is, after all, not so problematic. (shrink)

Humans are obsolete. In the post-ChatGPT era, artificial intelligence systems have replaced us in the last sectors of life that we thought were our personal kingdom. Yet, humans still have a place in this life. But they can find it only if they forget all those things that we believe make us unique. Only if we go back to doing nothing, can we truly be alive and meet our Self. Only if we stop thinking can we accept the Cosmos as (...) it is and know what Being is. Only if we become irrational can we ever understand what AI will never understand. Humans need to destroy what they have created, because in the world they have built they have no place. Unless we become children once more. And laugh for no reason. In a cosmos that was meant to be our home. (shrink)

The meta problem can be seen in two different ways: a problem considering the existence of the hard problem, and a problem considering the behaviors related to expressing reports about the hard problem. The existential way of seeing is equivalent to the first approximation of the meta problem while Chalmers introduces it, and the behavioral way of seeing is equivalent to the second approximation. We are going to argue that these are two different problems and there are different (...) solutions to each of them. In the existential sense, one remains silent on the nature of the meta problem processes, while in the behavioral sense, one restricts their nature of those processes to behavior. This difference is deep enough that we can replace the meta problem with two distinct problems: the existential meta problem, and the behavioral meta problem. The subject of the existential problem is purely the existence of the hard problem of consciousness regardless of any premise on how such a problem comes into existence. While with behavioral problem, we presuppose that the hard problem comes into existence only by the means of behavior, and its subjects would be certain cognitive functions. The behavioral problem has strong connections to materialism, and its solution seems completely achievable through fulfillment of the meta problem programme. A solution only requires explaining how neural mechanisms regulate the formation of problem reports. On the other hand, the existential problem would be in favor of one without materialist commitments. The neutrality of the existential problem allows one to apply her metaphysical premises about the nature of processes responsible for bringing the hard problem into existence. It results in shaping other versions of the meta problem considering one’s metaphysical position –e.g. idealist meta problem, and interactionist meta problem. Subsequent solutions to each of those problems might have quite different appearance than what the meta problem programme follows. Once the behavioral problem is solved, the existential problem remains intact for non-materialist metaphysical positions. (shrink)

Meta-induction, in its various forms, is an imitative prediction method, where the prediction methods and the predictions of other agents are imitated to the extent that those methods or agents have proven successful in the past. In past work, Schurz demonstrated the optimality of meta-induction as a method for predicting unknown events and quantities. However, much recent discussion, along with formal and empirical work, on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as (...) essential to maintenance of 'wise crowds'. This suggests that meta-inductive prediction methods could undermine the wisdom of the crowd inasmuch these methods recommend that agents imitate the predictions of other agents. In this article, we evaluate meta-inductive methods with a focus on the impact on a group's performance that may result from including meta-inductivists among its members. In addition to considering cases of global accessibility (i.e., cases where the judgments of all members of the group are available to all of the group's members), we consider cases where agents only have access to the judgments of other agents within their own local neighborhoods. (shrink)

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions (...) to the traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

In response to the fall of Constantinople in 1453, Nicholas of Cusa wrote De pace fidei defending a commitment to religious tolerance on the basis of the notion that all diverse rites are but manifestations of one true religion. Drawing on a discussion of why Nicholas of Cusa is unable to square the two objectives of arguing for pluralistic tolerance and explaining the contents of the one true faith, we outline why theological pluralism is compromised by its own meta-exclusivism.

Lyons (2016, 2017, 2018) formulates Laudan’s (1981) historical objection to scientific realism as a modus tollens. I present a better formulation of Laudan’s objection, and then argue that Lyons’s formulation is supererogatory. Lyons rejects scientific realism (Putnam, 1975) on the grounds that some successful past theories were (completely) false. I reply that scientific realism is not the categorical hypothesis that all successful scientific theories are (approximately) true, but rather the statistical hypothesis that most successful scientific theories are (approximately) (...) true. Lyons rejects selectivism (Kitcher, 1993; Psillos, 1999) on the grounds that some working assumptions were (completely) false in the history of science. I reply that selectivists would say not that all working assumptions are (approximately) true, but rather that most working assumptions are (approximately) true. (shrink)

Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism – a form (...) of modal epistemology – as a running example. In particular, I investigate the assumption that it is important to be able to meet the integration challenge. Meeting the integration challenge is a source of serious difficulty for many approaches, but modal empiricism is supposed to do well in this respect. But I argue that once we have a better grasp of what the integration challenge is, it is not obvious that it presents no problem for modal empiricism. Moreover, even if modal empiricism could be said to be in a relatively good position with respect to integration, it comes at the cost of a forced choice between far-reaching partial modal scepticism and non-uniformism about the epistemology of modality. Non-uniformism is the view that more than one modal epistemology will be correct. While non-uniformism might not in itself be unpalatable, it must be defined and defended in a way which squares with the modal empiricist’s other commitment. I explore two ways of doing so, both involving a revised idea of the integration challenge and its role for the epistemology of modality. One involves a bifurcation of the integration challenge, and the other a restriction of the integration challenge’s relevance. Both ways are interesting, but neither is, as it turns out, a walk in the park. (shrink)

This paper provides a thorough analysis of two often informally stated claims. First, successful argumentation in the sense of persuasive argumentation requires agreement between the interlocutors about the rationality of arguments. Second, a general agreement about rationality of arguments cannot itself be established via argumentation, since such an attempt leads to an infinite meta‐regress. Hence, agreement about the rationality of arguments is a precondition for successful argumentation. As the paper argues, these plausible claims hold under the assumption that interlocutors (...) are subjectively rational and follow their own standards of rationality when engaging in argumentation. (shrink)

Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension (...) according to which the issues at stake are ‘conceptualized’. We argue here that once all the conditions needed for deliberation to bring about single-peakedness through meta-agreement are unpacked and made explicit, meta-agreement turns out to be a highly demanding condition, and one that is very inhospitable to pluralism. (shrink)

I argue against group agent realism, or the view that groups have irreducible mental states. If group agents have irreducible mental states, as realists assume, then the best group agent realist explanation of corporate agents features only basic mental states with at most one motivational function each. But the best group agent realist explanation of corporate agents does not feature only basic mental states with at most one motivational function each. So corporate agents lack irreducible mental states. How so? I (...) defend the conditional with an argument from disagreement. On cognitivist approaches to desire, desires function to both motivate and represent the world. Yet such desires are subject to a significant amount of disagreement. Reflection on the folk-psychological properties of desire and belief suggest that this disagreement is better explained by a non-cognitivist approach to desire where they do not have both functions. I then defend the claim that realists are committed to at least some cognitivist motivational states. Using the example of fire brigades, I argue that the best realist explanation of group agents involves mental states with both representational and motivational functions. By modus tollens, corporations then lack irreducible mental states, period. (shrink)

It is received wisdom that the skeptic has a devastating line of argument in the following. You probably think, he says, that you know that you have hands. But if you knew that you had hands, then you would also know that you were not a brain in a vat, a brain suspended in fluid with electrodes feeding you perfectly coordinated impressions that are generated by a supercomputer, of a world that looks and moves just like this one. You would (...) know you weren’t in this state if you knew you had hands, since having hands implies you are no brain in a vat. You obviously don’t know you’re not a brain in a vat, though—you have no evidence that would distinguish that state from the normal one you think you’re in. Therefore, by modus tollens, you don’t know you have hands. At least, the skeptic has a devastating argument, it is thought, if we grant him closure of knowledge under known implication, which many of us are inclined to do: roughly, if you know p, and you know that p implies q, then you know q. (shrink)

This paper offers a conditional defence of a minimalist theory of appropriation. The conclusion of its main argument is that, if people do enjoy a natural right to appropriate unappropriated resources, then that right is best understood as a derivative right that stems from a more fundamental natural right to self-preservation. If this conclusion is correct, then insofar as people have a natural right to appropriation, it is much more limited than it is usually assumed, as the minimalist theory places (...) very stringent restrictions on both the amount of unappropriated resources each person has a right to appropriate and the use they can make of those appropriated resources. The conclusion of my argument can be either used as a premise in a modus tollens argument to be used against natural-right theories of property rights or as a premise in a modus ponens argument in favour of a broadly left-libertarian theory. (shrink)

Many philosophers regard the persistence of philosophical disputes as symptomatic of overly ambitious, ill-founded intellectual projects. There are indeed strong reasons to believe that persistent disputes in philosophy (and more generally in the discourse at large) are pointless. We call this the pessimistic view of the nature of philosophical disputes. In order to respond to the pessimistic view, we articulate the supporting reasons and provide a precise formulation in terms of the idea that the best explanation of persistent disputes entails (...) that they are pointless. We then show how to answer the pessimistic argument. Taking a well-known mathematical controversy as our paradigm example, we argue that some persistent disputes reflect substantive disagreements at the “meta-analytic” level, i.e., disagreements about the best way, among quite different candidates, to understand the topic at issue, and the best associated cluster of analytic truths one should accept concerning it. Moreover, our concrete example shows that such meta-analytic disagreements can in principle be settled and yield a genuine theoretical (as opposed to merely pragmatic) breakthrough. We conclude optimistically that persistent disputes can be an important means of fostering epistemic progress. (shrink)

A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of infinite descent. (...) The infinite descent is linked to induction starting from n = 3 by modus tollens. An inductive series of modus tollens is constructed. The proof of the series by induction is equivalent to Fermat’s last theorem. As far as Fermat had been proved the theorem for n = 4, one can suggest that the proof for n ≥ 4 was accessible to him. An idea for an elementary arithmetical proof of Fermat’s last theorem (FLT) by induction is suggested. It would be accessible to Fermat unlike Wiles’s proof (1995). (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Scientists working within a paradigm must play by the rules of the game of that paradigm in solving problems, and that is why incommensurability arises when the rules of the game change. If we deny the thesis of the priority of paradigms, then there is no good argument for the incommensurability of theories and thus for taxonomic incommensurability, because there is no invariant way to determine the set of results provable, puzzles solvable, and propositions cogently formulable under a given paradigm.

If modus ponens is valid, then you should take up smoking.

Resumo O meu objetivo neste artigo é examinar criticamente o argumento de Kripke contra a teoria da identidade tipo-tipo. Assumindo a tese da necessidade da identidade, bem como a tese da designação rígida, Kripke sustenta que se a dor é idêntica à estimulação das fibras C, então a dor é necessariamente idêntica à estimulação das fibras C. No entanto, precisamente porque a proposição expressa pela frase “a dor não é idêntica à estimulação das fibras C” é uma possibilidade metafísica, Kripke (...) conclui, por modus tollens, que não há identidade entre dor e estimulação das fibras C. Por isso, a teoria da identidade tipo-tipo não é uma solução bemsucedida para o problema da mente-corpo. Este artigo tem duas partes. Na primeira parte, que é expositiva, apresento o argumento de Kripke contra a teoria da identidade tipo-tipo. Subsequentemente, ponho em causa o argumento de Kripke, argumentando que não é procedente, pois a nossa situação epistémica atual não nos permite determinar se é metafisicamente possível a dor não ser idêntica à estimulação das fibras C. Assim, Kripke não refuta a teoria da identidade tipo-tipo. Palavras-chave : designação rígida, filosofia da mente, identidade tipo-tipo, Kripke, necessidade da identidadeMy aim in this paper is to critically assess Kripke’s argument against the type-type identity theory. Assuming the thesis of the necessity of identity, as well as the thesis of rigid designation, Kripke holds that if pain is identical with C-fibre firing, then pain is necessarily identical with C-fibre firing. However, precisely because the proposition expressed by the sentence “pain is not identical with C-fibre firing” is a metaphysical possibility, Kripke concludes, by modus tollens, that pain and C-fibre firing are not identical. Therefore, the type-type identity theory is not a successful solution to the mind-body problem. So this paper has two parts. In the first part, which is expositive, I present Kripke’s argument against the type-type identity theory. After that, I will dispute Kripke’s argument, arguing that it is not sound, for our current epistemic situation does not allow us to determine whether it is a metaphysical possibility that pain is not identical with C-fibre firing. Thus, Kripke does not refute the type-type identity theory. Keywords : Kripke, necessity of identity, philosophy of mind, rigid designation, type-type identity. (shrink)

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this (...) through a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

The hard problem of consciousness is the problem of explaining subjective experience. This problem is based on the notion that explaining brain functions cannot lead to explaining experience (Chalmers, 1995). The meta problem of consciousness is the problem that why we think there is a hard problem of consciousness. David Chalmers suggests that solving the meta problem deals with human reports of the hard problem- named problem reports. He notes that since problem reports are facts of human behavior (...) we can consider them explainable by functional terms. Therefore, the meta problem is an easy problem (Chalmers, 2018). In this article, we are trying to question the nature of human reports, and to leave open the possibility for hardness of the meta problem. (shrink)

Despite the importance of the requirement that all parties subject to a modus vivendi accept it, the philosophical basis of the all-subjected principle has been largely neglected in the realist literature on modus vivendi arrangements as responses to disagreements on issues of common concern. In this article, I argue that the inclusion of all-subjected parties should be understood as instrumental to justifying the presupposition that enough parties will have the motivation to comply with an arrangement that they grudgingly (...) accept as a modus vivendi. I also argue that without accepting the democratic commitments implicit in the acceptance of the standard reading of the all-subjected principle, realist modus vivendi theorists should demonstrate that all those parties who are subjected to a modus vivendi arrangement have the capacity to voice their objection and to be heard for such a claim. (shrink)