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)

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)

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)

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 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)

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

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)

Counterfactual Entailment is the view that a counterfactual conditional is true just in case its antecedent entails its consequent. I present an argument for Counterfactual Entailment, and I develop a strategy for explaining away apparent counterexamples to the view. The strategy appeals to the suppositional view of counterfactuals, on which a counterfactual is essentially a statement, made relative to the supposition of its antecedent, of its consequent.

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)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

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 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)

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)

‘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)

§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)

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)

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)

In the predicate calculus, variables provide a flexible indexing service which selects the actual arguments to a predicate letter from among possible arguments that precede the predicate letter (in the parse of the formula). In the process of selection, the possible arguments can be permuted, repeated (used more than once), and skipped. If this service is withheld, so that arguments must be the immediately preceding ones, taken in the order in which they occur, the formula is said to be fluted. (...) Quine showed that if a fluted formula contains only homogeneous conjunction (conjoins only subformulas of equal arity), then the satisfiability of the formula is decidable. It remained an open question whether the satisfiability of a fluted formula without this restriction is decidable. This paper answers that question. (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.

Riggs v. Palmerhas become famous since Dworkin used it to show that legal positivism is defective. The debate over the merits of Dworkin's claims is still very lively. Yet not enough attention has been paid to the fact that the content of the statute at issue inRiggswas given by thecounterfactual intentionof the legislature. According to arguments from legislative intent, a judicial decision is justified if it is based on the lawmaker's intention. But can legislative intentions be determined counterfactually? More generally, (...) what are the discursive commitments undertaken by a lawyer or a judge, in an exchange of legal reasons, when using this interpretive methodology? This paper addresses these issues considering, in particular, David Lewis's “resemblance” condition and “relevant similarity” between possible worlds in the evaluation of counterfactual statements. The analysis sheds some new light on the debate on theoretical disagreements and shows that Dworkin's conception of law as an argumentative practice is not necessarily at odds with legal positivism. It rather allows us to look at it under a better light. (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...

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)

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)

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)

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).

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.

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)

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)

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)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

The notion of similarity plays a central role in Quine's theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine's theory has been ignored by several philosophers. Nominalism and realism: Universals and Scientific realism. Cambridge: (...) Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine's austere ontology; in particular, it does not assume the existence of properties and of possible worlds.. Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine's approach that have been raised by Armstrong and Oliver [. The metaphysics of properties. Mind, 105, 1-80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [. On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (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)