This article provides a comprehensive conceptual analysis of information. It begins with a folk notion that information is a tripartite phenomenon: information is something carried by signals about something for some use. This suggests that information has three main aspects: structural, referential, and normative. I analyze the individually necessary and jointly sufficient conditions for defining these aspects of information and consider formal theories relating to each aspect as well. The analysis reveals that structural, referential, and normative aspects of (...) information are hierarchically nested and that the normative depends on the referential, which in turn depends on the structural. (shrink)

Each of us bears a unique name given to us at birth. When people use your name, they typically refer to you. But what is the linkage that ties a name to a person and hence allows it to refer? Li's book approaches this question of reference empirically through the medium of referential intuitions. Building on the literature on philosophical and linguistic intuitions, she proposes a linguistic-competence-based account of referential intuitions. Subsequently, using a series of novel experiments, she (...) investigates the variation of referential intuitions across different cultures, as well as the developmental trajectory and the underlying causes of the observed cultural differences. What she finds is that the cultural patterns of referential intuitions are already in place around age seven, and the differences are largely attributable to the distinct perspective taking strategies favoured by easterners and westerners, rather than the moral valence of actions involved in the experimental materials. These results are taken to better support referential pluralism (in particular, the ambiguous view) than referential monism. By undertaking this fascinating research, Li's book provides new insights into the cognitive mechanisms underlying people's referential usage of names. It will be valuable to students and scholars of linguistics, philosophy of language and experimental philosophy, and in particular, to those who research into semantic intuitions and theories of reference. (shrink)

Bach fails to give a satisfactory pragmatic account of referential uses of definite descriptions because he does not explain how a description’s quantificational meaning plays a “key role” in those uses. Bach’s criticism that my semantic account does not explain how the hearer understands a description is misguided. Bach’s denial that a pragmatic account is committed to the attributive use being more fundamental detaches meaning from use in an unacceptable way.

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide (...) scope quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)

Bach fails to give a satisfactory pragmatic account of referential uses of definite descriptions because he does not explain how a description’s quantificational meaning plays a “key role” in those uses. Bach’s criticism that my semantic account does not explain how the hearer understands a description is misguided. Bach’s denial that a pragmatic account is committed to the attributive use being more fundamental detaches meaning from use in an unacceptable way.

Even the simplest narratives combine multiple strands of information, integrating different characters and their actions by expressing multiple perspectives of events. We examined the emergence of referential shift devices, which indicate changes among these perspectives, in Nicaraguan Sign Language (NSL). Sign languages, like spoken languages, mark referential shift grammatically with a shift in deictic perspective. In addition, sign languages can mark the shift with a point or a movement of the body to a specified spatial location in the (...) three-dimensional space in front of the signer, capitalizing on the spatial affordances of the manual modality. We asked whether the use of space to mark referential shift emerges early in a new sign language by comparing the first two age cohorts of deaf signers of NSL. Eight first-cohort signers and ten second-cohort signers watched video vignettes and described them in NSL. Narratives were coded for lexical (use of words) and spatial (use of signing space) devices. Although the cohorts did not differ significantly in the number of perspectives represented, second-cohort signers used referential shift devices to explicitly mark a shift in perspective in more of their narratives. Furthermore, while there was no significant difference between cohorts in the use of non-spatial, lexical devices, there was a difference in spatial devices, with second-cohort signers using them in significantly more of their narratives. This suggests that spatial devices have only recently increased as systematic markers of referential shift. Spatial referential shift devices may have emerged more slowly because they depend on the establishment of fundamental spatial conventions in the language. While the modality of sign languages can ultimately engender the syntactic use of three-dimensional space, we propose that a language must first develop systematic spatial distinctions before harnessing space for grammatical functions. (shrink)

Two experiments were carried out to investigate the role of referential continuity in understanding discourse. In experiment 1, a group of university students listened to stories and descriptive passages presented in three different versions: the original passages, versions in which the sentences occured in a random order, and randomised versions in which referential continuity had been restored primarily by replacing pronouns and other terms with fuller and more appropriate noun phrases. The original stories were remembered better, and rated (...) as more comprehensible, than the random versions, but the restoration of referential continuity ameliorated the effects of randomisation. The descriptive passages had little referential continuity from one sentence to the next, and as expected the effects of randomisation on comprehensibility and memory were negligible. In experiment 2, a group of skilled comprehenders and a group of less skilled comprehenders were selected from a population of 7–8-year-old children. The difference between the groups was known to be largely their inferential ability in reading texts. Both groups read a series of short stories presented in the same three versions as used in the previous experiment. As predicted, the ameliorating effects on memory of restoring referential continuity in a randomised story were confined to the skilled group. The results are discussed in relation to the theories of story grammar, text microstructure, and mental models of discourse. (shrink)

