According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

Abstract Kitcher (1989) and others have criticized Salmon's (1984) causal account of explanation on the grounds that it is epistemologically inadequate. The difficulty is that Salmon's principle of ?mark transmission? fails to achieve its intended purpose, namely to distinguish causal processes from other types of processes. This renders Salmon's account of causality epistemically inaccessible. In this paper that critique is reviewed and developed, and a modification to Salmon's theory, the ?conserved?quantity? theory (Dowe, 1992) is presented. This theory is shown to (...) avoid the epistemologicalproblem, by replacing mark transmission with the ascription of conserved quantities such as energy. The virtue of this approach is that it renders causality epistemically accessible. This constitutes a defence of the causal theory of explanation. (shrink)

In this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion of (...) ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...) that it is based on a real difference. Subcategories that can be grouped together by enumeration will do the trick. Quine's polemical tactic (against which Grice and Strawson protest) of questioning the intelligibility of the distinction is indeed objectionable, but his argument can be revived once it is realized that 'analytic' et al. are theoretic terms, and there is no extant theory to make sense of them. Grice and Strawson's paradigm of logical impossibility is, in fact, possible. Their attempt to define synonymy in Quinean terms is a failure, nor can they retain analyticity along with the Quinean thesis of universal revisability. The dogma, in short, is indefensible. (shrink)

Questions about the metaphysics of causation may be usefully divided as follows. First, there are questions about the nature of the causal relata, including (1.1) whether they are in spacetime immanence), (1.2) how fine grained they are individuation), and (1.3) how many there are adicity). Second, there are questions about the metaphysics of the causal relation, including (2.1) what is the difference between causally related and causally unrelated sequences connection), (2.2) what is the difference between sequences related as cause to (...) effect, and those related as effect to cause or as joint effects of a common cause direction), and (2.3) what is the difference between sequences involving the cause, and those involving mere conditions selection). (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

George Boolos (1984, 1985) has extensively investigated plural quantifi- cation, as found in such locutions as the Geach-Kaplan sentence There are critics who admire only one another, and he found that their logic cannot be adequately formalized within the first-order predicate calculus. If we try to formalize the sentence by a paraphrase using individual variables that range over critics, or over sets or collections or fusions of critics, we misrepresent its logical structure. To represent plural quantification adequately requires the logical (...) resources of the full second-order predicate calculus. (shrink)

The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...) terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism. (shrink)

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, (...) Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

Present discussions in philosophy of mind focuson ontological and epistemic characteristics ofmind and on mind-brain relations. In contrast,ontological and epistemic characteristics ofthe brain have rarely been thematized. Rather,philosophy seems to rely upon an implicitdefinition of the brain as "neuronal object''and "object of recognition'': henceontologically and epistemically distinct fromthe mind, characterized as "mental subject'' and"subject of recognition''. This leads to the"brain-paradox''. This ontological and epistemicdissociation between brain and mind can beconsidered central for the problems of mind andmind-brain relations that have yet (...) to beresolved in philosophy. The brain itself hasnot been thematized epistemically andontologically, leading to a "brain problem''.The epistemic and ontological dissociationbetween brain and mind presupposes an"isolated'' picture of the brain, characterizedby context-independence (i.e. "isolation'' frombody and environment). We can describe thisview as an extrinsic relationship betweenbrain, body and environment. However, based onrecent empirical findings about body image andphantom sensations, we can no longer considerthe brain as context-independent or "isolated''from its bodily and environmental context.Instead, the brain must be considered"embedded''. Within the context of 'embeddment',brain and bodily/environmental context seemmutually to determine each other, and hence bereciprocally dependent on each other. We candescribe this as an intrinsic relationshipbetween brain, body and environment.Defining the brain as "embedded'' undermines theepistemic and ontological dissociation betweenbrain and mind and consequently resolves the"brain-paradox''. This resolution sheds novellight on problems of mind and mind-brainrelations by relativizing both. It is thereforeconcluded that philosophy should thematizeontological and epistemic characteristics ofthe brain, thereby taking into account the"brain problem'' and developing a "philosophy ofthe brain''. This approach not only opens a newfield in philosophy but also extends the focusof empirical investigation in the neurosciencesto take into account the intrinsic relationshipbetween brain, body and environment. (shrink)

