Chapter 5 The Epistemology of Modality and the Epistemology of Mathematics

Size: px
Start display at page:

Download "Chapter 5 The Epistemology of Modality and the Epistemology of Mathematics"

Transcription

1 Chapter 5 The Epistemology of Modality and the Epistemology of Mathematics Otávio Bueno 5.1 Introduction In this paper I explore some connections between the epistemology of modality and the epistemology of mathematics, and argue that they have far more in common than it may initially seem to be the case even though modality need not (in fact, should not) be characterized in terms of possible worlds (as the modal realist insists) and mathematics need not (in fact, should not) be understood in terms of abstract entities (as the platonist recommends). Let s see why. 5.2 Modality and Mathematics Modality Modality deals with what is possible and what is necessary. But it need not be characterized, as is commonly done in contemporary discussions by modal realists, in terms of possible worlds (Lewis 1986). Worlds provide just one way to regiment modal discourse, but to invoke these objects also generates significant problems. In particular, it s not clear how illuminating worlds ultimately are for the understanding of what is possible and what is necessary (for some critical discussion, see Bueno and Shalkowski (2015), pp ). If one is interested in figuring out whether something is possible in the actual world, it is typically not of much use to establish that it is true in some other possible world causally isolated from ours assuming there is any to begin with. For the problem then becomes one of figuring out whether O. Bueno ( ) Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA ; otaviobueno@me.com SpringerInternationalPublishingSwitzerland2017 B. Fischer, F. Leon (eds.), Modal Epistemology After Rationalism, Synthese Library 378, DOI / _5 67

2 68 O. Bueno the statement in question is true in that other possible world. To determine what is true in the actual world is, in many cases, hard enough. Figuring out what is true in a causally inaccessible world is something of an entirely different order of magnitude, and not clearly relevant in any case to what goes on in the actual world, despite what the modal realist may claim. In fact, modal realists insist that modal discourse is ultimately replaceable with discourse about possible worlds. But the point remains that, prima facie, the fact that something holds in a possible, causally inaccessible, world is just irrelevant to what goes on, or even could go on, in the actual world. The fact that such worlds are constituted by the same kind of stuff and have a similar structure (they are all maximally connected spatiotemporal regions) is not enough to establish relevance. Being constituted by the same kind of stuff is insufficient to establish that what happens in another world speaks to what happens, or even could happen, in the actual world. Just consider this case: Can you run 500 miles nonstop? According to modal realism, the answer is affirmative: there is a counterpart of you who does just that in some other possible world. (Nothing in modal realism precludes the existence of both such a world and such a counterpart of you in it.) I take it, however, that this is not sufficiently reassuring for you to go lace your shoes right now for an extremely long run! The modal realist will, no doubt, point out that it is very easy to determine what is true in a possible world. Crucial to modal realism is the claim that for every way the world could be there is a world that is that way (Lewis 1986, pp.86 92). Thus, possibilities, it seems, are very easy to come by: assuming that each of the following items are ways the world could be, there are worlds that include talking donkeys, flying pigs, or invisible giraffes. The difficulty, however, is to determine which ways in fact the world could be.cantheworldbeinsuchawaythatdifferent physical objects occupy the same region of space? Can the world be in such a way that physical objects are non-self-identical? Can the world be in such a way that objects have inconsistent properties (being, simultaneously, F and non-f)? Clearly, some prior characterization of possibility needs to be in place if situations such as these are to be ruled out. But this means that not every possibility can legitimately be understood in terms of worlds: a prior characterization is required so that what corresponds to ways the world could be are indeed genuine possibilities. We are told that modal realism has a number of benefits (Lewis 1986, pp. 5 69). By adding worlds to our ontology, truth conditions for modal claims can be systematically assigned: what is possible is what is true in some world; what is necessary is what is true in every world. Given worlds, we also obtain unification in our metaphysics, with proper characterization of modality, properties, and propositions. With the introduction of worlds, the crucial issues then become epistemological: (i) How can we know that the postulated worlds do exist, instead of being just a useful fiction? (ii) How can we know that particular claims about the worlds in question (for instance, regarding ways the world could be) are indeed true? To answer these questions is the task of a proper epistemology of modality within a modal realist framework.

3 5 TheEpistemology of Modalityand theepistemology of Mathematics 69 But these don t seem to be the right modal questions. The questions should be about what is possible or about what is necessary. It is the imposition of an ontology of worlds that distorts the modal questions into something entirely different from what they were supposed to be. But if worlds are not posited, modality can be understood for what it is: an engagement with the possible and the necessary and a modalist proposal, which takes modality as primitive, can get off the ground (see Bueno and Shalkowski 2015, pp ). Modal realists will, no doubt, complain. If modal realism is true, that is, if there is a plurality of worlds, and if the reduction of modal discourse to possible worlds they defend is successfully implemented, then modal discourse can be fully captured by (that is, expressed and articulated in terms of) discourse about possible worlds. What we talk about when we talk about modality is ultimately (to talk about) worlds. When we make modal claims, we make them ultimately in terms of worlds. It is perfectly fine, modal realists tell us, when we aim to assert a modal utterance, to invoke and refer to worlds instead. We are not changing the subject by employing one when we intend to speak of the other: modal discourse is, after all, reducible to worlds. Despite the modal realists admission that worlds are not indispensable (Lewis 1986,pp.3 5),itisacrucialfeatureoftheirprogramtoarguethatmodaldiscourseis indeed reducible to worlds. Lewis is thoroughly Quinean in this regard (for Quine s well-known skepticism about modality, see, for instance, Quine 1960, 1981). Given the reducibility of the modal to the worldly, and since worlds, on Lewis view, are ultimately spatiotemporal objects, modal discourse becomes discourse about perfectly acceptable, well-behaved, well-understood objects. So the reducibility is indeed central to the success of modal realism. But on what grounds do modal realists argue in favor of their view? In Lewis case, the fundamental argument for modal realism is an argument based on the theoretical utility of positing worlds (see Lewis 1986,pp.3 5;Divers 2002,p.151). Since by doing that one produces a theory that has a number of theoretical virtues (it is simple, unified, and it has expressive and explanatory power), and given that these virtues are (taken to be) truth conducive, by invoking these virtues, the resulting theory is (more likely to be) true. It is unclear, however, that theoretical virtues are epistemic; that is, connected to the truth. Nor is it clear, more generally, that they are truth conducive (see Bueno and Shalkowski 2015, pp ).These virtues are best understood as being pragmatic; that is, they express the preferences of the users rather than an increase in the likelihood of the truth of the theories under consideration. After all, a theory, despite being simple, unified, rich in expressive and explanatory power, can still be false. A clear example is provided by Newtonian gravitational theory, which, although it exemplifies all of these virtues, turns out to be false: it s unable to provide the proper description of Mercury s perihelion and it posits gravity as a force among objects (rather than, for instance, as part of the structure of spacetime). Despite being false, Newtonian theory is still useful, though, in light of all of the theoretical virtues that it satisfies, and thus is valuable to the scientific community. It is also successful

