1. What are called ‘intuitions’ in philosophy are just applications of our ordinary capacities for judgement. We think of them as intuitions when a special kind of scepticism about those capacities is salient. 2. Like scepticism about perception, scepticism about judgement pressures us into conceiving our evidence as facts about our internal psychological states: here, facts about our conscious inclinations to make judgements about some topic rather than facts about the topic itself. But the pressure should be resisted, for it (...) rests on bad epistemology: specifically, on an impossible ideal of unproblematically identifiable evidence. 3. Our resistance to scepticism about judgement is not simply epistemic conservativism, for we resist it on behalf of others as well as ourselves. A reason is needed for thinking that beliefs tend to be true. 4. Evolutionary explanations of the tendency assume what they should explain. Explanations that appeal to constraints on the determination of reference are more promising. Davidson’s truth-maximizing principle of charity is examined but rejected. 5. An alternative principle is defended on which the nature of reference is to maximize knowledge rather than truth. It is related to an externalist conception of mind on which knowing is the central mental state. 6. The knowledge-maximizing principle of charity explains why scenarios for scepticism about judgement do not warrant such scepticism, although it does not explain how we know in any particular case. We should face the fact that evidence is always liable to be contested in philosophy, and stop using talk of intuition to disguise this unpleasant truth from ourselves. (shrink)

I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The first emphasizes comparing the theoretical virtuousness of developed bodies of logical theories, such as classical and intuitionistic logic. I'll call this whole theory comparison. The second attempts local repairs to problematic bits of our logical theories, such as dropping excluded middle to deal with intuitions about vagueness. I'll call this the piecemeal approach. I then briefly discuss a problem I've developed elsewhere for comparisons of logical theories. Essentially, the (...) problem is that a pair of logics may each evaluate the alternative as superior to themselves, resulting in oscillation between logical options. The piecemeal approach offers a way out of this problem andthereby might seem a preferable to whole theory comparisons. I go on to show that reflective equilibrium, the best known piecemeal method, has deep problems of its own when applied to logic. (shrink)

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...) for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

An odd dissensus between confident metaphysicians and neopragmatist antimetaphysicians pervades early twenty-first century analytic philosophy. Each faction is convinced their side has won the day, but both are mistaken about the philosophical legacy of the twentieth century. More historical awareness is needed to overcome the current dissensus. Lewis and his possible-world system are lionised by metaphysicians; Quine’s pragmatist scruples about heavy-duty metaphysics inspire antimetaphysicians. But Lewis developed his system under the influence of his teacher Quine, inheriting from him his empiricism, (...) his physicalism, his metaontology, and, I will show in this paper, also his Humeanism. Using published as well as never-before-seen unpublished sources, I will make apparent that both heavy-duty metaphysicians and neopragmatist antimetaphysicians are wrong about the roles Quine and Lewis played in the development of twentieth-century philosophy. The two are much more alike than is commonly supposed, and Quine much more instrumental to the pedigree of current metaphysics. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

Philosophers are very fond of making non-factualist claims—claims to the effect that there is no fact of the matter as to whether something is the case. But can these claims be coherently stated in the context of classical logic? Some care is needed here, we argue, otherwise one ends up denying a tautology or embracing a contradiction. In the end, we think there are only two strategies available to someone who wants to be a non-factualist about something, and remain within (...) the province of classical logic. But one of these strategies is rather controversial, and the other requires substantially more work than is often supposed. Being a non-factualist is no easy business, and it may not be the most philosophically perspicuous way to go. (shrink)

Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Is understanding epistemic in nature? Does a correct account of what constitutes understanding of a concept mention epistemological notions such as knowledge, justification or epistemic rationality? We defend the view that understanding is epistemic in nature – we defend epistemological conceptions of understanding. We focus our discussion with a critical evaluation of Tim Williamson's challenges to epistemological conceptions of understanding in The Philosophy of Philosophy. Against Williamson, we distinguish three kinds of epistemological conceptions and argue that Williamson's arguments succeed against (...) only the most heavily committed kind, and leave the less heavily committed kinds untouched. Further, we argue that Williamson's elaboration of lessons from his arguments point in a direction opposite of his own conclusions and give vivid articulation and support to epistemological conceptions. We suggest also that skepticism about Williamson's larger metaphilosophical conclusions – according to which understanding plays no special role in the epistemology of philosophy – may be in order. (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)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

