In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (shrink)

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions (...) concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed collection of Turing degrees with a countable basis can be realised as a reducibility spectrum or as a bi-reducibility spectrum. We show also that there is a reducibility (...) spectrum of computably enumerable equivalence relations with no countable basis and a reducibility spectrum of computably enumerable equivalence relations which is downward dense, thus has no basis. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

In this paper we focus on two claims, put forward by Feyerabend in his later writings , which constitute the metaphysical core of his view of scientific inquiry. The first, that we call the pliability thesis, is the claim that the world can be described by indefinitely many conceptual systems, none of them enjoying a privileged status. The second, that we call the resistance thesis, is the claim that the pliability of the world is limited, i.e., not all the different (...) conceptual systems that can be used to describe the world will be equally successful: the world offers resistance to some attempts to describe it. We show that, in spite of the later Feyerabend’s notorious antirealist leanings, the pliability thesis is fully compatible with a robustly realist view of science, and we suggest that, surprisingly, Feyerabend’s insights concerning the limited pliability of the world turn out to be those of a potential ally of sophisticated versions of scientific realism. (shrink)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I call (...) the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial forms (...) of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

En el presente ensayo se buscará exponer, a través de una problematización histórica, la radical novedad filosófica que representa la teoría freudiana de la constitución de la autoconsciencia moral a partir de la introyección de la ley paterna. Para esto, se mostrarán, en primer lugar, los hitos históricamente relevantes que permitieron instalar una reflexión sobre la interioridad moral en la filosofía agustiniana, contraponiéndola con el pensamiento helénico clásico. Posteriormente, se expondrá la hipótesis nietzscheana sobre la aparición de la moralidad como (...) una estrategia de poder dentro de la tradición judeo-cristiana para, por un lado, mostrar sus insuficiencias y, por el otro, dar paso a la teoría freudiana de la formación de la consciencia moral como un proceso identificatorio con respecto a la figura del padre, lo que permite explicar el fenómeno de la autocrítica moral como un tipo particular de autodistanciamiento con respecto a sí. (shrink)

We show that if Ƒ is any "well-behaved" subset of the Borei functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $P(^\omega \omega )$ induced by Ƒ turns out to look like the Wadge hierarchy (which is the special case where Ƒ is the set of continuous functions).

The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA (...) is justified on the conception, which provides, contra Rieger (Mind 109:241–253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation. (shrink)

The paper introduces and formally defines a functional concept of a measuring system, on this basis characterizing the measurement as an evaluation performed by means of a calibrated measuring system. The distinction between exact and uncertain measurement is formalized in terms of the properties of the traceability chain joining the measuring system to the primary standard. The consequence is drawn that uncertain measurements lose the property of relation-preservation, on which the very concept of measurement is founded according to the representational (...) viewpoint. Finally, from the analysis of the inter-relations between calibration and measurement the fundamental reasons of the claimed objectivity and intersubjectivity of measurement are highlighted, a valuable epistemological result to characterize measurement as a particular kind of evaluation. (shrink)

Martin Sand and Luca Chiapperino find in the concept of serendipity a versatile umbrella term to reassess their previous work on moral luckLuck (also, Epistemic Luck, Moral Luck) and collectiveCollectiveresponsibilityResponsibility. Moral luck supposedly occurs when someone receives praise or blame for things beyond control. Given the ubiquity of luckLuck (also, Epistemic Luck, Moral Luck), this seems to be a seriously disquieting aspect of ordinary morality. The rewards and recognition for serendipitous discoveries fall into exactly this category. That is: more (...) than the intentions, actions, and characters of scientists matters for discoveries to obtain, just as in cases of moral luckLuck (also, Epistemic Luck, Moral Luck) something beyond morality affectsAffect our moral judgments. Even if a theoretical way of resolving the conceptual ambiguities that underlie this debate were found, there remain practical questions of how to perform stratification in science and innovationInnovation in ways that both hinge on, and yet refrain from, considerations of desert and achievement. With the example of Edward Jenner’sJenner, EdwardluckLuck (also, Epistemic Luck, Moral Luck)- and serendipity-infused discoveryDiscovery (also, Scientific Discovery) of vaccination, the authors attempt to better understand the intricate valueValue trade-offs that underlie stratification policies in science, which have to be constantly re-negotiated to maintain their legitimacy. Thereby, Sand and Ciapperino aim to take a bold step towards understanding the ethicsEthics of serendipity. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...) I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and Prawitz’s views on the matter.

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy's definition. We look at Maddy's formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy's original notion, but fixes the issues raised by Hamkins. Our work brings (...) to light additional structural issues that we also discuss. (shrink)

Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...) Wright’s explanation. After this, I consider a recent development in Wright’s account of transmission failure. Wright suggests that his condition sufficient for transmission failure of first time warrant also suffices for transmission failure of supplementary warrant. I propose an interpretation of Wright’s suggestion that shield it from objections. I then lay down a fourth Bayesian framework that provides a simplified model of the unified explanation of transmission failure envisaged by Wright. (shrink)