This volume is focused on understanding a key idea in modern semantics-direct reference-and its integration into a general semantics for natural language.

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will (...) befall principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

The aim of this paper is to examine a special subgroup of emotion: self-referential emo- tions such as shame, pride and guilt. Self-referential emotions are usually conceptualized as (i) essentially involving the subject herself and as (ii) having complex conditions such as the capacity to represent others’ thoughts. I will show that rather than depending on a fully fledged ‘theory of mind’ and an explicit language-based self-representation, (i) pre-forms of self-referential emotions appear at early developmental stages already (...) exhib- iting their characteristic structure of the intentional object of the emotion being identical with or intricately related to the subject experiencing the emotional state and that (ii) they precede and substantially contribute to the development of more complex representations and to the development of a self-concept, to social interaction and to ways of understand- ing of other minds. (shrink)

Referential semantics importantly subscribes to the programme of theory of logical calculi. Defined by Wójcicki in [8], it has been subsequently studied in a series of papers of the author, till the full exposition of the framework in [9] and its intuitive characterisation in [10]. The aim of the article is to present several generalizations of referential semantics as compared and related to the matrix semantics for propositional logics. We show, in a uniform way, some own generalizations of (...) referentiality: the first, directed to unrestricted cluster referential semantics, [4], its "discrete" version, a counterpart of algebraic semantics and a many-valued referentiality based on matrices, whose elements are functions from the set of indices to a finite n-element set of values, n≥2, [3]. Next to this we outline pragmatic matrices introduced by Tokarz in [6] as an alternative for cluster referential approach and discuss together all presented versions of referential semantics. (shrink)

This volume brings together studies in the domain of weak referentiality, the phenomenon that a definite or indefinite noun phrase lacks its usual referential force. Several papers investigate syntactic or semantic properties of indefinite noun phrases, such as modality, number neutrality, narrow scope, incorporation, predication, and case marking, and that in a range of languages (Arabic, Brazilian Portuguese, Catalan, German, Papiamentu, Russian). Other papers deal with weakly referential definite noun phrases in various languages (Basque, Dutch, English, French) involving (...) scrambling, modification, possession, and accessibility. The papers demonstrate a range of empirical methods and theoretical models. This volume will not only be of interest to researchers and students in syntax and semantics, but also in psycholinguistics and language typology. (shrink)

NOTE TO THE READER - December, 2021 ●●●●● -/- After a long period of time devoted to research in other areas, the author returned to the subject of this paper in a book-length study, CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning. In this book (Chapter 11, “The Metalogic of Meaning”), the position developed in the 1982 paper, "Referential Consistency as a Criterion of Meaning", has been substantively revised and several important corrections made. It is recommended that readers (...) read the revised and corrected version that appears in the book, CRITIQUE OF IMPURE REASON. ●●●●● -/- The book is available in a printed edition, ISBN 978-0-578-88646-6, from online booksellers such as Barnes & Noble, Amazon, and through independent bookstores. The book is also available as a freely downloadable _corrected second edition_ eBook, DOI: 10.5281/zenodo.5458352, through PhilSci, PhilPapers, HAL, and other online archives. ●●●●● -/- In addition to the above-mentioned book, readers may find "A Primer on Bartlett's CRITIQUE OF IMPURE REASON" to be useful as a guide to the nearly 900-page CRITIQUE. The primer is available as a free download through PhilPapers. ●●●●● -/- "Referential Consistency as a Criterion of Meaning" describes a logically compelling criterion of meaning — that is, a necessary condition of meaning, one which is non-arbitrary and compelling. One cannot _not_ accept the proposed criterion without self-referential inconsistency. This “metalogical” variety of self-referential inconsistency is new, opening a third category beyond semantical and pragmatical forms of self-referential inconsistency. ●●●●● -/- It is argued that such a criterion of meaning can serve as an instrument of internal criticism for any theoretical framework that permits reference to a class of objects. The paper combines the concern of the logical empiricists to formulate a rigorous meaning criterion, with the analytical interest in identifying and eliminating self-defeating statements through an analysis of the referential structure of theories. ●●●●● -/- The paper is followed by a list of other publications by the author that further develop and extend the ideas presented here. (shrink)

