It is argued that the finitist interpretation of wittgenstein fails to take seriously his claim that philosophy is a descriptive activity. Wittgenstein's concentration on relatively simple mathematical examples is not to be explained in terms of finitism, But rather in terms of the fact that with them the central philosophical task of a clear 'ubersicht' of its subject matter is more tractable than with more complex mathematics. Other aspects of wittgenstein's philosophy of mathematics are touched on: his view that mathematical (...) propositions are 'grammatical propositions' (and so, Strictly speaking, Not genuine propositions at all) and his view that in mathematics 'everything is algorithm, Nothing meaning'. His views on consistency and his anti-Foundationalism are linked with this central thesis. (shrink)

This paper concerns content externalism and privileged access. I argue that externally-individuated concepts are not just subject to a causal constraint, but are also subject t an epistemic constraint. Their possession requires not merely that certain background presuppositions be true but, further, that the subject be in possession of true justified beliefs concerning their referents.

The field of information technology is broadened up to the domain of ‘learning’ systems and cybernetics. In covering this extension of the field due recourse is made to the epistemological basis of theory construction. When so comprehended, information technology becomes a philosophical inquiry on a variety of social, scientific and technological issues. A new idea that we refer to as neuro-cybernetics is born. The term neuro-cybernetics is used to delineate the epistemological field of system and cybernetic study. The above-mentioned phenomenological (...) or the epistemic model of a cybernetic and system type is applied to flood control problem in Bangladesh. This example presents an application of the cybernetic model to a physico-human problem. This is the nature of socio-scientific system. In it, organically unifying relations occur between the environment and the human world, with the objective of controlling the perennial problem of floods by using interactive factors. (shrink)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

It is fairly well known that Wittgenstein's criticisms of Russell's multiple‐relation theory of judgement had a devastating effect on the latter's philosophical enterprise. The exact nature of those criticisms however, and the explanation for the severity of their consequences, has been a source of confusion and disagreement amongst both Russell and Wittgenstein scholars. In this paper, I offer an interpretation of those criticisms which shows them to be consonant with Wittgenstein's general critique of Russell's conception of logic and which serves (...) to elucidate some of the notoriously enigmatic passages of the Tractatus. In particular, I seek to show the continuity of Wittgenstein's criticisms of the theory of judgement with his remarks on Russell's paradox and the theory of types. In addition, I place these issues in the context of Russell's own philosophical ambitions in order to reveal the deep divisions between the two over the nature of logical form and the analysis of propositional content. (shrink)

Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support.

This book explores the richness of contemporary philosophical reflection in Eastern and Central Europe. Philosophers from Poland, Russia, the Czech Republic, and the United States discuss the status of democracy, nationalism, language, economics, education, women, and philosophy itself in the aftermath of communism. Fresh ideas are combined with renewed traditions as poignant problems are confronted.

What should be the primary aims of education? How might these aims be realized? These are foundational questions which Plato raised long ago in his Republic. The first of these questions is a normative, and profoundly philosophical, one which provides guidance to the whole endeavor of education. The second of these questions is a pedagogical one which informs educators as to how their work can be best conducted. In this work I endeavor to answer these interlocking educational questions. I follow (...) most closely in the footsteps of John Dewey. I believe that Dewey had it right when, decades ago, he argued that education ought to be concerned with the cultivation of good judgment. But here a difficulty arises. For "good judgment" is a complex philosophical concept which spills over into considerations of thinking, knowing, deciding, and acting. Despite the efforts of philosophers such as Aristotle, Kant, and Dewey, there is a lack of agreement about the precise meaning of good judgment. Before moving into matters of education, then, I first endeavor to vanquish this lack of conceptual clarity. What is good judgment? What are its elements? Can it, for that matter, even be cultivated? Having gotten clear on what good judgment is, I turn to matters of education. First, I argue that a vital task of education is the cultivation of good judgment. I then turn to the practical matter of how one might go about cultivating good judgment. The community of inquiry approach employed by The Philosophy for Children Program, I contend, is an effective pedagogical means through which to cultivate good judgment. (shrink)