We examine the issue of entrepreneurial gender bias by focusing on the underlying mechanisms that impact the likelihood of receiving external venture-capital financing. We claim that gender bias negatively affects socially attributed dimensions (such as the stigma ascribed to entrepreneurs who have previously suffered a failure), while it has no effect on objective dimensions (such as the experience gained by entrepreneurs). Our results, based on 2088 US firms, show that female entrepreneurs are less likely to attract external funds if they (...) have previously encountered failure. This negative effect becomes less impactful when novel or serial successful entrepreneurs are considered. Consequently, novel or serial successful entrepreneurs are expected to suffer less from gender bias if compared to peers who experienced a failure during their entrepreneurial career. (shrink)

This article is based on Gibson’s “experimental phenomenology” and ecological perspective. It aims to develop Merleau-Ponty’s concept of “incarnate” by relating it to the more general concept of “illusion” in order to apply it to digital environments and immersive virtual realities. First of all, we should clarify, from a phenomenological point of view, the notion of “world.” Although the concept of “world” is closely linked to that of “reality,” it cannot be superimposed on it. We will analyze this distinction by (...) focusing on specific cases of optical-geometric illusions and their ontological and epistemological implications. We will then extend them from the natural to the digital world. (shrink)

The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...) with ⊢Δ coincides with ⊨Δ. (shrink)

Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict it gives as (...) to whether the set is coherent tout court) depends on how beliefs (or propositions) that represent the set are individuated. Indeed, logically equivalent belief sets that represent the same information set can be given drastically different degrees of coherence. This feature clashes with our natural and reasonable expectation that the coherence degree of a belief set does not change unless the believer adds essentially new information to the set or drops old information from it; or, to put it simply, that the believer cannot raise or lower the degree of coherence by purely logical reasoning. None of the accounts in question can adequately deal with coherence once logical inferences get into the picture. Toward the end of the paper, another notion of coherence that takes into account not only the contents but also the origins (or sources) of the relevant beliefs is considered. It is argued that this notion of coherence is of dubious significance, and that it does not help solve the problem of belief individuation. (shrink)

In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to justify the (...) use of nonsignificant sentences entirely within the framework of significant sentences”. This question was answered negatively by Halbach & Horsten [10] but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from $\mathrm {KF}$ -provably true sentences to $\mathrm {KF}$ -provably true inferences, that is, we shall identify the significant part of $\mathrm {KF}$ with the set of pairs $\langle {\Gamma, \Delta }\rangle $, such that $\mathrm {KF}$ proves that if all members of $\Gamma $ are true, at least one member of $\Delta $ is true. In way of addressing Reinhardt’s question we show that the provably true inferences of suitable $\mathrm {KF}$ -like theories coincide with the provable sequents of matching versions of the theory Partial Kripke–Feferman ( $\mathrm {PKF}$ ). (shrink)