This paper advocates a dispositional account of innate cognitive capacities, which has an illustrious history from Plato to Chomsky. The "triggering model" of innateness, first made explicit by Stich ([1975]), explicates the notion in terms of the relative informational content of the stimulus (input) and the competence (output). The advantage of this model of innateness is that it does not make a problematic reference to normal conditions and avoids relativizing innate traits to specific populations, as biological models of innateness are (...) forced to do. Relativization can be avoided in the case of cognitive capacities precisely because informational content is involved. Even though one cannot measure output relative to input in a precise way, there are indirect and approximate ways of assessing the degree of innateness of a specific cognitive capacity. (shrink)

Dualism can be contrasted with monism, and also with physicalism. It is argued here that what is essential to physicalism is not just its denial of dualism , but the epistemological and ontological authority it gives to physical science. A physicalist view of the mind must be reductive in one or both of the following senses: it must identify mental phenomena with physical phenomena or it must give an explanation of mental phenomena in physical terms . There is little reason (...) to call a view which is not reductive in either of these senses “physicalism”. If reduction is rejected, then a non-physicalist form of monism is still available, which may be called “emergentism”. (shrink)

Necessity, but not possibility, is typically thought to be rare and suspicion-worthy. This manifests in an asymmetry in the burden of proof incurred by modal claims. In general, claims to the effect that some proposition is impossible/necessary require significant argumentative support and, in general, claims to the effect that some proposition is possible/contingent are thought to be justified freely or by default. Call this the possibility bias. In this paper, I argue that the possibility bias is not epistemically justified. We (...) should regard possibility with at least as much suspicion, that is to say as incurring at least as much of an explanatory demand, as necessity. In fact, I suggest that we might even be justified in reversing the burden of proof asymmetry and adopting a necessity bias. This has quite radical implications for philosophical methodology and hence for many first-order philosophical concerns. (shrink)

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)

In this paper I show that one of the most fruitful ways of employing paradoxes has been as a philosophical method that forces us to reconsider basic assumptions. After a brief discussion of recent understandings of the notion of paradoxes, I show that Zeno of Elea was the inventor of paradoxes in this sense, against the background of Heraclitus’ and Parmenides’ way of argumentation: in contrast to Heraclitus, Zeno’s paradoxes do not ask us to embrace a paradoxical reality; and in (...) contrast to Parmenides, Zeno shows common assumptions to be internally problematic, not just in light of Eleatic positions. (shrink)

Many ethical systems hold that agents earn merit and demerit through their good and bad deeds. Some of these ethical systems also accept merit transference, allowing merit to be transferred, in certain circumstances, from one agent to another. In this article, I argue that there is a previously unrecognized paradox for merit transference involving a phenomenon I call “merit inflation”. With a particular focus on Buddhist ethics, I then look at the options available for resolving this paradox. I conclude that (...) merit inflation poses a serious challenge for any ethical system that broadly permits the transfer of merit. (shrink)

Ernie Lepore: Quine, Analyticity, and Transcendence: In “Two Dogmas of Empiricism” Quine characterizes and rejects three approaches to making sense of analyticity. One approach attempts to reduce putative analytic statements to logical truths by synonym substitution. A second approach is to identify analytic statements with “semantic rules,” or “meaning postulates.” A third approach relies on the verificationist theory of meaning. According to that theory, “every meaningful statement is held to be translatable into a statement (true or false) about immediate experience, (...) or, less radically, “each statement, taken in isolation from its fellows, can admit of confirmation or information.” Analytic statements are, then, those that are confirmed come what experiences may. If either version of the verificationist approach were correct, then there would be objective facts about the extensions of terms from intuitive semantics, for example, “‘…’ is synonymous with ‘___’” and “‘…’ is analytic,” across all languages. In this essay, I focus my discussion primarily on the third, verificationist, approach – though what I shall have to say will bear on the second approach as well. In particular, I explain the models of language contained in verificationism and the weaker confirmationism, and why most positivists abandoned the former for the latter. I explain the connection between confirmationism and intuitive semantics and why considerations of holism alone are incapable of severing that connection. (shrink)

