The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

This thesis studies Judea Pearl’s logic of counterfactuals derived from the causal modeling framework, in comparison to the influential Stanlnaker-Lewis counterfactual logics. My study focuses on a characteristic principle in Pearl’s logic, named reversibility. The principle, as Pearl pointed out, goes beyond Lewis’s logic. Indeed, it also goes beyond the stronger logic of Stanlnaker, which is more analogous to Pearl’s logic. The first result of this thesis is an extension of Stanlnaker’s logic incorporating reversibility. It will be observed that the (...) translation of reversibility from Pearl’s language to the standard language for conditional logic deserves some attention. In particular, a straightforward translation following Pearl’s suggestion would render reversibility incompatible with Stanlnaker’s logic. A new translation of reversibility will be proposed, and an extension of Stanlnaker’s logic with the inclusion of the translated reversibility will be investigated. More importantly, it will be shown that the extended Stanlnaker’s logic is sound and complete with respect to a modified Stanlnaker’s semantics. The extension of Stanlnaker’s logic has an interesting implication. Zhang, Lam, and de Clercq have shown that special case of reversibility, despite its name, actually states an important kind of irreversibility: counterfactual dependence between distinct events is irreversible. In other words, reversibility entails that there is no cycle of counterfactual dependence altogether generalizations of reversibility. However, as shown in Zhang et al., Pearls’ logic does not rule out cycles of counterfactual dependence altogether. It in fact allows cycles that involve three or more distinct events. This is peculiar because the status of cyclic counterfactual dependence seems no more metaphysically secure than that of mutual counterfactual dependence. This consideration leads to an exploration of logics that rule out all cycles of counterfactual dependence. A surprising result is that the extension of Stanlnaker’s logic is precisely a logic of this sort. (shrink)

The aim of this paper is to discuss a basic assumption tacitly shared by many philosophers of mind and language: that whatever can be meant, can be said. It specifically targets John Searle's account of this idea, focusing on his Principle of Expressibility . In the first part of the paper, PE is exposed underlining its analyticity and its relevance for the philosophy of language , mind , society and action . In the critical part, the notion of Background is (...) taken into account in order to re-evaluate two basic distinctions: the one between sentence and utterance meanings , and the one between native and type speakers . PE is reconsidered in the light of the previous arguments as a methodological strategy that does not prevent uses of language from eventual semantic excesses and deficits , and a complementary Principle of Expression Fallibility is finally proposed. (shrink)

Quine's argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine's argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher's quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake, there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine's argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine's work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...) Hilbert dismisses elucidation and consequently treats the primitives as schematic. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

In "Metaphysics" Gamma 3 Aristotle declares that the philosopher investigates things that are qua things that are and that he therefore should be able to state the firmest principles of everything. The firmest principle of all is identified as the principle of non-contradiction (PNC). The main focus of Gamma 3 is Aristotle's proof for this identification. This paper begins with remarks about Aristotle's notion of the firmness of a principle and then offers an analysis of the firmness proof for PNC. (...) It focuses on some key assumptions of the proof and on the range and force of the proof. Aristotle closes Gamma 3 with the claim that PNC is ultimate in the sense that all other principles somehow rest on it. This, rather controversial, claim is given a defensible reading and shown to be central to the chapter's effort to establish PNC as the firmest principle of all. As such it completes the firmness proof and is not simply an appended remark. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.

Many contemporary metaphysicians believe that the existence of a contingent object such as Socrates metaphysically explains the existence of the corresponding set {Socrates}. This paper argues that this belief is mistaken. The argument proposed takes the form of a dilemma. The expression “{Socrates}” is a shorthand either for the expression “the set that contains all and only those objects that are identical to Socrates” or for the expression “the set that contains Socrates and nothing else”. However, Socrates' existence does not (...) explain the existence of the set that contains all and only those objects that are identical to Socrates, because there is such a set no matter whether or not Socrates exists. And although Socrates' existence does explain that of the set that contains Socrates and nothing else, this explanation is a conceptual rather than a metaphysical one. Both these claims rely on a deflationary account of the use of set theoretic vocabulary that is explained, though not properly justified, in the paper. (shrink)