This paper continues an ongoing debate between Michael Devitt and me on referential uses of definite descriptions. He has argued that definite descriptions have referential meanings, and I have argued that they do not. Having previously rebutted the view that referential uses are akin to particularized conversational implicatures, he now he rebuts the view that they are akin to generalized conversational implicatures. I agree that the GCI is not the best model, but I maintain that in exploiting (...) the quantificational meaning of definite descriptions, referential uses involve a different sort of pragmatic regularity. Also, I try to bolster my objection to Devitt’s claim that the word ‘the’ is semantically ambiguous. (shrink)

In recent years, the methods of formal semantics and pragmatics have been fruitfully applied to the analysis of primate communication systems. Most analyses therein appeal to a division of labor between semantics and pragmatics which has the following three features: calls are given referential meanings, some calls have a general meaning, and the meanings of calls in context are enriched by competition with more informative calls, along the lines of scalar implicatures. In this paper, we develop highly simplified models (...) to independently assess the conditions under which such features would emerge. After identifying a sufficient condition for, we find a range of conditions under which and are not evolutionarily stable, and discuss the consequences for both modeling and empirical work. (shrink)

Is there a distinction between referential and attributive uses of definite descriptions? I think most philosophers who approach Donnellan’s distinction from the point of view of the theory of speech acts, those who see reference as a type of speech act, would say that there is no such distinction and that the cases he presents can be accounted for as instances of the general distinction between speaker meaning and sentence meaning: both alleged uses are referential in the sense (...) that they are cases of referring to objects, the only difference is in the degree to which the speaker makes his intentions fully explicit in his utterance. Such objections are in fact quite commonly made, both in the literature and in the oral tradition, but I have never seen a version of the objection I was fully satisfied with and the main aim of this article is to attempt to provide one. (shrink)

There is a core to the referential/attributive distinction that reveals a propositional ambiguity that is scope-related and rooted in syntax.

A set of approximately 500 words taken from the literature on emotion was examined. The overall goal was to develop a comprehensive taxonomy of the affective lexicon, with special attention being devoted to the isolation of terms that refer to emotions. Within the taxonomy we propose, the best examples of emotion terms appear to be those that (a) refer to internal, mental conditions as opposed to physical or external ones, (b) are clear cases of stares, and (c) have affect as (...) opposed to behavior or cognition as a predominant (rather than incidental) referential focus. Relaxing one or another of these constraints yields poorer examples or nonexamples of emotions; however, this gradedness is not taken as evidence that emotions necessarily defy classical definition. (shrink)

Referential matrix semantics of R. W´ojcicki [5] and [4] is extended to cover the class of all structural propositional calculi.

attributive/referential. Pragmatic intrusion.

Buchanan (2014) argues for a Gricean solution to well-known counterexamples to direct reference theories of content. Peet (2016) develops a way to change the counterexample so that it seems to speak against Buchanan’s own proposal. I argue that both theorists fail to notice a significant distinction between the kinds of cases at issue. Those appearing to count against direct reference theory must be described such that speakers have false beliefs about the identity of the object to which they intend to (...) refer, beliefs that appear relevant to the determination of what constitutes communicative success. This suggests, further, that cases of this sort do not provide a basis for robust generalizations about singular reference. (shrink)

W.V.O.Quine’s doctrine of referential inscrutability (RI) is the thesis that, first, linguistic reference must always be determined relative to an interpretation of the discourse and, second, that the empirical evidence always underdetermines our choice of interpretation--at least in principle. Although this thesis is a central result of Quine’s theory of language, it was long unclear just how much force RI actually carried. At best, Quine’s discussions provided localized examples of RI (e.g., ‘gavagai’), supplemented merely by arguments for the (in (...) principle) constructability of more general referentially divergent manuals. In defense of Quine, Gerald Massey provides a method for generating large-scale referentially divergent manuals for a complex language. I argue that, while Massey’s rival manuals do meet Quine’s translational criteria, they are demonstrably inferior to their commonsensical “homophonic” competitor. This result provides a clear indication of seminal deficiencies in Quine’s behaviorial approach to the theory of language. Next I argue that Quine’s acceptance of standard assumptions about the nature of perception strongly influences the shape of his semantical theory. Finally, I suggest how an alternative to the standard account of perception might provide grounds for a more adequate understanding of language. (shrink)

