Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Uma das características mais interessantes da filosofia é sua capacidade de revelar problemas difíceis em lugares inesperados. É precisamente isto que ocorre com o caso dos nomes próprios. Usamos nomes cotidianamente para selecionar ou fazer referência a objetos particulares, e depois podermos dizer algo sobre eles. Talvez o leitor diga a um colega que gostaria de estar tomando um café em Paris, ao invés de gastar tempo lendo mais um livro de filosofia. Neste caso, estará usando o nome “Paris” para (...) se referir a um lugar específico do universo. O que você acaba de fazer não é meramente proferir um som, mas proferir um som que de alguma forma lhe permite selecionar uma localidade específica dentre todas as outras do universo. É desta localidade que você fala. Mas como isto é possível? Que tipo de mecanismo garante a alguém o poder de proferir um nome e, com isto, selecionar um particular específico dentre todos os outros do universo? Este é o problema da referência singular dos nomes próprios. O presente livro é sobre este problema. -/- . (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

This paper considers two issues raised by the claim that fictional characters are abstract artifacts. First, given that artifacts normally have functions, what is the function of a fictional character? Second, given that, in experiencing works of fictions, we usually treat fictional characters as concrete individuals, how can such a phenomenology fit with an ontology according to which fictional characters are abstract artifacts? I will indirectly address the second issue by directly addressing the first one. For this purpose, I will (...) rely on the notion of a mental file. I will argue that the function of fictional characters is the generation of mental files of a special kind. I will show that our experience of fictional characters as concrete individuals depends on the kind of mental files that are generated by fictional characters as abstract artifacts. I will conclude that an appreciator of a work of fiction can open two files about a certain fictional character; one about the character as an individual in the fictional world, and the other about the character as an abstract artifact in the actual world. In this sense, our relation to a fictional character is characterized by a duality of files or ‘twofileness’. (shrink)

I argue for a theory of the optimal function of the speech act of referring, called the edenic theory. First, the act of singular reference is defined directly in terms of Gricean communicative intentions. Second, I propose a doxastic constraint on the optimal performance of such acts, stating, roughly, that the speaker must not have any relevant false beliefs about the identity or distinctness of the intended object. In uttering a singular term on an occasion, on this theory, one represents (...) oneself as not having any confused beliefs about the object to which one intends to refer. This paves the way for an intentionalist theory of reference that circumvents well-known problems, which have not been adequately addressed before in the literature. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)

Social individuals are social entities having a distinctive individuality, often signaled by the use of a proper name to designate them. This article proposes an account of social individuals based on the notion of a mental file, understood as a repository of information about a single individual. First, I consider a variant of the puzzle of the ship of Theseus in which the object having problematic identity conditions is a social individual, namely, a rock band. Then, I argue that we (...) can figure out such identity conditions by considering the mental files concerning this band. In conclusion, I outline a version of social constructionism according to which the existence of social individuals like bands depends on mental files about them. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

Gricean intentionalists hold that what a speaker says and means by a linguistic utterance is determined by the speaker's communicative intention. On this view, one cannot really say anything without meaning it as well. Conventionalists argue, however, that malapropisms provide powerful counterexamples to this claim. I present two arguments against the conventionalist and sketch a new Gricean theory of speech errors, called the misarticulation theory. On this view, malapropisms are understood as a special case of mispronunciation. I argue that the (...) Gricean theory is supported by empirical work in phonetics and phonology and, also, that conventionalism inevitably fails to do this work justice. I conclude, from this, that the conventionalist fails to show that malapropisms constitute a counterexample to a Gricean theory. (shrink)

The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...) one of two main topics of this paper, for it is approached via a discussion of the category of substance. On a traditional view, substances can be characterised as independent entities. Before the background of a modal-existential account of dependence, this idea appears problematic. The proposed notion of explanatory dependence is shown to vindicate the traditional approach to substance. (shrink)

