13 The model-theoretic argument: from skepticism to a new understanding

Size: px
Start display at page:

Download "13 The model-theoretic argument: from skepticism to a new understanding"

Transcription

1 13 The model-theoretic argument: from skepticism to a new understanding Gila Sher Two well-known arguments by Putnam, the one skeptical (Putnam 1980), the other anti-skeptical (Putnam 1981b), are the model-theoretic argument (henceforth, MT) and brains-in-a-vat argument (henceforth, BIV). 1 The MT argument shows, according to Putnam, that (i) we cannot theoretically determine the reference of our words, and that, as a result, (ii) we must renounce the correspondence theory of truth and robust realism. The BIV argument shows, Putnam says, that (iii) we cannot truly believe that we are BIVs, and that (iv) Cartesian skepticism is thus undermined. Three questions naturally arise: (a) Is there a conflict between Putnam s skeptical and anti-skeptical conclusions? In particular: Given that the key to (iii) is Putnam s claim that we, unlike BIVs, have referential access to the world, is there a conflict between his claims about referential access in the two arguments? (b) Is Putnam s skeptical conclusion concerning truth and realism warranted? (c) What is the philosophical significance of the BIV thought experiment? The answer to the first, more general, part of the first question appears to be negative. If we understand BIV as arguing against an especially extreme form of skepticism, Cartesian or Evil-Demon skepticism, and MT as arguing for a weaker form of skepticism, correspondence-truth skepticism or robustrealism skepticism, there need not be a general conflict between them. However, some ideas developed in recent articles about Putnam s BIV (see e.g. Tymoczko 1989a, b; A. W. Moore 2011) suggest to me that on some level there might be a conflict between the two arguments. The answer to the second, more specific, part of the first question depends on whether the referential access denied by MT is of the same kind as that affirmed by BIV. But the first question is not one I will focus on in this chapter. 1 I will use MT and BIV as abbreviations of other locutions involving the expressions model theoretic and brains in a vat as well. It will be clear from the context what I mean.

2 The model-theoretic argument 209 The questions I will focus on are the second and the third questions. I will offer new challenges to Putnam s skepticism with respect to robust truth and realism, and I will raise a new philosophical question about BIVs (and us). The chapter is divided into four sections. In Section 13.1 I will challenge Putnam s MT-skepticism on the ground that it is based on a mistaken understanding of Tarskian models. In Section 13.2 I will discuss Putnam s skeptical permutation-argument. In Section 13.3 I will question Putnam s understanding of robust correspondence and realism. And in Section 13.4 I will identify a new BIV challenge, significant for understanding our cognitive access to reality. Although Putnam s point in his MT and BIV arguments is, on the surface, semantic, I believe his deeper point is epistemic, as my own standpoint in this chapter will be. By characterizing my standpoint as epistemic, however, I do not mean what Putnam means when he talks about an epistemic approach to truth or realism, which he contrasts with a correspondence approach. On the contrary. For me, to approach truth epistemically is to ask (i) whether genuine knowledge requires something like a correspondence standard of truth, and (ii) whether a correspondence standard of truth sufficient for genuine knowledge is possible. And it is the relevance of semantic considerations to these two questions that interests me here. In spite of my difference with Putnam on these two questions, I have much in common with him. Like Putnam, my approach to knowledge in general, and to philosophical knowledge in particular, is holistic. This means, among other things, that I do not draw sharp boundaries between epistemology,metaphysics,andthephilosophyoflanguage.thusisee the failure of reference as posing a serious problem to knowledge in a rather straightforward way: if there is no fact of the matter about what our theories say about the world, then they cannot provide us definite knowledgeabouttheworld.otherphilosophical positions I share with Putnam include rejection of Platonism, rejection of narrow naturalism, rejection of pure apriorism, and rejection of magic (i.e. appeal to magical or supernatural forces in philosophical explanation). Like Putnam, too, my starting point is common-sense realism (Putnam 1994b: 303), where by this I understand the idea that thought and language can represent parts of the world which are not parts of thought and language (299). I also share Putnam s viewthat [t]here are many ways of describing things, some better and some worse and some equally good but simply different, but none which is Nature s own way (302). And I agree with him that if we identify world with a Kantian thing in

3 210 Gila Sher itself and if we identify transcendence with God s eye view, then we must give up the correspondence approach to truth and reject robust realism. But I do not agree that robust correspondence (or realism) requires us to identify world with thing-in-itself and transcendence with God s eye view, and I disagree with his conclusion that we have to renounce the correspondence theory of truth and robust theoretical realism What models are designed and not designed to do a new challenge to MT The skeptical MT appeals to certain meta-logical results. The lesson Putnam draws from these results is that it is impossible to determine reference theoretically (as opposed to pragmatically), that is, by means of a theory that says what the referents of our words are. This, according to Putnam, leads to another conclusion, namely, that the correspondence account of truth, and with it, the only acceptable forms of robust realism, fail. For the sake of clarifying the issues, we may divide Putnam s MT into two arguments, a narrower argument and a broader argument. The narrower argument applies to theories of reference formulated within the framework of standard first-order logic. The broader argument applies to theories of reference formulated within any model-theoretic logical framework. The narrow argument relies on the Löwenheim Skolem Theorem, the broader argument relies on what I will call the isomorphism theorem. Before turning to these arguments, however, let me briefly introduce two terminological distinctions: (i) model for and model of, and (ii) standard and non-standard first-order logic. (i) Model theory distinguishes between M is a model for a language L and M is a model of a sentence S of L, or of a theory T formulated in L. Any model in which every sentence of L has a truth-value is a model for L. Any model for L in which S/T is true is a model of S/T. It will always be clear from the context whether by model I mean a model for the language or a model of S/T. (ii) By standard first-order logic I mean the kind of logical system described in common textbooks of mathematical logic (e.g. Enderton 2001 [1972]). What makes such a first-order logical system standard is that it limits its logical constants to the standard ones: a complete set of truth-functional connectives (e.g. ~, &,,, and ), the existential and/or universal quantifier (9/8), the identity relation between

4 The model-theoretic argument 211 individuals (=), and any terms defined from these. Non-standard firstorder logic includes additional logical constants, such as the quantifier most. The narrow MT argument. This argument appeals to a meta-logical theorem called the Löwenheim Skolem Theorem or LS: (LS) Let T be a standard first-order theory. Then, if T has any model, it has a countable model. 2 It follows from LS, Putnam says, that if you formulate your theory say, your mathematical theory of sets within the framework of standard firstorder logic, then your theory will not accurately determine the reference of its terms. For example, it will not accurately determine the reference of the firstlevel predicate x is uncountable. Why? Because first-order set theory has models in which x is uncountable is satisfied by countable sets. In order to determine the reference of terms like x is uncountable, Putnam says, your theory would have to single out an intended model or a class of models, that is, those in which x is uncountable has its intended reference or extension. But although ( uncountable being a mathematical predicate) this only requires that your theory determine an intended model up to isomorphism, even this it cannot do: a countable model of set theory is not isomorphic to an uncountable model of set theory, but first-order set theory cannot distinguish between the two. Putnam s conclusion is radical: it is impossible in principle to determine the reference of terms theoretically, and this applies both to theories of reference that list the referents of words one by one and to theories that determine their referents by means of general principles, for example by means of a causal principle of reference. In the case of theories of the second kind the problem is that they have models in which x is a causal relation is satisfied by non-causal relations. Before evaluating Putnam s conclusion let us be more precise about what follows and does not follow from LS. What follows from LS is that at least some non-logical predicates have unintended denotations in some models of theories in which they appear. What does not follow from LS is, for example, that any logical terms have unintended denotations in any models (see below). We also need to indicate that the reason first-level predicates like x is a cat and x causes y have unintended denotations is due to a more general 2 A countable model is one whose universe is either finite or denumerable, that is, has the smallest infinite cardinality.