I suggest two valid and sound arguments refuting physicalism, whether it is reductive or supervenience physicalism. The first argument is a self-referential one that is not involved with any self-referential inconsistency. The second argument demonstrates that physicalism is inescapably involved with self-referential inconsistency. Both arguments show that arguments and propositions (to be distinguished from sentences) are not physical existents. They are rather mental existents that are not reducible to any physical existent and do not supervene on anything (...) physical. From these two arguments, it clearly follows that any physicalist argument or proposition, as a mental existent, is self-refuting. (AN PHL2326365) Subjects: EXISTENTS; INCONSISTENCY; METAPHYSICS; MIND; PHYSICALISM; SELF-REFERENCE. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

This chapter contains section titled: Introduction Some Important Distinctions Are Referential Semantics for I‐languages Possible? Language/World Isomorphism Chomsky's Arguments against LWI Aspects of the World Conclusion.

Episodic memory has a distinctive phenomenology. One way to capture what is distinctive about it is by using the notion of mental time travel: When we remember some fact episodically, we mentally travel to the moment at which we experienced it in the past. This way of distinguishing episodic memory from semantic memory calls for an explanation of what the experience of mental time travel is. In this paper, I suggest that a certain view about the content of memories can (...) shed some light on the experience of mental time travel. This is the view that, when a subject remembers some fact episodically, their memory represents itself as coming from a perception of that fact. I propose that the experience of mental time travel in memory is the experience of representing one of the elements in this complex content, namely, the past perceptual experience of the remembered fact. In defence of this proposal, I offer two considerations. Firstly, the proposal is consistent with the idea that memories enjoy a temporal phenomenology (specifically, a feeling of pastness). Secondly, the proposal is consistent with the possibility that some of our other cognitive capacities might yield an experience of mental time travel which can be oriented towards the future. I argue that the received conception of mental time travel is in tension with those two ideas. (shrink)

Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential generalization (EG, for short) as well. Quine thinks that its “solution” in epistemic and doxastic contexts, which relies on the notion of exportation, leads to undesirable results. But epistemic logicians such as Jaakko Hintikka and Wolfgang Lenzen provide another solution based on a different diagnosis: opacity is not, as in Quine’s view, due to the absence of reference, it is rather due (...) to the plurality of references; therefore, one must stabilize the reference to restore SI and EG. However, Hintikka’s semantics remains classical in its treatment of existence, which makes EG non-applicable to possible objects, while in Lenzen’s system, EG is applicable by means of a particular quantifier. But this requires adding the predicate of existence to account for real objects. In this paper, I will show the advantages and disadvantages of both solutions and will end by providing an alternative approach to the problem of non-existent objects, which stays into the frame of possible worlds semantics, but introduces some more restrictions, eliminates the problematic predicate of existence, and applies a neutral quantifier to possible non-existent objects. (shrink)

In §§28-31 of his Grundgesetze der Arithmetik, Frege forwards a demonstration that every correctly formed name of his formal language has a reference. Examination of this demonstration, it is here argued, reveals an incompleteness in a procedure of contextual definition. At the heart of this incompleteness is a difference between Frege's criteria of referentiality and the possession of reference as it is ordinarily conceived. This difference relates to the distinction between objectual and substitutional quantification and Frege?s vacillation between the two.

In §§28-31 of his Grundgesetze der Arithmetik, Frege forwards a demonstration that every correctly formed name of his formal language has a reference. Examination of this demonstration, it is here argued, reveals an incompleteness in a procedure of contextual definition. At the heart of this incompleteness is a difference between Frege’s criteria of referentiality and the possession of reference as it is ordinarily conceived. This difference relates to the distinction between objectual and substitutional quantification and Frege’s vacillation between the two.

A number of puzzles about propositional attitudes in semantics and philosophy revolve around apparent referential dependencies between different attitudes within a single agent’s mental state. In a series of papers, Hans Kamp offers a general framework for describing such interconnected attitude complexes, building on DRT and dynamic semantics. I demonstrate that Kamp’s proposal cannot deal with referential dependencies between semantically conflicting attitudes, such as those in Ninan’s puzzle about de re imagination. To solve the problem I propose to (...) replace Kamp’s treatment of attitudes as context change potentials with a two-dimensional analysis. (shrink)

