Definite descriptions are expressions of the form `the F'. The present entry begins by explaining Russell's theory of definite descriptions, according to which `The F is G' means `There is exactly one F and it is G'. It then discusses the alternative theories of Frege and Carnap, two influential criticisms by Strawson and Donnellan, and some formalisations of theories of definite descriptions building on Hintikka's and Lambert's work in free logic.

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)

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.

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)

We present a statistical analysis of the realization of definiteness in Tunisian Arabic (TA) texts written in Arabizi, a hybrid system reflecting some features of TA phonetics (assimilation), but also showing orthographic features, as the use of arithmographs. In §1, we give an overview of definiteness in TA from a semantic and syntactic point of view. In §2 we outline a typology of definite articles and show that TA normally marks definiteness with articles or similar devices, but also presents zero-markings (...) or weak definites. In §3 we discuss TA and how definiteness is instantiated in TA. In §4, we present data from the Tunisian Arabizi Corpus (TAC), a multidisciplinary work with a hybrid approach based on dialectological questions, corpus linguistics standards, and deep learning techniques. In §5 we define the behavior of TA with respect to what we observed in §1, §2 and §3, describing our TAC-based analysis. (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)

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)

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)

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)

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)

The place of matter in the definition of the sensible substance evolves over the course of Metaphysics books Z and H : whereas chapters 10 and 11 of book Z claim that matter must be excluded from the definiens of the sensible substance, chapter 2 of book H claims that it must include it. The present article will show that this difference in doctrine comes from a refinement of the way in which the causal priority of form is expressed (...) in the definition. First, in book Z, it is expressed by a reduction of the terms of the definiens to « parts of the form » only, a reduction which is immediately considered superfluous and unsatisfactory. In book H then, it will be by the position it occupies as a predicate of the matter that is precisely meant to express this priority. In this sense, the two sets of texts do not constitute a theoretic volte-face from Aristotle, but the refinement of a single model of definition expressing the priority of form. (shrink)

The complex issue of fake news has been approached extensively by many disciplines in academia. Despite this variety of approaches, the concept of fake news still lacks a reasonable degree of definitional unicity. This paper critically analyzes a sample of definitions from the current literature. By diving into the set of definitions, it will exhibited a total of ten necessary conditions that scholars generally consider: imitation, falsity, deception, bullshit, purpose, morality, assessability, virality, channel, and appeal. Current definitions of fake news (...) have certain blindspots and leave too much leeway for interpretation. This leeway is utterly problematic because it creates a grey zone in which articles are left stranded halfway between fake news and factual news articles. However, it has the crucial advantage of opening up new epistemic paths of inquiry regarding fake news. As a conclusion, we will summarize the conditions one can accept or reject to define fake news. (shrink)

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)

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)

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

The most successful science on the Aristotelian model was geometry in the style of Euclid. As advocated in the Posterior Analytics, Euclid’s Elements laid out geometry as a structure of theorems deduced from definitions and axioms that were evident to reason. However, geometry deals with the category of quantity, whereas Aristotelian definitions are paradigmatically in the category of substance. This chapter argues that definitions in the category of quantity have fulfilled well the Aristotelian ideal of stating the essence of ‘what (...) a thing is’, in such a way as to support a superstructure of demonstrations about that thing. Euclid’s definition of circle is a prime example: it is philosophically satisfying and from the first theorem of the Elements proved itself very productive of theorems. As this chapter demonstrates, the definition of ratio was more difficult. Euclid stands at the end of a long search for a definition of ratio, one of the most central notions of mathematics, that is both philosophically satisfying and mathematically productive. The search was not wholly successful. (shrink)

This essay explores the meaning of Kant's transcendental definition of pleasure and displeasure. I will explain the meaning of "definition" and "transcendental" respectively in relation to the feeling of pleasure and displeasure, contrasting with the interpretations of Guyer (2018) and Deimling (2018). Not only will I show how they are wrong, but I will also offer reasons for their misinterpretations. This essay proposes that the transcendental definition of pleasure and displeasure bears more systematic significance in Kant's philosophy (...) than previous researchers might have thought. My analysis also leads back to Kant's conception of the anthropological relation between life, desire, and pleasure. (shrink)

The JTB definition of knowledge has been shown by Gettier to be incomplete: its three conditions are necessary for knowledge, but not sufficient. We argue that the JTB definition can be completed with a very simple fourth condition, namely that the justification for the belief in p must be sufficient to exclude ¬p. It is shown that the resulting JTB+S definition solves the Gettier problem.

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)

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)

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)

There have through history been many attempts to define 'life' but there is no generally accepted definition of 'life' at this date. As a result, some have come to believe that defining 'life' is not a fruitful endeavour. This seems to be a minority view, however, since the quest to find or create a definition of 'life' is as active as ever.

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)

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 article aims to fill this gap. It offers a precise characterisation of assertoric commitment, and applies it 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)

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

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)

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 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 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)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι 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 quantifier, which was presented in (...) (Kürbis 2019), 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. (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 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)