4 70 O. Bueno in an impressive array of predictions it makes, not because it is true (which it isn t), but because it is adequate to the empirical domains it applies to. It might be argued, however, that Newtonian theory fails to exhibit all of the theoretical virtues. For instance, the argument goes, its explanatory power is not significantly high. But it is hard to make this case without thereby also undermining the explanatory power of all scientific theories. If a theory that had such an impressive explanatory power as Newtonian theory had which, for the first time in Western science, precisely accounted for the movement of bodies near the surface of the earth, the tides, and planetary motions (bringing together astronomy and the physics of a moving earth) does not have enough explanatory power, it is unclear which theory does. Asimilartroublearisesforrelativitytheoryandquantummechanics.Despite the fact that both exemplify all of the theoretical virtues above, given that they are incompatible with one another they cannot both be true (assuming, of course, that there are no true inconsistent descriptions of the world). The fact that these examples derive from empirical theories shouldn t suggest that the point is restricted to theories of this kind. It also goes through for theories of a non-empirical sort, which do not depend on empirical considerations to be justified. For example, Frege s original logicist reconstruction of arithmetic had anumberoftheoreticalvirtues.itwassimple:itcharacterizednumbersinterms of logical concepts and definitions (disregarding, of course, Frege s now unusual notation). It was unified: it provided the resources to accommodate additional mathematical theories, such as analysis. It was also rich in expressive power: Frege s reconstruction allowed for the expression of crucial arithmetic and analytic concepts, and the derivation, in a rigorous setting, of central theorems of the relevant fields. Finally, it was rich in explanatory power: the reconstruction avoided a number of conceptual confusions that Frege painstakingly pointed out in previous attempts at providing a foundation for arithmetic, such as the confusion of what numbers are (on his view, certain logical objects) with counting and measuring (activities for which numbers can be used, but which ultimately presuppose numbers rather than the other way around; see, for instance, Frege 1884; Boolos 1998). Despite all of these theoretical virtues, however, Frege s reconstruction turns out to be inconsistent, and thus cannot be true (assuming that there are no true inconsistent statements). So whether we are dealing with empirical or non-empirical theories, the satisfaction of theoretical virtues is not enough to guarantee the theories truth conduciveness. It may be argued that, although not always truth conducive, the satisfaction of theoretical virtues is truth conducive in most cases, or in typical cases. The problem with this suggestion is that we are then left entirely in the dark as to the conditions under which theoretical virtues do lead to the truth and those under which they don t. For all we can tell, the cases involving Newtonian physics, relativity theory and quantum mechanics, and Frege s logicism are just as good and typical as any regarding the satisfaction of theoretical virtues. If in such significant cases the satisfaction of theoretical virtues is not enough to secure the truth of the theories in question, one wonders whether a serious case can be made for the theoretical

5 5 TheEpistemology of Modalityand theepistemology of Mathematics 71 virtues at all. In the end, the satisfaction of these virtues just doesn t seem to be enough to establish the truth of the relevant theories. The same concerns also apply to Lewis modal realism. Even if we grant that the modal realist account of modality is simple, unified, and has expressive and explanatory power, this doesn t establish that it is thereby true (or more likely to be so). These theoretical virtues are not epistemic, but rather pragmatic. Theories that exemplify the virtues are good theories for us, and we value them for pragmatic reasons, as we should. But we shouldn t infer that the theories are, thus, more likely to be true. (Note that despite the rejection of the claim that theoretical virtues are truth conducive, one need not thereby endorse a radical form of (dogmatic) skepticism, according to which knowledge is impossible. Leaving aside the issue of the coherence of such a view (it is clearly self-undermining), there are ways of gathering and assessing evidence about various parts of the world that do not rely at all on theoretical virtues, but depend rather on forging ways of interacting with and detecting certain aspects of reality (see Bueno 2011a). Having said that, if serious, local skeptical considerations are carefully raised, it s unclear that they can be resisted.) Besides being committed to the existence of a plurality of worlds, the modal realist also needs to implement a reductionist strategy, according to which modal discourse can be cashed out entirely in terms of possible worlds. If successful, the strategy would ensure that no primitive modal notion is ultimately needed. But it is unclear whether the strategy does succeed (see Shalkowski 1994). For the reduction to go through properly it is crucial that two requirements be met: (a) A form of soundness should be in place, so that no impossibility is included among the worlds. Thus, for instance, in no world an object both has and fails to have a given property (at the same time, in the same place). (b) A form of completeness also needs to be satisfied, according to which no possibility is excluded from the worlds. Thus, for instance, a world that is not characterized in terms of spatiotemporal relations is impossible. This means that a logical space of a very particular sort is required for the modal realist reduction to be implemented. Inconsistent objects need to be excluded; otherwise, some impossible objects would be deemed possible. Perhaps no one, with the exception of dialetheists (Priest 2006), will complain. But the point stands that a particular form of possibility is assumed in the very constitution of the modal realist logical space in order that inconsistent objects are not taken to be possible. Moreover, abstract, non-spatiotemporal worlds, which are not constituted by spatiotemporal relations, are considered impossible. After all, possibility is restricted to spatiotemporal worlds. But why should abstract worlds be excluded from the outset? There is a long-standing tradition of considering worlds as abstract objects, as everything that is the case (Wittgenstein 1922; see also Zalta 1983). Clearly, this conception of worlds is not incoherent, although it would have to be, given the modal realist view of what a world is. As a result, the very notion of logical space that the modal realist assumes, the space of what is possible, already presupposes some modal notions: inconsistent

6 72 O. Bueno objects are impossible and so are non-spatiotemporal worlds. But this means that the modal realist is not in a position to do without some primitive modal notions, and the reductionist strategy is bound to fail. (This is, of course, part of a modalist critique of modal realism; see further Shalkowski 1994). If the modal realist s reductionist project doesn t succeed, a significant constraint and motivation for the proposal is lost. The modal realist would then be unable to claim that the overall balance of evidence favors modal realism, given that one of the key reasons to embrace the ontology of worlds, which other things being equal one would have no reason to be committed to, is precisely the elimination of primitive modality. But without reductionism, no such claim can be maintained Mathematics As typically understood, mathematics deals with concepts, objects, relations, and structures about a variety of mathematical domains, from algebra and geometry to analysis and set theory, including the various subfields generated by connecting these more basic ones. As a field of investigation, mathematics is the systematic study of these objects via the inferential relations that can be established between certain principles (in particular, comprehension principles that introduce the relevant concepts and relate them to one another) and particular mathematical results (theorems about the objects under study). Mathematical practice is typically silent about the fundamental ontology of mathematics. The practice itself does not settle, nor does it require settling, issues such as the ontological status of mathematical objects and structures: whether they are abstract or concrete, universal or particular, existent or not. Mathematical practice can be interpreted as being about existing, abstract, universal objects and structures, as platonists insist. But it can just as well be interpreted as being about nonexistent, abstract, universal objects and structures, as nominalists point out (on this interpretation, mathematical objects would be abstract universals had they existed). Alternatively, mathematical practice can also be interpreted as being about existent concrete particulars, as some constructivists defend (on this reading, mathematical objects are mind-dependent entities). The fact that each of these distinct philosophical interpretations of mathematics is compatible with mathematical practice indicates that the practice alone does not settle the ontological issue. In the end, adding a largely irrelevant ontology to the practice provides very little gain regarding its proper understanding. There are also associated costs. On a platonist understanding of mathematics, there are mathematical objects, relations and structures, which exist independently of one s beliefs and linguistic practices, and these objects are abstract, that is, they are causally isolated and are not located in space and time. The issue of how we have knowledge of these objects thus becomes pressing. Platonists have developed a variety of strategies to address the problem: some allow access to mathematical objects via intuition (Gödel 1964); others develop easy strategies to

7 5 TheEpistemology of Modalityand theepistemology of Mathematics 73 secure reference to the relevant objects via suitable definitions (Hale and Wright 2001). There is, however, no agreement that these strategies work: the reliability of object-oriented intuition is questionable (Bueno 2008, 2011b), and some of the proposed definitions in particular, certain abstraction principles advanced by the neo-fregeans rely on controversial set-theoretic assumptions (Linnebo and Uzquiano 2009). Nominalist views, in turn, face problems to account properly for the use of mathematics in science (for a survey, see Bueno 2013). And constructivist proposals, despite ingenious attempts (Bishop 1967), still face limitations as to how much mathematics can actually be constructed within the restrictions imposed by their program. Arguably Bishop s approach, although significantly more successful in securing more mathematics than other constructivist views, may be too lenient in the end, since it allows for any way of defining mathematical objects that classical mathematicians allow for, only restricting the underlying logic to an intuitionistic one. 5.3 Epistemological Connections In light of these considerations, it may seem that the epistemology of modality and the epistemology of mathematics have very little in common. Mathematical objects are abstract (at least when understood platonistically), and our knowledge of these objects does not depend on empirical traits of the world. How could it, given that the objects in question are not in space and time? However, to know what is possible or impossible, we need to rely quite heavily on empirical features of the world. We rely on particular details of the actual world in order to figure out which possibilities hold, which situations are possible or not. Thus, the two domains, the mathematical and the modal, and the means of knowing them, seem to be quite apart. Appearances, however, are often deceptive. In what follows, I explore some connections between the epistemology of mathematics and the epistemology of modality, indicating some significant similarities between our knowledge of modality (understood as knowledge of the possible and the necessary, independently of worlds) and our knowledge of mathematics (understood as knowledge of the mathematical, independently of a platonist metaphysics). Along the way, important differences between the resulting epistemologies also need to be recognized. I will focus on two complementary routes to approach these issues: (a) The modal route to mathematical epistemology:mathematicscanbeinterpreted in terms of modal logic (Putnam 1967/1979; Hellman 1989, 1996). On this view, mathematical knowledge is fundamentally modal knowledge, because the mathematical is understood modally. A direct link between the epistemology of the mathematical and the modal emerges. But this assumes a particular modalist conception of mathematics. (b) The mathematical route to modal epistemology: Modality, on a modalist view, can be interpreted as the domain of the possible and the necessary (see Bueno and Shalkowski 2009, 2013, 2015, and references therein). What is possible