Ascriptions of truth give rise to an explanatory asymmetry. For instance, we accept ‘ is true because Rex is barking’ but reject ‘Rex is barking because is true’. Benjamin Schnieder and other philosophers have recently proposed a fresh explanation of this asymmetry : they have suggested that the asymmetry has a conceptual rather than a metaphysical source. The main business of this paper is to assess this proposal, both on its own terms and as an option for deflationists. I offer (...) a pair of objections to the proposal and defend them from counter-objections. To conclude, I discuss how else to explain the asymmetry, and set out the implications for deflationism and correspondence theories of truth. (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

I examine the thesis that Otto Neurath anticipated the programme of naturalised epistemology already at the time of the Vienna Circle and consider the relation between Neurath's proposals and those of two contemporary theorists whose research programmes he would thus have broadly anticipated. The thesis is confirmed by reference to Neurath's own writings. The connection between Neurath's programme and the programmes of his two successors considered here, however, is found to be highly indirect in one case and nonexistent in the (...) other — despite their undeniable overlap. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...) solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine. (shrink)

The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...) logical consequence. The purpose of this paper is threefold: first, to introduce the reader to the metamathematics of Quine's substitutional definition of logical truth; second, to make Boolos' result accessible to a broader audience by giving a detailed and self-contained presentation of his proof; and, finally, to discuss some of the possible implications and how a defender of the Quinean concepts might react to the challenge posed by Boolos' result. (shrink)

In the recent literature on all things metaontological, discussion of a notorious Meinongian doctrine—the thesis that some objects have no kind of being at all—has been conspicuous by its absence. And this is despite the fact that this thesis is the central element of the noneist metaphysics of Richard Routley (1980) and Graham Priest (2005). In this paper, we therefore examine the metaontological foundations of noneism, with a view to seeing exactly how the noneist's approach to ontological inquiry differs from (...) the orthodox Quinean one. We proceed by arguing that the core anti-Quinean element in noneism has routinely been misidentified: rather than concerning Quine's thesis that to be is to be the value of a variable, the real difference is that the noneist rejects what we identify as Quine's “translate-and-deflate” methodology. In rejecting this aspect of Quinean orthodoxy, the noneist is in good company: many of those who think that questions of fundamentality should be the proper focus of ontological inquiry can be read as rejecting it too. Accordingly, we then examine the differences between the noneist's conception of ontology and that offered by the fundamentalist. We argue that these two anti-Quinean approaches differ in terms of their respective conceptions of the theoretical role associated with the notion of being. And the contrast that emerges between them is, in the end, an explanatory one. (shrink)

Michael Friedman’s Dynamics of Reason is a welcome contribution to the ongoing articulation of philosophical perspectives for understanding the sciences in the context of post-positivist philosophy of science. Two perspectives that have gained advocacy since the demise of the “received view” are Quinean naturalism and Kuhnian relativism. In his 1999 Stanford lectures, Friedman articulates and defends a neo-Kantian perspective for philosophy of science that opposes both of these perspectives. His proffered neo-Kantian perspective is presented within the context of the problem (...) of theory change or “scientific revolutions,” and its main feature is a conception of scientific knowledge that requires “relativized constitutive a priori principles.” The lectures make up the first part of the book; the second part of the book, “Fruits of Discussion,” is a further elaboration and defence of the ideas advanced in the lectures. The resulting book serves as a useful sequel to Friedman’s impressive historical studies in Foundations of Space-Time Theories, Kant and the Exact Sciences, and Reconsidering Logical Positivism. In the preface, Friedman tells us that this book represents the philosophical viewpoint that he has arrived at as a result of completing these works. As such, it is not surprising that the prominent themes of the book are ones that have occupied Friedman’s attention in the past, viz., the importance of a priori principles in the exact sciences, the conventionalism of the logical positivists, and, more generally, an articulation of what remains defensible in neo-Kantian philosophy of science. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