Cet ouvrage est consacre a l'etude de la distinction linguistique entre noms massifs (lait, mobilier, desordre, amour...) et noms comptables (chat, equipe, combat, chose...). Les premiers sont normalement invariables, tandis que les seconds s'emploient librement au singulier et au pluriel. Apres avoir etabli qu'il s'agit bien d'une distinction morpho-syntaxique, l'ouvrage discute la possibilite de caracteriser semantiquement cette distinction. Les recherches existantes ne tiennent compte, essentiellement, que des noms s'appliquant au domaine materiel. Ce travail, au contraire, examine en detail aussi bien (...) les noms concrets qu'abstraits. Il propose de redefinir les proprietes souvent attribuees aux noms massifs (references distributive et cumulative), grace, notamment, a une nouvelle notion de partie. Concernant les noms comptables, il montre qu'aucune propriete purement semantique n'est necessaire pour qu'un nom soit de ce type. L'ouvrage se termine par l'analyse des conversions (emplois massifs des noms comptables, et vice versa), et du role qu'y jouent les facteurs pragmatiques. (shrink)

Goodsell-Thea_Mental-files-and-their-identity-conditions.

This paper is about the Descriptivism/Singularism debate, which has loomed large in 20-century philosophy of language and mind. My aim is to defend Singularism by showing, first, that it is a better and more promising view than even the most sophisticated versions of Descriptivism, and second, that the recent objections to Singularism (based on a dismissal of the acquaintance constraint on singular thought) miss their target.

This paper argues that John McDowell’s conceptualism distorts a genuine phenomenological account of perception. Instead of the seemingly forced choice between conceptualism and non-conceptualism as to what accounts for perceptual and discursive meaning, I provide an argument that there is a preconceptual intelligibility already in the perceptual field. With the help of insights from certain nonconceptualists I sketch out an argument that there is a teleological directedness in the way in which latent order and structure can be discriminated at the (...) level of perceptual content. This content can then be brought to discursive, conceptual clarity by understanding in such a way that it is guided by the order already discovered in perception. With the help of Husserlian phenomenology of perception, I argue that the fundamental roots of epistemic normativity lie in the discriminating intelligence or mindedness operative below the level of the explicitly conceptual. By preconceptual is meant the directedness of explication of the structures present in the sensory manifold toward fully explicit conceptual judgments. (shrink)

This paper focuses on the relevance of Indian epistemology and the philosophy of language to contemporary Western philosophy. Hence it discusses (1) how perceptual, inferential and verbal cognitions are related to the same object, (2) how to draw the distinction in meaning between transformationally equivalent sentences, such as ‘Brutus killed Caesar’ and ‘Caesar was killed by Brutus’, and (3) why the predicate-expression is to be considered as unsaturated but the subjectexpression as saturated. In order to answer these questions the Nyāya (...) philosophers have discussed the distinction between several pairs of terms, such as ‘subject–predicate’, ‘qualificand–qualifier’ and ‘the first term–the second term’. This paper also deals with the Nyāya conception of inference for others, and the interpretations of the premise called ‘upanaya’ (‘application’) or the cognition called ‘parāmarśa’ (‘operation’). (shrink)

I argue that the idea that mental states possess a primitive intentionality in virtue of which they are able to represent or ‘intend’ putative particulars derives largely from Brentano‘s misinterpretation of Aristotle and the scholastics, and that without this howler the application of intentionality to phenomenal content would never have gained currency.

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core (...) of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

This paper develops a new account of reference-fixing for proper names. The account is built around an intuitive claim about reference fixing: the claim that I am a participant in a practice of using α to refer to o only if my uses of α are constrained by the representationally relevant ways it is possible for o to behave. §I raises examples that suggest that a right account of how proper names refer should incorporate this claim. §II provides such an (...) account. (shrink)

This is review essay of Mark Sainsbury's Reference without Referents. Its main part is a critical discussion of Sainsbury's proposal for the individuation of proper name using practices.

For Perry and many authors, de se thoughts are a species of de re thought. In this paper, I argue that de se thoughts come in two varieties: explicit and implicit. While explicit de se thoughts can be construed as a variety of de re thought, implicit de se thoughts cannot: their content is thetic, while the content of de re thoughts is categoric. The notion of an implicit de se thought is claimed to play a central role in accounting (...) for the phenomenon of immunity to error through misidentification. Lewis has attempted to unify de re and de se in the opposite direction: by reducing de re to de se . This, however, works only if we internalize the acquaintance relations. I criticize Lewis's internalization strategy on the grounds that it rests on Egocentrism (the view that every occurrent thought is ultimately about the thinker at the time of thinking). In the conclusion, I suggest another way of unifying de re and de se , by extending the implicit/explicit distinction to de re thoughts themselves. (shrink)

