The prototypes of definiteness and indefiniteness in English are the definite article the and the indefinite article a/an, and singular noun phrases (NPs)1 determined by them. That being the case it is not to be predicted that the concepts, whatever their content, will extend satisfactorily to other determiners or NP types. However it has become standard to extend these notions. Of the two categories definites have received rather more attention, and more than one researcher has characterized the category of definite (...) NPs by enumerating NP types. Westerståhl (1985), who is concerned only with determiners in the paper cited, gives a very short list: demonstrative NPs, possessive NPs, and definite descriptions. Prince (1992) lists proper names and personal pronouns, as well as NPs with the, a demonstrative, or a possessive NP as determiner. She notes, in addition, that “certain quantifiers (e.g. all, every) have been argued to be definite” (Prince 1992: 299). This list, with the quantifiers added, agrees with that given by Birner & Ward (1998, 114). Ariel (1988, 1990) adds null anaphoric NPs. (shrink)

The definition of art is controversial in contemporary philosophy. Whether art can be defined has also been a matter of controversy. The philosophical usefulness of a definition of art has also been debated. -/- Contemporary definitions can be classified with respect to the dimensions of art they emphasize. One distinctively modern, conventionalist, sort of definition focuses on art’s institutional features, emphasizing the way art changes over time, modern works that appear to break radically with all traditional art, the relational properties (...) of artworks that depend on works’ relations to art history, art genres, etc. – more broadly, on the undeniable heterogeneity of the class of artworks. The more traditional, less conventionalist sort of definition defended in contemporary philosophy makes use of a broader, more traditional concept of aesthetic properties that includes more than art-relational ones, and puts more emphasis on art’s pan-cultural and trans-historical characteristics – in sum, on commonalities across the class of artworks. Hybrid definitions aim to do justice to both the traditional aesthetic dimension as well as to the institutional and art-historical dimensions of art, while privileging neither. (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.

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.

The recent redefinition of 'planet' that excludes Pluto as a planet led to controversy that provides a case study of how competing scientific definitions can be supported by characteristic types of evidence. An argumentation scheme from Hastings is used to analyze argument from verbal classification as a form of inference used in rational argumentation. The Toulmin-style format is compared to more recently developed ways of modeling such cases that stem from advances in argumentation technology in artificial intelligence. Using these tools, (...) it is shown how argumentation schemes, in particular argument from verbal classification and argument from definition to verbal classification, apply to cases of scientific argumentation. (shrink)

I endeavour in this article to present Ibn Taymiyya's theory of nominal definition as an alternative to logical definition. Ibn Taymiyya argues that nominal definition is based on concrete principles that are subject to experiment. Furthermore, the function of definition is akin to the 'name' because it aims at distinguishing any one object from others but not at reaching the entity of things. Nominal definition aims to define the name or the named, and this aim can be achieved by translation (...) or by interpretation. Translation is the movement from one name to another or from one named object to another. Interpretation is movement from a name to a named object or from a named object to a name. (shrink)

Charles Stevenson introduced the term 'persuasive definition’ to describe a suspect form of moral argument 'which gives a new conceptual meaning to a familiar word without substantially changing its emotive meaning’. However, as Stevenson acknowledges, such a move can be employed legitimately. If persuasive definition is to be a useful notion, we shall need a criterion for identifying specifically illegitimate usage. I criticize a recent proposed criterion from Keith Burgess-Jackson and offer an alternative.

Linguistic predictions may be generated from and evaluated against a representation of events and referents described in the discourse. Compatible with this idea, recent work shows that predictions about novel noun phrases include their definiteness. In the current follow-up study, we ask whether people engage similar prediction-related processes for definite and indefinite referents. This question is relevant for linguistic theories that imply a processing difference between definite and indefinite noun phrases, typically because definiteness is thought to require a uniquely identifiable (...) referent in the discourse. We addressed this question in an event-related potential (ERP) study (N = 48) with preregistration of data acquisition, preprocessing, and Bayesian analysis. Participants read Dutch mini-stories with a definite or indefinite novel noun phrase (e.g., “het/een huis,” the/a house), wherein (in)definiteness of the article was either expected or unexpected and the noun was always strongly expected. Unexpected articles elicited enhanced N400s, but unexpectedly indefinite articles also elicited a positive ERP effect at frontal channels compared to expectedly indefinite articles. We tentatively link this effect to an antiuniqueness violation, which may force people to introduce a new referent over and above the already anticipated one. Interestingly, expectedly definite nouns elicited larger N400s than unexpectedly definite nouns (replicating a previous surprising finding) and indefinite nouns. Although the exact nature of these noun effects remains unknown, expectedly definite nouns may have triggered the strongest semantic activation because they alone refer to specific and concrete referents. In sum, results from both the articles and nouns clearly demonstrate that definiteness marking has a rapid effect on processing, counter to recent claims regarding definiteness processing. (shrink)

Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of AI4SG. (...) We introduce a database of AI4SG projects gathered using this benchmark, and discuss several key insights, including the extent to which different SDGs are being addressed. This analysis makes possible the identification of pressing problems that, if left unaddressed, risk hampering the effectiveness of AI4SG initiatives. (shrink)

Socrates' greatest philosophical contribution was to have initiated the search for definitions. In Definition in Greek Philosophy his views on definition are examined, together with those of his successors, including Plato, Aristotle, the Stoics, Galen, the Sceptics and Plotinus. Although definition was a major pre-occupation for many Greek philosophers, it has rarely been treated as a separate topic in its own right in recent years. This volume, which contains fourteen new essays by leading scholars, aims to reawaken interest in a (...) number of central and relatively unexplored issues concerning definition. These issues are briefly set out in the Introduction, which also seeks to point out scholarly and philosophical questions which merit further study. (shrink)

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

Survey of different definitions of lying and deceiving, with an emphasis on the contemporary debate between Thomas Carson, Roy Sorensen, Don Fallis, Jennifer Saul, Paul Faulkner, Jennifer Lackey, David Simpson, Andreas Stokke, Jorg Meibauer, Seana Shiffrin, and James Mahon, among others, over whether lies always aim to deceive. Related questions include whether lies must be assertions, whether lies always breach trust, whether it is possible to lie without using spoken or written language, whether lies must always be false, whether lies (...) that are unsuccessful are still lies, and whether deception must aim at creating false beliefs as opposed to preventing people from acquiring true beliefs. (shrink)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

Since its original publication in 1975, this groundbreaking work has awakened millions of people to the existence of "speciesism"—our systematic disregard of nonhuman animals—inspiring a worldwide movement to transform our attitudes to animals and eliminate the cruelty we inflict on them. In Animal Liberation, author Peter Singer exposes the chilling realities of today’s "factory farms" and product-testing procedures—destroying the spurious justifications behind them, and offering alternatives to what has become a profound environmental and social as well as moral issue. An (...) important and persuasive appeal to conscience, fairness, decency, and justice, it is essential reading for the supporter and the skeptic alike. (shrink)

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. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

. The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a principle for reasoning (...) on the basis of rule-based atomic definitions, proposed by Hallnäs and Schroeder-Heister. After presenting definitional reflection and the inversion principle, it is shown that the inversion principle can be formally derived from definitional reflection, when the latter is viewed as a principle to establish admissibility. Furthermore, the relationship between definitional reflection and the inversion principle is investigated on the background of a universalization principle, called the ω- principle, which allows one to pass from the set of all defined substitution instances of a sequent to the sequent itself. (shrink)

The purpose of this book is to clarify the concept of definition and improve defining activities.

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of taxon (...) names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

First published in Great Britain in 1948, this book examines the definition of goodness as being distinct from the question of _What things are good?_ Although less immediately and obviously practical, Dr. Ewing argues that the former question is more fundamental since it raises the issue of whether ethics is explicable wholly in terms of something else, for example, human psychology. Ewing states in his preface that the definition of goodness needs to be confirmed before one decides on the place (...) value is to occupy in our conception of reality or on the ultimate characteristics which make one action right and another wrong. This book discusses these issues. (shrink)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics of the (...) concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring commitment is (...) not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

Die einwandfreie Bestimmung der Begriffe ist die Grundlage einer jeden wissenschaftlichen Arbeit. Im Sinne der modernen Logik und Axiomatik hat erstmals Walter Dubislav die Methode des Definierens von Begriffen systematisch wie auch an Beispielen entwickelt. Sein Werk zeichnet sich durch klare Gedankenführung und didaktisches Geschick bei der Vermittlung philosophischer Sachverhalte aus, und es diskutiert alle einschlägigen Fragen, die sich dem an Methoden interessierten Wissenschaftler stellen. Es hat daher auch heute noch seinen systematischen Wert. Den gegenwärtigen Stand der Forschung im B...

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further argued that (...) presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (shrink)

Cognitive Science, Volume 46, Issue 2, February 2022.

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

First published in Great Britain in 1948, this book examines the definition of goodness as being distinct from the question of _What things are good?_ Although less immediately and obviously practical, Dr. Ewing argues that the former question is more fundamental since it raises the issue of whether ethics is explicable wholly in terms of something else, for example, human psychology. Ewing states in his preface that the definition of goodness needs to be confirmed before one decides on the place (...) value is to occupy in our conception of reality or on the ultimate characteristics which make one action right and another wrong. This book discusses these issues. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

"Distributed in the U.S.A. by Barnes & Noble, inc." Bibliography: p. [251]-257.

This book proposes guidelines for constructing and evaluating definitions of terms, i.e. words or phrases of general application. The guidelines extend to adoption of nomenclature. The book is meant to be a practical guide for people who find themselves in their daily lives or their employment producing or evaluating definitions of terms. It can be consulted rather than being read through. The book’s theoretical framework is a distinction, due to Robert H. Ennis, of three dimensions of definitions: the act of (...) the definer, the content of the definition, and its form. The act of a definer is what the definer does in defining a term; the book distinguishes, following Ennis, three basic acts of defining: reporting, stipulating, and advocating. The content of a definition is in one sense the information that the definition conveys and in another sense the words in its defining part. The form of a definition is the way it is expressed, for example as a definition by genus and differentia. (shrink)

Providing a precise definition of “religion”—or an analysis in terms of sufficient and necessary conditions of the concept of religion—has proven to be a difficult task, more so in light of the diverse types of practices considered religious by scholars. Here, I discuss Kevin Schilbrack’s recent definition of “religion”, elaborate it and raise several objections, one of which is based on a specific theory in philosophy of mathematics: mathematical realism.

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

Many characterizations of definiteness in natural language have been given. However a number of them converge on a single idea involving uniqueness of applicability of a property. This paper will attempt to do two things. One is to try to unify some of these current views of definiteness, seeing them as drawing out Gricean conversational implicatures of the uniqueness concept, and the other is to try a more articulated approach to dealing with some recalcitrant counterexamples. I will focus primarily, but (...) not entirely, on definite descriptions in English. (shrink)

We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...) constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations of $\exists \sum {\begin{array}{*{20}{c}} h \\ 0 \\ \end{array} } $ sentences. We also present an old but previously unpublished proof of the consistency of I∆₀ + ¬ exp + ¬BΣ₁ under the assumption that the size parameter in Lessan's ∆₀ universal formula is optimal. We then discuss a possible reason why proving the consistency of I∆₀ + ¬ exp + ¬BΣ₁ unconditionally has turned out to be so difficult. (shrink)