Incompleteness of Descriptions

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents of (...) so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

나는 컴퓨터로 계산과 우주의 한계에 대한 많은 최근의 토론을 읽었습니다, polymath 물리학자 및 결정 이론가 데이비드 울퍼트의 놀라운 작품에 대한 몇 가지 의견을 찾을 수 있기를 바라고 있지만 하나의 인용을 발견하지 않은 그래서 나는이 매우 간단한 요약을 제시. Wolpert는 계산을 수행하는 장치와 는 별개이며 물리학법칙과는 무관하므로 컴퓨터, 물리학 및 인간의 행동에 적용되므로 추론(계산)에 대한 제한에 대해 놀라운 불가능또는 불완전성 정리(1992년에서 2008년 참조 arxiv dot org)를 입증했습니다. 그들은 캔터의 대각선화, 거짓말쟁이 역설 및 세계관을 사용하여 튜링 머신 이론의 궁극적 인 정리가 될 (...) 수있는 것을 제공하고, 겉보기에 불가능, 불완전성, 계산의 한계, 그리고 컴퓨터로서의 우주, 가능한 모든 우주와 모든 존재 또는 메커니즘에서, 생성, 비 양자 기계적 불확실성 및 증거. 차이틴, 솔로모노프, 코몰가로프, 비트겐슈타인의 고전 적 작품과 어떤 프로그램 (따라서 어떤 장치)이 소유보다 더 큰 복잡성시퀀스 (또는 장치)를 생성 할 수 없다는 개념에 명백한 연결이 있습니다. 이 작품의 몸은 물리적 우주보다 더 복잡한 어떤 실체가 있을 수 없고 비트겐슈타인의 관점에서 볼 때 '더 복잡한'은 의미가 없다고 말할 수 있습니다(즉, 진리를 제작자나 시험하는 조건은 없습니다). 심지어 '신'(즉, 무한한 시간과 에너지를 가진 '장치')은 주어진 '숫자'가 '무작위'인지 여부를 결정할 수없으며, 주어진 '수식', '정리' 또는 '문장' 또는 '장치'(이 모든 것이 복잡한 언어 게임)가 특정 '시스템'의 일부임을 보여줄 수 있는 특정 방법을 찾을 수 없습니다. 현대 의 두 systems보기에서인간의 행동에 대한 포괄적 인 최신 프레임 워크를 원하는 사람들은 내 책을 참조 할 수 있습니다'철학의 논리적 구조, 심리학, 민d와 루드비히 비트겐슈타인과 존 Searle의언어' 2nd ed (2019). 내 글의 더 많은 관심있는 사람들은 '이야기 원숭이를 볼 수 있습니다-철학, 심리학, 과학, 종교와 운명 행성에 정치 - 기사 및 리뷰 2006-2019 2nd 에드 (2019) 및 21st 세기 4번째 에드 (2019) 및 기타. (shrink)

People often speak loosely, uttering sentences that are plainly false on their most strict interpretation. In understanding such speakers, we face a problem of underdetermination: there is often no unique interpretation that captures what they meant. Focusing on the case of incomplete definite descriptions, this paper suggests that speakers often mean bundles of propositions. When a speaker means a bundle, their audience can know what they mean by deriving any one of its members. Rather than posing a problem for the (...) interpretation of loose talk, the underdetermination of a uniquely correct interpretation allows for various ways in which the audience can grasp the speaker’s meaning. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...) a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