As a class of terms and mental representations, proper names and mental names possess an important function that outstrips their semantic and psycho-semantic functions as common, rigid devices of direct reference and singular mental representations of their referents, respectively. They also function as abstract linguistic markers that signal and underscore their referents' individuality. I promote this thesis to explain why we give proper names to certain particulars, but not others; to account for the transfer of singular thought via communication with (...) proper names; and, more generally, to support a cognitivist, not acquaintance or instrumentalist, theory of singular thought. (shrink)

The current view of theoretical statements in science is that they should be literal and precise; ambiguous and metaphorical statements are useful only as pre-theoretical, exegetical, and heuristic devices and as pedagogical tools. In this paper we argue that this view is mistaken. Literal, precise statements apply to those experiential phenomena which can be defined either conventionally by criterial attribution or by internal atomic constitution. Experiential phenomena which are defined relationally and/or functionally, like nursing, in virtue of their nature, require (...) metaphorical description and explanation. In such cases, metaphor is theory-constitutive. Using insights from the philosophies of language and mind, and examples from nursing practice, education, and our own empirical research, we explore the nature of metaphor and its role in theory constitution. We argue that the apparent resistance of certain experiential phenomena to literal description and explanation is not necessarily indicative of pre-theoretic linguistic imprecision. We suggest, rather, that such resistance provides useful insights into the nature of such experiential phenomena. We also suggest that the aim of scientific theory should be methodological or epistemological precision and not merely linguistic precision. (shrink)

In contrast to Constructivist Views, which construe perceptual cognition as an essentially reconstructive process, this article recommends the Deictic View, which grounds perception in perceptual-demonstrative reference and the use of deictic tracking strategies for acquiring and updating knowledge about individuals. The view raises the problem of how sensory-motor tracking connects to epistemic and integrated forms of tracking. To study the strategies used to solve this problem, we report a study of the ability to track distal individuals when only their directions (...) can be perceived and not their locations. We introduce a new experimental paradigm named the 'Modified Traveling Salesman Problem' (MTSP), which requires subjects to visit n invisible targets in a 2D display once each. Surprisingly, subjects are competent at this task for up to 10 targets. We consider two types of tracking strategies that subjects might use: 'location-based' strategies and 'deictic direction-based' strategies. A number of observations suggest that subjects used the latter, at least for larger numbers of targets. We hypothesize that subjects used perceptual-demonstrative reference and deictic strategies (i) to perform the sensory-motor tracking of directional segments, (ii) to bind the segments with their updated status in the task, and (iii) to perform the epistemic tracking of invisible targets by means of perception-based inferences. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

CRS says that the meanings of expressions of a language or other symbol system or the contents of mental states are determined and explained by the way symbols are used in thinking. According to CRS one.

Hylomorphism claims that structure is a basic ontological and explanatory principle; it accounts for what things are and what they can do. My goal is to articulate a metaphysic of hylomorphic structure different from those currently on offer. It is based on a substance-attribute ontology that takes properties to be powers and tropes. Hylomorphic structures emerge, on this account, as powers to configure the materials that compose individuals.

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)

Philosophers of mathematics agree that the only interpretation of arithmetic that takes that discourse at 'face value' is one on which the expressions 'N', '0', '1', '+', and 'x' are treated as proper names. I argue that the interpretation on which these expressions are treated as akin to free variables has an equal claim to be the default interpretation of arithmetic. I show that no purely syntactic test can distinguish proper names from free variables, and I observe that any semantic (...) test that can must beg the question. I draw the same conclusion concerning areas of mathematics beyond arithmetic. This paper is a greatly extended version of my response to Stewart Shapiro's paper in the conference 'Structuralism in physics and mathematics' held in Bristol on 2–3 December, 2006. (shrink)

For C.S. Peirce, who had a well‐known influence on many aspects of Ramsey's thought, pragmatism was viewed as inseparable from realism. The aim of this paper is to challenge the view according to which Ramsey's reflexions on universals are of a mere linguistic and logical nature. Not only is this view controversial, but it may be argued that some elements in Ramsey's analyses suggest a possibly realist answer to the problem of universals. By drawing comparisons with Peirce's own position, it (...) is suggested that Ramsey's views might not be inconsistent with many aspects of Peirce's scholastic and even Scotistic version of realism. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