5 212 Gila Sher meta-logical result: the isomorphism result. This brings us to the broad MT argument. The broad MT argument. The broad Putnamian argument appeals to the isomorphism theorem (ISOM): (ISOM) Let T be a theory/sentence formulated in any logical framework with a Tarskian model-theoretic semantics. Then, if T has any model, M, it has infinitely many distinct models, namely, all the models isomorphic to M. In other words: the notion X is a model of T/S is closed under isomorphisms. Now, the argument says: Take a theory of reference, T, formulated within the framework of any model-theoretic logic. 3 If T has a model in which cat refers to cats, then it also has models in which cat refers to dogs, trees, numbers, and so on. Similarly, if T explains the reference of words in terms of causal relations between words and objects in the world, then T has models in which cause refers to things other than causes: for example, to certain mathematical relations between numbers. Therefore, no theoretical (as opposed to pragmatic) account of reference is adequate. Is Putnam s radical conclusion justified? Is it impossible to account for reference by means of a theory that states either the specific referents of words or general principles of reference? I believe the answer to this question is negative. To understand why it is negative, let us turn to theories. Theories. For Putnam, to determine reference theoretically (as opposed to pragmatically) is to formulate a standard first-order axiomatic theory of reference and use its intended model to determine what it says. Is this the right way or an acceptable, reasonable, fruitful way to think of a theoretical account of reference? A number of philosophers, for example Plantinga (1982), give a negative answer to this question. 4 Butmostdonot provide a precise explanation of why the answer is negative. Plantinga, for example, raises the rhetorical question So what? : [I]ndeed number theory does have models of...different sorts, but so what?, concludingthat the process of formalization is severely limited in a certain dimension (Plantinga 1982: 59 60). 3 By model-theoretic logic I mean, in this chapter, simply a logical system that has a Tarskian model-theoretic semantics and is subject to ISOM. 4 Such negative answers are aligned with claims by philosophers of science that it is unfruitful to think about scientific theories as theories formulated within the framework of some model-theoretic logic or think about scientific models as models in the model-theoretic sense. (For discussion, see Frigg and Hartman (2012 [2006]) and references there.)

6 The model-theoretic argument 213 I think we can go further and pinpoint the reason models and logical frameworks are not appropriate tools for determining reference. The key question is: What are models and logical frameworks designed to do and what, as a result, are they incapable of doing? Models and logical frameworks. 5 If we turn to the paper in which Tarski explained his motivation for constructing a model-theoretic semantics (Tarski 1936), we see that the designated task of this semantics was to identify logical consequences correctly. One way to identify logical consequences correctly, Tarski realized, was to formulate the language whose logical consequences we wish to identify within a logical framework and construct an apparatus of models that takes into account the reference of the logical terms of this language while disregarding the reference of its non-logical terms. That is how model-theoretic semantics is built. 6 Logical terms are semantically prefixed, while non-logical terms are highly variable (Sher 1991: chapter 3). 7 To determine whether an arbitrary sentence S 2 is a logical consequence of an arbitrary sentence S 1 we have to overlook the full truth conditions of S 1 and S 2 and in particular the intended reference of their non-logical terms. And we must focus on their logical form and its significant constituents the logical constants. It is paramount that model-theoretic semantics get the reference of the logical constants of a given language right (in every Tarskian model = must denote the identity relation, 9 the second-level property of nonemptiness, 8 the property of universality, the logical connectives must denote certain Boolean operators, and the same holds for other logical constants, if there are any). But it is also paramount that the semantics abstract from the particular reference of the non-logical vocabulary. For that reason it is misguided to think of model-theoretic semantics as a general theory of reference, or as a tool for identifying non-logical reference. Consider, once again, the uncountability predicate. If we build the uncountability predicate, or the membership relation in terms of which it can be defined, as a logical constant of a first-order logical framework of set theory (i.e. as a logical quantifier denoting a second-level cardinality property in the case of uncountability, and as a relational quantifier whose first argument is an individual and whose second argument is a property or a set in the case of the membership predicate), then first-order model-theoretic 5 For an earlier discussion of some of the points in this subsection see Sher (2000). 6 Although models were used in logic before 1936 (e.g. by Skolem), the capacities and limits of modeltheoretic semantics are best understood, in my view, by reference to Tarski s 1936 principles. 7 For other aspects of the model-theoretic apparatus and an explanation of how it identifies logical consequences and why it is suitable for this task, see Sher (1991, 2013a).

7 214 Gila Sher semantics would get its reference conditions right. In Tarski s words: [I]f we treat 2 like a logical symbol...interpreted as signifying membership, we will, in general, not have a denumerable [hence, countable] model (cited in Skolem 1958: 638). 8 That is, we will not have a countable model of There are uncountably many things or There is an uncountable set. If, however, we build the uncountability predicate as a non-logical constant, then it is incumbent on model-theoretic semantics to abstract from its reference, hence assign it unintended referents in some models. And, given the role of models in determining logical consequences, it is essential that model-theoretic semantics treat all models on a par, that is, not distinguish intended from unintended models. The question is, then, why would anyone use a tool designed to overlook non-logical reference to identify (determine, specify, account for) this very kind of reference? 9 Turning back to LS and ISOM, I think that a reasonable conclusion to draw is that model-theoretic semantics is not a suitable tool for determining reference and that therefore we should not think of a general theory of reference as a theory that determines the reference of our terms by identifying an intended model or a set of such models. Thinking of a general theory of reference in this way is counter-productive. Putnam, however, presented a version of his skeptical argument that does not appeal to model-theory at all, the so-called permutation argument. Let us now turn to this argument The significance of invariance under permutation The permutation argument appeals to a variant of the isomorphism thesis. We may call it the permutation thesis (PERM): (PERM) Let T be a theory, and let A be the ontology of T. Then, if there is one determination of reference for all terms of our language under which all the sentences of T are true, there are many such determinations of reference, obtained from the original determination by permutations of the given ontology. We may say that T is closed under permutations. 8 A denumerable model is one which is infinite yet countable. The translation of Tarski s sentence (from French) is mine. 9 It is true that sometimes we can use a tool to do something it was not specifically designed to do. But in the case of Tarskian models and determination of non-logical reference this is especially problematic.