People use language to communicate their perceptions and conceptions of the world, and underlying this communication is the linguistic system that interacts with the human perceptual and conceptual machinery. This is supported by research on sentence comprehension among adults. This chapter examines theories of sentence processing in children and adults. It comments on a study John Trueswell et al. in which they demonstrated that five-year-old children appeared to be unable to use contextual cues to resolve ambiguity in sentences such as (...) “Put the frog on the napkin into the box.” Trueswell et al. explained this finding by arguing that children have limited working memory capacity that prevents them from using information from the context to disambiguate linguistic input. The chapter first discusses real-time sentence processing in adults before presenting a developmental account of sentence comprehension. It then considers the so-called Kindergarten-path Effect along with referential scenes, definite reference, and restrictive modifiers. It also looks at the effects of discourse and pragmatics on parsing by children and concludes with a discussion of the development of attention in children. (shrink)

In order to uphold the claim that referential intuitions are a reliable source of evidence for theories of reference, Machery et al. conducted an empirical research by testing truth-value judgments. First, we discuss a conceptual limitation of Machery et al. ’s experiment on truth-value judgments. Then, we present the data of an empirical survey that shows that people’s truth-value judgments are not congruent with their use of proper names. We explain why the results of our empirical research refute the (...) conclusions of Machery et al. ’s experiment on truth-value judgments. We conclude that referential intuitions are still problematic. (shrink)

Kaplan, Stalnaker and Wettstein all urge a two-stage theory of language whereon the propositions expressed by sentences are generated prior to being evaluated. A new ambiguity for sentences emerges, propositional rather syntactic or semantic. Kaplan and Wettstein then propose to explain Donnellan's referential/attributive ambiguity as simply being two-stage propositional ambiguity. This is tacitly seen as further confirmation for two-stage theory. Modal ambiguities are prime motivators for two-stage theory which distinguishes local from exotic evaluation to explain them. But if sentences (...) can be found which exhibit both modal and referential/attribute ambiguity, an apparent paradox arises for a two-stage account. The theory recognizes both singular and general propositions, in Kaplan's senses. But reflecting one sense of such a doubly ambiguous sentence, two-stage theory would seem to need a proposition both singular and general with respect to a definite description attributively used. Since modal operators will come into rendering the problem sentences, an obvious idea is to let scope distinctions rescue two-stage theory from the apparent paradox. But while a rescue based on multiple renderings is proposed, it is not strictly a scope rescue, though different scopes are involved. Readers are asked to trust the author on missing formalities of an intuitively transparent two-sorted modal language that is employed. Two-stage theorists explicitly oppose scope treatments of modal ambiguities seeing them as rivals. Stalnaker, in particular, argues against them. But his arguments are shown not to count against the proposed rescue, on which the anticipated rivalry proves to be minimal. (shrink)

Quine and Davidson employ proxy functions to demonstrate that the use of language (behaviouristically conceived) is compatible with indefinitely many radically different reference relations. They also believe that the use of language (behaviouristically conceived) is all that determines reference. From this they infer that reference is indeterminate, i.e. that there are no facts of the matter as to what singular terms designate and what predicates apply to. Yet referential indeterminacy yields rather dire consequences. One thus does wonder whether one (...) can hold on to a Quine--Davidson stance in semantics-cum-metaphysics and still avoid embracing referential indeterminacy. I argue that one can. Anyone adhering to the behaviouristic account pivotal to the Quine--Davidson stance is bound to acknowledge certain facts about verbal behaviour -- that some utterances are tied to situations, that some utterances are tied to segments in situations, that some predicates have non-contextualised conditions of application, and that use involves causal dependencies. The restrictions from these facts ensure that only reference relations generated by means of rather exceptional proxy functions are compatible with verbal behaviour. I conclude that this allows one to rebuff the Quine--Davidson argument for the indeterminacy of reference, as it were, from within. I moreover tentatively conclude that the line of thought laid out provides good reason for just about anyone to hold that there are facts about reference after all. (shrink)

Ronald Giere has argued that at its best science gives us knowledge only from different “perspectives,” but that this knowledge still counts as scientific realism. Others have noted that his “perspectival realism” is in tension with scientific realism as traditionally understood: How can different, even conflicting, perspectives give us what there is really? This essay outlines a program that makes good on Giere’s idea with a fresh understanding of “realism” that eases this tension.

