Definite Descriptions Research Articles

Free Definite Description Theory – Sequent Calculi and Cut Elimination

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of varying strength. For all presented calculi a constructive cut elimination is provided.

An Easy and Economical Way to Produce a Three-Dimensional Bone Phantom in a Dog with Antebrachial Deformities.

Simple SummaryAccurate planning, for corrective surgeries in case of bone cutting, is necessary to obtain a precise coordination of the skeleton and to achieve the owner’s satisfaction. The present experiment displays a simple and cost-effective technique for surgical planning, utilizing a 3-D bone phantom model in a dog with foreleg deformity. 3-D surgical planning for restorative osteotomy is costly and time-consuming because surgeons need to be helped from commercial companies to get 3-D printed bones. However, practitioners can save time and keep the cost to a minimum by utilizing free software and establishing their 3-D printers locally. Surgical planning for the corrective osteotomy of antebrachial growth deformities (AGD) is challenging for several reasons (the nature of the biapical or multiapical conformational abnormalities and lack of a reference value for the specific breed). Pre-operative planning challenges include: a definite description of the position of the center of rotation of angulation (CORA) and proper positioning of the osteotomies applicable to the CORA. In the present study, we demonstrated an accurate and reproducible bone-cutting technique using patient-specific instrumentations (PSI) 3-D technology. The results of the location precision showed that, by using PSIs, the surgeons were able to accurately replicate preoperative resection planning. PSI results also indicate that PSI technology provides a smaller standard deviation than the freehand method. PSI technology performed in the distal radial angular deformity may provide good cutting accuracy. In conclusion, the PSI technology may improve bone-cutting accuracy during corrective osteotomy by providing clinically acceptable margins.

Reference and incomplete descriptions

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing.

Weather predicates, binding, and radical contextualism

The implicit content indicating location associated with “raining” and other weather predicates is a definite description meaning “the location occupied by x,” where the individual variable “x” can be referential or bound. This position has deleterious consequences for certain varieties of radical contextualism.

Biological taxon names are descriptive names.

The so-called 'type method' widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names (the 'DN account'). A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form "the taxon whose type is t". Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte's de dicto necessary sentence "Necessarily, any species with a type specimen contains its type specimen". Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber.

Is that Different from the?

English is a language with overt morphological representations of articles. On the other hand, Malay and Mandarin Chinese have none. In Malaysia, pupils are exposed to English articles as early as four years old. Despite early exposure, articles, or the definite article the specifically, appear to be a marked grammatical property for Chinese-speaking and Malay-speaking learners, two languages without articles. Based on the Fluctuation Hypothesis and Article Choice Parameter, this study seeks to investigate and compare the role of first language (L1) transfer on the article acquisition of the 77 L1 Chinese and 116 L1 Malay ESL learners, who were teacher trainees recruited from three teachers’ training institutes in Malaysia. The respondents were tested utilising a production task and a comprehension task. The statistical analyses of the participants’ performance revealed that only the advanced and intermediate groups of both L1 Chinese and L1 Malay ESL learners registered clear distinctions between the usage in the ‘Unique and salient’ and ‘Unique and non-salient’ categories and that usage in the ‘Non-unique’ category. The high accuracy rates suggest that L1 lexical transfer contributed to the positive performance by the ESL learners. The advanced and intermediate L1 Chinese and L1 Malay learners continuously interpreted the singular definite descriptions as referring to uniquely immediate salient entities similar to the demonstrative descriptions, making interpretations of the and that seemed similar.

Definiteness, Uniqueness, and Maximality in Languages With and Without Articles

AbstractWe present a number of experiments testing influential hypotheses about the meaning of definite descriptions (in languages with articles, represented here by German) and bare nominals (in articleless languages, represented here by Russian). Our results are in line with the commonly entertained hypothesis that definite descriptions convey uniqueness (if singular) or maximality (if plural), but fail to support two hypotheses about bare nominal interpretation, namely that singular bare nominals convey uniqueness ( Dayal 2004) and that topical bare nominals convey uniqueness/maximality ( Geist 2010, among many others). Uniqueness or maximality inferences are expected to arise via covert type-shifting under these approaches. Our results are compatible with what we take to be the null hypothesis, namely that bare nominals in articleless languages are existential and free of presuppositional semantics, even if they correspond—in their use—to definite descriptions ( Heim 2011).

Kripkeans of the world, unite!