John DePoe has criticized the self-defeat argument for Phenomenal Conservatism. He argues that acquaintance, rather than appearance, may form the basis for non-inferentially justified beliefs, and that Phenomenal Conservatism conflicts with a central motivation for internalism. I explain how Phenomenal Conservatism and the self-defeat argument may survive these challenges.

It is a common assumption among philosophers of perception that phenomenal colors are exhaustively characterized by the three phenomenal dimensions of the color solid: hue, saturation and lightness. The hue of a color is its redness, blueness or yellowness, etc. The saturation of a color refers to the strength of its hue in relation to gray. The lightness of a color determines its relation to black and white. In this paper, I argue that the phenomenology of shadows forces us to (...) consider illumination as an additional dimension of phenomenal colors. For this purpose, I will first introduce two different interpretations of shadow-experiences, which Chalmers has called the simple and the complex interpretations, and show that they both fail to account for important phenomenal facts about shadow-experiences. I will then introduce my own alternative interpretation based on the idea that illumination is a dimension of phenomenal colors and explain how it can account for these facts. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

In recent discussions of the problem of truth, Austin's views have been largely overlooked. This is unfortunate, since many of his criticisms aimed at Strawson's redundancy theory carry over to more recent incarnations of deflationism. And unlike contemporary versions of the correspondence theory of truth, Austin's manages properly to situate truth in its conceptual neighbourhood wherein it belongs to “a whole dimension of different appraisals which have something or other to do with the relation between what we say and the (...) facts.” A proper analysis of truth cannot be given apart from a broader study of speech acts. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

After arguing that truth-making is properly construed as a partnership between truth bearers and truth-makers, I focus on two prominent arguments against the category of fact as one of the key relata in the truth-making relation. After rejecting those arguments, I go on to examine a more difficult issue, one that might force us to appreciate more fully the robust role that thought has in “creating” truth.

Of all the problems attending the sense-datum theory, arguably the deepest is that it draws a veil of appearances over the external world. Today, the sense-datum theory is widely regarded as an overreaction to the problem of hallucination. Instead of accounting for hallucination in terms of intentional relations to sense data, it is often thought that we should account for it in terms of intentional relations to properties. In this paper, however, I argue that in the versions that might address (...) the problem of hallucination, this newer account is guilty of a vice similar to sense-datum theory’s: it draws a veil of abtracta over the concrete world. (shrink)

Darwin’s treatment of morality in The Descent of Man has generated a wide variety of responses among moral philosophers. Among these is the dismissal of evolution as irrelevant to ethics by Darwin’s contemporary Henry Sidgwick; the last, and arguably the greatest, of the Nineteenth Century British Utilitarians. This paper offers a re-examination of Sidgwick’s response to evolutionary considerations as irrelevant to ethics and the absence of any engagement with Darwin’s work in Sidgwick’s main ethical treatise, The Methods of Ethics . (...) This assessment of Sidgwick’s response to Darwin’s work is shown to have significance for a number of ongoing controversies in contemporary metaethics. (shrink)

Michael Huemer has argued for the justification principle known as phenomenal conservativism by employing a transcendental argument that claims all attempts to reject phenomenal conservativism ultimately are doomed to self-defeat. My contribution presents two independent arguments against the self-defeat argument for phenomenal conservativism after briefly presenting Huemer’s account of phenomenal conservativism and the justification for the self-defeat argument. My first argument suggests some ways that philosophers may reject Huemer’s premise that all justified beliefs are formed on the basis of seemings. (...) In the second argument I contend that phenomenal conservativism is not a well-motivated account of internal justification, which is a further reason to reject the self-defeat argument. Consequently, the self-defeat argument fails to show that rejecting phenomenal conservativism inevitably leads one to a self-defeating position. (shrink)

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

In this paper we (i) identify the notion of ‘essentially non-conceptual content’ by critically analyzing the recent and contemporary debate about non-conceptual content, (ii) work out the basics of broadly Kantian theory of essentially non-conceptual content in relation to a corresponding theory of conceptual content, and then (iii) demonstrate one effective application of the Kantian theory of essentially non-conceptual content by using this theory to provide a ‘minimalist’ solution to the problem of perceptual self-knowledge which is raised by Strong Externalism.

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