8 74 O. Bueno is taken to be objective, that is, independent of one s linguistic practices and psychological processes. But what is possible need not be actual. Thus there need not be any causal process liking what is possible but not actual to what is actually the case. The route to knowledge of the modal is the route to knowledge of non-causal relations. Similarly, mathematics can be interpreted as the study of abstract objects, relations and structures, and that domain is objective, that is, independent of one s linguistic practices and psychological processes. In virtue of being abstract, this domain involves no causal relations. The route to mathematical knowledge, similarly to knowledge of the modal, is the route to knowledge of non-causal relations. But, as will become clear, some care is needed to articulate this strategy properly. 5.4 The Modal Route to the Epistemology of Mathematics Consider the statement: 1. There are infinitely many prime numbers. On a platonist reading, this statement seems to entail the existence of an infinity of abstract objects. But this reading of the statement is not forced upon us. For this statement can be expressed, in a modal second-order language, in terms of two statements (Putnam 1967/1979; Hellman 1989, 1996): 2. If there were structures satisfying the axioms of Peano Arithmetic, it would be true in those structures that there are infinitely many prime numbers. 3. It is possible that there structures satisfying the axioms of Peano Arithmetic. The result is a modal-structural interpretation of mathematics. Condition (3) is needed in order to avoid the trivialization of the translation scheme. For if it were impossible that there were structures satisfying the axioms of Peano Arithmetic, (2) would be vacuously true, and the translation would fail to recognize the difference between (1) and its negation. We have here the modal correlates to usual platonist mathematics, which preserve the objectivity of the original platonist statement without the commitment to the existence of mathematical objects. But this benefit would be lost if the modality invoked in (2) and (3) were understood in terms of possible worlds. After all, in this case we would simply be replacing one ontology with another: instead of mathematical objects, we would have possible worlds. The alternative is to take the modal operators involved as being primitive. But one needs a primitive notion of modality for independent reasons anyway. First, the primitive notion is required to make sense of the relation of logical consequence. In a valid argument, the conjunction of the premises and the negation of the conclusion is impossible. A model-theoretic understanding of consequence, which allegedly avoids the need for a primitive notion of modality, is limited in

9 5 TheEpistemology of Modalityand theepistemology of Mathematics 75 that it does not seem to apply to a classical set theory, such as Zermelo-Fraenkel set theory. After all, there is no set of all sets, and thus no domain of the relevant models for set theory itself (see Field 1989). Second, as noted above, primitive modality is needed to accommodate the structure of logical spaces; in particular, to ensure that every possibility corresponds to a location on that space, and that no impossibility does. This use, we saw, is not properly captured by a conception of possibility in terms of worlds. Given that for the modal realist worlds are spatiotemporal objects, the logical space is significantly restricted: a non-spatiotemporal world becomes impossible. This seems to be an artifact of the framework rather than a robust modal truth. Third, primitive modality is required to understand counterfactual reasoning (Williamson 2007). The notion of similarity among worlds that modal realism requires makes it very difficult to implement a proper assessment of counterfactuals, given the inherent indeterminacy of the similarity relation. How similar do worlds need to be to count as similar enough? Which world is more similar to ours: one in which armadillos have no blood in their veins but are otherwise just like armadillos in the actual world, or one in which armadillos, although full of blood, survive only by drinking beer? Judgments of similarity are often made on the basis of modal considerations. Consider whether armadillos can survive only on beer. Based on their actual biological constitution, and their digestive system, armadillos, let s take it, are unlikely to survive well on that diet. But suppose that their digestive system were different, so that they could properly absorb alcohol and whatever nutrients are available in beer. In this case, the answer would be, of course, quite different. At this point, it becomes clear that modal considerations are guiding one s reasoning about armadillos. In fact, consider whether a bloodless creature that looks like an armadillo and which has all the differences required by the lack of that scarlet fluid in its veins would still be an armadillo. It is unclear how this issue could be settled without there being features that are necessary for armadillos to be armadillos. Based on these features, similarity judgments can be made: too much difference in the entire animal or enough difference in its necessary traits, and the creature under consideration would fail to be an armadillo. Considerations of this sort are needed to determine how similar the creatures in question are to armadillos. Whether the similarity is based on internal features of these animals, external traits, or something else altogether, modal considerations are thereby needed to carry out judgments of similarity properly. Interestingly, primitive modality is in place also in the case of mathematics, and it is crucial to make sense of mathematical discourse. In fact, rather than artificially introducing modal operators, as recommended by the modal-structural interpretation, I want to argue that mathematics is in fact already modal. (So the modalism I favor is not committed to a modal-structural interpretation of mathematics, although this interpretation of mathematics does provide support for a significant role of modality in mathematics, and that s why I started with it.) First, note the modal import of reductio proofs: in establishing that certain combinations of assumptions leads to a contradiction, what is, in fact, established is their

10 76 O. Bueno impossibility. Nocorrespondingconstructionispossible.Similarly,directproofs also have modal import: they show the possibility of certain combinations of assumptions the possibility of constructing certain mathematical objects and their properties. When mathematicians consider that a certain mathematical object exists, they are typically asserting that it is possible to construct the object in question, given the specification of the relevant properties in the comprehension principles under consideration. This is implemented in terms of the possibility of deriving the corresponding result to the effect that there is such an object given the relevant assumptions invoked in its characterization, and whatever additional inferential resources that are available in the underlying mathematical background in which the proof is implemented. The idea here is not to apply modal operators to the mathematical principles in question, but to highlight the modal character of these principles themselves. They have a modal force given their content: mathematics is ultimately about what is possible (or not possible) to construct. On this view, in order for one to be in a position to assert the existence of certain mathematical objects, the possibility of constructing these objects is crucial, and that possibility of construction is articulated in terms of the possibility of deriving the corresponding existential statement in a suitable mathematical system. It is important to note that such a system need not be, and typically is not, formalized. Mathematics is implemented, and carried out, in an informal, but rigorous, context: that of natural language expanded with suitable symbols. With the exception of several branches of computer science (including automated theorem proving), in which formalization is required for the configuration and articulation of these fields, the norm in mathematics is to invoke informal, but rigorous, reasoning rather than focus on formal reconstructions. Just consider the way in which proofs are presented in mathematical journals. Typically they are not formalized; in fact, they are not even presented in full, with only the most significant or less familiar steps being offered. Despite that, mathematical proofs are rigorously structured, without ambiguity or vagueness, and they highlight the relevant connections among the concepts in question. Note also that, throughout these considerations, constructions should be understood very broadly: they need not be constrained by constructivist requirements, although it is of course perfectly acceptable if they are so constrained. (Constructivism ends up producing more mathematics, and the results are eventually incorporated into the overall body of mathematical statements and practice.) What is the significance of the modal content of mathematical statements? It is the case that every metric space is a normal space. It is then impossible for a metric space not to be normal, but it is possible for a normal space not to be metric. The import of such modal content prevents one for searching for non-normal metric spaces, while encouraging one to search for normal but non-metric spaces. The very practice of mathematics is informed, shaped, and constrained by the modal content of mathematical results. Even if one adopts the view according to which mathematical objects can be known via some form of mathematical intuition, the resulting view still relies on

