In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

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)

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.

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)

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)

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)

Definition, conditions and bearers of being a person - three philosophical aporias. -/- In this article I examine the philosophical question of how to define the concept of the person in a non-arbitrary way, how to find out the determining conditions of being a person and how to enumerate the bearers of being a person. I come to the conclusion that the question of a non-arbitrary definition, of the essential conditions and of the bearers of being a person has not (...) yet been clarified; it is not sufficiently clear what we actually mean or should mean by "person" - beyond conventions, disciplinary boundaries and doctrines. This results in three philosophical aporias of the concept of the person. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

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

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.

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)

Davies presents the reader with a sterling review of the literature--the recent history of the interest in defining "art" through the writings of Anglo-American philosophers that follow Morris Weitz' well-known 1956 essay, "The Role of Theory in Aesthetics"--and a stimulating discussion of the role of conventions in the making and appreciating of contemporary art. His emphasis on the social nature of art leads one to wonder how other recent inquiries into the multilayered contextually of the artistic enterprise might fare under (...) his perusal, for example, feminist critiques of traditional definitions of "art," challenges to the elitist makeup of the Artworld, . . . and opposition to his very choice of paradigms: in addition to Duchamp, the "hard cases" include works by John Cage, Andy Warhol, Olivier Messiaen, Jorge Luis Borges, and Gerald Hoffnung. Definitions of Art is essential reading for anyone interested in the history of aesthetics and as it informs the current dialectic on art. (shrink)

The current IASP definition of pain has come under renewed criticisms recently. There is a new momentum for its revision as reflected by the fact that IASP has now a Presidential Task Force dedicated to look into whether there is enough warrant to update the definition. I critically review all the major criticisms of the current definition in detail, and raise new difficulties rarely discussed before. I show that none of the major criticisms has enough warrant to force us to (...) substantially revise the current definition. Combined with the discussion of the new difficulties, there is nonetheless a need to restate the definition using slightly different terminology that will make the original intent of the current definition clearer and more precise. A restatement of the definition is proposed and its potential is discussed in light of some empirical questions that remain. [The IASP Council has now approved a revised definition and published its rationale here: Pain 2020 Sep 1; 161(9), pp. 1976–1982. The new definition follows (most of) my recommendations.]. (shrink)

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...) contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

DEFINITIONAL DICTIONARY OF LOGIC -/- 2009 -/- Complied by -/- Dr Desh Raj Sirswal -/- .

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)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated (...) with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Although epistasis is at the center of the Fisher-Wright debate, biologists not involved in the controversy are often unaware that there are actually two different formal definitions of epistasis. We compare concepts of genetic independence in the two theoretical traditions of evolutionary genetics, population genetics and quantitative genetics, and show how independence of gene action (represented by the multiplicative model of population genetics) can be different from the absence of gene interaction (represented by the linear additive model of quantitative genetics). (...) The two formulations converge with weak selection but not with strong selection or, for multiple loci, when the aggregated interaction terms are not negligible. As a result of the different formulations of gene interaction, the presence or absence of linkage disequilibrium,/D/, does not necessarily indicate the presence or absence of fitness epistasis. Indeed, linkage disequilibrium is generated in ‘additive’ models in quantitative genetics whenever two (or more) loci experience simultaneous selection. As a research strategy, it is often practical, for theoretical or experimental reasons, to minimize gene interaction by assuming independence of gene action in regard to fitness, or by assuming linear additive effects of multiple loci on a phenotype. However, minimizing the role of epistasis in theoretical investigations hinders our understanding of the origins of diversity and the evolution of complex phenotypes. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative structure of (...) PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Frege and Peano started in 1896 a debate where they contrasted the respective conceptions on the theory and practice of mathematical definitions. Which was (if any) the influence of the Frege-Peano debate on the conceptions by the two authors on the theme of defining in mathematics and which was the role played by this debate in the broader context of their scientific interaction?

The following articke studies the definitions of sarcasm, its usage in literature, in educational system, and its pros and cons.

In the last several decades, a confluence of work in the social sciences, philosophy, statistics, and computer science has developed a theory of causal inference using directed graphs. This theory typically rests either explicitly or implicitly on two major assumptions.

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)

The professor of psychopathology Simon Baron-Cohen is well-known for his thesis that males are on average better at systematizing than empathizing and females are on average better at empathizing than systematizing. In this paper, I note an ambiguity in how he defines systematizing.

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)

To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

