In this paper I reconstruct David Foster Wallace’s argument against fatalism in his undergraduate honors thesis, “Richard Taylor’s ‘Fatalism’ and the Semantics of Physical Modality”. My goal is to present the argument in a clear and concise way, so that it is easy to see its main line of reasoning and potential power. A secondary goal is to offer clarificatory and critical notes on some of the issues at stake. The reconstruction reveals interesting connections between Wallace’s argument and John MacFarlane’s (...) recent work on relative truth. (shrink)

What I will call “the deviant logician objection” [DLO] is one line of attack against the common and compelling tenet that our justification for logical truths is grounded in our understanding of their constituent concepts. This objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic, between understanding and justification. I will consider varieties of the deviant logician objection developed by Horwich and by Williamson. My thesis is that while the deviant logician objection falls (...) short of proving that this traditional tenet must be rejected, nonetheless it serves to bolster some important refinements. (shrink)

In his paraphasis of Aristotle’s Metaphysics, Avicenna seems to adopt a first principle distintc form the one adopted by the Greek philosopher for this science. In fact, some interpreters consider him as prefering the principle of third excluded instead of the principle of non contradiction. Since I desagree with this thesis, I propose to analyse here Avicenna’s formulation of the first principle. In order to do that, I propose, first, to clarify the meaning of the first principle by looking to (...) one of the most important modern critics: Jan Lukasiewicz. To put it briefly, the question I will try to answer is: how Avicenna and Aristotle justify the nature of the logical relations. The article finishes with make some general remarks on Avicenna’s defense of the first principle. (shrink)

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

Logical pluralism is commonly described as the view that there is more than one correct logic. It has been claimed that, in order for that view to be interesting, there has to be at least a potential for rivalry between the correct logics. This paper offers a detailed assessment of this suggestion. I argue that an interesting version of logical pluralism is hard, if not impossible, to achieve. I first outline an intuitive understanding of the notions of rivalry and correctness. (...) I then discuss a natural account of rivalry in terms of disagreement about validity claims and the argument from meaning variance that has been raised against it. I explore a more refined picture of the meaning of validity claims that makes use of the character-content distinction of classical two dimensional semantics. There are three ways in which pluralists can use that framework to argue for the view that different logics may be rivals but could nevertheless be equally correct. I argue that none of them is convincing. (shrink)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...) fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

In this essay I consider what is meant by the description ‘great’ philosophy and then offer some broadly applicable criteria by which to assess candidate thinkers or works. On the one hand are philosophers in whose case the epithet, even if contested, is not grossly misconceived or merely the product of doctrinal adherence on the part of those who apply it. On the other are those – however gifted, acute, or technically adroit – to whom its application is inappropriate because (...) their work cannot justifiably be held to rise to a level of creative-exploratory thought where the description would have any meaningful purchase. I develop this contrast with reference to Thomas Kuhn’s distinction between ‘revolutionary’ and ‘normal’ science, and also in light of J.L. Austin’s anecdotal remark – à propos Leibniz – that it was the mark of truly great thinkers to make great mistakes, or to risk falling into certain kinds of significant or consequential error. My essay goes on to put the case that great philosophy should be thought of as involving a constant readiness to venture and pursue speculative hypotheses beyond any limits typically imposed by a culture of ‘safe’, well-established, or academically sanctioned debate. At the same time – and just as crucially – it must be conceived as subject to the strictest, most demanding standards of formal assessment, i.e., with respect to basic requirements of logical rigour and conceptual precision. Focusing mainly on the work of Jacques Derrida and Alain Badiou I suggest that these criteria are more often met by philosophers in the broadly ‘continental’ rather than the mainstream ‘analytic’ line of descent. However – as should be clear – the very possibility of meeting them, and of their being jointly met by any one thinker, is itself sufficient indication that this is a false and pernicious dichotomy. (shrink)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription rule by (...) applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

The linguistic theory of the logical A Priori: is it obsolete In holistic interpretations, the logical truths are considered as continuous with empirical science: they are revisable, a posteriori, though very near to the centre of our web of belief. In this paper, we consider the merits and demerits of this approach, and we propose that it is necessary to revaluate holistic philosophies of logic. Some arguments are put forward which point in favour of the logical empiricists’ theory of logical (...) truth. We argue (following Hartry Field) that the concept of “correlation between logical facts and logical beliefs” (which is at the heart of the holistic theory) is inconsistent. Finally, we concentrate on the principle of contradiction and argue (following Manley Thompson) that this principle is fundamental for meaning, truth, and thinking. This thesis is derived from considerations on the nature of intentionality. (shrink)

What is the rational response when confronted with a set of propositions each of which we have some reason to accept, and yet which taken together form an inconsistent class? This was, in a nutshell, the problem addressed by the Jaina logicians of classical India, and the solution they gave is, I think, of great interest, both for what it tells us about the relationship between rationality and consistency, and for what we can learn about the logical basis of philosophical (...) pluralism. The Jainas claim that we can continue to reason in spite of the presence of inconsistencies, and indeed construct a many-valued logical system tailored to the purpose. My aim in this paper is to offer a new interpretation of that system and to try to draw out some of its philosophical implications. (shrink)

