It is argued that Russell before 1905 saw no value in Frege's sense/reference distinction. This is clearest in the Mont Blanc correspondence. It is argued that Russell and Frege failed to engage because Frege lacked a grasp on the internal/external relations distinction. For Russell sense is either an external relation, objectionably separating out thought and reference, or an internal relation, so what is thought is altered such that we do not know what we are talking about. The novelty of the (...) present paper lies in the arrangement of the parts and the claim that Russellian propositions are not made up of the things themselves but of transparent representatives thereof. (shrink)

l. THE GENERAL PROBLEM OF EPISTEMOLOGY There is a philosophical issue that surely precedes all other possible questions. It concerns the very possibility of our thinking about some thing to some purpose. Short of this no philosophy, theory or research would be possible. But it is not immediately clear that we are assured that what purports to be effective thought, and cognition is such in reality. What guarantee is there for instance that when one is under the impression that one (...) is thinking that "the cat is on the mat" it is in fact the case that one is thinking this? One could not be thinking at all, only having a misleading mystic experience. And then even if one was thinking, one might not be really thinking of the cat being on the mat, but only that one wishes there was a cat, and wonders whether if there was it would be on the mat, and yet the subjective impression was that one was thinking: "The cat is on the mat". Then one might in some way try to think 'the cat is on the mat. ' yet be mistaken in that there aren't any material objects at all, and all one does is to inventory god's perceptions. And so on, and so on! These are of course the kind of problem that the layman habitually views with disdainful alarm. (shrink)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

The book is devoted to the contemporary stage of quantum mechanics – quantum information, and especially to its philosophical interpretation and comprehension: the first one of a series monographs about the philosophy of quantum information. The second will consider Be l l ’ s inequalities, their modified variants and similar to them relations. The beginning of quantum information was in the thirties of the last century. Its speed development has started over the last two decades. The main phenomenon is entanglement. (...) The subareas are quantum computer, quantum communication (and teleportation), and quantum cryptography. The book offers the following main conceptions, theses and hypotheses: – dualistic Phythagoreanism as a new kind among the interpretations of quantum mechanics and information: arithmetical, logical, and metamathematical one; – Gödel ’ s first incompleteness theorem is an undecidable proposition, and consequently the second one,too. – a partial rehabilitation of Hilbert ’ s program for the self-foundation of mathematics; – the dual-foundation of mathematics; – Skolemian relativity between: Cantor ’s kinds of infinity, finiteness and infinity, discreteness and continuity, completeness and incompleteness, etc.; – information is a physical quantity representing the non-reducibility of a system to its parts, particularly nonaddtivity; – there exist pure relations «by itself», which cannot be reduced to predications; – energy conservation can and should be generalized; – Einstein’ s «general covariance» or «principle of relativity» can and should be generalized to cover discrete morphisms where the notion of velocity does not make sense. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal instantiation.

We present a theory of actions based on a theory of events in branching time, in which "particular" or "token" actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency (...) is proposed, in which the stit operators are combined or equipped with reified group actions. (shrink)

In this article I discuss the 'procedural postulationist' view of mathematics advanced by Kit Fine in a recent paper. I argue that he has not shown that this view provides an avenue to knowledge of mathematical truths, at least if such truths are objective truths. In particular, more needs to be said about the criteria which constrain which types of entities can be postulated. I also argue that his reliance on second-order quantification means that his background logic is not free (...) of ontological commitment and that his doctrine of 'creative expansion' only makes sense from a radically anti-realist perspective. (shrink)

In this paper, I point to two problems engendered by two assumptions that Hume makes. The first is his nominalism: the view that all ideas are fully determinate with respect to all the aspects that are represented in them. The second, perhaps hitherto unnoticed, is that names denote ideas. I propose some solutions, aiming to find one that is Humean.

The debate over persistence is often cast as a disagreement between two rival theories—the perdurantist theory that objects persist through time by having different temporal parts at different times, and the endurantist theory that objects persist through time by being wholly present at different times. This way of framing the debate over persistence involves both an important insight and an important error. Unfortunately, the error is often embraced and the insight is often ignored. This paper aims to correct both of (...) these mistakes, and thus clarify the debate over persistence. (shrink)

The Eleatic philosophers argued that it was impossible for anything to change, since that would require something to differ from itself. Although this line of reasoning is unpersuasive, it challenges us to provide an account of temporal predication, which is the focus of much recent work on change. This paper surveys various approaches to change and temporal predication and addresses related questions about identity, persistence, properties, time, tense, and temporal logic.