In Spinoza’s system, the identity of mental modes and extended modes is suggested, but a formal argument for its truth is difficult to extract. One prima facie difficulty for the claim that mental and extended modes are identical is that substitution of co-referential terms in contexts which are specific to thought or extension fails to preserve truth value. Della Rocca has answered this challenge by claiming that Spinoza relies upon referentially opaque contexts. In this essay, I defend this solution (...) by analyzing what is required to establish that Spinoza recognizes referentially opaque contexts as part of his system One objection that has been made to Della Rocca’s account is that he only establishes the intelligibility, not the actuality, of such mode-identity. In this essay, I argue that the intelligibility of mode-identity is sufficient to establish the existence of opaque attribute-specific contexts. (shrink)

Dr Thrane makes an original contribution to one of the central topics in syntax and semantics: the nature and mechanisms of reference in natural language. He makes a fundamental distinction between syntactic analyses that are internal to the structure of a language and analyses of the referential properties that connect a language with the 'outside world' - and therefore derive in some sense from common human capacities for perceptual discrimination. Dr Thrane argues that the failure to make this distinction (...) and to attend separately to both kinds of analysis has vitiated previous general accounts of linguistic structure. The book focuses particularly on pronouns and on the role of determiners, quantifiers and other components of the noun phrase. Most of the data come from the modern Germanic languages, especially English, but Dr Thrane considers also the structural peculiarities of 'classifier languages' like Vietnamese. The book will be important for students of English language as well as for general linguists. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

In this paper my aim is to approach the referential¿attributive distinction in the interpretation of definite descriptions, originally discussed by Donnellan (1966), from a cognitive perspective grounded in Sperber and Wilson¿s Relevance Theory (Sperber and Wilson 1986/95). In particular, I argue that definite descriptions encode a procedural semantics, in the sense of Blakemore (1987), which is neutral as between referential and attributive readings (among others). On this account, the distinction between referential and attributive readings arises as a (...) result of the differing links that exist between different types of mental representation and the world, rather than as a result of the differing links between language and mental representations. (shrink)

In this paper my aim is to approach the referential–attributive distinction in the interpretation of definite descriptions, originally discussed by Donnellan, from a cognitive perspective grounded in Sperber and Wilson’s Relevance Theory. In particular, I argue that definite descriptions encode a procedural semantics, in the sense of Blakemore, which is neutral as between referential and attributive readings. On this account, the distinction between referential and attributive readings arises as a result of the differing links that exist between (...) different types of mental representation and the world, rather than as a result of the differing links between language and mental representations. (shrink)

This chapter examines the role of the situation model in referential processing and how it can link what appear to be incompatible results from studies of monologue and dialogue as well as studies of reading and visual-world eye tracking. It shows that data from experiments on pronoun resolution in reading indicate a two-step model, in which candidate antecedents for an anaphor are first identified on the basis of gender matching and number matching, then evaluated with respect to the overall (...) situation model. In similar visual-world studies, these stages are seemingly collapsed together, which can be explained in terms of differences in how the situation model is related to the text versus the visual display of potential referents. The chapter suggests that comparing these different types of studies can elucidate the processes of reference resolution. (shrink)

The Gödel–Artemov framework offered a formalization of the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic via classical proofs. In this framework, the intuitionistic propositional logic IPC is embedded in the modal logic S4, S4 is realized in the Logic of Proofs LP, and LP has a provability interpretation in Peano Arithmetic. Self-referential LP-formulas of the type ‘t is a proof of a formula ϕ containing t itself’ are permitted in the realization of S4 in LP, and if such formulas are indeed (...) involved, it is then necessary to use fixed-point arithmetical methods to explain intuitionistic logic via provability. The natural question of whether self-referentiality can be avoided in realization of S4 was answered negatively by Kuznets who provided an S4-theorem that cannot be realized without using directly self-referential LP-formulas. This paper studies the question of whether IPC can be embedded in S4 and then realized in LP without using self-referential formulas. We consider a general class of Gödel-style modal embeddings of IPC in S4 and by extending Kuznetsʼ method, show that there are IPC-theorems such that, under each such embedding, are mapped to S4-theorems that cannot be realized in LP without using directly self-referential formulas. Interestingly, all double-negations of tautologies that are not IPC-theorems, like ¬¬, are shown to require direct self-referentiality. Another example is found in IPC→, the purely implicational fragment of IPC. This suggests that the BHK semantics of intuitionistic logic is intrinsically self-referential. (shrink)