Machery et al. presented data suggesting the existence of cross-cultural variation in judgments about the reference of proper names. In this paper, we examine a previously overlooked confound in the subsequent studies that attempt to replicate the results of Machery et al. using East Asian languages. Machery et al. and Sytsma et al. claim that they have successfully replicated the original finding with probes written in Chinese and Japanese, respectively. These studies, however, crucially rely on uses of articleless, ‘bare noun (...) phrases’ in Chinese and Japanese, which according to the linguistic literature are known to be multiply ambiguous. We argue that it becomes questionable whether the extant studies using East Asian languages revealed genuine cross-cultural variation when the probes are reevaluated based on a proper linguistic understanding of Chinese and Japanese bare noun phrases and English definite descriptions. We also present two experiments on native Japanese speakers that controlled the use of ambiguous bare noun phrases, the results of which suggest that the judgments of Japanese speakers concerning the reference of proper names may not diverge from those of English speakers. (shrink)

In this paper, I try to define literary pastiche and present five uses of the practice. The appendix briefly presents a response I anticipate from Davidsonians to Michael Morris on alternative conceptual schemes.

The question of how to demarcate science from pseudo-science commands relatively little attention today. In the philosophy of logic, by contrast, the problem of demarcating the logical constants is less skeptically regarded. In aesthetics, where the problem is how to demarcate art from non-art, the question as to whether the problem is a real one or a pseudo-problem also continues to be debated. This paper discusses the hypothesis that the demarcation questions in these three areas are parallel, or at least (...) similar enough to be interesting. Some arguments for the conclusion that the demarcation problem is a pseudo-problem are considered, as are some demarcation proposals of a deflationist or minimalist sort. All are found wanting. (shrink)

Debates over the reality of race often rely on arguments about the connection between race and science—those who deny that race is real argue that there is no significant support from science for our ordinary race concepts; those who affirm that race is real argue that our ordinary race concepts are supported by scientific findings. However, there is arguably a more fundamental concern here: How should we define race concepts in the first place? The reason I claim that this definitional (...) question is more fundamental is that our handling of the underlying definitional problem often determines the scientific support our ordinary race concepts need, and importantly the likelihood of finding such support. In short, the defini- tional question, “How do we define race?” often undercuts the question of whether race is scientifically meaningful. (shrink)

Self-awareness represents the capacity of becoming the object of one’s own attention. In this state one actively identifies, processes, and stores information about the self. This paper surveys the self-awareness literature by emphasizing definition issues, measurement techniques, effects and functions of self-attention, and antecedents of self-awareness. Key self-related concepts (e.g., minimal, reflective consciousness) are distinguished from the central notion of self-awareness. Reviewed measures include questionnaires, implicit tasks, and self-recognition. Main effects and functions of self-attention consist in selfevaluation, escape from the (...) self, amplification of one's subjective experience, increased self-knowledge, self-regulation, and inferences about others' mental states (Theory-of-Mind). A neurocognitive and socioecological model of self-awareness is described in which the role of face-to-face interactions, reflected appraisals, mirrors, media, inner speech, imagery, autobiographical knowledge, and neurological structures is underlined. (shrink)

G.E. Moore alludes to a notion of consciousness that is diaphanous, elusive to attention, yet detectable. Such a notion, I suggest, approximates what Bina Gupta has called `witness-consciousness'--in particular, the aspect of mode-neutral awareness with intrinsic phenomenal character. This paper offers a detailed definition and defence of the appearance and reality of witness-consciousness. While I claim that witness- consciousness captures the essence of subjectivity, and so must be accounted for in the `hard problem' of consciousness, it is not to be (...) confused with the more commonly defended notion of `for-me-ness'. (shrink)

In this paper, which discusses data from Gargano Apulian Italo-Romance, I propose that prepositional and non-prepositional genitives are fundamentally two different types of phrases, and that the interpretation of a non-prepositional noun as the possessor is not due to a silent preposition or head-modifier inversion, but rather to an agreement mechanism taking place between the modifier and its head. We propose that, just as a genitive can agree with its head for gender and number features so it can for (...) class='Hi'>definiteness, and that agreement for definiteness yields a genitival interpretation of the non-prepositional noun. I.e., definiteness can externalize the syntactic relation between head and modifier. We also propose that in this Apulian variety, non-prepositional genitives are syntactic phases (Chomsky 2001), and that the same holds for non-prepositional ‘qualitative’ predicative phrases in the same language. This would explain the impossibility of accessing the phrase through syntactic operations such as extraction. DOI 10.1111/1467-968X.12229 . (shrink)

Bullshit is not the only sort of deceptive talk. Spurious definitions are another important variety of bad reasoning. This paper will describe some of these problematic tactics, and show how Harry Frankfurt’s treatment of bullshit may be extended to analyze their underlying causes. Finally, I will deploy this new account of definition to assess whether Frankfurt’s definition of bullshit is itself legitimate.