Our world is a world of change. Children are born and grow into adults. Material possessions rust and decay with age and ultimately perish. Yet scepticism about change is as old as philosophy itself. Heraclitus, for example, argued that nothing could survive the replacement of parts, so that it is impossible to step into the same river twice. Zeno argued that motion is paradoxical, so that nothing can alter its location. Parmenides and his followers went even further, arguing that the (...) very concept of qualitative change is inconsistent. Change in any respect is impossible, they argued, since change requires difference and nothing differs from itself.1 Few today would accept the Eleatic conclusion that change is impossible. But the topic of change continues to be a source of much debate, as it brings together various issues that are central to metaphysics, language and logic – including identity, persistence, time, tense, and temporal logic. As we consider various approaches to our topic, it will become clear that one’s perspective on change is often determined by one’s position in the broader philosophical landscape. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

Though scholarship has explored Karin Costelloe-Stephen’s contributions to the history of psychoanalysis, as well as her relations to the Bloomsbury Group, her philosophical work has been almost completely ignored. This paper will examine her debate with Bertrand Russell over his criticism of Bergson. Costelloe-Stephen had employed the terminology of early analytic philosophy in presenting a number of arguments in defence of Bergson’s views. Costelloe-Stephen would object, among other things, to Russell’s use of an experiment which, as she points out, was (...) first conducted by Carl Stumpf. Russell appeals to Stumpf's experiment in his attempt to prove that sense data are terms in logical relations, a thesis presupposed by the project of logical analysis outlined in Our Knowledge of the External World. A reformulated version of Costelloe-Stephen's argument put forth by this paper shows that Russell's argument fails to provide adequate proof for his thesis. Further modifications of the argument can also address a reconstruction (based on contemporary reports) of Russell's reply to Costelloe-Stephen. In his reply, Russell would use, already in 1914, the term ‘analytic philosophy’ in contrasting his and Moore’s approach to a continental one, exemplified by Bergson and Costelloe-Stephen. (shrink)

A philosophical position may be characterized in different ways. Here we try to say how the naturalist answers certain . The questions come from very different areas; the spectrum of subjects is therefore quite mixed. There are, however, aspects of order: We start with (questions about) abstract subjects like logic, mathematics, metaphysics, then turn to problems of realism. And since in general naturalists are realists, the following questions on truth, laws of nature, origin of the universe, cosmology, evolution, body-mind-problem, freedom (...) of the will, religion, moral, and pseudoscience, are answered against a realistic background. German Eine philosophische Haltung kann man auf verschiedene Weisen charakterisieren. Hier versuchen wir zu sagen, wie der Naturalist auf bestimmte Kernfragen antwortet. Die Fragen stammen aus sehr verschiedenen Gebieten; das Themenspektrum ist deshalb recht bunt. Es gibt aber durchaus Ordnungsgesichtspunkte: Wir beginnen mit (Fragen zu) eher abstrakten Gegenständen wie Logik, Mathematik, Metaphysik, kommen dann zu Problemen des Realismus. Und da Naturalisten im Allgemeinen Realisten sind, werden die anschließenden Fragen über Wahrheit, Naturgesetze, Weltentstehung, Kosmologie, Evolution, Leib-Seele-Problem, Willensfreiheit, Religion, Moral und Pseudowissenschaften vor einem realistischen Hintergrund beantwortet. (shrink)

In this paper, we take a fresh look at three Popperian concepts: riskiness, falsifiability, and truthlikeness of scientific hypotheses or theories. First, we make explicit the dimensions that underlie the notion of riskiness. Secondly, we examine if and how degrees of falsifiability can be defined, and how they are related to various dimensions of the concept of riskiness as well as the experimental context. Thirdly, we consider the relation of riskiness to truthlikeness. Throughout, we pay special attention to probabilistic theories (...) and we offer a tentative, quantitative account of verisimilitude for probabilistic theories. (shrink)

This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...) off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)

In a recent book, Logical Form: between Logic and Natural Language, Andrea Iacona argues that semantic form and logical form are distinct. The semantic form of a sentence is something that (together with the meanings of its parts) determines what it means; the logical from of a sentence is something that (all by itself) determines whether it is a logical truth. Semantic form does not depend on context but logical form does: for example, whether ‘This is this’ is a logical (...) truth depends on whether the two occurrences of ‘this’ are used to demonstrate the same individual. I respond by claiming that logical form is indifferent to reference and is sensitive only to obligatory co-reference. When the speaker intends both occurrences of ‘this’ to be interpreted the same way the logical from of ‘This is this’ is a=a, while in a context where the speaker has no such intention it is a=b. This proposal allows a much more conservative revision of the traditional picture than the one suggested by Iacona. Instead of identifying the logical form of a natural language sentence by seeking a formalization in an artificial language, we obtain it through abstraction from its syntactic analysis: replacing the non-logical expressions by schematic letters, making sure that we use identical ones if and only if the speaker intended co-reference. (shrink)