11 5 TheEpistemology of Modalityand theepistemology of Mathematics 77 modal considerations. To know something via mathematical intuition is to be able to have certain phenomenological experiences, in particular, a suitable veridical seeming (see, e.g., Chudnoff 2013). On Kurt Gödel s view, the axioms [of set theory] force themselves upon us as being true (Gödel 1964, p. 485).This forcing generates a certain seeming in us, and the capacity of undergoing these experiences is required in order for this account to go through. So the possibility of having certain veridical seemings is needed, and such seemings should be accessible to us. Suppose, for the sake of argument, that veridical cognitive seemings cannot be had, since seemings about abstract objects, such as sets, functions, and other entities studied in mathematics, cannot be implemented. After all, we can only literally perceive, and have seemings about, objects to which we have some spatiotemporal access, and, thus, any form of cognitive phenomenology about the abstract is ultimately incoherent. To resist this line of argument requires establishing the very possibility of veridical seemings about abstract entities, and modality is crucial for that. As a result, the very adequacy of cognitive phenomenology depends on modal considerations regarding the possibility of veridical cognitive seemings. However the details are implemented, on this conception, mathematics is fundamentally modal: either because the content of mathematical statements is ultimately modal or because modal considerations are required to constrain the appropriate mode of access to the relevant mathematical facts (in terms of veridical cognitive seemings). As a result, the epistemology of mathematics is a chapter in the epistemology of modality, since what is at issue is the specification of what, in a particular mathematical context, is possible or impossible. This specification is determined by the relevant comprehension principles (in terms of which the objects in question are characterized), and the underlying logic (in terms of which the allowed inferences are specified). It is by figuring out what follows from the relevant mathematical principles (given the underlying logic) that mathematical knowledge is typically obtained. Given the modal content of mathematical proofs and mathematical statements, this way of knowing mathematics crucially involves awayofhavingsomeknowledgeofmodality,sinceitinvolvesknowingwhatis possible or what is necessary in the relevant mathematical context (determined, as noted, by the relevant principles and the logic in use). Interestingly, these considerations, which emphasize ways of knowing mathematics, take us directly to the next route to the epistemology of the modal. 5.5 The Mathematical Route to the Epistemology of Modality From a modalist perspective, the epistemology of modality, as the study of the conditions under which one has knowledge of what is possible and what is necessary (again, not involving worlds), has much in common with the epistemology of mathematics. Both involve reasoning from assumptions (regarding modal properties of the relevant objects or regarding mathematical properties of the relevant structures, respectively). Both are highly sensitive to the particular principles that are invoked

12 78 O. Bueno in each case (whether the principles involve modal traits or mathematical objects and structures). Both are inferential: in the sense that a key point in studying what one knows about a given domain, whether mathematical or modal, is to be in a position to draw inferences about the relevant objects. On the modalist view, to know that something, say P, is possible involves to be entitled to introduce a possibility operator: it is possible that P (see Bueno and Shalkowski 2015; what follows expands on the account presented in this paper by including explicit evidential conditions under which modal operators can be introduced). In some instances, it is very straightforward to do so: it is simply a matter of noting that P is actual, and therefore possible. In more interesting cases, however, P is not actual. So, how do we know, in this instance, that P is possible? What is needed is to derive it is possible that P from particular assumptions. Depending on these assumptions, it may be relatively unproblematic to obtain the target conclusion, by invoking the modal properties of the objects under consideration. One knows that a table is breakable, despite not having ever been broken, due to the material constitution of the table and the stress it can be put to. These are properties of the table in the actual world, which are the relevant properties to determine the table s breakability. In many instances, however, the properties invoked to determine whether something is possible or not will depend on more controversial assumptions. Would Descartes be the same person if he had different parents? One could confidently assert that he wouldn t, since a different sperm and egg would be involved. This assumes, however, essentialism about Descartes origins. And how do we know that this doctrine is, in fact, true? Typically, this involves a variety of theoretical virtues favoring essentialism. But, as noted above, theoretical virtues are hardly epistemic, and are better understood as being just pragmatic. As a result, they fail to provide reasons to believe that essentialism is true. Moreover, the denial of essentialism about origins also provides a perfectly coherent answer to the question regarding Descartes identity; one in which Descartes could still be the same person despite having different parents than those he actually had. It is unclear, however, how to settle the issue between these two possibilities, since they ultimately rely on dramatically different metaphysical assumptions. Being unable to know that these assumptions are true, and since they are required for an argument that establishes the possibility (or impossibility) in question, essentialists and anti-essentialists alike are then unable to have the relevant modal knowledge. (I ll return to this example below.) In general, the more contrived the required assumptions are, and the less reason one has to believe that they are true, the more reason one has to question whether the modal knowledge in question does obtain, or at least that we are in a position to assert the relevant modal claim. In many instances of alleged philosophical modal knowledge, it is unclear that one is entitled to it. Suspending the judgment, in these cases, seems to be the proper answer. When are we entitled to introduce a modal operator? When there are good reasons for doing so, which can be formulated in terms of two conditions: (a) Evidential support:thereisevidenceinsupportoftherelevantpossibilityclaim,that

13 5 TheEpistemology of Modalityand theepistemology of Mathematics 79 is, one is in a position to rule out likely alternatives that undermine the possibility under consideration. In particular, the claim is not ruled out by well-established and well-entrenched beliefs we already have (unless there are good, independent reasons to revise such beliefs). (b) Independent plausibility: there are independent considerations in favor of the possibility claim in question; that is, (i) there are arguments in its support, and (ii) the arguments are not undermined by equally plausible opposing arguments. Ordinary modal claims easily satisfy both conditions (leaving radical skepticism aside for the moment). There is evidence that the table in front of me is breakable, given the materials it is made of. There are also independent considerations that support the possibility that the table can be broken, in light of the various stresses it can be put to. Taken together, we do have good reasons for asserting the corresponding modal claim and introduce the modal operator accordingly. Extraordinary modal claims, particular of a philosophical kind, however, are far less secure. For the relevant modal claims invariably depend on controversial (metaphysical, epistemological) assumptions. Even if there were evidential support for them (a big if!), the independent plausibility requirement is usually not met. After all, the assumptions that philosophical modal claims have can be typically undermined by contrasting them with rival philosophical assumptions, which deny the initial assumptions, and produce, thus, a situation in which it is unclear that one actually has the required independent plausibility to have good reason to introduce the modal operator in question. For instance, essentialists about origins may think that their essentialist assumptions, which are required to deny that Descartes could have had different parents, are well supported and have independent plausibility. But anti-essentialists will immediately point out that there are good reasons to deny the essentialist assumptions. Needless to say, essentialists will say exactly the same about the assumptions made by anti-essentialists. The result is that neither essentialists nor anti-essentialists will be in a position to maintain that their views satisfy the independent plausibility requirement. No knowledge of extraordinary possibility claims will then emerge in this case. This is typical of philosophical claims about extraordinary possibilities. Similar considerations apply to knowledge of necessity, which also relies on the introduction of a suitable operator: in this case, a necessity one. Clearly, if it is atheoremthatp (in a given system), then P is necessary. But such necessity is restricted to the assumptions involved in the theorem. Consider the claim that every set can be well ordered. How do we know whether it is true? The answer, of course, depends on whether the axiom of choice holds or not. If the axiom does hold, then the claim is true, and necessarily so, given the axiom. Otherwise, the claim is false, and hence not known. In this case, both conditions above, namely, evidential support and independent plausibility, are clearly satisfied. The axiom of choice unquestionably entails that every set is well ordered, and in this way, there is evidential support for the relevant possibility (to the effect that that every set is well ordered). With regard to the independent plausibility of such possibility, it ultimately depends on the independent plausibility of the axiom of choice itself, which, after all, entails the set