Does Aristotle offer a definition of the soul? In fact, he rejects the possibility of defining the soul univocally. Because “life” is a homonymous concept, so too is “soul”. Given the specific causal role that Aristotle envisages for form and essence, the soul requires multiple different definitions to capture how it functions as a cause in each form of life. Aristotle suggests demonstrations can be given which express these causal definitions; I reconstruct these demonstrations in the paper.

I årtusenden har människan försökt definiera livet – hur levande djur och växter skiljer sig från död materia. Problemet är dock att livet är mångfacetterat, och varje regel har sitt undantag. Vi försöker möta kommande utmaningar med nya livsformer, genom att lyfta fram en ny definition av liv.

The definition of nanoeconomics can relate to different levels and areas of economic life. First of all, this is the nanolevel of the economic system. As a human economy, nanoeconomics provides for the allocation of an individual factor within the framework of a socio-economic phenomenon. The nanoeconomic aspect is central to the definition of inclusion. So, the inclusion of a person, as the main subject of nanoeconomics, to the formation and stabilization of economic systems is the initial one in the (...) integration of an individual in relation to production processes and economic development. A person is involved in academic and social life by making decisions about their own business and integrating it into the sectoral and national economic space. It is proved that its indicators are the conditions for clustering the economic system. The study carried out a cluster analysis of the innovation system in a country with an economy in transition. In addition, the study outlined that inclusive phenomena in the economy are close to integration and are the opposite of segregation and isolation. It is noted that different institutions of integration can be used to form objective conditions for the development of babyeconomics. Public decisions of inclusion involve the use of Arrow's impossibility theorem. The research results can be used: – the individualistic functions of inclusion should be used in the formation of the babyeconomics, the human economy and the economy of nanotechnology; – states of inclusion must be created at all levels of the economic system; – a person and wealth are an individualistic aspect of an inclusive economy, because national wealth consists of individual wealth. Nanoeconomics is just beginning to be included in the systemic processes of inclusive economic phenomena, especially in countries with economies in transition. (shrink)

Although widely used across psychology, economics, and philosophy, the concept ofeffort is rarely ever defined. This article argues that the time is ripe to look for anexplicit general definition of effort, makes some proposals about how to arrive at thisdefinition, and suggests that a force-based approach is the most promising. Section 1presents an interdisciplinary overview of some chief research axes on effort, and arguesthat few, if any, general definitions have been proposed so far. Section 2 argues thatsuch a definition is (...) now needed and proposes a basic methodology to arrive at it, whosefirst step is to make explicit the various tacit assumptions about effort made acrosssciences and ordinary thinking. Section 3 unearths 4 different conceptions of effortfrom research on effort so far:primitive-feelings accounts,comparator-based accounts,resource-based accountsandforce-based accounts. It is then argued that the first 2kinds of accounts, although interesting in their own right, are not strictly speaking abouteffort. Section 4 considers the 2 most promising general approaches to efforts: re-source-based and force-based accounts. It argues that these accounts are not only compatible but actually extensionally equivalent. This notwithstanding, it explains why force-based accounts should be regarded as more fundamental than resource-basedaccounts -/- . (shrink)

The official definition of ‘pain’ by the International Association for the Study of Pain (IASP) hasn’t seen much revision since its publication in 1979. There have been various criticisms of the definition in the literature from different quarters: that the definition implies a dubious metaphysical dualism, that it requires a strong form of consciousness as well as linguistic abilities, that it excludes many vulnerable groups that are otherwise perfectly capable of experiencing pain, that it has therefore unacceptable practical as well (...) as ethical consequences, that it is unhelpful to the health-care professional as an operational definition, that it is too narrow, and many others. In my view, most of these criticisms depend on misunderstandings or on uncharitable interpretations. My aim is to go over the definition, clarify some potential ambiguities, and argue that these criticisms don’t cut much ice. At the end, I will present a few slightly reworded versions of the definition that I claim are more felicitous and capture the original intended meaning by the members of the taxonomic committee in a much better and transparent way that avoids all the major extant criticisms in the literature. (Written for interdisciplinary audiences.). (shrink)

In this paper, I show that, in a number of publications in the early 1950s, Margaret Macdonald argues that art does not admit of definition, that art is—in the sense associated with Wittgenstein—a family resemblance concept, and that definitions of art are best understood as confused or poorly expressed contributions to art criticism. This package of views is most typically associated with a famous paper by Morris Weitz from 1956. I demonstrate that Macdonald advanced that package prior to Weitz, indeed, (...) prior to any other philosopher of art of the period. Despite this, Macdonald’s contribution is nowhere to be found in the subsequent literature on the definition of art. In closing, I raise the prospect that Macdonald was in fact the primary influence on the development of Weitz’s critique of the definitional project. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.