The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...) and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

Starting from a proof-theoretic perspective, where meaning is determined by the inference rules governing logical operators, in this paper we primarily aim at developing a proof-theoretic alternative to the model-theoretic meaning-invariant logical pluralism discussed in Beall and Restall. We will also outline how this framework can be easily extended to include a form of meaning-variant logical pluralism. In this respect, the framework developed in this paper—which we label two-level proof-theoretic pluralism—is much broader in scope than the one discussed in Beall (...) and Restall’s book. (shrink)

The paper consists of two parts. The first part begins with the problem of whether the original three-valued calculus, invented by J. Łukasiewicz, really conforms to his philosophical and semantic intuitions. I claim that one of the basic semantic assumptions underlying Łukasiewicz's three-valued logic should be that if under any possible circumstances a sentence of the form "X will be the case at time t" is true (resp. false) at time t, then this sentence must be already true (resp. false) (...) at present. However, it is easy to see that this principle is violated in Lukasiewicz's original calculus (as the cases of the law of excluded middle and the law of contradiction show). Nevertheless it is possible to construct (either with the help of the notion of "supervaluation", or purely algebraically) a different three-valued, semi-classical sentential calculus, which would properly incorporate Łukasiewicz's initial intuitions. Algebraically, this calculus has the ordinary Boolean structure, and therefore it retains all classically valid formulas. Yet because possible valuations are no longer represented by ultrafilters, but by filters (not necessarily maximal), the new calculus displays certain non-classical metalogical features (like, for example, nonextensionality and the lack of the metalogical rule enabling one to derive "p is true or q is true" from" 'p ∨ q' is true"). The second part analyses whether the proposed calculus could be useful in formalizing inferences in situations, when for some reason (epistemological or ontological) our knowledge of certain facts is subject to limitation. Special attention should be paid to the possibility of employing this calculus to the case of quantum mechanics. I am going to compare it with standard non-Boolean quantum logic (in the Jauch-Piron approach), and to show that certain shortcomings of the latter can be avoided in the former. For example, I will argue that in order to properly account for quantum features of microphysics, we do not need to drop the law of distributivity. Also the idea of "reading off" the logical structure of propositions from the structure of Hilbert space leads to some conceptual troubles, which I am going to point out. The thesis of the paper is that all we need to speak about quantum reality can be acquired by dropping the principle of bivalence and extensionality, while accepting all classically valid formulas. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (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)

The new Bayesian paradigm in the psychology of reasoning aims to integrate the study of human reasoning, decision making, and rationality. It is supported by two findings. One, most people judge the probability of the indicative conditional, P(if A then B), to be the conditional probability, P(B|A), as implied by the Ramsey test. Two, they judge if A then B to be void when A is false. Their three-valued response table used to be called ‘defective’, but should be termed the (...) de Finetti table. We show how to study general de Finetti truth tables for negations, conjunctions, disjunctions, and conditionals. (shrink)

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

Prof. Haack answers a series of questions on pragmatism, beginning with the origins of this tradition in the work of Peirce and James, its evolution in the work of Dewey and Mead, and its influence beyond the United States in, for example, the Italian pragmatists and the radical British pragmatist F. C. S. Schiller. Classical pragmatism, she observes, is a rich and varied tradition from which there is still much to be learned—as the many ways her own work in logic, (...) epistemology, metaphysics, philosophy of science, and philosophy of law has been informed by the old pragmatists testify. Of late, however, this tradition has been misunderstood, impoverished, and vulgarized by self-styled neo-pragmatists; here, Haack turns her attention specifically to the conception of pragmatism as essentially a political philosophy, and the near-vacuous equation of pragmatism with “problem-solving.”. (shrink)

Substructural pluralism about the meaning of logical connectives is best understood as the view that natural language connectives have all (and only) the properties conferred by classical logic, but that particular occurrences of these connectives cannot simultaneously exhibit all these properties. This is just a more sophisticated way of saying that while natural language connectives are ambiguous, they are not so in the way classical logic intends them to be. Since this view is usually framed as a means to resolve (...) paradoxes, little attention is paid to the logical properties of the ambiguous connectives themselves. The present paper sets out to fill this gap. First, I argue that substructural logicians should care about these connectives; next, I describe a consequence relation between a set of ambiguous premises and an ambiguous conclusion, and review the logical properties of ambiguous connectives; and finally, I highlight how ambiguous connectives can explain our intuitions about logical rivalry. (shrink)