14 80 O. Bueno ordering in question. The axiom has a number of extremely significant consequences for a variety of fields in classical mathematics (for details, see Moore 1982), and this fact lends independent plausibility to the adoption of the axiom. But certain considerations have also been raised against the axiom of choice. Awell-knowncaseisthatoftheTarski-Banachtheorem,aconsequenceofthis axiom, which may be thought of as casting doubt on the axiom itself given its counterintuitive nature. According to the Tarski-Banach theorem, a threedimensional sphere can always be decomposed into finitely many pieces (disjoint subsets), which, in turn, can be reassembled together to form two copies of the original sphere. The theorem, prima facie, may seem to be surprising. However, it eventually provides support for the axiom, as an additional consequence, among so many significant ones, that the axiom yields. After all, given the axiom s content, the Tarski-Banach consequence is not counterintuitive, particularly if interpreted, as it should, as a claim about abstract objects rather than physical ones. In particular, the disjoint subsets (the pieces ) involved in the reassembling process are not solids, but nonmeasurable sets, collections of scattered points that fail to have a volume (in the ordinary sense of the term). It is precisely at this point that the axiom of choice is needed, in order to guarantee that, based on un uncountable number of choices, these nonmeasurable sets can be reassembled into two copies of the original sphere. Rather than a counterintuitive result, we have a feature of the axiom of choice at work. In the end, there is independent plausibility for the possibility that every set can be well ordered. These are, of course, cases of ordinary knowledge of necessity. Extraordinary cases involve philosophical assumptions about what necessarily is the case. And here, once again, there is reason for skepticism. The assumptions that are needed in order to derive the relevant necessity claims, even if they had evidential support, will end up failing the independent plausibility condition. Given conflicting philosophical assumptions regarding philosophical claims about necessity (e.g., some assert, while others deny, that a set is necessarily constituted by their members), there typically are considerations that undermine the various arguments in support of the claims under consideration. For instance, is Socrates necessarily human? Essentialist assumptions could be invoked to support the conclusion that he is. But these assumptions are questioned in light of anti-essentialist considerations. As a result, the independent plausibility requirement is violated, and neither essentialists nor anti-essentialists are in a position to have the relevant modal knowledge. But perhaps instead of having categorical modal knowledge about philosophical issues (that is, knowledge of what is possible or necessary, independently of particular assumptions), we can at least have conditional modal knowledge about such issues (that is, knowledge of what is possible or necessary given certain philosophical assumptions). After all, although we may not be able to discharge the relevant philosophical assumptions, we can at least establish that if such assumptions were the case, such and such conclusions would also be. (I owe this point to Bob Fischer.) In each case, establishing such conditionals provide us with some understanding of what the various possibilities and necessities ultimately are, which assumptions they rely on, which considerations may be invoked to challenge

15 5 TheEpistemology of Modalityand theepistemology of Mathematics 81 them, and how plausible or questionable these assumptions turn out to be. This offers a rich structure of conditional modal knowledge via logical relations among the various assumptions, their potential challenges, and established conclusions. The resulting structure has much in common with Robert Nozick s approach to philosophical explanations. On his view: There are various philosophical views, mutually incompatible, which cannot be dismissed or simply rejected. Philosophy s output is the basketful of these admissible views, all together. One delimiting strategy would be to modify and shave these views, capturing what is true in each, to make them compatible parts of one new view. This book puts forward its explanations in a very tentative spirit; not only do I not ask you to believe that they are correct, I do not think it important for me to believe them correct, either. Still I do believe, and hope you will find it so, that these proposed explanations are illuminating and worth considering, that they are worth surpassing; also that the process of seeking and elaborating explanations, being open to new possibilities, the new wonderings and wanderings, the free explanation, is itself a delight. (Nozick 1981, p.21) The exploration of these possibilities is, of course, the crucial feature of how we end up obtaining conditional modal knowledge about philosophical issues, and the understanding that emerges as a result. (Thanks, again, to Bob Fischer.) But is such a conditional modal knowledge in philosophy enough for one s philosophical purposes? It ultimately depends on what these purposes are. If one were engaged in the philosophical enterprise of establishing metaphysical truths about reality, clearly this would not be enough. After all, one may not be able to settle the philosophical assumptions that are required for the task at hand. If, however, the goal is to understand, to figure out the modal constraints on various philosophical claims about the world, then the exploration of the relevant possibilities (and impossibilities) is clearly relevant, albeit no categorical modal knowledge of the extraordinary possibilities in question is forthcoming. On this modalist account, we may have a lot of ordinary modal knowledge (that is, knowledge of ordinary possibilities and necessities), but less of extraordinary categorical modal knowledge (that is, knowledge of philosophical possibilities and necessities independently of any assumptions), although we may have some conditional extraordinary modal knowledge, by taking notice of the relevant philosophical assumptions, determining their consequences, and resisting the temptation to discharge the assumptions. Interestingly, this conditional modal knowledge can be obtained without much commitment, since only the logical relations between assumptions and results are highlighted rather than any claim about the correctness of the assumptions in question. This is, I take it, as it should be. 5.6 Conclusion: Rationalism and Empiricism The proposal advanced here bears important connections with (a weak form of) rationalism, in the sense that modal knowledge involves reasoning from various assumptions made in a given context. But it goes beyond (weak) rationalism in that

16 82 O. Bueno empirical assumptions, which are crucial for the specification and determination of the objects and their modal properties in particular domains, are also invoked and relied on. In the end, a combination of both (weak) rationalist and empiricist considerations is needed in order to articular a proper, stable view. This should not be surprising, since both views work better together, with suitable adjustments as needed, to advance and develop further an epistemology of modality. Even a traditional empiricist, such as Hume, clearly acknowledged the role of rationalist features in his approach. For instance, Hume s emphasis on the significance of relations of ideas and his corresponding insistence, regarding matters of fact, that everything that does not involve an inconsistency is possible, can be thought of as rationalist traits (see Hume 1739/2000, 1748/1999). Descartes, in turn, voiced empiricist sentiments when he expressed, in the Principles of Philosophy (Part IV, Section 204), that with regard to what one cannot perceive it is enough to account for how it can be (Descartes 1644/1985). On reflection, some aspects of empiricism and rationalism should be carefully and properly integrated in the development of a proper epistemology of modality. In fact, with regard to the two routes discussed above, the modal route to the epistemology of mathematics and the mathematical route to the epistemology of modality, both incorporate rationalist and empiricist features. They each highlight the role that reasoning from principles play in the epistemology of mathematics and modality, thus emphasizing a rationalist trait. But they also invoke (when relevant) the role of modal properties of the objects under consideration, and particularly in the context of the epistemology of modality, when dealing with concrete objects, this amounts to an emphasis on an empiricist feature. Given the combination of empiricism and rationalism, the proposal sketched above establishes some connections between the epistemology of modality and the epistemology of mathematics. Notwithstanding the clear differences between the two domains (the mathematical and the modal), there is far more in common between their epistemology than it may initially meet the eyes. In the end, mathematical epistemology and modal epistemology, despite undeniable differences in what they are about, should go hand in hand. Acknowledgements Many thanks to Jacob Busch, Albert Casullo, Bob Fischer, Hannes Leitgeb, Daniel Nolan, Sonia Roca Royes, Scott Shalkowski, Asbjørn Steglich-Petersen, Anand Vaidya, and Tim Williamson for helpful discussions of the issues examined in this paper. Thanks, in particular, to Bob Fischer, Melisa Vivanco, and an anonymous referee for insightful comments on earlier versions of the work. Their comments led to substantial improvements. References Benacerraf, P., & Putnam, H. (Eds.). (1983). Philosophy of mathematics: Selected readings (2nd ed.). Cambridge: Cambridge University Press. Bernecker, S., & Pritchard, D. (Eds.). (2011). Routledge companion to epistemology. London: Routledge.

Realism and Anti-Realism about Science A Pyrrhonian Stance

Realism and Anti-Realism about Science A Pyrrhonian Stance international journal for the study of skepticism 5 (2015) 145-167 brill.com/skep Realism and Anti-Realism about Science A Pyrrhonian Stance Otávio Bueno University of Miami otaviobueno@mac.com Abstract

More information

Nominalism in the Philosophy of Mathematics First published Mon Sep 16, 2013

Nominalism in the Philosophy of Mathematics First published Mon Sep 16, 2013 Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free Nominalism in the Philosophy of Mathematics First published Mon Sep 16,

More information

Review of Constructive Empiricism: Epistemology and the Philosophy of Science

Review of Constructive Empiricism: Epistemology and the Philosophy of Science Review of Constructive Empiricism: Epistemology and the Philosophy of Science Constructive Empiricism (CE) quickly became famous for its immunity from the most devastating criticisms that brought down

More information

World without Design: The Ontological Consequences of Natural- ism , by Michael C. Rea.

World without Design: The Ontological Consequences of Natural- ism , by Michael C. Rea. Book reviews World without Design: The Ontological Consequences of Naturalism, by Michael C. Rea. Oxford: Clarendon Press, 2004, viii + 245 pp., $24.95. This is a splendid book. Its ideas are bold and

More information

In Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006

In Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006 In Defense of Radical Empiricism Joseph Benjamin Riegel A thesis submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment of the requirements for the degree of

More information

Philosophy of Mathematics Nominalism

Philosophy of Mathematics Nominalism Philosophy of Mathematics Nominalism Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 8/11/18 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We

More information

Putnam s indispensability argument revisited, reassessed, revived*