8 The model-theoretic argument 215 The skeptical argument can now be stated as follows: Let T be an adequate theory of reference for our language. Then, presumably, T assigns to x is a cat and to x is a causal relation a set of cats and a set of causal relations, respectively, as their referents/extensions. But the truth of T is preserved under permutations. So T remains true under some reference-determinations which assign to cat a set of non-cats and to causal relation a set of noncausal relations. This renders T an inadequate theory of reference. Contradiction. Conclusion: Determining the reference of our words theoretically, that is, by a theory T, is impossible. In response to this argument let me make two comments: 1. Permutation does not change the reference of all words in our vocabulary. Take, for example, the second-level predicate non-empty (the existential quantifier of first-order logic), understood as X is a non-empty property of individuals, or X is a non-empty set of individuals. Now, the (correct) extension of non-empty is the set of all non-empty sets of individuals in the world. Let us call this set NE. It is easy to see that the image of NE under any permutation of the individuals in the world ( universe of discourse of our language) is NE itself. That is, the reference of the second-level predicate of non-emptiness does not change under permutations. The same holds for the first-level relations of identity and nonidentity, the second-level predicates is universal, has cardinality α (for any cardinal α), is symmetric (i.e. is a symmetric relation ), and so on. Elsewhere (e.g. Sher 2013a) I suggested that we characterize all the predicates that are preserved under all isomorphisms hence, all permutations as formal. 10 Under this characterization, the reference of formal terms, unlike the reference of terms like cat and is a causal relation, which are not formal, is preserved under all permutations. So the claim that PERM undermines the possibility of a theoretical account of reference is at most partially correct, that is, correct for that part of the theory of reference that deals with non-formal terms. 2. PERM does not undermine the possibility of a theoretical account of reference for non-logical terms as well. PERM shows that if by a theory you understand just a pattern of truth-values assigned to sentences of our language (those assigned true belong to the theory, those assigned false do not), then a theory in this sense cannot account for reference. It also shows that if by a theory you understand a set of uninterpreted sentences considered as axioms and closed under the relation of logical consequence, 10 All logical terms are formal in this sense.

9 216 Gila Sher then again, a theory in this sense cannot account for reference. A mere pattern of truth values is something formal, hence invariant under permutations. And by paying attention only to patterns of truth values what we get is a theory of truth-functional operators, not of reference. An uninterpreted axiomatic theory, too, cannot convey non-formal content. But these are not the only ways to think of a theory of reference. A theory of reference is itself an interpreted theory, and its basic terms (e.g. is a causal relation ) must all be interpreted. Someone might complain that such a theory cannot determine the reference of its interpreted terms. For example, the reference of causal relation must be determined outside the theory.thisistrueinsome sense, but not in a sense that is problematic for me, or that should be problematic for Putnam, since we both share a holistic outlook on theories. As a holist, I believe that, for a theory to be significant, at leastsomeofitswordsmustcomewithaprefixed meaning. We cannot get something from nothing, and even our theories of meaning/reference must assume some meanings/references. But I also believe that we do not have to hold the same meanings/references fixed in all our theories or at all times. To develop a general theory of reference we may take the term cause from other theories, where this term was defined, explained, characterized, and its satisfaction conditions were at least partly determined. Then, using the theory of reference we have just developed with thehelpofthisterm,wemightrevisitthetheoriesweusedtofix its reference in the first place, reexamine their use of this term in light of what our newly developed theory of reference (which has other resources besides the prefixed meaning/reference of cause ) teaches us about reference, in light of what other theories teach us about causes and things related to causes, and so on. And based on this we decide whether toleavethereferenceofthistermasitisorreviseit. 11 We may even account for the reference of cause within the theory of reference by holding other terms fixed (relying on other theories, other discoveries, other contacts with the world, and so on). There is nothing skeptical in this conclusion: A theory of reference is an ongoing project just like any other human project. Putnam, however, claims that in the case of the correspondence theory of truth,inthe(closelyrelated)caseofrobustrealism,andinthecaseofthe 11 Other possibilities are discarding the term or replacing it by another, which will then lead to revisions in our theory of reference.

10 The model-theoretic argument 217 theory of reference they require, we are doomed to failure. Here, the only way to proceed is to appeal to magic (supernatural cognitive powers). Let us now turn to this claim Do correspondence and robust realism require magic? The key to evaluating Putnam s claim is understanding what he means by the correspondence theory of truth and robust realism. Let us begin by seeing what adjectives he uses to describe the realism he rejects. They include moderate (Putnam 1980: 464), metaphysical (Putnam 1981a: 49), externalist (49), modern (51), hard-line (Putnam 1983b: viii), causal (xi), naive (xi), and classical metaphysical (xviii) 12 Next, let us look at some of the ways Putnam characterizes this realism. This realism, according to Putnam, seeks to preserve the centrality of the classical notions of truth and reference without postulating non-natural mental powers (Putnam 1980: 464). [I]ts favorite point of view is a God s Eye point of view (Putnam 1981a: 49). It is a realism which holds that the truth of a theory...consist[s]...in its corresponding to the world as it is in itself (50). It adheres to the notion that our words correspond to determinate objects (where the notion of an object is thought to have a determinate reference which is independent of conceptual scheme) (Putnam 1983b: viii). It is a realism that requires an absolute 13 relation to the world (xi). It assumes that we can think and talk about things as they are, independently of our minds (Putnam 1983a: 205). This realism claims that there is 14 a transcendental reality in Kant s sense, one absolutely independent of our minds, that the regulative ideal of knowledge is to copy it or put our thoughts in correspondence with it, but...we need no intellektuelle Anschauung 15 to do this: the scientific method will do the job for us. Metaphysics within the bounds of science alone might be its slogan (226). It involves the idea of a coherent theory of the noumena; consistent, systematic, and arrived at by the scientific method (226). Now, a careful look at these characterizations shows that Putnam sometimes views the realism he rejects as an enlightened realism, one held by 12 Here and below I use bold in citations to direct the reader s attention to things I will focus on later. Because I would like to point a potential tension in Putnam s view of the realism he rejects, I will use two styles of bold: regular and italics. In the above citations, moderate is already italicized in the original text, though for a different purpose. 13 In the original text, absolute is italicized for emphasis. 14 In the original text, is is italicized for emphasis. 15 In the original text, too, intellektuelle Anschauung is italicized, but not for emphasis.