This paper has a twofold purpose. First, it aims at highlighting one difference in how counterfactuals work in general history, on the one hand, and in history of the natural sciences, on the other hand. As we show, both in general history and in history of science good counterfactual narratives need to be plausible, where plausibility is construed as appropriate continuity of both the antecedent and the consequent of the counterfactual with what we know about the world. However, in general (...) history it is often possible to imagine a consequent dramatically different from the actual historical development, and yet plausible; in history of science, due to plausibility concerns, imagining a consequent far removed from the results of actual science seems more complicated. The second aim of the paper is to assess whether and to what degree counterfactual histories of science can advance the cause of the so-called “contingency thesis,” namely, the claim that history of science might have followed a path leading to alternative, non-equivalent theories, as successful as the ones that we currently embrace. We distinguish various versions of the contingency thesis and argue that counterfactual histories of science support weak versions of the thesis. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...) of maximality principles. (shrink)

Throughout his career, Hans Jonas has reflected on the notion of the human soul and on the concept of man being created in God’s image. A careful analysis of his writings reveals that (approximately) from 1968 he changed his perspective on these topics. Before this year, Jonas used some Gnostic myths to speak about the image of man in relation to God and was concerned that referring to the immortality of the human soul or to the notion of imago Dei (...) could lead to dualistic or pseudo-Gnostic interpretations of the natural world. From 1968 (when Jonas published an article for an American Jewish journal) he started to underline the importance of the Judeo-Christian notion of imago Dei (from the book of Genesis) for his ethical project. Subsequently, he used this concept (derived from the Bible rather than from Gnostic texts) in support of his ethical approach to show the special role that God assigned to humanity to act as a steward of His creation. This article presents the development of Jonas’s contributions on these issues over time, their importance in relation to his ethical project and how he was influenced in the development of his perspective on this subject. (shrink)

_ Source: _Page Count 19 In this paper, we tackle the contribution that history of science can make to the _problem of rule-choice_, i.e., the choice from among competing methodological rules. Taking our cue from Larry Laudan’s writings, we extensively discuss what we call _historicist naturalism_, i.e., the view that history of science plays a pivotal role in the justification of rules, since it is one source of the evidence required to settle methodological controversies. As we illustrate, there are cases (...) of rule-choice that depend on conceptual considerations alone, and in which history of science does not factor. Moreover, there are cases in which methodological change is prompted – and explained – by empirical information that is not historical in nature: as suggested by what we call _scientific naturalism_, the justification of methodological choices comes from our knowledge of the structure of the world, as expressed by our currently accepted scientific theories. As we argue, due to its backward-looking character, historicist naturalism does not satisfactorily deal with the case of newly introduced rules, for which no evidence concerning their past performance is available. In sum, we conclude, the contribution that history of science can make to rule-choice is more modest than Laudan suggests. (shrink)

Giambattista Vico (1668-1744) was an Italian philosopher, rhetorician, and historian. As one of the great thinkers of the Enlightenment, he exerted tremendous influence on the social sciences. He was the first to stress cultural and linguistic dimensions in the development of both the human mind and social institutions. Although his ideas on the relationship between mind and culture and his epistemology have inspired the work of many scholars in psychology, his sizeable influence has been scarcely acknowledged. The volume is organized (...) in two sections. The first locates Vico in his historical context and in the landscape of contemporary human and social sciences. The second part presents those of Vico's concepts that seem promising for the development of a new way of looking at psychological phenomena. In the book's conclusion, Luca Tateo gathers the ideas of the volume's contributors to suggest future development of the psychological sciences. This book aims to show how Vico's insights can inspire future research in the psychological sciences. It collects multidisciplinary contributions of leading international scholars that draw upon the thought of this original thinker. Collectively, the contributors remind us of the legacy and continuing influence of this inspiring historical figure. (shrink)

Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist (...) want to attribute to it. I consider two strategies to deal with the problem --- one of which is outlined by McGee himself (2000) --- and argue that both of them fail. I end with some remarks on the prospects for mathematical realism in the light of my discussion. (shrink)