Putnam s indispensability argument revisited, reassessed, revived* 1 Putnam s indispensability argument revisited, reassessed, revived* Otávio Bueno Received: 10/11/2017 Final versión: 12/04/2018 BIBLID 0495-4548(2018)33:2p.201-218 DOI: 10.1387/theoria.18473 ABSTRACT:

More information

How Do We Know Anything about Mathematics? - A Defence of Platonism

How Do We Know Anything about Mathematics? - A Defence of Platonism How Do We Know Anything about Mathematics? - A Defence of Platonism Majda Trobok University of Rijeka original scientific paper UDK: 141.131 1:51 510.21 ABSTRACT In this paper I will try to say something

More information

Right-Making, Reference, and Reduction

Right-Making, Reference, and Reduction Right-Making, Reference, and Reduction Kent State University BIBLID [0873-626X (2014) 39; pp. 139-145] Abstract The causal theory of reference (CTR) provides a well-articulated and widely-accepted account

More information

- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is

- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is BonJour I PHIL410 BonJour s Moderate Rationalism - BonJour develops and defends a moderate form of Rationalism. - Rationalism, generally (as used here), is the view according to which the primary tool

More information

Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002

Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate

More information

Remarks on the philosophy of mathematics (1969) Paul Bernays

Remarks on the philosophy of mathematics (1969) Paul Bernays Bernays Project: Text No. 26 Remarks on the philosophy of mathematics (1969) Paul Bernays (Bemerkungen zur Philosophie der Mathematik) Translation by: Dirk Schlimm Comments: With corrections by Charles

More information

Analytic Philosophy IUC Dubrovnik,

Analytic Philosophy IUC Dubrovnik, Analytic Philosophy IUC Dubrovnik, 10.5.-14.5.2010. Debating neo-logicism Majda Trobok University of Rijeka trobok@ffri.hr In this talk I will not address our official topic. Instead I will discuss some

More information

Comments on Ontological Anti-Realism

Comments on Ontological Anti-Realism Comments on Ontological Anti-Realism Cian Dorr INPC 2007 In 1950, Quine inaugurated a strange new way of talking about philosophy. The hallmark of this approach is a propensity to take ordinary colloquial

More information

Deflationary Nominalism s Commitment to Meinongianism

Deflationary Nominalism s Commitment to Meinongianism Res Cogitans Volume 7 Issue 1 Article 8 6-24-2016 Deflationary Nominalism s Commitment to Meinongianism Anthony Nguyen Reed College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

More information

Is there a good epistemological argument against platonism? DAVID LIGGINS

Is there a good epistemological argument against platonism? DAVID LIGGINS [This is the penultimate draft of an article that appeared in Analysis 66.2 (April 2006), 135-41, available here by permission of Analysis, the Analysis Trust, and Blackwell Publishing. The definitive

More information

The Question of Metaphysics

The Question of Metaphysics The Question of Metaphysics metaphysics seriously. Second, I want to argue that the currently popular hands-off conception of metaphysical theorising is unable to provide a satisfactory answer to the question

More information

THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI

THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI Page 1 To appear in Erkenntnis THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI ABSTRACT This paper examines the role of coherence of evidence in what I call

More information

Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010).

Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Reviewed by Viorel Ţuţui 1 Since it was introduced by Immanuel Kant in the Critique of Pure Reason, the analytic synthetic distinction had

More information

Rule-Following and the Ontology of the Mind Abstract The problem of rule-following