11 218 Gila Sher enlightened philosophers enlightened in the sense of being moderate and rejecting supernatural powers. (See italicized bold expressions.) At other times Putnam views this realism as an unenlightened realism, in the sense of being extreme and assuming a radical, outdated conception of reality and a radical, outdated standpoint: thing-in-itself and God s eye view. (See regular bold expressions.) 16 So, is the realism Putnam criticizes an enlightened realism, in which case his criticism might be very significant for the viability of robust realism and the correspondence theory of truth, or is it an unenlightened realism, in which case his criticism would be less significant? One clue to understanding Putnam s conception of this realism is his statement that it is, unfortunately, the moderate realist position which is put into deep trouble by the Löwenheim Skolem theorem and related model-theoretic results (Putnam 1977: 2). This suggests that Putnam thinks that robust realists who support science and reject magic believe they are enlightened, but in fact they are not, since their realism is committed to noumenal reality and a God s eye view. Putting aside the question of what kind of robust realism scientificallyminded contemporary philosophers actually support, the question I would like to raise here is whether an enlightened robust realism, one that does not appeal either to things-in-themselves or to a God s eye view, is possible. If the answer to this question is positive, this, together with my earlier challenges to Putnam s meta-logical arguments, would challenge his entire skeptical argument. I believe that the answer to the above question is, indeed, positive. To show why it is positive, I will briefly delineate a philosophical methodology that renders robust correspondence and realism possible without rendering commitment to thing-in-itself, a Godly standpoint, or magic, possible. The discussion below is based on Sher (1999, 2004, 2010, 2013a, b, and 2015). The methodology I have in mind was already introduced earlier in this chapter. It is the holistic methodology, or rather a specific version of holism, which in Sher (2013a) I call foundational holism. My claim is that if we realize holism s potential, we can develop an enlightened yet robust correspondence theory of truth, one that requires substantive correspondences 16 Of course, it is an open question whether in every place identified here as indicating an unenlightened conception of realism this accurately captures Putnam s intention in this particular place. But what is important for the purpose of the present chapter is that (i) in order for Putnam s criticism of robust realism to make sense he must attribute to robust realists views of realism involving noumena (things-in-themselves) and a God s eye view, and that (ii) there are many places in his writings in which he either attributes these views to them explicitly or uses expressions that, given his criticism, are naturally interpreted as representing these views.

12 The model-theoretic argument 219 between truths and reality yet eschews the problematic commitments feared by Putnam. My discussion will be divided into three parts: (a) foundationalholistic approach to knowledge; (b) reality and correspondence without things-in-themselves; and (c) transcendence and correspondence without God s eye view. (a) Foundational-holistic approach to knowledge. Following Quine (1951), many contemporary philosophers classify themselves as holists, though different philosophers understand different things by holism. Here I am not interested in the historical roots of holism, its current sub-classifications (e.g. meaning holism versus confirmation holism), or who supports (objects to) what kind of holism. Rather, I would like to briefly delineate a conception of holism that is pertinent to the question at hand and that, I believe, opens up more options in developing a correspondence theory of truth, a realistic epistemology, and a theory of reference. The holism I have in mind, foundational holism, may best be understood by comparison with foundationalism. Foundational holism shares with traditional foundationalism the view that a substantive grounding of knowledge in reality is both required and possible, and it goes further than most versions of foundationalism in making this requirements truly universal, that is, applicable to highly abstract disciplines like logic as much as to largely empirical disciplines like biology. Unlike foundationalism, however, it does not impose a rigid ordering on our system of knowledge (collection of disciplines and subdisciplines) according to basicness, and it does not require that in grounding a given discipline (subdiscipline) in reality we limit ourselves to resources produced by more basic disciplines (subdisciplines). The grounding process, like knowledge itself, is an ongoing process, involving back and forth motion, change and revision, and setting demanding, yet not impossible, requirements on both the construction and the grounding of theories. (b) Reality and correspondence without things-in-themselves. The foundationalist methodology, as I understand it here, aims at an absolute foundation for knowledge, a grounding of knowledge in absolute reality, an account of how terms of our language refer to absolute objects, and how sentences correspond to absolute facts or states of affairs. In short, the foundationalist thinks of reality as noumenal reality or thing-in-itself in Putnam s sense, something which is absolutely and completely independent of the way the human mind conceives reality or cognitively accesses it. In contrast, the foundational holist thinks of reality in

13 220 Gila Sher non-absolutist terms. When I say that my standard of truth for Snow is white is a correspondence standard I mean that for this sentence to be true it has to be the case that the worldly, non-noumenal, stuff snow has, in the world, the worldly, non-noumenal, property of being white. This kind of standard is a robust correspondence standard, 17 but it has nothing to do with noumenal reality. Similarly, when I say that my standard of truth for first-order arithmetic sentences is a correspondence standard, I mean that such sentences have to be systematically connected to certain facets of reality in order to be true, but not that they have to be systematically connected to noumenal reality or even to Platonic reality. This point is worth elaborating on. From a holistic point of view there is considerable flexibility concerning the form correspondence takes, namely, what pattern the connection between true sentences and reality takes in different fields. In particular, there is no need to insist that the correspondence relation is a copy or an isomorphism relation, or that it is a direct relation or the same relation in all fields. This is especially important in developing a correspondence account of mathematical truth, since the traditional way of thinking about mathematical correspondence involves the requirement that there are mathematical individuals in the world and the mathematical vocabulary refers to these individuals, a requirement that has turned out to be highly problematic (see e.g. Benacerraf 1965, 1973). From a holistic perspective, it is an open question how our words, including our abstract words, are connected to reality. The key to answering this question is Wittgenstein s injunction: Look and see! 18 Don t decide in advance how words are related to objects, but look and see, search, find out. The fact that humans use 0-level expressions like one to state the laws of finite cardinalities, for example, does not automatically mean that for their statements to be true correspondence true, true about the world the term one must be connected to a numerical individual in the world, let alone directly connected to such an individual. Perhaps there are no numerical individuals in the world, but there is something else in the world that one is connected to and in virtue of 17 I can make my standard of truth for this sentence still stronger by setting precise scientific conditions on something to be snow and equating the condition of being white with some nontrivial physical condition in terms of wavelength. 18 Wittgenstein (1953: 66), where it is written look and see. Unlike Wittgenstein, however, I do not contrast looking and thinking. On the contrary I see some forms of thinking as falling under looking.

14 The model-theoretic argument 221 which mathematical statements are true or false about the world, true or false in a correspondence sense. Thus, consider the observation that objects and properties in the world have properties of many kinds, and these include formal properties like cardinalities. Suppose there are no numerical individuals in the world, but properties of individuals in the world have cardinality properties. For example, the first-level property is-a-moon-of-earth has, in the world, the second-level property of having cardinality ONE. Suppose, further, that for some reason having to do with our cognitive capacities we prefer to construct first-order theories of cardinalities rather than second-order theories. Suppose, for example, that we, humans, get confused when we deal with higher-level properties and their relations, but see our way clearly into these relations when we translate them into relations between individuals. That might result in our having a language with a 0-level term, one, which refers to the second-level cardinality property ONE. How would it do that, and how would first-order arithmetic statements be true of second-order cardinality properties? Well, we, humans, might exercise our epistemic freedom and create a 0-level model of secondlevel cardinalities. Our word one would be systematically connected to our 0-level posit one, which, in turn, would be systematically connected to the second-level cardinality property ONE. In this way first-order arithmetic statements could be true, in a composite correspondence sense, of certain formal facets of reality, namely those involving secondlevel finite cardinalities. (For more details, including how this account can be extended to theories of infinite cardinalities, see Sher (2013b; 2015).) Mathematics, then, even higher mathematics, would be true of our world, true about some abstract facets of our world, without requiring any noumenal or Platonic world to be true of. (c) Transcendence and correspondence without a God s eye view.a correspondence standard of truth requires a three-level setting: Level W (world), level L (language), and level T (transcendence). On level L there is a theory, statement, or thought S. S says something about the world (where world is broadly understood). In the simplest case, S attributes a property to an object in the world, that is, S attributes a property of level W to an object of level W. Now, to apply a correspondence standard of truth to S we must transcend L to a level T from which we can see both S and that portion of the world that S has to be systematically connected to in order to be true. That is, our correspondence standard for S lies in T, a level that has both L and W in view. A paradigmatic example of level T is that of a Tarskian meta-language.