This paper argues that the traditional characterization of the notion of paradox — an apparently valid argument with apparently true premises and an apparently false conclusion — is too narrow; there are paradoxes that do not satisfy it. After discussing, and discarding, some alternatives, an outline of a new characterization of the notion of paradox is presented. A paradox is found to be an apparently valid argument such that, apparently, it does not present the kind of commitment to the conclusion (...) that should be implied by an acceptance of the truth of the premises and the validity of the argument. (shrink)

In this paper I argue that it’s impossible for there to be a single universal theory of meaning for a language. First, I will consider some minimal expressiveness requirements a language must meet to be able to express semantic claims. Then I will argue that in order to have a single unified theory of meaning, these expressiveness requirements must be satisfied by a language which the semantic theory itself applies to. That is, we would need a language which can express (...) its own meaning. It has been well-known since Tarski that theories of meaning whose central notion is truth can’t be expressed in a language which they apply to. Here, I develop Quine’s formulation of the Liar Paradox in grammatical terms and use this to extend Tarski’s result to all theories of meaning. This general version of the paradox can be formalised as a special case of the Lawvere Fixed-Point Theorem applied to a categorial grammar. Taken together with the initial arguments, I infer that a universal theory of meaning is impossible and conclude the paper with a brief discussion on what alternatives are available. (shrink)

Um dos grandes desafios da era da informação consiste em filtrar informações claras, rigorosas e atualizadas sobre tópicos importantes. O mesmo vale para a filosofia. Como encontrar conteúdo filosófico confiável em meio a milhares de artigos publicados diariamente na internet? Para ir ainda mais longe, como encontrar uma introdução a algum tópico com uma lista de referências bibliográficas atualizadas e que seja organizada por um especialista da área? Já que você começou a ler este livro, é provável que tenha ouvido (...) falar em algum momento da Enciclopédia Stanford de Filosofia, disponível gratuitamente na internet desde 1995. A página da Stanford faz exatamente isso. Ela cobre inúmeros verbetes sobre quase tudo em filosofia, oferecendo informação confiável sobre temas como feminismo, filosofia na América Latina, zumbis, metafísica e milhares de outros tópicos. A sugestão típica aos profissionais da filosofia que têm interesse em começar a estudar algum tópico, mas não sabem sequer por onde começar, é procurar pelo verbete relevante da Stanford. Infelizmente, o grande empecilho da página para o nosso contexto é que todos os verbetes estão disponíveis apenas em inglês, algo que cria um obstáculo a inúmeros estudantes e interessados que não dominam a língua. Neste sentido, acreditamos que esta publicação preencha um hiato importante na filosofia brasileira. Embora a filosofia no Brasil tenha se profissionalizado e expandido ao longo dos anos, há ainda lacunas em diversas áreas, e os verbetes foram aqui selecionados cuidadosamente no intuito de preencher ao menos algumas dessas lacunas. Este livro apresenta quatro verbetes cruciais para a filosofia, aqui divididos em quatro capítulos: (1) condições necessárias e suficientes, (2) referência (3) causação e (4) consciência. (shrink)

This article provides a computational example of a mathematical explanation within science, concerning computational equivalence of programs. In addition, it outlines the logical structure of the reasoning involved in explanations in applied mathematics. It concludes with a challenge that the nominalist provide a nominalistic explanation for the computational equivalence of certain programs.

