In interpreting measurements of brain processes it is necessary to make the model used explicit. A concept such as attention cannot be used in the description of brain activities without a model of the relation of mental and neural processes.

Posner & Raichle'sImages of mindis an excellent educational book and very well written. Some flaws as a scientific publication are: (a) the accuracy of the linear subtraction method used in PET is subject to scrutiny by further research at finer spatial-temporal resolutions; (b) lack of accuracy of the experimental paradigm used for EEG complementary studies.

Images of mindsuperbly summarizes work on cognitive neuroscienee using PET scanning. Some of the data emphasized suggests that parietal cortex is involved in the disengagement of attention. We have discovered neurons in awake monkeys which could perform this function. Another point of emphasis is the concept of neutral cues. Although an appealing concept, it is extremely difficult to define what is actually neutral.

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k‐properties; e.g., having four legs for dogs) but not other properties (t‐properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k‐properties, (ii) formal explanations (i.e., explanation of the presence of (...) k‐properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k‐properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain‐general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind. (shrink)

Paul Horwich’s Use Theory of Meaning (UTM) depends on his rejection of Paul Grice’s distinction between natural and non-natural meaning and his Univocality of Meaning Thesis, as he wishes to deflate the meaning-relation to usage. Horwich’s programme of deflating the meaning-relation (i.e. how words, sentences, etc., acquire meaning) to some basic regularity of usage cannot be carried through if the meaning-relation depends on the minds of users. Here, I first give a somewhat detailed account of the distinction between natural and (...) non-natural meaning in order to set the stage for Horwich’s critique of it. I then present Horwich’s critique of the distinction and show how that rejection accords with his overall view of meaning as use. Horwich’s rejection of the distinction between natural and non-natural meaning, I argue in the last section, is ill founded, and because UTM depends on this rejection, UTM is stillborn. (shrink)

By “epistemic pragmatism” in general I will understand the claim that whether propositions instantiate certain key epistemic properties (such as being known or being justifiably believed) depends not just on factors traditionally recognized as epistemic, but also on pragmatic factors, such as how costly it would be to the subject if the proposition were false. In what follows I consider two varieties of epistemic pragmatism. According to what I shall call moderate epistemic pragmatism, how much evidence we need in favor (...) of a proposition in order to know that the proposition is true depends on our preferences. According to what I shall call extreme epistemic pragmatism, on the other hand, our preferences influence our epistemic position at a more basic level, because they help determine how much justification we actually have in favor of the proposition in question. Simplifying brutally, moderate epistemic pragmatism has it that the more worried we are about a proposition’s being false, the more justification we need in order to know it, whereas extreme epistemic pragmatism has it that the more worried we are about a proposition’s being false, the less justification we have for it. Recently, Fantl and McGrath have presented an interesting argument for moderate epistemic pragmatism, an argument which relies on the principle that (roughly) knowledge is sufficient for action (KA). In this paper I argue that KA, together with a plausible principle about second-order evidence, entails extreme epistemic pragmatism. (shrink)

Skinner has been criticized for advancing essentialist interpretations of meaning in which meaning is treated as the property of a word or a grammatical form. Such a practice is consistent with a "words and things" view that sought to advance an ideal language as well as with S-R views that presented meaning as the property of a word form. These views imply an essentialist theory of meaning that would be consistent with Skinner's early S-R behaviorism. However, Skinner's more developed account (...) of meaning is based on his later selectionist behaviorism, and this account of meaning is aligned in many respects with the views of Darwin, Peirce, F. C. S. Schiller, Dewey, and Wittgenstein. After adopting a selectionist theory of meaning, it was inconsistent for Skinner to maintain essentialist practices although Skinner did so in response to influences that had little to do with his selectionist theory. Skinner's particular contribution to this pragmatic-selectionist tradition of meaning is the integration of meaning within his three-term contingency for operant behavior. In this account, meaning lies in the probabilistic functional relations of verbal behavior rather than in its form. (shrink)

I outline a pragmatic account of evidence, arguing that it allows us to underwrite two implications of feminist scholarship: that knowledge is socially constructed and constrained by evidence, and that social relations, including gender, race, and class, are epistemologically significant. What makes the account promising is that it abandons any pretense of a view from nowhere, the view of evidence as something only individuals gather or have, and the view that individual theories face experience in isolation.

The aim of the present volume is to draw the balance of naturalism's success so far.

In formal logic there is a premium on clever paraphrase, for it subsumes troublesome inferences under a familiar theory. (A paradigm is Davidson's analysis 1967 of inferences like ?He buttered his toast with a knife; so, he buttered his toast?.) But the need for paraphrase in formal logic runs deeper than the odd recalcitrant inference, and thus, I shall argue, commits logicians to some interesting consequences. First, the thesis that arguments are valid in virtue of their form must be severely (...) qualified (?4). And second, it is misleading to view a formal logical theory as a standard for justifying and criticizing inference (?7). The latter point depends on the nature and role of paraphrase, which permit a range of conflicting logical theories. Conflicting logical theories arise from the conflicting goals of logical theorists and the promiscuous nature of paraphrase makes reconciliation impossible. (shrink)

Statements of identity with a plural subject, of the form ‘They are the same person,’ as illustrated in each of the answers to the above two questions, give rise to a philosophical problem.

Worlds, Lewis says this: Let us say that something persists iff, somehow or other, it exists at various times; this is the neutral word. Something perdures iff it persists by having different temporal parts, or stages, at different times, though no one part of it is wholly present at more than one time; whereas it endures iff it persists by being wholly present at more than one time. Perdurance corresponds to the way a road persists through space; part of it (...) is here, and part of it is there, and no part is wholly present at two different places. Endurance corresponds to the way a universal, if there are such things, would be wholly present wherever and whenever it is instantiated. Endurance involves overlap: the content of two different times has the enduring thing as a common part. Perdurance does not.1 Lewis's remarks suggest the following formulations of the two views in the 3D/4D controversy.2.. (shrink)

This essay is concerned with solipsism, understood as the extreme sceptical view that I have no knowledge except of my subjective state. A less rough formulation of the view is mooted, inspired by a Quinean combination of naturalism and empiricism. An objection to the resultant position is then considered, based on Putnam’s argument that we are not brains in vats. This objection is first outlined, then pitted against a series of counter-objections. Eventually it is endorsed, but only at the price (...) of exposing the formulation of solipsism in question as not, after all, a satisfactory formulation. This leads to further speculation about the status of solipsism itself. Two of the possibilities that are considered are, firstly, that it is incoherent and, secondly, that it is inexpressible. (shrink)

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

This study aims to propose a rational reconstruction of the theory-core ofWittgenstein's Tractatus, in order to bring into prominence its theoreticaland philosophical sources, its epistemological nature and metaphysical significance.The main idea of my approach is that when we take due account of the scientific andphilosophical context of the Tractatus, we see that its central philosophicalinnovation is a new form of metaphysics, namely a structural theory of representation.``I am not interested in constructing a building,so much as in having a perspicuous view (...) of the foundation of possible buildings.''. (shrink)

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

Chomsky and others have denied the relevance of external linguistic entities, such as E-languages, to linguistic explanation, and have questioned their coherence altogether. I discuss a new approach to understanding the nature of linguistic entities, focusing in particular on making sense of the varieties of kinds of “words” that are employed in linguistic theorizing. This treatment of linguistic entities in general is applied to constructing an understanding of external linguistic entities.

Both Putnam and Searle have argued that that every abstract automaton is realized by every physical system, a claim that leads to a reductio argument against Cognitivism or Strong AI: if it is possible for a computer to be conscious by virtue of realizing some abstract automaton, then by Putnam’s theorem every physical system also realizes that automaton, and so every physical system is conscious—a conclusion few supporters of Strong AI would be willing to accept. Dennett has suggested a criterion (...) of reverse engineering for identifying “real patterns,” and I argue that this approach is also very effective at identifying “real realizations.” I focus on examples of real-world implementations of complex automata because previous attempts at answering Putnam’s challenge have been overly restrictive, ruling out some realizations that are in fact paradigmatic examples of practical automaton realization. I also argue that some previous approaches have at the same time been overly lenient in accepting counter-intuitive realizations of trivial automata. I argue that the reverse engineering approach avoids both of these flaws. Moreover, Dennett’s approach allows us to recognize that some realizations are better than others, and the line between real realizations and non-realizations is not sharp. (shrink)

Naturalism, construed as the idea that philosophy should be continuous with science, is a highly influential view. Its consequences for epistemology, however, are rather odd. Many believe that naturalized epistemology allows eschewing traditional skeptical challenges. This is often seen as an advantage; but it also calls into question its claim of belonging to the philosophical inquiry into knowledge. This paper argues that skeptical challenges can be stated to defy epistemic optimism within naturalized epistemology, and that there are distinctively naturalistic forms (...) of skepticism. To that end, it outlines some assumptions underlying many attempts to naturalize epistemology. It contrasts these approaches to traditional epistemology and identifies the reasons offered by naturalistic epistemologists to dismiss traditional skeptical challenges. Next, it argues that the problem of skepticism can be sensibly stated within a naturalistic setting. Finally, it contends that there are distinctively naturalistic strategies to argue for skepticism and diagnoses the prospects of naturalism vis-à-vis these kinds of skeptical challenges. (shrink)

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

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

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

Understanding the social bases of what John Rawls meant by justice requires understanding a central part of Rawls’s professional life: his role as a teacher. As this essay shows, Rawls’s approach to teaching was not ancillary to his approach to heady philosophical issues like the justification of moral reasoning. Rather, there’s an ethic that runs through Rawls’s work, one focused on deliberation and consensus-seeking, and one whose strengths and weaknesses are easiest to see when you examine his teaching.

ABSTRACT In ‘Properties, Propositions, and Conditionals’ Field [2021] advances further on our understanding of the logic and meaning of naive theories – theories that maintain, in the face of paradox, basic assumptions about properties and propositions. His work follows in a tradition going back over 40 years now, of using Kripke fixed-point model constructions to show how naive schemas can be (Post) consistent, as long as one embeds in a non-classical logic. A main issue in all this research is the (...) question of finding a suitable conditional for the naive schemas, an implication connective that is well-behaved enough to be useful but weak enough to maintain coherence when there are paradoxes in the surrounding aether. Field takes several cues from the exemplary work of Ross Brady. Brady's work is predominantly concerned with models for naive theories in relevant logic. Field's considered view is that ‘relevant conditionals are just the wrong tool for naive theories’ [ibid.: 140]. In this note, I reply that a relevant conditional is an indispensable tool for at least one very important job: giving identity conditions for properties. (shrink)

The purpose of this paper is two-fold: to provide a philosophical justification for the counterintuitive attitude that Judaism seems to have towards proselytism; and to extend the case so as to create a general argument, applicable to all religions, against many forms of proselytism.

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

The complete system of knowledge is a standard trope of science fiction, a techno-utopian dream and an aesthetic ideal. It is Solomon’s House, the Encyclopaedia and the Museum. It is also an ideology – of Enlightenment, High Modernism and absolute governance. Far from ending the dream of a total archive, 20th-century positivist rationality brought it ever closer. From Paul Otlet’s ‘Mundaneum’ to Mass-Observation, from the Unity of Science movement to Wikipedia, the dream of universal knowledge dies hard. As a political (...) tool, the total archive encompasses population statistics, gross domestic product, indices of the Standard of Living and the international ideology of the United Nations Educational, Scientific and Cultural Organization, the World Health Organization, the free market and, most recently, Big Data. Questions of the total archive engage key issues in the philosophy of classification, the poetics of the universal, the ideology of surveillance and the technologies of information retrieval. What are the social structures and political dynamics required to sustain total archives, and what are the temporalities implied by such projects? This introduction and the articles that follow describe and place in historical context a series of concrete instances of totality. Our analysis is arranged according to four central themes: the relationship between the Archive (singular) and archives (plural); the image of the archive and the aesthetics of totality; pathologies of accumulation; and the specific historical trajectory of the total archive in the 19th and 20th centuries. (shrink)

In an earlier paper I suggested that we can solve the Benacerraf Problem – the problem of explaining how mathematical knowledge is possible on the assumption that the objects of mathematics are abstract and immaterial – by positing efficient causal relations between those abstract objects and our brains. The burden of the paper was to remove the appearance that relations between abstracta and concreta, far from being actual, are inconceivable. This alleged inconceivability has been derived from some putative conditions on (...) efficient causation: physical contact, energy transfer, reciprocal effects on the cause, and the idea that the cause must exist in time if its effects do. I argued that none of these conditions are a priori conditions on efficient causation, and thus do not pose an obstacle to the conceivability or metaphysical possibility of efficient causal relations between platonic objects and brains. In this essay I reply to three published challenges to this proposed solution to the Benacerraf Problem. (shrink)

Huw Price has sketched a program for a globalized expressivism in support of which he has repeatedly invoked Rudolf Carnap. This paper argues that this is entirely appropriate, as Carnap had something quite similar in mind. However, it also argues that Price’s recent attempts to integrate Robert Brandom’s inferentialism to this program are less successful, and that a more empirically-oriented descriptive pragmatics along Carnapian lines would be a better fit with his original program than Brandom’s explicitly hermeneutical agenda.

In the literature on the compatibility between the time of our experience and the time of physics, the special theory of relativity has enjoyed central stage. By bringing into the discussion the general theory of relativity, I suggest a new analysis of the misunderstood notion of becoming, developed from hints in Gödel's published and unpublished arguments for the ideality of time. I claim that recent endorsements of such arguments, based on Gödel's own ‘rotating’ solution to Einstein's field equation, fail: once (...) understood in the right way, becoming can be shown to be both mind-independent and compatible with spacetime physics. Being a neededtertium quidbetween views of time traditionally regarded as in conflict, such a new approach to becoming should also help to dissolve a crucial aspect of the century-old debate between the so-called A and B theories of time. (shrink)

I present the history of philosophy, and history more generally, as a context of ideas, with respect to which philosophers and historians share concerns about the meaning of the texts they both use, and where for some there is a principled contrast between seeing meaning in quasi-mathematical terms (“a philosophical stance”) or in terms of context (“a historical stance”). I introduce this imagined (but not imaginary) world of ideas as temporally extended. Returning to my early research into the epistemic problems (...) of historiography, I present my view that foundational was meaningful language in a shared world, and I display some difficulties found in handling the “wholeness” of historical accounts. I came to realise that it was epistemic opposition between historical accounts that mattered. I concluded that analytical philosophy was wrong to assume that individual sentences were free-standing meaningful units that could be juxtaposed with others at whim, and that an understanding of the rational grounds for determining relevance was needed. In order to make sense of this I used Quine’s conception of the “web of belief,” and noted that a historical account could be treated as a “unit of empirical significance” in his terms. I observe that, although the epistemic problems of history arose for me before I considered his pragmatic position, nevertheless attention to those problems required me to adopt the Quine-based form of pragmatism I describe. I came to realise that I had wrongly adopted a synchronic view of the Quinean web, thereby adopting a “philosophical stance.” Rather, the web should be conceived in diachronic terms as a rolling web, so forming history itself. It is wrong to think that language started in atomistic terms so that, following Aristotle, it first consisted of simple concepts forming sentences of brief and narrow subject-predicate form. Instead, early communications took the form of oral traditions usually in narrative form. Meaningful wholes such as historical accounts are conceptually prior to atomistic sentences and need to be seen in extended temporal terms, so that an Aristotelian subject-predicate metaphysics is implausible. Quine’s pragmatism framed and facilitated my historical stance despite the unashamed philosophical stance that he adopted. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose an alternative, (...) according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

In “Facts: Particulars of Information Units?”, Kratzer proposed a causal analysis of knowledge in which knowledge is defined as a form of de re belief of facts. In support of Kratzer’s view, I show that a certain articulation of the de re/de dicto distinction can be used to integrally account for the original pair of Gettier cases. In contrast to Kratzer, however, I think such an account does not fundamentally require a distinction between facts and true propositions. I then discuss (...) whether this account might be generalized and whether it can give us a reductive analysis of knowledge as de re true belief. Like Kratzer, I think it will not, in particular the distinction appears inadequate to account for Ginet-Goldman cases of causally connected but unreliable belief. Nevertheless, I argue that the de re belief analysis allows us to account for a distinction Starmans and Friedman recently introduced between apparent evidence and authentic evidence in their empirical study of Gettier cases, in a way that questions their claim that a causal disconnect is not operative in the contrasts they found. (shrink)

To resolve putative liar paradoxes it is sufficient to attend to the distinction between liar-sentences and the propositions they would express, and to exercise the option of turning would-be deductions of paradox (of contradictions) into reductions of the existence of those propositions. Defending the coherence of particular resolutions along these lines, leads to recognition of the non-extensionality of some liar-sentences. In particular, it turns out that exchanges of terms for identicals in the open-sentence '- does not expression a true proposition' (...) are not invariably truth-preserving because they are not invariably proposition-expression preserving. All of this recommends propositions as fruitful subjects of interesting renewed research. (shrink)

Though largely unnoticed, in "Two Dogmas" Quine himself invokes a distinction: a distinction between logical and analytic truths. Unlike analytic statements equating 'bachelor' with 'unmarried man', strictly logical tautologies relating two word-tokens of the same word-type, e.g., 'bachelor' and 'bachelor' are true merely in virtue of basic phonological form, putatively an exclusively non-semantic function of perceptual categorization or brute stimulus behavior. Yet natural language phonemic categorization is not entirely free of interpretive semantic considerations. "Phonemic reductionism" in both its linguistic and (...) behavioral, Newbury Park, CA, Sage Publications, 164-167) guise is false. The semantic basis of phonological equivalence, however, has repercussions vis-à-vis Quine's critique of analyticity. A consistent rejection of meaning-based equivalencies eliminates not only analyticity, but imposes a form of phonological eliminativism too. Phonological eliminativism is the reductio result of applying Quinean meaning skepticism to the phonological typing of natural language. But unlike analyticity, phonology is presumably not subject to philosophical dismissal. The semantic basis of natural language phonology serves to neutralize Quine's argument against analyticity: without the semantics of meaning, more than just synonymy is lost; basic phonology must also be forfeited. (shrink)

I argue that there are good reasons to assume that Quine’s theory of reference and ontology is incompatible with reductive statements – such as ‘Heat is molecular motion’ or ‘Rabbits are conglomerations of cells’. Apparently, reductive statements imply certain intertheoretical identities, yet Quine’s theory of reference and ontology seems incompatible with intertheoretical identities. I argued that treating, for the sake of reconciliation, reductive statements along the lines of Quine’s theory of an ontological reduction (which does not imply intertheoretical identity) fails. (...) Then I discussed two alternative strategies on behalf of Quine to handle reductive statements: the Holistic Strategy (which appeals to Quine’s notion of an all-encompassing background theory) and the Individuative Strategy (which draws on Quine’s notion of an apparatus of individuation). I argue that the Individuative Strategy promises to succeed. However, the Individuative Strategy obliges to revising Quine’s theory of an ontological reduction – a revision that, as I argue, can and should be implemented. (shrink)