Abstract This paper revisits a study by Machery et al. (2004), suggesting that, in experimental versions of Kripke’s (1980) fictional cases on the use of proper names, Westerners are more likely than East Asian participants to show intuitions compatible with Kripke’s causal-historical (CH) theory of reference. We conducted two experiments, recruting participants from Norway and Bangladesh, either in English (experiment 1; N = 75) or in the participants’ native languages (experiment 2; N = 60), using modified cases and a new approach to data analysis. We replicated the results of Machery et al. (2004), but we show that the residual finding—i.e., that participants who are not aligned with CH produce responses consistent with a definite descriptions (DD) theory of reference—does not hold. Most participants in our experiments, and nearly all those who do not provide CH answers, respond as predicted by a theory that accommodates speaker’s reference in reasoning about uses of proper names, not according to DD. We suggest that cross-cultural variation in this task is real. However, explanations of variation within or across cultures need not invoke competing theories of reference (CH vs DD), and can be unified within a single, broadly Kripkean analysis that honors the basic distinction between semantic reference and speaker’s reference.

The Pronominal Element in Arabic Copular Clauses

In Arabic, a pronominal element (PE) (Note 1) appears in almost all copular clause types, specifically the specificational, identificational, and identity clauses, as well as in clauses with a post-copular definite description. It is obligatory in an identity clause consisting of proper nouns and is otherwise optional. However, the PE cannot be used in Arabic predicational clauses. This paper examines the nature of this PE, why it is illicit in the predicational clause and licit in all other types, and why it is obligatory only in the identity clause consisting of proper nouns and is otherwise optional. It suggests that the PE is a realization of the F head (the identity predicate) in the structure of the identity clause. The illicit use of the PE in the predicational clause follows from the presence of predicative expressions in this type of clause. Lastly, it is shown that the PE is obligatory only in an identity clause involving proper nouns to avoid ambiguity, and is otherwise optional.

'God' the name

The word ‘God’ is typically thought to be a proper name, a name of a defined entity. From another position it appears to be a description that is fundamentally synonymous to ‘the first of all causes’, or ‘the font et origo of the structure of possibilities’, or ‘the provenience of being’, or ‘the generator of existence’. This lends credence to the view that ‘God’ is a truncated definite description. However, this article proposes that ‘God’ is a name given to whatever is that which is the first of all causes, the font et origo of the structure of possibilities, the provenience of being, the generator of existence. If so, then it is a descriptive name. Yet even among descriptive names ‘God’ is unique, for it is neither convertible to a proper name (unlike ‘Neptune’), nor to a definite description (unlike ‘Jack the Ripper’ and ‘Deep Throat’). ‘God’ is an inveterate descriptive name.

Presupposition Triggers of Teacher Talk in Higher Education

The present study is aimed at investigating the way of presupposition triggers realized in the lecturer talk. This qualitative research is conducted in English class of the State Institute for Islamic Studies (IAIN) Salatiga by purposive sampling. The present study serves reading class recordings as the data. Reading class was chosen for the reason of similar process in making prediction on reading, i.e. schemata theory, with presumption on presupposition. It is equipped by observation and documentation in order to enhance confidence in the ensuing findings. The finding shows that presupposition triggers realized by the several categories; they are definite description, factive verb, implicative verb, change of state verb, iterative, verb of judging, temporal clause, comparison and contrast, non-restrictive relative clause, and question. The most frequent used category is definite description, with the simple structure of possessive construction and definite noun phrase. Another important result is the preference to use question as the next favored triggers.

The production and comprehension of referring expressions: Definite description

AbstractThis paper examines the topic of reference from the perspective of the production and comprehension of definite descriptions. We begin by reviewing evidence that the processes underlying reference production and comprehension are incremental. We then examine how the descriptive content of definite descriptions is selected and processed against a rich context that contains both visual and linguistic information, finding gradient effects that need to be combined. We also discuss the nature of referential domains, concluding that a definite description is not interpreted relative to a single referential domain and is instead influenced by two (and possibly more) domains whose influence is combined. The range of these findings calls for a probabilistic framework of reference that can accommodate gradient patterns.

Who’s Sitting in That Chair? Multiple Failing Presuppositions and Truth-Value Judgments