This article offers an analysis of ignorance. After a couple of preliminary remarks, I endeavor to show that, contrary to what one might expect and to what nearly all philosophers assume, being ignorant is not equivalent to failing to know, at least not on one of the stronger senses of knowledge. Subsequently, I offer two definitions of ignorance and argue that one’s definition of ignorance crucially depends on one’s account of belief. Finally, I illustrate the relevance of my analysis by (...) paying attention to four philosophical problems in which ignorance plays a crucial role. (shrink)

The Nature and Structure of Content is a lucid, stimulating and occasionally frustrating book about the metaphysics of propositions. King is a realist about propositions, and he assumes throughout that a viable theory must individuate them more finely than sets of possible worlds. His aim in the first three chapters is to motivate an account in which propositions have constituent structure, akin to and dependent on the structure of the sentences that express them. The following chapters defend the use of (...) propositions in semantics against a variety of objections, and in the seventh and final chapter King presents a new solution to the old paradox of analysis. With little exception, the arguments in these later chapters are rigorous and compelling, but being largely independent of the account developed in the preceding chapters, the book feels somewhat disjointed. Here I pass over these provocative vignettes to deal with the main action, the account of propositions.According to tradition, propositions are things expressed by declarative sentences, bearers of alethic and modal properties, and objects of belief and other psychological attitudes. The idea that propositions have constituent structure, mirroring somehow the sentences that express them, comes down to us from Frege . More recently, the idea has been adopted by Kaplan and figures prominently in ‘Russellian’ semantic theories of Salmon , Soames and others. The big debate in recent philosophy of language focuses on the identity of propositional constituents: are they senses, as in Frege? Or the things linguistic expressions designate, as in Russellian theories? Though his sympathies plainly lie with the Russellians, King remains officially neutral on this dispute, focusing instead on the question of structure itself.Structured propositions are often represented as …. (shrink)

This essay surveys the varieties of disjunctivism about perceptual experience. Disjunctivism comes in two main flavours, metaphysical and epistemological.

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

One of the main challenges in the philosophy of language is determining the form of knowledge of the rules of language. Michael Dummett has put forth the view that knowledge of the rules of language is a kind of implicit knowledge; some philosophers have mistakenly conceived of this type of knowledge as a kind of knowledge-that . In a recent paper in this journal, Patricia Hanna argues against Dummett’s knowledge-that view and proposes instead a knowledge-how view in which knowledge of (...) the rules of language is a kind of practical knowledge, like an agent’s non-propositional knowledge of counting. In this paper I argue, first, that Hanna misunderstands Dummett’s conception of knowledge of linguistic rules, and, second, that Dummett’s considerations of practical knowledge of language pose a problem for Hanna’s knowledge-how view. At the end of the paper, I briefly sketch an account of practical knowledge of language that meets the requirements set by Dummett. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

External world skeptics are typically opposed to admitting as evidence anything that goes beyond the purely phenomenal, and equally typically, they disown the use of rules of inference that might enable one to move from premises about the phenomenal alone to a conclusion about the external world. This seems to bar any a posteriori resolution of the skepticism debate. This paper argues that the situation is not quite so hopeless, and that an a posteriori resolution of the debate becomes possible (...) once it is recognized that the skeptic holds overly defensive and ill-motivated positions vis-à-vis both evidence and inference, and that more reasonable ones are available. In stating these more reasonable positions, as well as in showing how they make possible an a posteriori resolution of the skepticism debate, the paper draws on the machinery of Bayesian epistemology. (shrink)

The impossibility results of Bovens and Hartmann (2003) and Olsson (2005) call into question the strength of the connection between coherence and truth. As part of the inquiry into this alleged link, I define a notion of degree of truth-conduciveness, relevant for measuring the usefulness of coherence measures as rules-of-thumb for assigning probabilities in situations of partial knowledge. I use the concept to compare the viability of some of the measures of coherence that have been suggested so far under different (...) circumstances. It turns out that all of these, including the prior, are just about equally good in cases of very little knowledge. Nevertheless, there are differences in when they are applicable, and they also depart more from each other when more knowledge is added. CiteULike Connotea Del.icio.us What's this? (shrink)