15 222 Gila Sher Considering a pair of levels <W, L>, where objects of level L refer, or attribute properties, to objects of level W, and characterizing level L as a human level of thought, we can in principle distinguish two types of transcendence (cognitive movement) from level L to a level transcendent to it, T. We may call these Human Human (HH) and Human God (HG) transcendence: HH-transcendence: HG-transcendence: We transcend a human level of thought to a different human level of thought. We transcend a human level of thought to a different, non-human or Godly level of thought. Now, according to Putnam, a correspondence standard of truth requires HG-transcendence. But from a holistic perspective, a correspondence standard of truth requires only HH-transcendence. According to Putnam, a Tarskian meta-language is a Godly language; according to us, it is a human language. It is not surprising that for Putnam level T of thought is a Godly level: if level W is the level of thing-in-itself or noumenon, and if level T is a level from which we can access both level W and level L, then level T must be a Godly level. Only a God is capable of seeing which things-in-themselves have which properties-in-themselves. But if level W is the level of regular reality, the reality studied by humans (by our physical, biological, psychological, and mathematical theories), then level T is a level of regular cognition, that is, human cognition. It is a more powerful level of cognition than level L, as we have learned from Tarski. We can see things from level T that we cannot see from level L. But level T is just as human as level L. To set a standard of truth for human theories (statements, thoughts) there is no need to be God. This is something that humans do, can do, and have always done. It is also something that we can do better or worse, something that it takes quite a lot of work to be better at (figuring out ways to access physical aspects of the world that are not accessible to us at the moment, replacing common-sense methods of accessing the world by rigorous methods, creating sophisticated meta-languages, and so on). But it does not require either being Gods or using supernatural resources. I can sum up my challenge to Putnam by saying: Putnam believes that robust realists and correspondence theorists must renounce their positions because (i) they cannot give an account of reference of the kind required by their positions, and because (ii) their positions unavoidably carry problematic commitments. But the meta-logical considerations that lead Putnam to conclude (i) are irrelevant to a robust realist/correspondence account of reference. And the considerations that lead Putnam to conclude (ii) are incorrect:

16 The model-theoretic argument 223 there are ways to be robust realists and correspondence theorists, including ways that are friendly to many aspects of Putnam s philosophical outlook, that do not involve the problematic commitments rejected by Putnam. I have said earlier that Putnam is a holist rather than a foundationalist. How does Putnam s holism differ from foundational holism? A full answer to this question is not possible in this chapter. But one significant difference is a difference in the balance of pragmatic and veridical considerations. Both from the point of view of Putnam s holism and from the point of view of foundational holism, pragmatic considerations are integral to the project of knowledge in all fields, including philosophy and, within it, epistemology and semantics. But while Putnam gives more weight to pragmatic goals, considerations, and methods than to veridical ones, especially in philosophy, foundational holism gives more weight to veridical methods, goals, and considerations. This explains why, for foundational holism, a correspondence standard of truth, which focuses on veridicality requirements, is crucial for knowledge in all fields, while for Putnam a pragmatic standard, like acceptance of theories at the ideal limit, is sufficient. This is connected to the foundational aspect of foundational holism. While holism is usually viewed as an antidote to foundational interests, foundational holism is holism put in the service of just such interests. Foundational holism says that the holistic rather than the foundationalist method is the preferred method for foundational investigations, including those aiming at understanding the relations between mind and world, theories and their targets, words and the objects they refer to. Another distinctive characteristic of foundational holism is its approach to humans cognitive resources. One resource, in particular, is viewed very differently by the foundational holist and by other epistemologists, holists as well as foundationalists: intellect. This brings me back to Putnam s BIV argument, which focuses on such resources Intellect and the BIV challenge BIV skepticism is a modern version of Cartesian, Evil-Demon skepticism, and Putnam s anti-skeptical argument is a modern counterpart of Descartes s anti-skeptical argument. But the two differ in substantial ways. In particular, while Descartes s argument is a rationalist argument, Putnam s argument is to a large extent an empiricist argument. This difference is crucial to the success of Putnam s argument. While Descartes s argument does not distinguish between creatures that share the same intellectual capacities but not the

17 224 Gila Sher same sensory capacities, Putnam s argument does. It is the fact that we stand in direct causal relations to the physical world, mediated through our sensory organs, that distinguishes us from BIVs, according to Putnam. And it is this difference that makes it impossible for us to entertain the skeptical possibility that rather than humans with cognitive access to the world we are BIVs controlled by a computer run by a (possibly malevolent) scientist or by an indifferent nature. Now, one feature of this anti-skeptical argument is that it neglects to examine the possibility that, under certain conditions, intellect, as a natural resource, is also capable of forging significant cognitive routes to the world. What I am talking about is not the specific possibility of purely a priori knowledge which, as a holist, I tend to be skeptical of. What I have in mind is the more general possibility that intellect plays a significant role in our cognitive access to the world, either in isolation from our other cognitive resources or in cooperation with these resources. I think that exploring this possibility is an important task for contemporary holists who, like Putnam and myself, reject both radical empiricism and radical rationalism. Furthermore, one way to orient ourselves toward this investigation is to pose a new BIV question. Not Could I truly believe (or seriously entertain the possibility) that I am a BIV? but: Given that it is possible that BIVs exist, is it possible that under certain conditions they will have some genuine knowledge of the world, and if so, what kind of knowledge and under what conditions? Although this question does not directly concern our own cognitive access to the world, it could potentially teach us something about our own cognitive access, and, in particular, about the possible role of human intellect (which, by construction, is the same as BIV intellect) in this access. One source of inspiration for this question is Kant s observation that while there is no doubt that all our knowledge [cognition] begins with experience[,]...itdoesnotfollowthatitallarisesoutofexperience (Kant 1787 [1781]: B1). Kant himself went on to ask whether there was purely a priori knowledge, but the possibility that human knowledge arises partly out of intellect does not require aprioriknowledge. Nor does it require intellectual intuition akin to perception. A more suitable paradigm of intellect s ability to access reality is figuring out, where this might be a lengthy process, involve use of background knowledge, and so on. Figuring out is a natural activity, one found in animals as well as in humans, and in humans it occurs in all ages and in all contexts, from everyday practical endeavors to the most abstract mathematical endeavors. This is how I would formulate the new BIV question: Could BIVs figure out some things about the

18 The model-theoretic argument 225 world? What kind of things? Under what conditions? Could we figure out some things about the world in a similar way? Another source of inspiration comes from real-life examples of humans who overcame severe sensory limitations, such as Helen Keller. BIVs are severely limited in their physical ability to access the world. But they have some physical contact with the world their brains are physically connected to a physical object, a computer, which, at least under some conditions, is connected to a person who herself might have sensory contacts with the world. Under what conditions are such contacts sufficient (necessary, instrumental) for BIVs obtaining indirect knowledge of the world? A third source of inspiration is Plato s parable of the cave. Is it possible that one of the BIVs will suddenly, or not so suddenly, awaken from it slumbers, stand up, walk out (cognitively speaking) and see the light? Not Platonic forms, but regular things, the kind of things we want our own theories to teach us about? Is it possible that a BIV will outsmart its handler? Could it cooperate with its handler? Could it see through attempts to deceive it? Could it find ways to exploit the computer controlling it? Quine said that science has taught us that our contact with the world is purely sensory. But has it? Has science given us a full and conclusive account of our cognitive access to the world, our ability to figure out things about the world, the role of intellect in accessing the world? These questions call for looking and seeing, and figuring out is part of it. The question of what BIVs could and could not do and under what conditions calls for the same. And if there are conditions under which BIVs could figure out some things about the world, are we as different from them as Putnam thinks we are? Is it absolutely irrational to entertain the possibility that we are them, that we are at least a little bit like them?

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