While defending the principle of non-contradiction in Metaphysics 4, Aristotle argues that the Measure Doctrine of Protagoras is equivalent to the claim that all contradictions are true; given all appearances are true (as the Protagorean maintains), anytime people disagree we get a true contradiction. This argument seems clearly invalid: nothing guarantees that actual disagreement occurs over every matter of fact. The argument in fact works perfectly, I propose, because the Protagorean view falls prey to a version of Fitch's “paradox” of (...) knowability. The proposed reading shows how Aristotle treats the Protagorean view at issue as an epistemic theory of truth distinct from the mere claim that all appearances are true (which other opponents put forward on different grounds) and reveals Aristotle's underlying concern with the modal collapse of possibility into actuality. The revised Protagorean view Aristotle confronts in a subsequent chapter is furthermore best understood as an attempt to avoid this Fitch-style result. (shrink)

The surprise exam paradox is an apparently sound argument to the apparently absurd conclusion that a surprise exam cannot be given within a finite exam period. A closer look at the logic of the paradox shows the argument breaking down immediately. So why do the beginning stages of the argument appear sound in the first place? This paper presents an account of the paradox on which its allure is rooted in a common probabilistic mistake: the base rate fallacy. The account (...) predicts that the paradoxical argument should get less and less convincing as it goes along—a prediction I take to be welcome. On a bleaker note, the account suggests that the base rate fallacy may be more widespread than previously thought. (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

According to a growing consensus in the secondary literature on Quine, the judgment Quine makes in favor of the nominalism outlined in “Steps Toward a Constructive Nominalism” is in tension with the naturalism he later adopts. In this paper, I show the consensus view is mistaken by showing that Quine’s judgment is rooted in a naturalistic standard of clarity. Moreover, I argue that Quine late in his career is committed to accepting one plausible reading of his judgment in 1947. In (...) making these arguments, I draw attention to a version of naturalism that misreadings of Quine have prevented philosophers from appreciating, and thereby articulate and clarify a version of naturalism I recommend philosophers investigate today. (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)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

Turing computation over a non-linguistic domain presupposes a notation for the domain. Accordingly, computability theory studies notations for various non-linguistic domains. It illuminates how different ways of representing a domain support different finite mechanical procedures over that domain. Formal definitions and theorems yield a principled classification of notations based upon their computational properties. To understand computability theory, we must recognize that representation is a key target of mathematical inquiry. We must also recognize that computability theory is an intensional enterprise: it (...) studies entities as represented in certain ways, rather than entities detached from any means of representing them. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and structure (...) fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

W. V. Quine thinks logical truth can be defined in purely extensional terms, as follows: a logical truth is a true sentence that exemplifies a logical form all of whose instances are true. P. F. Strawson objects that one cannot say what it is for a particular use of a sentence to exemplify a logical form without appealing to intensional notions, and hence that Quine's efforts to define logical truth in purely extensional terms cannot succeed. Quine's reply to this criticism (...) is confused in ways that have not yet been noticed in the literature. This may seem to favour Strawson's side of the debate. In fact, however, a proper analysis of the difficulties that Quine's reply faces suggests a new way to clarify and defend the view that logical truth can be defined in purely extensional terms. (shrink)

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

In the Critique of Pure Reason, Kant conceives of general logic as a set of universal and necessary rules for the possibility of thought, or as a set of minimal necessary conditions for ascribing rationality to an agent . Such a conception, of course, contrasts with contemporary notions of formal, mathematical or symbolic logic. Yet, in so far as Kant seeks to identify those conditions that must hold for the possibility of thought in general, such conditions must hold a fortiori (...) for any specific model of thought, including axiomatic treatments of logic and standard natural deduction models of first-order predicate logic. Kant's general logic seeks to isolate those conditions by thinking through – or better, reflecting on – those conditions that themselves make thought possible. (shrink)

RésuméL'interprétation substitutionnelle de la quantification impose une redéfinition des principaux concepts du calcul logique.Son intérêt majeur réside dans le fait qu'elle permet d'esquisser une théorie de l'intensionnalité qui lève les difficultés résultant du traitement logique des contextes de modalité, de croyance et de citation.Pour autant, on ne saurait éluder la traditionnelle question de la référence et de l'existence. Celle‐ci relève maintenant d'une construction sémantique de modèles.SummaryThe substitutional interpretation of quantification modifies the main concepts of logical calculus.Its principal interest lies in (...) that it permits to sketch a theory of intensionality which removes the difficulties rising from the logical treatment of the contexts of modality, belief and quotation.For all that, we cannot evade the traditional question of reference and existence. This now depends on a semantical construction of models.ZusammenfassungDie substitutionelle Interpretation der Quantifikation erfordert eine neue Definition der Grundbegriffe des Logikkalküls.Ihr Hauptinteresse besteht darin, dass sie den Entwurf einer Theorie der Intensionalität ermöglicht; dadurch werden die Schwierigkeiten behoben, die bei der Behandlung von Kontexten mit Modal‐ und Meinungswörtern und Zitaten entstehen.Die traditionelle Frage nach der Referenz und der Existenz wird dabei nicht umgangen, indem sie nunmehr vermittelst von semantischen Modellen behandelt wird. (shrink)

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology, and even the history of philosophy. It discusses the import of quantifier variance in the model theory of mathematics. It advances an argument for the uniqueness of quantifier meaning in terms of Evert Beth’s notion of implicit definition, and clarifies the oldest explicit formulation of quantifier variance: the one proposed by Rudolf Carnap. -/- (...) The volume further examines what it means that a quantifier can have multiple meanings, and addresses how existential vagueness can induce vagueness in our modal notions. Finally, the book explores the role played by quantifiers with respect to various kinds of semantic paradoxes, the logicality issue, ontological commitment, and the behavior of quantifiers in intensional contexts. ​. (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)

Some platonists truly agonize over the ontological commitments which their platonism demands of them. Peter van Inwagen, for example, confesses candidly,I am happy to admit that I am uneasy about believing in the existence of ‘causally irrelevant’ objects. The fact that abstract objects, if they exist, can be neither causes or [sic] effects is one of the many features of abstract objects that make nominalism so attractive. I should very much like to be a nominalist, but I don't see how (...) to be one …. (shrink)

At first pass, internalism about justification is the view that there is no justificatory difference without an internal difference. Externalism about mental content is the view that there are differences in mental content without an internal difference. Assuming mental contents are the primary bearers of justificatory features, the two views are in obvious tension. The goal of this paper is to determine how the tension is best resolved. The paper proceeds as follows. In §1 I explain the threat to justificatory (...) internalism from content externalism in more detail. In §2 I present Earl Conee and Richard Feldman’s “counterpart propositions” reply to the problem of content externalism. §3 criticizes the counterpart propositions reply. §4 presents a view in the metaphysics of belief that is widely adopted by content externalists: one that appeals to vehicles of content, modes of presentation of content, or ways of believing propositions. §5 exploits this metaphysics of belief in order to better accommodate justificatory internalist insights in light of content externalism. §6 shows how the new view can be used to address problems that face Conee and Feldman’s account. Finally, §7 provides a new argument from the Vehicle View for the language of thought hypothesis. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

The Duhem-Quine Thesis is the claim that it is impossible to test a scientific hypothesis in isolation because any empirical test requires assuming the truth of one or more auxiliary hypotheses. This is taken by many philosophers, and is assumed here, to support the further thesis that theory choice is underdetermined by empirical evidence. This inquiry is focused strictly on the axiological commitments engendered in solutions to underdetermination, specifically those of Pierre Duhem and W. V. Quine. Duhem resolves underdetermination by (...) appealing to a cluster of virtues called 'good sense', and it has recently been argued by Stump (Stud Hist Philos Biol Biomed Sei, 18(1):149-159,2007) that good sense is a form of virtue epistemology. This paper considers whether Quine, who's philosophy is heavily influenced by the very thesis that led Duhem to the virtues, is also led to a virtue epistemology in the face of underdetermination. Various sources of Quinian epistemic normativity are considered, and it is argued that, in conjunction with other normative commitments, Quine's sectarian solution to underdetermination amounts to a skills based virtue epistemology. The paper also sketches formal features of the novel form of virtue epistemology common to Duhem and Quine that challenges the adequacy of epistemic value truth-monism and blocks any imperialist naturalization of virtue epistemology, as the epistemic virtues are essential to the success of the sciences themselves. (shrink)