I examine various claims to the effect that Cantor's Continuum Hypothesis and other problems of higher set theory are ill-posed questions. The analysis takes into account the viability of the underlying philosophical views and recent mathematical developments.

Thanks to the work of Kendall Walton, appeals to the notion of pretence (or make-believe) have become popular in philosophy. Now the notion has begun to appear in accounts of truth. My aim here is to assess one of these accounts, namely the ‘constructive methodological deflationism’ put forward by Jc Beall. After introducing the view, I argue that Beall does not manage to overcome the problem of psychological implausibility. Although Beall claims that constructive methodological deflationism supports dialetheism, I argue that (...) it does not, and I show that it in fact provides a classical response to the Liar paradox. (shrink)

Notice that each of (1)–(4) is an instance of a more general pattern. For example, we could replace ‘black’ in (1) with any of a wide range of other adjectives such as ‘furry’ or ‘hungry’ or ‘three-legged’, without rendering the entailment invalid or any less obvious. Similarly, there are a number of verbs that occur in entailments parallel to (3): ‘Moe boiled the water; so the water boiled’; ‘Bart blew up the school; so the school blew up’; ‘Homer sank the (...) boat; so the boat sank’ and so on. (shrink)

The translation of both ‘bedeuten’ and ‘Bedeutung’ in Frege's works remains sufficiently problematic that some contemporary authors prefer to leave these words untranslated. Here a case is made for returning to Russell's initial choice of ‘to indicate’ and ‘indication’ as better alternatives than the more usual ‘meaning’, ‘reference’, or ‘denotation’. It is argued that this choice has the philosophical payoff that Frege's controversial doctrines concerning the semantic values of sentences and predicative expressions are rendered far more comprehensible by it, and (...) that this translational strategy fulfills the desiderata of offering a translation which is acceptable both before and after Frege introduced the distinction between sense and reference or, as this paper would have it, between the sense of an expression and what it indicates. (shrink)

In a recent paper, Cumpa : 319–324, 2014) argues that a scientific turn in metaphysics requires the acceptance of a materialist criterion of fundamentality, according to which the most fundamental metaphysical category is the one that provides us with a reconciliation of the ordinary world and the physical universe. He concludes that the dominant category of substance cannot be the most fundamental category, for it does not satisfy this criterion of fundamentality. The most fundamental category is instead the category of (...) fact. Although convincing, the defense of factualism over substantialism offered by Cumpa takes into account the case of classical physics without considering the physical universe of quantum mechanics. My aim in this paper is to offer a completion to Cumpa’s factualist approach. To achieve my aim, I show that substances cannot provide a satisfactory account of the relationship between the ordinary world and the physical universe even in the case of quantum mechanics, whereas a factualist approach does. (shrink)

Knowledge requires both freedom and friction . Freedom to set up our epistemic goals, choose the subject matter of our investigations, espouse cognitive norms, design research programs, etc., and friction (constraint) coming from two directions: the object or target of our investigation, i.e., the world in a broad sense, and our mind as the sum total of constraints involving the knower. My goal is to investigate the problem of epistemic friction, the relation between epistemic friction and freedom, the viability of (...) foundationalism as a solution to the problem of friction, an alternative solution in the form of a neo-Quinean model, and the possibility of solving the problem of friction as it applies to logic and the philosophy of logic within that model. (shrink)

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

The crucial point of the mind-body-problem appears to be that mental phenome- na (events, properties, states) seem to have features which at first sight make it impossible to integrate these phenomena into a naturalistic world view, i.e. to identify them with, or to reduce them to, physical phenomena.1 In the contemp- orary discussion, there are mainly two critical features which are important in this context. The first of these is the feature of intentional states, e.g. beliefs and desires, to have (...) a representational or semantic content. The problem of the naturalization of these states I will call the problem of intentionality. The second critical feature is the property of other mental states, e.g. perceptions and sensations, to have a qualitative aspect, i.e. that it is somehow, or feels in a characteristic way, to be in one of those states. The problem of the naturalization of these states is generally called the qualia-problem. (shrink)