How Not to Defend Metaphysical Realism (Southwestern Philosophical Review, Vol , 19-27)

How Not to Defend Metaphysical Realism (Southwestern Philosophical Review, Vol , 19-27) How Not to Defend Metaphysical Realism (Southwestern Philosophical Review, Vol 3 1986, 19-27) John Collier Department of Philosophy Rice University November 21, 1986 Putnam's writings on realism(1) have

More information

Epistemology Naturalized

Epistemology Naturalized Epistemology Naturalized Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 15 Introduction to Philosophy: Theory of Knowledge Spring 2010 The Big Picture Thesis (Naturalism) Naturalism maintains

More information

Rethinking Knowledge: The Heuristic View

Rethinking Knowledge: The Heuristic View http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to

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

- 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

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

Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more

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

! Jumping ahead 2000 years:! Consider the theory of the self.! What am I? What certain knowledge do I have?! Key figure: René Descartes.

! Jumping ahead 2000 years:! Consider the theory of the self.! What am I? What certain knowledge do I have?! Key figure: René Descartes. ! Jumping ahead 2000 years:! Consider the theory of the self.! What am I? What certain knowledge do I have?! What is the relation between that knowledge and that given in the sciences?! Key figure: René

More information

Philosophy 125 Day 4: Overview

Philosophy 125 Day 4: Overview Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 4: Overview Administrative Stuff Final rosters for sections have been determined. Please check the sections page asap. Important: you must get

More information

Intro. The need for a philosophical vocabulary

Intro. The need for a philosophical vocabulary Critical Realism & Philosophy Webinar Ruth Groff August 5, 2015 Intro. The need for a philosophical vocabulary You don t have to become a philosopher, but just as philosophers should know their way around

More information

Putnam: Meaning and Reference

Putnam: Meaning and Reference Putnam: Meaning and Reference The Traditional Conception of Meaning combines two assumptions: Meaning and psychology Knowing the meaning (of a word, sentence) is being in a psychological state. Even Frege,

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

First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox *

First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox * First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox * András Máté EötvösUniversity Budapest Department of Logic andras.mate@elte.hu The Löwenheim-Skolem theorem has been the earliest of

More information

Think by Simon Blackburn. Chapter 7c The World

Think by Simon Blackburn. Chapter 7c The World Think by Simon Blackburn Chapter 7c The World Idealism Despite the power of Berkeley s critique, his resulting metaphysical view is highly problematic. Essentially, Berkeley concludes that there is no

More information

Quine s Naturalized Epistemology, Epistemic Normativity and the. Gettier Problem

Quine s Naturalized Epistemology, Epistemic Normativity and the. Gettier Problem Quine s Naturalized Epistemology, Epistemic Normativity and the Gettier Problem Dr. Qilin Li (liqilin@gmail.com; liqilin@pku.edu.cn) The Department of Philosophy, Peking University Beiijing, P. R. China

More information

On Tarski On Models. Timothy Bays

On Tarski On Models. Timothy Bays On Tarski On Models Timothy Bays Abstract This paper concerns Tarski s use of the term model in his 1936 paper On the Concept of Logical Consequence. Against several of Tarski s recent defenders, I argue

More information

MY PURPOSE IN THIS BOOK IS TO PRESENT A

MY PURPOSE IN THIS BOOK IS TO PRESENT A I Holistic Pragmatism and the Philosophy of Culture MY PURPOSE IN THIS BOOK IS TO PRESENT A philosophical discussion of the main elements of civilization or culture such as science, law, religion, politics,

More information

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's

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

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

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

NATURALISED JURISPRUDENCE

NATURALISED JURISPRUDENCE NATURALISED JURISPRUDENCE NATURALISM a philosophical view according to which philosophy is not a distinct mode of inquiry with its own problems and its own special body of (possible) knowledge philosophy

More information

Lecture 9. A summary of scientific methods Realism and Anti-realism

Lecture 9. A summary of scientific methods Realism and Anti-realism Lecture 9 A summary of scientific methods Realism and Anti-realism A summary of scientific methods and attitudes What is a scientific approach? This question can be answered in a lot of different ways.

More information

Bertrand Russell Proper Names, Adjectives and Verbs 1

Bertrand Russell Proper Names, Adjectives and Verbs 1 Bertrand Russell Proper Names, Adjectives and Verbs 1 Analysis 46 Philosophical grammar can shed light on philosophical questions. Grammatical differences can be used as a source of discovery and a guide

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

Interpretation: Keeping in Touch with Reality. Gilead Bar-Elli. 1. In a narrow sense a theory of meaning (for a language) is basically a Tarski-like

Interpretation: Keeping in Touch with Reality. Gilead Bar-Elli. 1. In a narrow sense a theory of meaning (for a language) is basically a Tarski-like Interpretation: Keeping in Touch with Reality Gilead Bar-Elli Davidson upheld the following central theses: 1. In a narrow sense a theory of meaning (for a language) is basically a Tarski-like theory of

More information

Can A Priori Justified Belief Be Extended Through Deduction? It is often assumed that if one deduces some proposition p from some premises

Can A Priori Justified Belief Be Extended Through Deduction? It is often assumed that if one deduces some proposition p from some premises Can A Priori Justified Belief Be Extended Through Deduction? Introduction It is often assumed that if one deduces some proposition p from some premises which one knows a priori, in a series of individually

More information