The Geach‐Kaplan sentence is alleged to be an example of a non‐first‐orderizable sentence, and the proof of the alleged non‐first‐orderizability is credited to David Kaplan. However, there is also a widely shared intuition that the Geach‐Kaplan sentence is still first‐orderizable by invoking sets or other extra non‐logical resources. The plausibility of this intuition is particularly crucial for first‐orderism, namely, the thesis that all our scientific discourse and reasoning can be adequately formalized by first‐order logic. I first argue that the Geach‐Kaplan (...) sentence is, in fact, not first‐orderizable even by invoking extra non‐logical resources, in any sense that is acceptable for first‐orderism and adequately corresponds to the sense in which the Geach‐Kaplan sentence is deemed to be non‐first‐orderizable simpliciter via Kaplan's proof. To address this problem on behalf of first‐orderism, I then propose an alternative conception of first‐orderizability in the sense of which the Geach‐Kaplan sentence and any other second‐order sentences become first‐orderizable by invoking extra non‐logical resources; furthermore, in certain circumstances, they are first‐orderizable without incurring any extra ontological commitment. My analysis also turns out to yield (as a biproduct) a significant enhancement of the so‐called paradox of plurality. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Wittgenstein's conception of logical and conceptual truth is often thought to rival that of the logical positivists. This paper argues that there are important respects in which these conceptions complement each other. Analyticity, in the positivists' sense, coincides, not with Wittgenstein's notion of a grammatical proposition, but rather with his notion of a tautology. Grammatical propositions can usually be construed as analyticity postulates in Carnap's sense of the term. This account of grammatical and analytic propositions will be illustrated by appeal (...) to logical, conceptual and arithmetic truths. Its consequences for an analysis of corresponding modal notions will be indicated. (shrink)

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...) Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

Quine’s argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine’s argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher’s quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake as there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine’s argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine’s work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. -/- . (shrink)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing us to nothing more than the austere ontology (...) of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable. (shrink)

Plural identity—the relation of identity between some things xx and some things yy—has been standardly defined in terms of the plural relation one of (or among). This paper challenges that standard view. To that end, it will be argued, first, that the identity relation, singular or plural, can only be defined in a higher-order language, second, that the standard definition of plural identity in terms of the one of (or among) relation should be regarded instead as providing a criterion of (...) identity for pluralities of some particular kind, and third, that there are pluralities of another kind with which a different criterion of identity is associated. The upshot will be that plural identity as standardly defined cannot be the plural counterpart of singular identity. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

An analogy is made between two rather different domains, namely: logic, and football. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the (...) same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism. (shrink)

Geach's account of the Aristotelian logic of categorical sentences supplemented the views shared by Frege, Russell, Quine and others. I argue that this particular predicate logic approach and Geach's points apply to only one variety of natural language categorical sentences. For example, it takes the universal categorical as a universal conditional “If anything is a man, then it is mortal”. A different natural language form can and should be invoked: “Every man is a mortal.” Employing special restricted quantifiers in a (...) version of predicate logic, we justify a full square of opposition and the rules of quality and quantity that Geach rejected. (shrink)

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox definition given (...) in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

This paper is an exercise in intellectual history, an attempt to understand how a specific term—”informal logic”— came to be interpreted in so many different ways. I trace the emergence and development of “informal logic” to help explain the many different meanings, how they emerged and how they are related. This paper is also, to some degree, an account of a movement that developed outside the mainstream of philosophy, whose origins lie in a desire to make logic useful (echoing Dewey).

‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that standard (...) first-order logic cannot adequately deal with some such existentials. The article defends the view that it can. (shrink)