n the analytic tradition, the appeal to intuition has been a common philosophical practice that supposedly provides us with epistemic standards. The authoress argues that the high epistemological standards of traditional analytic philosophy cannot be pursued by this method. Perhaps within a naturalistic, reliable frame intuitions can be evoked more coherently. Philosophers can use intuition as scientists do, in hypothesis- construction or data- collection. This is an ironic conclusion: Traditional analytic epistemologists rely on the appeal to intuition, but cannot justify (...) it. Naturalists, on the other hand, are not those who need such a method; yet they can better accommodate it within their view. (shrink)

The three definitions of the law of non-contradiction highlighted by Jan Łukasiewicz in Aristotle’s Metaphysics included, aside from its ontological and logical versions, also the psychological one. Commentators have not reached a consensus as to its precise character. Below I shall present the existing discrepancies and propose a solution.

This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...) implausible consequences if excluded middle is accepted. In the second place, it addresses the question of why one should reject bivalence, and finds no satisfactory answer. /// Este artículo trata el problema de los futuros contingentes, y se enfoca en dos principios lógicos clásicos: el tercero excluido y la bivalencia. Se podría pensar que una solución del problema requiere actitudes diferentes hacia estos dos principios. Según una hipótesis que parece ampliamente compartida, el tercero excluido debe ser aceptado, mientras que la bivalencia debe ser rechazada. Este artículo argumenta en contra de esta línea de pensamiento. En primer lugar, se aborda cómo el rechazo de la bivalencia lleva a consecuencias poco plausibles si el tercero excluido es aceptado. En segundo lugar, se enfrenta la cuestión de por qué se debería rechazar la bivalencia, sin encontrar una respuesta satisfactoria. (shrink)

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)

Kniha, jako je tato, nemůže být tak docela dílem jediného člověka. Dovést ji do podoby koherentního celku bych nedokázal bez pomoci svých kolegů, kteří po mně text četli a upozornili mě na spoustu chyb a nedůsledností, které se v něm vyskytovaly. Můj dík v tomto směru patří zejména Vojtěchu Kolmanovi, Liboru Běhounkovi a Martě Bílkové. Za připomínky k různým částem rukopisu jsem vděčen i Pavlu Maternovi, Milanu Matouškovi, Prokopu Sousedíkovi, Vladimíru Svobodovi, Petru Hájkovi a Grahamu Priestovi. Kniha vznikla v rámci (...) projektu podpořeného grantem AV ČR číslo A0009001/00. (shrink)

In considering the very possibility of deviant logic, we face the following question: what makes us see an operator of one logical system as a deviant version of an operator of another system? Why not see it simply as a different operator? Why do we see, say, intuitionist implication as an operator 'competing' with classical implication? Is it only because both happen to be called implications?1 It is clear that if we want to make cross-systemic comparisons, we need an 'Archimedean (...) point' external to the systems compared. Some logicians and philosophers, including Quine (1986), come close to saying that no such Archimedean point is available, and hence that there can be no deviant logics, for if two operators are governed by different axioms, then they are simply two different operators (or, if you prefer, operators with different meanings). From this viewpoint, intuitionist implication is no less different from classical implication than, say, intuitionist or classical conjunction. This conclusion is indeed plausible if we consider logical calculi simply as algebraic structures2; however, things are different if we see them as a means of accounting for something that is already 'there' before we establish the structures and is to be explicated by them. From such a perspective, two operators of different systems may be variants of the same operator in virtue of the fact that they are both means of capturing the same pretheoretical item. What might these items be? Sometimes it seems that logicians tacitly assume that there are some mythical archetypes of implication, conjunction etc., located somewhere in some Platonic heaven or somehow underlying the a priori structures of our mind, which logic tries to capture (for better or worse). However, when it comes to the comparison of the concrete outcomes of our logical efforts, say the classical and the intuitionist implications with the archetypal Implication, the latter can never be materialized so distinctly as to be of any help. A more constructive proposal is that the operators are related to elements or constructions of our language.. (shrink)

At the heart of my pragmatic theory of truth and ontology is a view of the relation between language and reality which I term internal justification: a way of explaining how sentences may have truth-values which we cannot discover without invoking the need for the mystery of a correspondence relation. The epistemology upon which the theory depend~ is fallibilist and holistic ; places heavy reliance on modal idioms ; and leads to the conclusion that current versions of realism and anti-realism (...) are deficient. Just as my theory avoids the need for an epistemic 'given', it avoids the need for a metaphysical 'given' or 'joints'. I offer a view of the nature of philosophy and what it can properly achieve with respect to ontological questions ; since those views lead me to believe that philosophical discussion about what exists should be restricted to 'entities' discussed in non-philosophical contexts, my views on how we should understand claims made about the existence of middle-sized physical objects, theoretical entities in science, and abstract entities in mathematics, give the thesis a schematic completeness. My theory leads me to a conception of inquiry which defends the cognitive status of moral statements whilst being critical of Kantian and utilitarian approaches to morality. Chapter 1 explores the views of my closest philosophical allies: William James and Nelson Goodman. (shrink)