Phil/Ling 375: Meaning and Mind [Handout #10]

Phil/Ling 375: Meaning and Mind [Handout #10] Phil/Ling 375: Meaning and Mind [Handout #10] W. V. Quine: Two Dogmas of Empiricism Professor JeeLoo Liu Main Theses 1. Anti-analytic/synthetic divide: The belief in the divide between analytic and synthetic

More information

Experience and Foundationalism in Audi s The Architecture of Reason

Experience and Foundationalism in Audi s The Architecture of Reason Philosophy and Phenomenological Research Vol. LXVII, No. 1, July 2003 Experience and Foundationalism in Audi s The Architecture of Reason WALTER SINNOTT-ARMSTRONG Dartmouth College Robert Audi s The Architecture

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

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

Self-Evidence and A Priori Moral Knowledge

Self-Evidence and A Priori Moral Knowledge Self-Evidence and A Priori Moral Knowledge Colorado State University BIBLID [0873-626X (2012) 33; pp. 459-467] Abstract According to rationalists about moral knowledge, some moral truths are knowable a

More information

Class 4 - The Myth of the Given

Class 4 - The Myth of the Given 2 3 Philosophy 2 3 : Intuitions and Philosophy Fall 2011 Hamilton College Russell Marcus Class 4 - The Myth of the Given I. Atomism and Analysis In our last class, on logical empiricism, we saw that Wittgenstein

More information

Philosophy Epistemology. Topic 3 - Skepticism

Philosophy Epistemology. Topic 3 - Skepticism Michael Huemer on Skepticism Philosophy 3340 - Epistemology Topic 3 - Skepticism Chapter II. The Lure of Radical Skepticism 1. Mike Huemer defines radical skepticism as follows: Philosophical skeptics

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

Mohammad Reza Vaez Shahrestani. University of Bonn

Mohammad Reza Vaez Shahrestani. University of Bonn Philosophy Study, November 2017, Vol. 7, No. 11, 595-600 doi: 10.17265/2159-5313/2017.11.002 D DAVID PUBLISHING Defending Davidson s Anti-skepticism Argument: A Reply to Otavio Bueno Mohammad Reza Vaez

More information

Ayer on the criterion of verifiability

Ayer on the criterion of verifiability Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

More information

A Defense of Contingent Logical Truths

A Defense of Contingent Logical Truths Michael Nelson and Edward N. Zalta 2 A Defense of Contingent Logical Truths Michael Nelson University of California/Riverside and Edward N. Zalta Stanford University Abstract A formula is a contingent

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

Jerry A. Fodor. Hume Variations John Biro Volume 31, Number 1, (2005) 173-176. Your use of the HUME STUDIES archive indicates your acceptance of HUME STUDIES Terms and Conditions of Use, available at http://www.humesociety.org/hs/about/terms.html.

More information

To appear in The Journal of Philosophy.

To appear in The Journal of Philosophy. To appear in The Journal of Philosophy. Lucy Allais: Manifest Reality: Kant s Idealism and his Realism. Oxford: Oxford University Press, 2015, pp. xi + 329. 40.00 (hb). ISBN: 9780198747130. Kant s doctrine

More information

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000)

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000) Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000) One of the advantages traditionally claimed for direct realist theories of perception over indirect realist theories is that the

More information

An Empiricist Theory of Knowledge Bruce Aune

An Empiricist Theory of Knowledge Bruce Aune An Empiricist Theory of Knowledge Bruce Aune Copyright 2008 Bruce Aune To Anne ii CONTENTS PREFACE iv Chapter One: WHAT IS KNOWLEDGE? Conceptions of Knowing 1 Epistemic Contextualism 4 Lewis s Contextualism

More information

Holtzman Spring Philosophy and the Integration of Knowledge

Holtzman Spring Philosophy and the Integration of Knowledge Holtzman Spring 2000 Philosophy and the Integration of Knowledge What is synthetic or integrative thinking? Of course, to integrate is to bring together to unify, to tie together or connect, to make a

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

Under contract with Oxford University Press Karen Bennett Cornell University

Under contract with Oxford University Press Karen Bennett Cornell University 1. INTRODUCTION MAKING THINGS UP Under contract with Oxford University Press Karen Bennett Cornell University The aim of philosophy, abstractly formulated, is to understand how things in the broadest possible

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

QUINE vs. QUINE: Abstract Knowledge and Ontology

QUINE vs. QUINE: Abstract Knowledge and Ontology QUINE vs. QUINE: Abstract Knowledge and Ontology Gila Sher How does Quine, one of the most important philosophers of the twentieth century, fare in the first decades of the twenty-first century? It appears

More information

Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

More information

to representationalism, then we would seem to miss the point on account of which the distinction between direct realism and representationalism was

to representationalism, then we would seem to miss the point on account of which the distinction between direct realism and representationalism was Intentional Transfer in Averroes, Indifference of Nature in Avicenna, and the Issue of the Representationalism of Aquinas Comments on Max Herrera and Richard Taylor Is Aquinas a representationalist or

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

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

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

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophy of Science Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophical Theology 1 (TH5) Aug. 15 Intro to Philosophical Theology; Logic Aug. 22 Truth & Epistemology Aug. 29 Metaphysics

More information

Realism and Idealism Internal realism

Realism and Idealism Internal realism Realism and Idealism Internal realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 12/11/15 Easy answers Last week, we considered the metaontological debate between Quine and Carnap. Quine

More information

This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997)

This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997) This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997) Frege by Anthony Kenny (Penguin, 1995. Pp. xi + 223) Frege s Theory of Sense and Reference by Wolfgang Carl

More information

Review of "The Tarskian Turn: Deflationism and Axiomatic Truth"

Review of The Tarskian Turn: Deflationism and Axiomatic Truth Essays in Philosophy Volume 13 Issue 2 Aesthetics and the Senses Article 19 August 2012 Review of "The Tarskian Turn: Deflationism and Axiomatic Truth" Matthew McKeon Michigan State University Follow this

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

Intro to Philosophy. Review for Exam 2

Intro to Philosophy. Review for Exam 2 Intro to Philosophy Review for Exam 2 Epistemology Theory of Knowledge What is knowledge? What is the structure of knowledge? What particular things can I know? What particular things do I know? Do I know

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

Philosophy 427 Intuitions and Philosophy. Russell Marcus Hamilton College Fall 2011

Philosophy 427 Intuitions and Philosophy. Russell Marcus Hamilton College Fall 2011 Philosophy 427 Intuitions and Philosophy Russell Marcus Hamilton College Fall 2011 Class 4 The Myth of the Given Marcus, Intuitions and Philosophy, Fall 2011, Slide 1 Atomism and Analysis P Wittgenstein

More information

Review of Philosophical Logic: An Introduction to Advanced Topics *

Review of Philosophical Logic: An Introduction to Advanced Topics * Teaching Philosophy 36 (4):420-423 (2013). Review of Philosophical Logic: An Introduction to Advanced Topics * CHAD CARMICHAEL Indiana University Purdue University Indianapolis This book serves as a concise

More information

Epistemology and sensation

Epistemology and sensation Cazeaux, C. (2016). Epistemology and sensation. In H. Miller (ed.), Sage Encyclopaedia of Theory in Psychology Volume 1, Thousand Oaks: Sage: 294 7. Epistemology and sensation Clive Cazeaux Sensation refers

More information

Introductory Kant Seminar Lecture

Introductory Kant Seminar Lecture Introductory Kant Seminar Lecture Intentionality It is not unusual to begin a discussion of Kant with a brief review of some history of philosophy. What is perhaps less usual is to start with a review

More information

24.01 Classics of Western Philosophy

24.01 Classics of Western Philosophy 1 Plan: Kant Lecture #2: How are pure mathematics and pure natural science possible? 1. Review: Problem of Metaphysics 2. Kantian Commitments 3. Pure Mathematics 4. Transcendental Idealism 5. Pure Natural

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

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

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

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

Philosophy 5340 Epistemology. Topic 6: Theories of Justification: Foundationalism versus Coherentism. Part 2: Susan Haack s Foundherentist Approach

Philosophy 5340 Epistemology. Topic 6: Theories of Justification: Foundationalism versus Coherentism. Part 2: Susan Haack s Foundherentist Approach Philosophy 5340 Epistemology Topic 6: Theories of Justification: Foundationalism versus Coherentism Part 2: Susan Haack s Foundherentist Approach Susan Haack, "A Foundherentist Theory of Empirical Justification"