Reanimated for the contemporary literature in the writings of Quine, [16]) and Kuhn [7], the conventionalism of Duhem [2] and Poincaré [12] has emerged in the last few years as one of the genuinely interesting topics in the philosophy of science. The theory in question—let us follow Grünbaum [3] in calling it the D-thesis, after its founder, Pierre Duhem—claims three things: a single scientific hypothesis H is never disconfirmable in isolation from its fellow; every single hypothesis H of science presupposes, (...) explicitly or implicitly, the support of a conjunction A = A, • A2 • … • Am of auxiliary assumptions or hypotheses; the failure of an observational consequence of H in face of contradictory evidence disconfirms only the conjunction of H and A, not H alone—i.e. establishes only ∼. The logical picture is as follows. (shrink)

By a logical theory I mean a formal system together with its semantics, meta-theory, and rules for translating ordinary language into its notation. Logical theories can be used descriptively (for example, to represent particular arguments or to depict the logical form of certain sentences). Here the logician uses the usual methods of empirical science to assess the correctness of his descriptions. However, the most important applications of logical theories are normative, and here, I argue, the epistemology is that of wide (...) reflective equilibrium. The result is that logic not only assesses our inferential practice but also changes it. I tie my discussion to Thagard's views concerning the relationship between psychology and logic, arguing against him that psychology has and should have only a peripheral role in normative (and most descriptive) applications of logic. (shrink)

I invoke the conceptual machinery of contemporary possible-world semantics to provide an account of the metaphysical status of "bridge laws" in intertheoretic reductions. I argue that although bridge laws are not definitions, and although they do not necessarily reflect attribute-identities, they are supervenient. I.e., they are true in all possible worlds in which the reducing theory is true.

§13 of Principia Ethica contains G. E. Moore’s most famous open question arguments. Several of Moore’s contemporaries defended various forms of metaethical nonnaturalism—a doctrine Moore himself endorsed—by appeal to OQAs. Some contemporary cognitivists embrace the force of Moore’s OQAs against metaethical naturalism. And those who posit noncognitivist meaning components of ethical terms have traditionally used OQAs to fuel their own emotivist, prescriptivist, and expressivist metaethical programs. Despite this influence, Moore’s OQAs have been ridiculed in recent decades. Their deployment has been (...) labeled “accident prone,” “simple to dismiss,” and just plain invalid. Critics accuse Moore of begging the question. Others argue that his OQAs founder upon the paradox of analysis. And still others argue that Moore’s open question argumentation is incompatible with the Kripke–Putnam causal theory of reference and thus it “simply fails; it is bankrupt”. I aim to show that there is something of continuing value in Moore’s open question efforts. I present and criticize Nicholas Sturgeon’s influential interpretation of Moore’s OQAs as a means to motivate and explicate my own interpretation of Moore’s thoughts in §13 of Principia Ethica. I then articulate the role that OQAs are intended to play in Moore’s overall argumentative strategies to undermine metaethical naturalism and thereby provide some theoretical support for metaethical nonnaturalism. Finally, I attend to the most prominent objections to Moore’s theorizing and attempt to evaluate the extent to which Moore’s efforts are successful. My hope is to display both the promising portions of Moore’s metaethical argumentation in Principia Ethica as well as its limitations. (shrink)

Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages.

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

Epistemic rationality seems to permit a more steadfast response to disagreements over our fundamental convictions than it does for our ordinary beliefs. Why is this? This essay explores three answers to this question: web-of-belief conservatism, moral encroachment, and hinge theories, and argues that hinge theories do a better job than the alternatives at vindicating the intuition that there is a rationally permissible asymmetry in our responses to disagreements over ordinary beliefs and fundamental convictions. The essay also shows how hinge theorists (...) can explain the existence of moral hinge propositions, which enables them to account for the rational permissibility of being steadfast in response to disagreements over fundamental moral convictions. (shrink)

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.