Rule-Following and the Ontology of the Mind Abstract The problem of rule-following Rule-Following and the Ontology of the Mind Michael Esfeld (published in Uwe Meixner and Peter Simons (eds.): Metaphysics in the Post-Metaphysical Age. Papers of the 22nd International Wittgenstein Symposium.

More information

Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill

Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill Forthcoming in Thought please cite published version In

More information

Troubles with Trivialism

Troubles with Trivialism Inquiry, Vol. 50, No. 6, 655 667, December 2007 Troubles with Trivialism OTÁVIO BUENO University of Miami, USA (Received 11 September 2007) ABSTRACT According to the trivialist, everything is true. But

More information

What God Could Have Made

What God Could Have Made 1 What God Could Have Made By Heimir Geirsson and Michael Losonsky I. Introduction Atheists have argued that if there is a God who is omnipotent, omniscient and omnibenevolent, then God would have made

More information

Issue 4, Special Conference Proceedings Published by the Durham University Undergraduate Philosophy Society

Issue 4, Special Conference Proceedings Published by the Durham University Undergraduate Philosophy Society Issue 4, Special Conference Proceedings 2017 Published by the Durham University Undergraduate Philosophy Society An Alternative Approach to Mathematical Ontology Amber Donovan (Durham University) Introduction

More information

Choosing Rationally and Choosing Correctly *

Choosing Rationally and Choosing Correctly * Choosing Rationally and Choosing Correctly * Ralph Wedgwood 1 Two views of practical reason Suppose that you are faced with several different options (that is, several ways in which you might act in a

More information

Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

More information

Logic and Pragmatics: linear logic for inferential practice

Logic and Pragmatics: linear logic for inferential practice Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24

More information

Structuralism in the Philosophy of Mathematics

Structuralism in the Philosophy of Mathematics 1 Synthesis philosophica, vol. 15, fasc.1-2, str. 65-75 ORIGINAL PAPER udc 130.2:16:51 Structuralism in the Philosophy of Mathematics Majda Trobok University of Rijeka Abstract Structuralism in the philosophy

More information

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally

More information

In Epistemic Relativism, Mark Kalderon defends a view that has become

In Epistemic Relativism, Mark Kalderon defends a view that has become Aporia vol. 24 no. 1 2014 Incoherence in Epistemic Relativism I. Introduction In Epistemic Relativism, Mark Kalderon defends a view that has become increasingly popular across various academic disciplines.

More information

Modal Realism, Counterpart Theory, and Unactualized Possibilities

Modal Realism, Counterpart Theory, and Unactualized Possibilities This is the author version of the following article: Baltimore, Joseph A. (2014). Modal Realism, Counterpart Theory, and Unactualized Possibilities. Metaphysica, 15 (1), 209 217. The final publication

More information

Understanding, Modality, Logical Operators. Christopher Peacocke. Columbia University

Understanding, Modality, Logical Operators. Christopher Peacocke. Columbia University Understanding, Modality, Logical Operators Christopher Peacocke Columbia University Timothy Williamson s The Philosophy of Philosophy stimulates on every page. I would like to discuss every chapter. To

More information

A Logical Approach to Metametaphysics

A Logical Approach to Metametaphysics A Logical Approach to Metametaphysics Daniel Durante Departamento de Filosofia UFRN durante10@gmail.com 3º Filomena - 2017 What we take as true commits us. Quine took advantage of this fact to introduce

More information

PHILOSOPHY 4360/5360 METAPHYSICS. Methods that Metaphysicians Use

PHILOSOPHY 4360/5360 METAPHYSICS. Methods that Metaphysicians Use PHILOSOPHY 4360/5360 METAPHYSICS Methods that Metaphysicians Use Method 1: The appeal to what one can imagine where imagining some state of affairs involves forming a vivid image of that state of affairs.

More information

Reply to Florio and Shapiro

Reply to Florio and Shapiro Reply to Florio and Shapiro Abstract Florio and Shapiro take issue with an argument in Hierarchies for the conclusion that the set theoretic hierarchy is open-ended. Here we clarify and reinforce the argument

More information

Kantian Humility and Ontological Categories Sam Cowling University of Massachusetts, Amherst

Kantian Humility and Ontological Categories Sam Cowling University of Massachusetts, Amherst Kantian Humility and Ontological Categories Sam Cowling University of Massachusetts, Amherst [Forthcoming in Analysis. Penultimate Draft. Cite published version.] Kantian Humility holds that agents like

More information

On A New Cosmological Argument

On A New Cosmological Argument On A New Cosmological Argument Richard Gale and Alexander Pruss A New Cosmological Argument, Religious Studies 35, 1999, pp.461 76 present a cosmological argument which they claim is an improvement over

More information

Saving the Substratum: Interpreting Kant s First Analogy

Saving the Substratum: Interpreting Kant s First Analogy Res Cogitans Volume 5 Issue 1 Article 20 6-4-2014 Saving the Substratum: Interpreting Kant s First Analogy Kevin Harriman Lewis & Clark College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

More information

Varieties of Apriority

Varieties of Apriority S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

More information

Full-Blooded Platonism 1. (Forthcoming in An Historical Introduction to the Philosophy of Mathematics, Bloomsbury Press)

Full-Blooded Platonism 1. (Forthcoming in An Historical Introduction to the Philosophy of Mathematics, Bloomsbury Press) Mark Balaguer Department of Philosophy California State University, Los Angeles Full-Blooded Platonism 1 (Forthcoming in An Historical Introduction to the Philosophy of Mathematics, Bloomsbury Press) In

More information

From Necessary Truth to Necessary Existence

From Necessary Truth to Necessary Existence Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing

More information

Philosophy of Mathematics Kant

Philosophy of Mathematics Kant Philosophy of Mathematics Kant Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 20/10/15 Immanuel Kant Born in 1724 in Königsberg, Prussia. Enrolled at the University of Königsberg in 1740 and

More information

In Defense of Pure Reason: A Rationalist Account of A Priori Justification, by Laurence BonJour. Cambridge: Cambridge University Press,

In Defense of Pure Reason: A Rationalist Account of A Priori Justification, by Laurence BonJour. Cambridge: Cambridge University Press, Book Reviews 1 In Defense of Pure Reason: A Rationalist Account of A Priori Justification, by Laurence BonJour. Cambridge: Cambridge University Press, 1998. Pp. xiv + 232. H/b 37.50, $54.95, P/b 13.95,

More information

Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

More information

Timothy Williamson: Modal Logic as Metaphysics Oxford University Press 2013, 464 pages

Timothy Williamson: Modal Logic as Metaphysics Oxford University Press 2013, 464 pages 268 B OOK R EVIEWS R ECENZIE Acknowledgement (Grant ID #15637) This publication was made possible through the support of a grant from the John Templeton Foundation. The opinions expressed in this publication

More information

Primitive Concepts. David J. Chalmers

Primitive Concepts. David J. Chalmers Primitive Concepts David J. Chalmers Conceptual Analysis: A Traditional View A traditional view: Most ordinary concepts (or expressions) can be defined in terms of other more basic concepts (or expressions)

More information

Bob Hale: Necessary Beings

Bob Hale: Necessary Beings Bob Hale: Necessary Beings Nils Kürbis In Necessary Beings, Bob Hale brings together his views on the source and explanation of necessity. It is a very thorough book and Hale covers a lot of ground. It

More information

WHAT DOES KRIPKE MEAN BY A PRIORI?

WHAT DOES KRIPKE MEAN BY A PRIORI? Diametros nr 28 (czerwiec 2011): 1-7 WHAT DOES KRIPKE MEAN BY A PRIORI? Pierre Baumann In Naming and Necessity (1980), Kripke stressed the importance of distinguishing three different pairs of notions:

More information

Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University,

Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University, The Negative Role of Empirical Stimulus in Theory Change: W. V. Quine and P. Feyerabend Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University, 1 To all Participants

More information

the aim is to specify the structure of the world in the form of certain basic truths from which all truths can be derived. (xviii)

the aim is to specify the structure of the world in the form of certain basic truths from which all truths can be derived. (xviii) PHIL 5983: Naturalness and Fundamentality Seminar Prof. Funkhouser Spring 2017 Week 8: Chalmers, Constructing the World Notes (Introduction, Chapters 1-2) Introduction * We are introduced to the ideas

More information

Modalism and Logical Pluralism

Modalism and Logical Pluralism Modalism and Logical Pluralism Otávio Bueno and Scott A. Shalkowski Logical pluralism is the view according to which there is more than one relation of logical consequence, even within a given language.

More information

Conditions of Fundamental Metaphysics: A critique of Jorge Gracia's proposal

Conditions of Fundamental Metaphysics: A critique of Jorge Gracia's proposal University of Windsor Scholarship at UWindsor Critical Reflections Essays of Significance & Critical Reflections 2016 Mar 12th, 1:30 PM - 2:00 PM Conditions of Fundamental Metaphysics: A critique of Jorge

More information

Ayer and Quine on the a priori

Ayer and Quine on the a priori Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified

More information

KNOWLEDGE ON AFFECTIVE TRUST. Arnon Keren

KNOWLEDGE ON AFFECTIVE TRUST. Arnon Keren Abstracta SPECIAL ISSUE VI, pp. 33 46, 2012 KNOWLEDGE ON AFFECTIVE TRUST Arnon Keren Epistemologists of testimony widely agree on the fact that our reliance on other people's testimony is extensive. However,

More information

Class #14: October 13 Gödel s Platonism

Class #14: October 13 Gödel s Platonism Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #14: October 13 Gödel s Platonism I. The Continuum Hypothesis and Its Independence The continuum problem

More information

All philosophical debates not due to ignorance of base truths or our imperfect rationality are indeterminate.

All philosophical debates not due to ignorance of base truths or our imperfect rationality are indeterminate. PHIL 5983: Naturalness and Fundamentality Seminar Prof. Funkhouser Spring 2017 Week 11: Chalmers, Constructing the World Notes (Chapters 6-7, Twelfth Excursus) Chapter 6 6.1 * This chapter is about the

More information

Against the No-Miracle Response to Indispensability Arguments

Against the No-Miracle Response to Indispensability Arguments Against the No-Miracle Response to Indispensability Arguments I. Overview One of the most influential of the contemporary arguments for the existence of abstract entities is the so-called Quine-Putnam

More information

Realism and instrumentalism

Realism and instrumentalism Published in H. Pashler (Ed.) The Encyclopedia of the Mind (2013), Thousand Oaks, CA: SAGE Publications, pp. 633 636 doi:10.4135/9781452257044 mark.sprevak@ed.ac.uk Realism and instrumentalism Mark Sprevak

More information

Realism and the success of science argument. Leplin:

Realism and the success of science argument. Leplin: Realism and the success of science argument Leplin: 1) Realism is the default position. 2) The arguments for anti-realism are indecisive. In particular, antirealism offers no serious rival to realism in

More information

Has Nagel uncovered a form of idealism?

Has Nagel uncovered a form of idealism? Has Nagel uncovered a form of idealism? Author: Terence Rajivan Edward, University of Manchester. Abstract. In the sixth chapter of The View from Nowhere, Thomas Nagel attempts to identify a form of idealism.

More information

Précis of Empiricism and Experience. Anil Gupta University of Pittsburgh

Précis of Empiricism and Experience. Anil Gupta University of Pittsburgh Précis of Empiricism and Experience Anil Gupta University of Pittsburgh My principal aim in the book is to understand the logical relationship of experience to knowledge. Say that I look out of my window

More information

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows:

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows: Does the Skeptic Win? A Defense of Moore I argue that Moore s famous response to the skeptic should be accepted even by the skeptic. My paper has three main stages. First, I will briefly outline G. E.

More information

Truth and Modality - can they be reconciled?

Truth and Modality - can they be reconciled? Truth and Modality - can they be reconciled? by Eileen Walker 1) The central question What makes modal statements statements about what might be or what might have been the case true or false? Normally

More information

Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

More information

A Nominalist s Dilemma and its Solution

A Nominalist s Dilemma and its Solution A Nominalist s Dilemma and its Solution 2 A Nominalist s Dilemma and its Solution Otávio Bueno Department of Philosophy University of South Carolina Columbia, SC 29208 obueno@sc.edu and Edward N. Zalta

More information

1 What is conceptual analysis and what is the problem?

1 What is conceptual analysis and what is the problem? 1 What is conceptual analysis and what is the problem? 1.1 What is conceptual analysis? In this book, I am going to defend the viability of conceptual analysis as a philosophical method. It therefore seems

More information

WHY THERE REALLY ARE NO IRREDUCIBLY NORMATIVE PROPERTIES

WHY THERE REALLY ARE NO IRREDUCIBLY NORMATIVE PROPERTIES WHY THERE REALLY ARE NO IRREDUCIBLY NORMATIVE PROPERTIES Bart Streumer b.streumer@rug.nl In David Bakhurst, Brad Hooker and Margaret Little (eds.), Thinking About Reasons: Essays in Honour of Jonathan

More information

ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE

ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE A. V. RAVISHANKAR SARMA Our life in various phases can be construed as involving continuous belief revision activity with a bundle of accepted beliefs,

More information

Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613

Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613 Naturalized Epistemology Quine PY4613 1. What is naturalized Epistemology? a. How is it motivated? b. What are its doctrines? c. Naturalized Epistemology in the context of Quine s philosophy 2. Naturalized