In this paper I examine critically the relationship between the realist and nominalist views of abstract objects. I begin by pointing out some differences between the usage of existential statements in metaphysics and the usage of such statements in disciplines outside of philosophy. Then I propose an account of existence that captures the characteristic intuitions underlying the latter kind of usage. This account implies that abstract object existence claims are not as ontologically extravagant as they seem, and that such claims (...) are immune to certain standard nominalistic criticisms. (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)

What is the connection between the way we represent time and things in time, on the one hand, and our capacity to remember particular past events, on the other? This is the substantive question that has stood behind the project of putting together this volume. The methodological assumption that has informed this project is that any progress with the difficult and fascinating set of issues that are raised by this question must draw on the resources of various areas both in (...) philos- ophy and in psychology. (shrink)

According to some representationalists (M. Tye, Ten problems of consciousness, MIT Press, Massachusetts, USA, 1995; W.G. Lycan, Consciousness and experience, MIT Press, Cambridge, Massachusetts, USA, 1996; F. Dretske, Naturalising the mind, MIT Press, Massachusetts, USA 1995), qualia are identical to external environmental states or features. When one perceives a red rose for instance, one is visually representing the actual redness of the rose. The represented redness of the rose is the actual redness of the rose itself. Thus redness is not (...) a property of one’s experience but an externally constituted property of the perceived physical object. In this sense, qualia are out there, in the external world. Here, I argue that the main representationalist arguments to this effect, if successful, establish no more than a symmetrical supervenience relation between representational content and qualia, and that a supervenience relation alone (albeit symmetrical) doesn’t suffice for identity. This supervenience thesis between qualia and representational content leaves open the question as to the essential nature of qualia. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

In this paper I focus on the impact on structuralism of the quantum treatment of objects in terms of symmetry groups and, in particular, on the question as to how we might eliminate, or better, reconceptualise such objects in structural terms. With regard to the former, both Cassirer and Eddington not only explicitly and famously tied their structuralism to the development of group theory but also drew on the quantum treatment in order to further their structuralist aims and here I (...) sketch the relevant history with an eye on what lessons might be drawn. With regard to the latter, Ladyman has explicitly cited Castellani's work on the group-theoretical constitution of quantum objects and I indicate both how such an approach needs to be understood if it is to mesh with Ladyman's 'ontic' form of structural realism and how it might accommodate permutation symmetry through a consideration of Huggett's recent account. (shrink)

In a recent PSA paper (2001a) as well as some other papers ((1995), (2000), (2001b)) and a book chapter (1999, ch. 7), Stathis Psillos raised a number of objections against structural realism. The aim of this paper is threefold: 1) to evaluate part of Psillos’ offence on the Russellian version of epistemic structural realism (ESR for short), 2) to elaborate more fully what Russellian ESR involves, and 3) to suggest improvements where it is indeed failing.

James was always interested in the problem of how our thoughts come to be about the world. Nevertheless, if one takes James to be trying to provide necessary and sufficient conditions for a thought's being about an object, counterexamples to his account will be embarrassingly easy to find. James, however, was not aiming for this sort of analysis of intentionality. Rather than trying to provide necessary and sufficient conditions for every case of a thought's being about an object, James focused (...) his analysis on the prototypical/paradigm cases. This analysis of the core could then be supplemented with additional remarks about how the less prototypical cases could be understood in terms of their relations to (and similarities with) the paradigm. It is argued that this type of analysis is psychologically well motivated, and makes James account surprisingly plausible. (shrink)

Increasingly prominent in the recent literature on the philosophy of perception, Intentionalism holds that sensory experience is inherently intentional, where to be intentional is to be about, or directed on, something. This article explores Intentionalism's prospects as a viable ontological and epistemological alternative to the traditional trinity of theories of sensory experience: the Sense-Datum Theory, the Adverbial Theory, and the Theory of Appearing.

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

This paper argues that the principle of necessary identity (f)(g)(f=g then necessarily f=g) cannot be maintained, At least in second order form. A paradox based upon scientific definitional practice is introduced to demonstrate this. A non-Fregean reading of standard contingent identity semantics is provided to explain how such 'definition breaking' works.