Em "Godel's Way", três cientistas eminentes discutem questões como a undecidability, incompletude, aleatoriedade, computabilidade e paraconsistência. Eu abordar estas questões do ponto de vista Wittgensteinian que existem duas questões básicas que têm soluções completamente diferentes. Há as questões científicas ou empíricas, que são fatos sobre o mundo que precisam ser investigados observacionalmente e questões filosóficas sobre como a linguagem pode ser usada inteligìvelmente (que incluem certas questões em matemática e lógica), que precisam ser decidido por olhar uma como nós realmente (...) usar palavras em contextos específicos. Quando nós começ claros sobre que jogo da língua nós estamos jogando, estes tópicos são vistos para ser perguntas científicas e matemáticas ordinárias como qualquer outro. As idéias de Wittgenstein raramente foram igualadas e nunca ultrapassaram e são tão pertinentes hoje como eram 80 anos atrás, quando ele ditou os livros azul e marrom. Apesar de suas falhas-realmente uma série de notas em vez de um livro acabado-esta é uma fonte única do trabalho destes três estudiosos famosos que têm trabalhado nas bordas sangrantes da física, matemática e filosofia por mais de meio século. Da costa e Doria são citados por Wolpert (veja abaixo ou meus artigos sobre Wolpert e minha revisão de Yanofsky ' s "os limites exteriores da razão") desde que escreveu sobre a computação universal, e entre suas muitas realizações, da costa é um pioneiro em a paraconsistência. Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outras. (shrink)

The implicit content associated with incomplete definite descriptions is contributed in the form of definite descriptions of situations. A definite description of this kind is contributed by a small structure in the syntax, which is interpreted, in general terms, as ‘the situation that bears R to s’.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

The purpose of this paper is to discuss two phenomena related to the semantics of definite descriptions: that of incomplete uses of descriptions, and that of the underdetermination of referential uses of descriptions. The Russellian theorist has a way of accounting for incomplete uses of descriptions by appealing to an account of quantifier domain restriction, such as the one proposed in Stanley and Szabó (2000a). But, I argue, the Russellian is not the only one in a position to appeal to (...) such an account of incomplete uses of descriptions. Proponents of other theories, such as the Fregean, which does not treat descriptions as quantifiers, might benefit from this account of domain restriction. In the second part of the paper I discuss referential uses of incomplete definite descriptions. Relative to such uses, Wettstein (1981) and others have argued that the Russellian theory faces a problem of underdetermination of semantic content. Neale (2004) has replied to this objection showing why it does not pose a threat to the Russellian theory. Again, I argue that not only the Russellian, but also the Fregean can subscribe to Neale’s (2004) suggestion. (shrink)

Paul Elbourne defends the Fregean view that definite descriptions ('the table', 'the King of France') refer to individuals, and offers a new and radical account of the semantics of pronouns. He draws on a wide range of work, from Frege, Peano, and Russell to the latest findings in linguistics, philosophy of language, and psycholinguistics.

A challenge for theories of incomplete descriptions is to capture the consistency of ‘Sobel sequences’ and to account for an asymmetry in the acceptability of utterances of Sobel sequences and ‘reverse Sobel sequences’. David Lewis’s theory of incomplete descriptions answers, unlike many other theories, the challenge from Sobel sequences, but it does not answer the challenge from reverse Sobel sequences. This article presents another asymmetry in the availability of anaphoric readings of Sobel sequences and reverse Sobel sequences, and proposes an (...) explanation of the original asymmetry on its grounds. This provides an answer to the challenge for Lewis’s theory. (shrink)

This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a complex (...) array of desiderata, yet the apparently simpler pragmatic alternative faces severe problems and is therefore a nonstarter. (shrink)

Der Topos von der Unerschöpflichkeit des Gegenstands wird mit der Phänomenologie assoziiert. Den ihm verwandten Topos von der Unaussprechlichkeit des Individuellen haben Goethe und die deutschen Romantiker in die Welt getragen. Der Diktion der analytischen Philosophie sind die Ausdrücke „unerschöpflich“ und „unaussprechlich“ fremd. Dieser Umstand sollte analytische Philosophen nicht davon abhalten, sich den sprachphilosophischen und ontologischen Problemen zuzuwenden, die sich hinter den besagten Formeln verbergen. Husserls Wort für Unerschöpflichkeit ist „Fülle“. Die „Fülle des Gegenstandes“ erläutert Husserl als den „Inbegriff der (...) ihn konstituierenden Bestimmtheiten“, seine „individualisierenden Bestimmtheiten“ eingeschlossen. Ich werde in diesem Aufsatz von deskriptiver Unerschöpflichkeit sprechen, die ich auf eine ontische Eigenart der konkreten Einzeldinge zurückführe. Den Begriff der deskriptiven Unerschöpflichkeit werde ich zunächst anhand des Problems entwickeln, die Eigenschaften eines Einzeldings zu zählen. Aristoteles, Leibniz und Kant beantworten die Frage, wie viele Eigenschaften ein Einzelding hat, gleichlautend: es sind potentiell unendlich viele (1.). Die ontologische Kategorie, für die dies gilt, ist die der konkreten, raumzeitlichen Einzeldinge (2.). Unter (3.) wird der Befund der deskriptiven Unerschöpflichkeit näher erläutert und ausdifferenziert. Unter (4.) wird ein sprachphilosophisch motivierter Einwand gegen die Unerschöpflichkeitsthese diskutiert und zurückgewiesen: der Einwand aus der endlichen Zahl der Prädikate. Dann werde ich die Begriffe Leerstelle, Auflösung und ontische Dichte einführen, um meinen Befund zu sichern und zu präzisieren (5.). Unter dem Stichwort „Unerschöpflich oder bloß faktisch unerschöpft?“ diskutiere ich die Frage, worin das prinzipielle Hindernis für das Unternehmen liegen soll, ein Einzelding erschöpfend zu beschreiben (6.). Anschließend kontrastiere ich die Unerschöpflichkeitsthese mit der pathetischen Formel von der „Unaussprechlichkeit des Individuellen“, um zu verdeutlichen, was mit ersterer nicht gemeint ist (7.). Diese Diskussion führt zu ontologischen Überlegungen über Individualität, Einzigkeit und haecceitas (8.). Schließlich bringe ich den Gedanken ins Spiel, daß wir in der natürlichen Sprache beliebig feine semantische Unterscheidungen treffen können, der auf den ersten Blick in einer gewissen Spannung zur These der deskriptiven Unerschöpflichkeit steht. Diese Spannung werde ich unter (9.) und (10.) zu mildern suchen und dabei meinen Begriff der ontischen Dichte zu Goodmans Begriff der semantischen Dichte in Beziehung setzen. (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that one's knowledge of (...) what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

A common objection to Russell's theory of descriptions concerns incomplete definite descriptions: uses of (for example) ‘the book is overdue’ in contexts where there is clearly more than one book. Many contemporary Russellians hold that such utterances will invariably convey a contextually determined complete proposition, for example, that the book in your briefcase is overdue. But according to the objection this gets things wrong: typically, when a speaker utters such a sentence, no facts about the context or the speaker's communicative (...) intentions single out a particular description-theoretic proposition as the proposition expressed. However, this is an objection only if it is assumed that successful linguistic communication requires the hearer to identify a proposition uniquely intended by the speaker. We argue that this assumption is mistaken. On our view, no proposition, descriptive or referential, is uniquely intended in such a context; thus, no proposition can nor need be identified as the proposition expressed. One significant upshot is that, once the aforementioned assumption is rejected, incompleteness no longer poses a threat to Russell's theory of descriptions. (shrink)

Logicism is one of the great reductionist projects. Numbers and the relationships in which they stand may seem to possess suspect ontological credentials – to be entia non grata – and, further, to be beyond the reach of knowledge. In seeking to reduce mathematics to a small set of principles that form the logical basis of all reasoning, logicism holds out the prospect of ontological economy and epistemological security. This paper attempts to show that a fundamental logicist project, that of (...) defining the number one in terms drawn only from logic and set theory, is a doomed enterprise. The starting point is Russell's Theory of Descriptions, which purports to supply a quantificational analysis of definite descriptions by adjoining a 'uniqueness clause' to the formal rendering of indefinite descriptions. That theory fails on at least two counts. First, the senses of statements containing indefinite descriptions are typically not preserved under the Russellian translation. Second (and independently), the 'uniqueness clause' fails to trim 'some' to 'one'. The Russell–Whitehead account in Principia Mathematica fares no better. Other attempts to define 'one' are covertly circular. An ontologically non-embarrassing alternative account of the number words is briefly sketched. (shrink)

This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.

Complex demonstratives, expressions of the form 'That F', 'These Fs', etc., have traditionally been taken to be referring terms. Yet they exhibit many of the features of quantified noun phrases. This has led some philosophers to suggest that demonstrative determiners are a special kind of quantifier, which can be paraphrased using a context sensitive definite description. Both these views contain elements of the truth, though each is mistaken. We advance a novel account of the semantic form of complex demonstratives that (...) shows how to reconcile the view that they function like quantified noun phrases with the view that simple demonstratives function as context sensitive referring terms wherever they occur. If we are right, previous accounts of complex demonstratives have misconceived their semantic role; and philosophers relying on the majority view in employing complex demonstratives in analysis have proceeded on a false assumption. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

Reference is a common feature to indexicals, definite descriptions and, at least some uses of indefinite descriptions. A referential expression triggers a search for a referent, which ranges over the linguistic context, physical environment or encyclopedic knowledge. I argue for a unified theory of reference within which indexicals and definite descriptions refer to salient objects while indefinite descriptions refer to non salient objects. The descriptive content attached to each expression provides information making it possible for the addressee to find an (...) object the speaker has referred to. Ostension and other non linguistic knowledge helps the addressee's search. Salience, rather than mutual knowledge or givenness, is the crucial aspect the speaker considers when he performs a referential act. Unlike indefinite descriptions, indexicals and definite descriptions presuppose the referent's existence. However, current theories of presupposition-projection maintain inheritance mechanisms which are shown to be inadequate from our present approach. (shrink)

When philosophers talk about descriptions, usually they have in mind singular definite descriptions such as ‘the finest Greek poet’ or ‘the positive square root of nine’, phrases formed with the definite article ‘the’. English also contains indefinite descriptions such as ‘a fine Greek poet’ or ‘a square root of nine’, phrases formed with the indefinite article ‘a’ (or ‘an’); and demonstrative descriptions (also known as complex demonstratives) such as ‘this Greek poet’ and ‘that tall woman’, formed with the demonstrative articles (...) ‘this’ and ‘that’. Following the custom in philosophy, in this chapter often we use ‘description’ as short for ‘definite description’; and following the custom in linguistics, often we use ‘definite’, ‘indefinite’, and ‘demonstrative’ as shorthand nouns. For the most part we focus on definite and indefinites, although a few words about demonstratives are called for. At the centre of debates about descriptions is the matter of whether they are devices of reference or of predication (simple or higher-order), and much discussion focuses on how various proposals are to be incorporated into broader theories of the semantics of natural language. But philosophical interest goes beyond the confines of linguistics, logic, and the philosophy of language because choices made about the semantics of descriptions have repercussions elsewhere, particularly in epistemology and metaphysics. A simple match of form and meaning appears to fail.1 First, many occurrences of expressions of both forms ‘the φ’ and ‘a φ’ appear to be used to talk about particular individuals. Consider (1). (shrink)