More information

Reply to Kit Fine. Theodore Sider July 19, 2013

Reply to Kit Fine. Theodore Sider July 19, 2013 Reply to Kit Fine Theodore Sider July 19, 2013 Kit Fine s paper raises important and difficult issues about my approach to the metaphysics of fundamentality. In chapters 7 and 8 I examined certain subtle

More information

This is a repository copy of Does = 5? : In Defense of a Near Absurdity.

This is a repository copy of Does = 5? : In Defense of a Near Absurdity. This is a repository copy of Does 2 + 3 = 5? : In Defense of a Near Absurdity. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/127022/ Version: Accepted Version Article: Leng,

More information

Philosophical Issues, vol. 8 (1997), pp

Philosophical Issues, vol. 8 (1997), pp Philosophical Issues, vol. 8 (1997), pp. 313-323. Different Kinds of Kind Terms: A Reply to Sosa and Kim 1 by Geoffrey Sayre-McCord University of North Carolina at Chapel Hill In "'Good' on Twin Earth"

More information

Chapter Six. Putnam's Anti-Realism

Chapter Six. Putnam's Anti-Realism 119 Chapter Six Putnam's Anti-Realism So far, our discussion has been guided by the assumption that there is a world and that sentences are true or false by virtue of the way it is. But this assumption

More information

Faults and Mathematical Disagreement

Faults and Mathematical Disagreement 45 Faults and Mathematical Disagreement María Ponte ILCLI. University of the Basque Country mariaponteazca@gmail.com Abstract: My aim in this paper is to analyse the notion of mathematical disagreements

More information

How Successful Is Naturalism?

How Successful Is Naturalism? How Successful Is Naturalism? University of Notre Dame T he question raised by this volume is How successful is naturalism? The question presupposes that we already know what naturalism is and what counts

More information

Luminosity, Reliability, and the Sorites

Luminosity, Reliability, and the Sorites Philosophy and Phenomenological Research Vol. LXXXI No. 3, November 2010 2010 Philosophy and Phenomenological Research, LLC Luminosity, Reliability, and the Sorites STEWART COHEN University of Arizona

More information

Phil 1103 Review. Also: Scientific realism vs. anti-realism Can philosophers criticise science?

Phil 1103 Review. Also: Scientific realism vs. anti-realism Can philosophers criticise science? Phil 1103 Review Also: Scientific realism vs. anti-realism Can philosophers criticise science? 1. Copernican Revolution Students should be familiar with the basic historical facts of the Copernican revolution.

More information

5 A Modal Version of the

5 A Modal Version of the 5 A Modal Version of the Ontological Argument E. J. L O W E Moreland, J. P.; Sweis, Khaldoun A.; Meister, Chad V., Jul 01, 2013, Debating Christian Theism The original version of the ontological argument

More information

Received: 30 August 2007 / Accepted: 16 November 2007 / Published online: 28 December 2007 # Springer Science + Business Media B.V.

Received: 30 August 2007 / Accepted: 16 November 2007 / Published online: 28 December 2007 # Springer Science + Business Media B.V. Acta anal. (2007) 22:267 279 DOI 10.1007/s12136-007-0012-y What Is Entitlement? Albert Casullo Received: 30 August 2007 / Accepted: 16 November 2007 / Published online: 28 December 2007 # Springer Science

More information

A Liar Paradox. Richard G. Heck, Jr. Brown University

A Liar Paradox. Richard G. Heck, Jr. Brown University A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any

More information

Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

More information

Williams on Supervaluationism and Logical Revisionism

Williams on Supervaluationism and Logical Revisionism Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Non-citable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633-641 Central to discussion

More information

Is there a distinction between a priori and a posteriori

Is there a distinction between a priori and a posteriori Lingnan University Digital Commons @ Lingnan University Theses & Dissertations Department of Philosophy 2014 Is there a distinction between a priori and a posteriori Hiu Man CHAN Follow this and additional

More information

McDowell and the New Evil Genius

McDowell and the New Evil Genius 1 McDowell and the New Evil Genius Ram Neta and Duncan Pritchard 0. Many epistemologists both internalists and externalists regard the New Evil Genius Problem (Lehrer & Cohen 1983) as constituting an important

More information

Constructing the World

Constructing the World Constructing the World Lecture 5: Hard Cases: Mathematics, Normativity, Intentionality, Ontology David Chalmers Plan *1. Hard cases 2. Mathematical truths 3. Normative truths 4. Intentional truths 5. Philosophical

More information

Postscript to Plenitude of Possible Structures (2016)

Postscript to Plenitude of Possible Structures (2016) Postscript to Plenitude of Possible Structures (2016) The principle of plenitude for possible structures (PPS) that I endorsed tells us what structures are instantiated at possible worlds, but not what

More information

BOOK REVIEWS. Duke University. The Philosophical Review, Vol. XCVII, No. 1 (January 1988)

BOOK REVIEWS. Duke University. The Philosophical Review, Vol. XCVII, No. 1 (January 1988) manner that provokes the student into careful and critical thought on these issues, then this book certainly gets that job done. On the other hand, one likes to think (imagine or hope) that the very best

More information

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical

More information

Belief, Rationality and Psychophysical Laws. blurring the distinction between two of these ways. Indeed, it will be argued here that no

Belief, Rationality and Psychophysical Laws. blurring the distinction between two of these ways. Indeed, it will be argued here that no Belief, Rationality and Psychophysical Laws Davidson has argued 1 that the connection between belief and the constitutive ideal of rationality 2 precludes the possibility of their being any type-type identities

More information

Introduction. September 30, 2011

Introduction. September 30, 2011 Introduction Greg Restall Gillian Russell September 30, 2011 The expression philosophical logic gets used in a number of ways. On one approach it applies to work in logic, though work which has applications

More information

Philosophy 125 Day 1: Overview

Philosophy 125 Day 1: Overview Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 1: Overview Welcome! Are you in the right place? PHIL 125 (Metaphysics) Overview of Today s Class 1. Us: Branden (Professor), Vanessa & Josh

More information

British Journal for the Philosophy of Science, 62 (2011), doi: /bjps/axr026

British Journal for the Philosophy of Science, 62 (2011), doi: /bjps/axr026 British Journal for the Philosophy of Science, 62 (2011), 899-907 doi:10.1093/bjps/axr026 URL: Please cite published version only. REVIEW

More information

Philosophy 5340 Epistemology Topic 4: Skepticism. Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument

Philosophy 5340 Epistemology Topic 4: Skepticism. Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument 1. The Scope of Skepticism Philosophy 5340 Epistemology Topic 4: Skepticism Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument The scope of skeptical challenges can vary in a number

More information

The Illusion of Scientific Realism: An Argument for Scientific Soft Antirealism

The Illusion of Scientific Realism: An Argument for Scientific Soft Antirealism The Illusion of Scientific Realism: An Argument for Scientific Soft Antirealism Peter Carmack Introduction Throughout the history of science, arguments have emerged about science s ability or non-ability

More information

5 The necessary and the possible

5 The necessary and the possible 5 The necessary and the possible Problems about modality Possible worlds Possible worlds nominalism The metaphysics of possible worlds nominalism David Lewis Actualism and possible worlds Alvin Plantinga

More information

Stang (p. 34) deliberately treats non-actuality and nonexistence as equivalent.

Stang (p. 34) deliberately treats non-actuality and nonexistence as equivalent. Author meets Critics: Nick Stang s Kant s Modal Metaphysics Kris McDaniel 11-5-17 1.Introduction It s customary to begin with praise for the author s book. And there is much to praise! Nick Stang has written

More information

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

More information

Is the Existence of the Best Possible World Logically Impossible?

Is the Existence of the Best Possible World Logically Impossible? Is the Existence of the Best Possible World Logically Impossible? Anders Kraal ABSTRACT: Since the 1960s an increasing number of philosophers have endorsed the thesis that there can be no such thing as

More information

THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM

THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM SKÉPSIS, ISSN 1981-4194, ANO VII, Nº 14, 2016, p. 33-39. THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM ALEXANDRE N. MACHADO Universidade Federal do Paraná (UFPR) Email:

More information

(Some More) Vagueness

(Some More) Vagueness (Some More) Vagueness Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33124 E-mail: otaviobueno@mac.com Three features of vague predicates: (a) borderline cases It is common

More information