Theories of philosophy of perception are too simplifying. Direct realism and representationalism, for example, are philosophical theories of perception about the nature of the perceived object and its location. It is common sense to say that we directly perceive, through our senses, physical objects together with their properties. However, if perceptual experience is representational, it only appears that we directly perceive the represented physical objects. Despite psychological studies concerning the role of memory in perception, what these two philosophical theories do (...) not explicate are the continuity of the external describable object and the role of memory in perceiving the continuity, difference, break or ending. Using empirical evidence of particular cases and the hypothetico-deductive model, this research article analyses how one is able to perceive the continuity of same things. The early stages of perceptual process are not sufficient for the perception of continuity. Empirical evidence of memory disorders shows that persons with a memory disorder do not perceive the same thing or the familiar place they previously saw and now experience or remember what they are thinking about, even if the object, the place or the person has remained the same. I will argue that the perception of continuity requires memory. In fact, observation indicates how the memory runs at the same time, when the object is seen over time. This fact implies the memory system’s essential role for perceiving the continuity of the same things. (shrink)

This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of natural languages. (...) This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. (shrink)

Gayon's recent claim that Buffon developed a concept of species as physical individuals is critically examined and rejected. Also critically examined and rejected is Gayon's more central thesis that as a consequence of his analysis of Buffon's species concept, and also of Darwin's species concept, it is clear that modern evolutionary theory does not require species to be physical individuals. While I agree with Gayon's conclusion that modern evolutionary theory does not require species to be physical individuals, I disagree with (...) his reasons and instead provide logical rather than historical reasons for the same conclusion. (shrink)

In this article I describe the contributions made by Samuel Alexander to the issue of relations which so vexed Bertrand Russell and F. H. Bradley in the late nineteenth and early twentieth centuries. I provide a novel understanding of Alexander’s position concerning relations and describe the way in which he viewed his position as superior to those of Bradley and Russell. I offer, therefore, a more complete picture of a philosophical debate central to the relevant period, through the introduction of (...) a third character whose views have been largely omitted from available narratives. (shrink)

The article rebutts Michael Kremer’s contention that Russell’s contextual definition of set-theoretic language in Principia Mathematica constituted the ontological achievement of eliminating commitment to classes. Although Russell’s higher-order quantifiers, used in the definition, need not range over classes, none of the plausible substitutes provide a solid basis for eliminating them. This point is used to defend the presentation, in The Dawn of Analysis, of Russell’s logicist reduction, using a first-order version of naive set theory.

infinite, and offer several arguments in sup port of this thesis. I believe their arguments are unsuccessful and aim to refute six of them in the six sections of the paper. One of my main criticisms concerns their supposition that an infinite series of past events must contain some events separated from the present event by an infinite number of intermediate events, and consequently that from one of these infinitely distant past events the present could never have been reached. I (...) introduce.. (shrink)

Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) continuous, and so it might seem as if discussion of the structure of continuous bodies is merely within the realm of philosophical thought experiments rather than actual scientific investigation. However, classical continuum mechanics models actual matter as if it were continuous, and it has implications about the structure of continuous bodies and about what contact and impenetrability are. This paper describes the relevant notions from classical continuum mechanics so as to resolve the alleged tension between contact and impenetrability. (shrink)

Many have found attractive views according to which the veracity of specific causal judgements is underwritten by general causal laws. This paper describes various variants of that view and explores complications that appear when one looks at a certain simple type of example from physics. To capture certain causal dependencies, physics is driven to look at equations which, I argue, are not causal laws. One place where physics is forced to look at such equations (and not the only place) is (...) in its handling of Green's functions which reveal point-wise causal dependencies. Thus, I claim that there is no simple relationship between causal dependence and causal laws of the sort often pictured. Rather, this paper explores the complexity of the relationship in a certain well-understood case. (shrink)

John Rawls's A Theory of Justice was published in December 1971 and has already established itself as a landmark. No other philosophical work, in our time or before, has, to my knowledge, excited so much attention in so short a time and in such varied circles. Clearly the book answers to a set of needs that have just recently surfaced, and it was published at just the right time to benefit from changing directions in philosophy and other areas of intellectual (...) life brought on by enormous and accelerating changes in social conditions and concerns, by the disaster of Vietnam, and by the sense that something serious and sufficient must be done to counter the increasing fragmentation of knowledge and the divorce of science from society. Rawls gives one the sense of putting it all together; of seeing things clearly and seeing them whole; of joining together again economics, jurisprudence, and social and moral theory; and of putting philosophy to work once again in the service of society and humanity. In particular, he gives one the sense that there can be a science of justice, of morality, and of values. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by Ondřej (...) Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (shrink)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.