More information

Verificationism. PHIL September 27, 2011

Verificationism. PHIL September 27, 2011 Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

More information

Areas of Specialization and Competence Philosophy of Language, History of Analytic Philosophy

Areas of Specialization and Competence Philosophy of Language, History of Analytic Philosophy 151 Dodd Hall jcarpenter@fsu.edu Department of Philosophy Office: 850-644-1483 Tallahassee, FL 32306-1500 Education 2008-2012 Ph.D. (obtained Dec. 2012), Philosophy, Florida State University (FSU) Dissertation:

More information

Fundamentals of Metaphysics

Fundamentals of Metaphysics Fundamentals of Metaphysics Objective and Subjective One important component of the Common Western Metaphysic is the thesis that there is such a thing as objective truth. each of our beliefs and assertions

More information

Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh

Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh For Philosophy and Phenomenological Research Remarks on a Foundationalist Theory of Truth Anil Gupta University of Pittsburgh I Tim Maudlin s Truth and Paradox offers a theory of truth that arises from

More information

Epistemological Externalism and the Project of Traditional Epistemology. Contemporary philosophers still haven't come to terms with the project of

Epistemological Externalism and the Project of Traditional Epistemology. Contemporary philosophers still haven't come to terms with the project of Epistemological Externalism and the Project of Traditional Epistemology 1 Epistemological Externalism and the Project of Traditional Epistemology Contemporary philosophers still haven't come to terms with

More information

Oxford Scholarship Online Abstracts and Keywords

Oxford Scholarship Online Abstracts and Keywords Oxford Scholarship Online Abstracts and Keywords ISBN 9780198802693 Title The Value of Rationality Author(s) Ralph Wedgwood Book abstract Book keywords Rationality is a central concept for epistemology,

More information

Published in Analysis 61:1, January Rea on Universalism. Matthew McGrath

Published in Analysis 61:1, January Rea on Universalism. Matthew McGrath Published in Analysis 61:1, January 2001 Rea on Universalism Matthew McGrath Universalism is the thesis that, for any (material) things at any time, there is something they compose at that time. In McGrath

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

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 21 Lecture - 21 Kant Forms of sensibility Categories

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

GILA SHER CHEN BO FOUNDATIONAL HOLISM, SUBSTANTIVE THEORY OF TRUTH, AND A NEW PHILOSOPHY OF LOGIC: INTERVIEW WITH GILA SHER BY CHEN BO (Ⅰ)

GILA SHER CHEN BO FOUNDATIONAL HOLISM, SUBSTANTIVE THEORY OF TRUTH, AND A NEW PHILOSOPHY OF LOGIC: INTERVIEW WITH GILA SHER BY CHEN BO (Ⅰ) 1 GILA SHER CHEN BO FOUNDATIONAL HOLISM, SUBSTANTIVE THEORY OF TRUTH, AND A NEW PHILOSOPHY OF LOGIC: INTERVIEW WITH GILA SHER BY CHEN BO (Ⅰ) (To appear Chinese Journal of Philosophy (Blackwell, A&HCI)),

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

Van Fraassen: Arguments Concerning Scientific Realism

Van Fraassen: Arguments Concerning Scientific Realism Aaron Leung Philosophy 290-5 Week 11 Handout Van Fraassen: Arguments Concerning Scientific Realism 1. Scientific Realism and Constructive Empiricism What is scientific realism? According to van Fraassen,

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

Florida State University Libraries

Florida State University Libraries Florida State University Libraries Electronic Theses, Treatises and Dissertations The Graduate School 2011 A Framework for Understanding Naturalized Epistemology Amirah Albahri Follow this and additional

More information

The British Empiricism

The British Empiricism The British Empiricism Locke, Berkeley and Hume copyleft: nicolazuin.2018 nowxhere.wordpress.com The terrible heritage of Descartes: Skepticism, Empiricism, Rationalism The problem originates from the

More information

III Knowledge is true belief based on argument. Plato, Theaetetus, 201 c-d Is Justified True Belief Knowledge? Edmund Gettier

III Knowledge is true belief based on argument. Plato, Theaetetus, 201 c-d Is Justified True Belief Knowledge? Edmund Gettier III Knowledge is true belief based on argument. Plato, Theaetetus, 201 c-d Is Justified True Belief Knowledge? Edmund Gettier In Theaetetus Plato introduced the definition of knowledge which is often translated

More information

A HOLISTIC VIEW ON KNOWLEDGE AND VALUES

A HOLISTIC VIEW ON KNOWLEDGE AND VALUES A HOLISTIC VIEW ON KNOWLEDGE AND VALUES CHANHYU LEE Emory University It seems somewhat obscure that there is a concrete connection between epistemology and ethics; a study of knowledge and a study of moral

More information

KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON. The law is reason unaffected by desire.

KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON. The law is reason unaffected by desire. KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON The law is reason unaffected by desire. Aristotle, Politics Book III (1287a32) THE BIG IDEAS TO MASTER Kantian formalism Kantian constructivism

More information

Philosophy Courses-1

Philosophy Courses-1 Philosophy Courses-1 PHL 100/Introduction to Philosophy A course that examines the fundamentals of philosophical argument, analysis and reasoning, as applied to a series of issues in logic, epistemology,

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

Putnam on Methods of Inquiry

Putnam on Methods of Inquiry Putnam on Methods of Inquiry Indiana University, Bloomington Abstract Hilary Putnam s paradigm-changing clarifications of our methods of inquiry in science and everyday life are central to his philosophy.

More information

The Oxford Handbook of Epistemology

The Oxford Handbook of Epistemology Oxford Scholarship Online You are looking at 1-10 of 21 items for: booktitle : handbook phimet The Oxford Handbook of Epistemology Paul K. Moser (ed.) Item type: book DOI: 10.1093/0195130057.001.0001 This

More information

Response to The Problem of the Question About Animal Ethics by Michal Piekarski

Response to The Problem of the Question About Animal Ethics by Michal Piekarski J Agric Environ Ethics DOI 10.1007/s10806-016-9627-6 REVIEW PAPER Response to The Problem of the Question About Animal Ethics by Michal Piekarski Mark Coeckelbergh 1 David J. Gunkel 2 Accepted: 4 July

More information

Moral Objectivism. RUSSELL CORNETT University of Calgary

Moral Objectivism. RUSSELL CORNETT University of Calgary Moral Objectivism RUSSELL CORNETT University of Calgary The possibility, let alone the actuality, of an objective morality has intrigued philosophers for well over two millennia. Though much discussed,

More information

Wright on response-dependence and self-knowledge

Wright on response-dependence and self-knowledge Wright on response-dependence and self-knowledge March 23, 2004 1 Response-dependent and response-independent concepts........... 1 1.1 The intuitive distinction......................... 1 1.2 Basic equations

More information

xiv Truth Without Objectivity

xiv Truth Without Objectivity Introduction There is a certain approach to theorizing about language that is called truthconditional semantics. The underlying idea of truth-conditional semantics is often summarized as the idea that

More information

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic 1. Introduction The concern here is criticism of the Kripkean representation of modal, logical truth as truth at the actual-world

More information