This paper contrasts three different schemes of reference relevant to understanding systems of perceptual representation: a location-based system dubbed "feature-placing", a system of "visual indices" referring to things called "proto-objects", and the full sortal-based individuation allowed by a natural language. The first three sections summarize some of the key arguments (in Clark, 2000) to the effect that the early, parallel, and pre-attentive registration of sensory features itself constitutes a simple system of nonconceptual mental representation. In particular, feature integration--perceiving something as (...) being both F and G, where F and G are sensible properties registered in distinct parallel streams--requires a referential apparatus. Section V. reviews some grounds for thinking that at these earliest levels this apparatus is location-based: that it has a direct and nonconceptual means of picking out places. Feature-placing is contrasted with a somewhat more sophisticated system that can identify and track four or five "perceptual objects" or "proto-objects", independently of their location, for as long as they remain perceptible. Such a system is found in Zenon Pylyshyn's fascinating work on "visual indices", in Dana Ballard's notion of deictic codes, and in Kahneman, Treisman, and Wolfe's accounts of systems of evanescent representations they call "object files". Perceptual representation is a layered affair, and I argue that it probably includes both feature-placing and proto-objects. Finally, both nonconceptual systems are contrasted with the full-blooded individuation allowed in a natural language. (shrink)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

If identity is to be taken as a relation, not between any object and itself, nor between expressions , but between "intensions" or Fregean "Sinnen" of individual constants , then not only definite descriptions but also grammatically proper names ought to have intensions. This, however, has been repudiated by J. St. Mill and, more recently and more persuasively, by Saul Kripke. So an attempt will be made to interpret proper names as definite descriptions sui generis, namely, "rigid" descriptions referring to (...) the way the bearer of the name is called, in certain contexts, in the real world. To avoid circularity or a vicious regressus in infinitum, however, one has to do this on the basis of a distinction between "names" and "name-radicals". (shrink)

This paper argues that applying a mental files framework for singular thought to thoughts about specific times could produce an account of tensed thought with significant advantages over competing theories. After describing the framework , I argue for the conceivability of treating particular times as res of singular thoughts , and the possibility that humans open ‘object files’ for them during perception . Then I discuss the possible make-up and function of a NOW indexical mental file . The last section (...) argues that, if our ‘now’ thoughts can be coherently analysed as thinking of a time under the NOW mental file, one would have a plausible explanation of the following issues: how tensed thought can refer to extended temporal intervals of various length; why reference to times is not destroyed by thought delays; and how a ‘now’ thought results in timely actions and, sometimes, relief. (shrink)

The author defends a combination of Strawson’s account of definite descriptions as devices of singular reference par excellence with the Russellian truth-evaluation of utterances of sentences with descriptions. The complex Russellian proposition is, according to the author’s view, introduced by such utterances into communication as a by-product of the instrumental side of an attempt to make a singular statement. This, precisely like the instrumental aspects of similar attempts exploiting names or demonstratives has to be reflected by analysis but should not (...) be confused with the communicative function of utterances. The success of all these attempts depends on the fulfilment of empirical conditions of various types, given by semantics of descriptions, names or demonstratives . But their communicative function does not consist in claiming that these conditions are fulfilled.The author agrees with Strawson that the first two conjuncts of the complex Russellian proposition are introduced into communication as presuppositions: but argues in favour of defining presupposition in normative, rather the intentional terms. (shrink)

Proponents of the predicate view of names explain the reference of an occurrence of a name N by invoking the property of bearing N. They avoid the charge that this view involves a vicious circularity by claiming that bearing N is not itself to be understood in terms of the reference of actual or possible occurrences of N. I argue that this approach is fundamentally mistaken. The phenomenon of ‘reference transfer’ shows that an individual can come to bear a name (...) in virtue of the referential practices of a group of speakers. I develop a picture of name-bearing which captures this fact by treating the extension of name as a function of the way that extension is represented in the presuppositions of groups of speakers. I show that though there is a form of circularity inherent in this approach, it is not vicious circularity. (shrink)