Causal necessity typically receives only oblique attention. Causal relations, laws of nature, counterfactual conditionals, or dispositions are usually the immediate subject(s) of interest. All of these, however, have a common feature. In some way, they involve the causal modality, some form of natural or physical necessity. In this paper, causal necessity is discussed with the purpose of determining whether a completely general empiricist theory can account for the causal in terms of the noncausal. Based on an examination of causal relations, (...) laws of nature, counterfactual conditionals, and dispositions, it is argued that no reductive program devoid of essentialist commitments can account for all the phenomena that involve causal necessity. Hence, neo-Humean empiricism fails to provide a framework adequate for understanding causal necessity. (shrink)

In this paper I aim to elucidate Wittgenstein’s claim that the so-called dream argument is senseless. Unlike other interpreters, who understand the sentence “I am dreaming” as contradictory or self-defeating, I intend to elucidate in what sense one should understand it as senseless or, more precisely, as nonsensical. In this sense, I propose to understand the above-mentioned claim in light of Wittgenstein’s criticism of skepticism from the _Tractatus logico-philosophicus_ to his last writings. I intend to show that the words “I (...) am dreaming” are nonsensical in the same sense as the alleged proposition “There are physical objects” or the expression of doubt about the existence of external objects. (shrink)

The article investigates and defends central elements of Quine’s naturalized epistemology. Davidson’s coherentist attacks on Quine’s empiricismare dismissed. The view is advocated that sensory experience plays an essential epistemic role, and that, therefore, the study of perception must be taken seriously in the theory of knowledge. The author rejects, however, Quine’s behavioristic conception of experience as stimulation of sensory receptors and instead argues for a richer conception, according to which an experience is a sensory state of things appearing in certain (...) ways to us. Finally, it is shown that this standpoint allows us to acknowledge a given element in experience without falling victim to a myth. (shrink)

In the first experiment, I exhibit unreliable judgment about the primeness or divisibility of four-digit numbers, in contrast to a seeming Excel program. In the second experiment, I exhibit an imperfect memory for arbitrary-seeming three-digit number and letter combinations, in contrast to my seeming collaborator with seemingly hidden notes. In the third experiment, I seem to suffer repeated defeats at chess. In all three experiments, the most straightforward interpretation of the experiential evidence is that something exists in the universe that (...) is superior in the relevant respects – theoretical reasoning (about primes), memorial retention (for digits and letters), or practical reasoning (at chess) – to my own solipsistically-conceived self. (shrink)

The force of sceptical inquiries into out knowledge of other people is a paradigm of the force that philosophical views can have. Sceptical views arise out of philosophical inquiries that are identical in all major respects with inquiries that we employ in ordinary cases. These inquiries employ perfectly mundane methods of making and assessing claims to know. This paper tries to show that these inquiries are conducted in cases that lack certain contextual ingredients found in ordinary cases. The paper concludes (...) that these ordinary methods of inquiry, when employed in these limited cases, put us in a position in which we actually cannot know. Thus our ability to know will be a function of the added contextual elements that are found in ordinary cases. A second conclusion is that we come literally to observe bodily behaviour in the course of the sceptical inquiry; while in ordinary cases we observe pain-behaviour. (shrink)

The ability to predict is the most importantability of the brain. Somehow, the cortex isable to extract regularities from theenvironment and use those regularities as abasis for prediction. This is a most remarkableskill, considering that behaviourallysignificant environmental regularities are noteasy to discern: they operate not only betweenpairs of simple environmental conditions, astraditional associationism has assumed, butamong complex functions of conditions that areorders of complexity removed from raw sensoryinputs. We propose that the brain's basicmechanism for discovering such complexregularities is implemented in (...) the dendritictrees of individual pyramidal cells in thecerebral cortex. Pyramidal cells have 5–8principal dendrites, each of which is capableof learning nonlinear input-to-outputtransfer functions. We propose that eachdendrite is trained, in learning its transferfunction, by all the other principal dendritesof the same cell. These dendrites teach eachother to respond to their separate inputs with matching outputs. Exposed to differentbut related information about the sensoryenvironment, principal dendrites of the samecell tune to functions over environmentalconditions that, while different, are correlated . As a result, the cell as awhole tunes to the source of the regularitiesdiscovered by the cooperating dendrites,creating a new representation. When organizedinto feed-forward/feedback layers, pyramidalcells can build their discoveries on thediscoveries of other cells, graduallyuncovering nature's hidden order. Theresulting associative network is powerfulenough to meet a troubling traditionalobjection to associationism: that it is toosimple an architecture to implement rationalprocesses. (shrink)

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of descriptions, which is (...) developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)