This paper considers what function—if any—colocation of bodies may have in the Stoic theory of blending (κρᾶσις), by examining (1) whether colocation is part of the definition of what blending is; and (2) whether colocation is posited by the Stoics as a requirement necessary for the definition to be satisfied. I reconstruct the standard, Chrysippean definition of blending, and I show that the answer to (1) is ‘no’; further, I argue that the evidence gives no reason to (...) affirm (2). Thus, it appears that colocation does not have a central function in the Stoic theory of blending. (shrink)

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim (...) is not a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (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.

In this paper we analyze the uses and misuses of argumentation schemes from verbal classification, and show how argument from definition supports argumentation based on argument from verbal classification. The inquiry has inevitably included the broader study of the concept of definition. The paper presents the schemes for argument from classification and for argument from definition, and shows how the latter type of argument so typically supports the former. The problem of analyzing arguments based on classification is (...) framed in a structure that reveals the crucial role it plays in the persuasion process. The survey of the literature includes the work of Hastings, Perelman, Kienpointner and Schiappa, but still finds much of value in Aristotle. Lessons drawn from Aristotle’s Topics are shown to be useful for developing new tools for assessing definitions and arguments from definition. (shrink)

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

I flag what seem to me to be some minor concerns about Joel Smith’s definition of empathy, but maybe they are important to someone.

There are about 100 different contradictory definitions of life. The definition of life based on symbiosis that is presented here differs fundamentally from them; it gives life a value. So this definition offers a basis for ethical and legal action e.g. in organ transplants. It is based on principles and is not an ad hoc model: Significant processes for life are basis for a theoretical concept. Quality criteria for definitions are employed to control the concept. There is a (...) graduation, not a clear division, between inanimate and animate. The graduation is based on the amount of symbiosis to be found. Life is based on symbiosis. The ideas of “ethics” and “reality” are considered in the context of this definition. (shrink)

The conclusion of this chapter is that higher-order vagueness is universal: no sentence whatsoever is definitely true, definitely definitely true, definitely definitely definitely true, and so on ad infinitum. The argument, of which there are several versions, turns on the existence of Sorites sequences of possible worlds connecting the actual world to possible worlds where a given sentence is used in such a way that its meaning is very different. The chapter attempts to be neutral between competing accounts of the (...) nature of vagueness and definiteness. (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)

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.

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

Most modern definitions of art fail to successfully address the issue of the ever-changing nature of art, and rarely even attempt to provide an account that would be valid in more than just the modern Western context. This article develops a new theory that preserves the advantages of its predecessors, solves or avoids their problems, and has a scope wide enough to account for art of different times and cultures. It argues that an object is art in a given context (...) iff some person culturally competent in this context have afforded it the status of a candidate for appreciation for reasons considered good in this context. This weakly institutional view is supplemented by auxiliary definitions explaining the notions of cultural contexts, competence, and good reasons for affording the status. The relativisation to contexts brings increased explanatory power and scope, and the ability to account for the diversity of art. (shrink)

The concept of Generative Artificial Intelligence (GenAI) is ubiquitous in the public and semi-technical domain, yet rarely defined precisely. We clarify main concepts that are usually discussed in connection to GenAI and argue that one ought to distinguish between the technical and the public discourse. In order to show its complex development and associated conceptual ambiguities, we offer a historical-systematic reconstruction of GenAI and explicitly discuss two exemplary cases: the generative status of the Large Language Model BERT and the differences (...) between protein structure predictions from AlphaFold 2 and 3. Our analysis shows that there is no unique and unambiguous definition of GenAI based on a purely technical account of the term. Following this conclusion, we argue that the public discourse is not simply a less complex way of speaking, but instead transcends its technical basis. As a means to structure this newly emerging discussion landscape we introduce a non-exhaustive list of four central aspects of GenAI: (multi-)modality, interaction, flexibility, and productivity. These dimensions constitute a first step towards defining GenAI beyond its technical basis. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

The paper leans on a movie cult from the 1960s, Blow-Up (1966) by Michelangelo Antonioni, of which a famous sequence is often mentioned, the one in which the protagonist, the photographer Thomas (considered here as a "conceptual character"), repeatedly enlarged the photographs he made in a park, in order to find an answer to the mystery surrounding the murder of a man: magnification which leads, on the one hand, to a gradual loss of definition of images, with the grain (...) of the picture becoming more and more evident, but also, on the other, in the emergence, from the very material of the print, of a fundamental detail that will help solve the mystery. What interests is the link between indicative referentiality and evidence documentary, between degrees of definition and authentication powers. The paper also analyzes the links that intertwine, in the film, between the photographs of Thomas (by Don McCullin) and paintings painted by another character of the movie, Bill (directed by Ian Stephenson), but also, outside the film, with all a series of examples from artistic production and visual culture of the time: very low definition images of the Kennedy assassination in Dallas (the famous Zapruder Film), the portrait of Lee Harvey Oswald directed by Sigmar Polke by simulating the halftone technique, the war photographs of Don McCullin and David Bailey's Fashion Photographs, Random Earths Studies by Mark Boyle and Joan Hills, Materialologies and Texturologies by Jean Dubuffet, as well as Zen for Film by Nam June Paik. Fimiani's text addresses also two contemporary installations which have tried to return to the issues from the photographic sequence of Antonioni's film: Blow-Up Blow-Up (2010) by Joan Fontcuberta and Portrait Landscape (from the Object Classifier series) (2015) by John Houck, an installation in which photograms of Blow-Up are analyzed through facial recognition software. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...) term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence (...) of objects, which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)