The sentences that contain empty definite descriptions are sometimes perceived to be truth-valueless and sometimes perceived to be false. Strawson offered an account of this phenomenon. However, his proposal is empirically inadequate, as shown by von Fintel. von Fintel proposes an alternative account based on a mechanism of belief revision. In this paper, I argue that sentences with multiple failing presuppositions pose a problem for von Fintel’s account. Furthermore, I discuss two variants of von Fintel’s theory proposed by Elbourne to see whether they fare any better than the original. The second variant yields an incorrect prediction for the cases at hand. However, the first variant can account for the problematic examples if the false presuppositions are processed in turn. I will propose a revision of this variant that enforces distinct applications of the mechanism for each presupposition.

Presuppositions as pragmemes: The case of exemplification acts

AbstractThis paper is an example of how contextual information interacts with the interpretation of noun phrases (NPs) in discourse. When we encounter an NP escorted by the definite article or a proper name, the expectation is triggered that the speaker is referring to some referent x that the hearer can normally identify. Strawson and Russell have agreed that a referent must be associated with a definite description so that the assertion containing it can be said to be true. In the case where a description does not refer to anything, the assertion is considered by Russell to be false, while Strawson says that the issue of truth or falsity does not arise. In this paper, we examine a case in which contextual information interacts with the interpretation of NPs in discourse and the hearer is not expected to identify a referent when hearing a proper name. In this case, the issue of truth or falsity does not arise, because the hearer does not identify the referent. In fact, s/he does not intend for the discourse to about a referent at all. These situations are primarily represented by sentences uttered during the course of a grammar lecture, in which the lecturer is explaining a rule of language and does not focus on external reality. The hearers are aware of this focus and do not process the NP (in general a proper name) to identify a specific referent. This discourse is of three types, which will be discussed at the end of this paper.

Deixis, demonstratives, and definite descriptions

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus more likely to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non-redundancy condition (that the overt noun phrase complement of a demonstrativemay not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives.

Computational Psycholinguistics

Computational Psycholinguistics

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INF℩ of intuitionist negative free logic extended by such a quantier, which was presented in [4], INF℩ is first compared to a system of Tennant's and an axiomatic treatment of a term forming ℩ operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INF℩ in which the G of ℩x[F;G] is restricted to identity. INF℩ is then compared to an intuitionist version of a system of Lambert's which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.

The Use of Presuppositions in the Short Story of Zilkê Şixatê (Matchstick)

This study explores the use of presuppositions in the Kurdish short story, Zilkê Şixatê (The Matchstick), which is written in Northern Kurmanji dialect (hence, NK) by Isma’il Hajani. It attempts to determine which type of presupposition is the most recurring one in the short story and why it is so. The data in this study are analyzed descriptively and qualitatively. Yule’s (2006) classification which divides presupposition into six types has been employed: existential, factive, non-factive, lexical, structural, and counterfactual. The data of the research are sentences which contain presupposition triggers (i.e. linguistic forms to mark presuppositions). Applying the formula presented by Oktoma and Mardiyono (2013: 79), the results obtained throughout this paper show that different types of presuppositions have different percentages from the total number of presuppositions. They are (94) in number. It is noted that the most dominant type of presupposition used in the short story is the existential presupposition, manifesting definite descriptions of facts about real life, while the structural presuppositions have the lowest percentage. This shows that much of the story text is written to definitely describe the main theme, the characters and the events as they are. Finally, this study is particularly important because no other such studies have been conducted on the use of presuppositions in any literary work in NK. Therefore, this study occupies a crucial place in the research literature into pragmatic aspects of NK.

Definite descriptions of events: progressive interpretation in Ga (Kwa)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain.

Spatial analysis of hotspot data for tracing the source of annual peat fires in South Sumatera, Indonesia

Forest and land fires in Indonesia have become the main national and global concern for the last decade. This disaster can cause enormous losses in the economic, social and environmental sectors because it occurs almost every year. The cause of these fires was always strongly believed to be of human activities (anthropogenic). A definite description of what activities most often cause fire incidences can be approximated by pointing out the initial fires that can be than correlated with kinds of activities that ignited the fires. The initial fires can be traced from hotspot data. Therefore, this study aimed to seek the initial fire locations in South Sumatera where there are activities of both small-scale farmers and big-scale industrial plantations on peatland and the adjacent non-peat areas. Daily hotspot data (MODIS) from 2014 to 2018 with a confidence level of more than 80% of the South Sumatra wetland areas were used in this study. The result showed that the initial hotspots mostly detected on floodplains and coastal plains that are adjacent to the peatland that is called here as transitional land. The local community in these locations generally utilizes the land for rice or seasonal plant cultivation by burning the land (Sonor culture).