How "red", "green" were defined? Through analyzing how two children with congenitally inverted color sensations corresponding to red flags and green grass accept their grand mothers’ teaching about colors, the paper get opposite conclusions against logical empiricism. The “red” and “green” and other names of properties of objects were defined by objective physical properties (or together with behavior, such as in defining “beauty”), instead our sensations. So language directly points to things in themselves passing through sensations and presentative world. It (...) is not that things in themselves are unknowable, but that sensations and presentative world cannot be exactly described by daily language. (shrink)

People see five kinds of views in epistemology and ontology as hinging on there being words a person can learn only by private ostensive definitions, through direct acquaintance with his own sensations: skepticism about other minds, 2. skepticism about an external world, 3. foundationalism, 4. dualism, and 5. phenomenalism. People think Wittgenstein refuted these views by showing, they believe, no word is learnable only by private ostensive definition. I defend these five views from Wittgenstein’s attack.

Reflection Theory holds that our sensations reflect physical properties, whereas Empiricism believes that sense (data), presentations, and phenomena are the ultimate existence. Lenin adhered to Reflection Theory and criticized Helmholtz’s sensory symbolism for affirming the similarity between a sensation and a physical property. By using information and color vision theories, analyzing the ostensive definition with inverted qualia, and extending the relativity principle, this paper affirms the external world’s existence independent of personal sensations. Still, it denies the similarity between (...) a sense and a physical property. Then, it improves symbolism to analog symbolism and Reflection Theory to Information Reflection Theory. (shrink)

Kripke raises the question concerning how the reference to God might be fixed, and Augustine makes it the leading question of the Confessions: How can I call upon God and not someone else instead? In this paper, I argue that this question is the central concern of Anselm’s Proslogion, which explicitly adopts the dialogical form of Augustine’s Confessions. Anselm does not define God but instead fixes the reference to God through an ostension or indexical description. The same linguistic formulation, “God (...) is that than which nothing greater can be thought,” has three functions: as an ostension, it points out God as that being and not another; as a criterion for selection, it ostensibly picks out a referent that exists rather than not; finally, as a rule for analysis, it provides a principle to clarify the necessary properties of the God that has been so ostended. (shrink)

Penelope Mackie and Scott Soames argue, contrary to my Reference and Essence (R&E), that Hilary Putnam was correct that the direct-reference theory of natural-kind terms, taken in conjunction with empirical or otherwise uncontroversial premises, yields non-trivial essentialism, such as the conclusion that water is essentially two-parts hydrogen, one-part oxygen. A controversial distinction is drawn between rigid and non-rigid general terms. A new criterion for general-term rigidity is proposed, and Putnam’s ostensive definition of ‘water’ is reformulated accordingly to generate (...) the consequence that ‘water’ rigidly designates. Mackie and Soames propose a reformulation of Putnam’s ostensive definition that putatively yields the desired result. This reformulation, however, does not correctly explain the meaning of ‘water’ as a substance designator. Furthermore, if taken instead as a redefinition of ‘water’, the essentialism thereby generated is trivial. (shrink)

Finding the demarcation criterion for the identification of scientific knowledge is the most important task of normative epistemology. Pseudoscience is not a harmless leisure activity, it can pose a danger to the functioning of liberal democratic societies and the well-being of their citizens. First, there is an outline of how to define science instrumentally without slipping into the detrimental heritage of conceptual essentialism. The second part is dedicated to Popper’s falsification criterion and the objections of its opponents, which eventually led (...) to the abandonment of “naïve” falsificationism. Then I present two promising solutions to the problem, namely the ostensive definition of pseudoscience and the cognitive research of pseudoscientific thinking. In conclusion, I suggest to further extend the typology of alternatives to science to include parascience. (shrink)

The primary objective of this paper is to show that for later Wittgenstein, language cannot be based on a pre-linguistic foundation. Following closely on the tracks of the philosopher, it argues that none of the proposed foundations that are claimed to relate language to reality - viz. verbal definitions, ostensive techniques, mental images, quantitative measurement , Fregean thought or intention - is able to sustain its assumed pre-interpretive character. In a dense exegetical engagement with Wittgenstein, the paper lays out (...) that the hallowed pre-interpretive reference taken to underlie the varying modes of interpretations or descriptions is actually a grammatical interplay, where what seems to be the pre-interpretive simple in one game turns out to be an elaborately complex construction in another. In the ultimate analysis, language and behaviour forge a non-foundational blend that internalizes and does not represent a supposedly extra-linguistic reality. (shrink)

In this book, Ilhan Inan questions the classical definition of curiosity as _a desire to know._ Working in an area where epistemology and philosophy of language overlap, Inan forges a link between our ability to become aware of our ignorance and our linguistic aptitude to construct terms referring to things unknown. The book introduces the notion of inostensible reference. Ilhan connects this notion to related concepts in philosophy of language: knowledge by acquaintance and knowledge by description; the referential and (...) the attributive uses of definite descriptions; the _de re/de dicto_ distinction; and Kripke’s distinction between rigid and accidental designators. Continuing with a discussion of the conditions for curiosity and its satisfaction, Inan argues that the learning process—starting in curiosity and ending in knowledge—is always an effort to transform our inostensible terms into ostensible ones. A contextual account is adopted for the satisfaction of curiosity. It then discusses the conditions of successful reference to the object of curiosity and its presuppositions. The book concludes with a discussion on the limits of curiosity and its satisfaction. (shrink)

We examine the most famous controversy between economists as a means of shedding fresh light on the current debate about economic methodology. By focusing on the controversy as the primary unit of analysis, we show how methodological considerations are but one of a whole set of stratagems strategically employed by each opponent. We argue that each opponent's preference for a particular kind of stratagems expresses his own specific scientific style (within the general scientific and cultural style of an age). We (...) also describe a dynamic dimension of the controversy, independent of the participants' intentions. Such a dimension is analysed in a "cycle" of the controversy, which begins with a well-defined issue and expands to additional topics, without reaching a "solution" to the initial issue. The definition and re-definition of the issue(s) at stake and of the difference between both participants is an essential and recurrent feature of such cycles; the conclusion of a cycle does not imply a real "closure" of the controversy, but only that each opponent has reached a satisfying degree of self-clarification. The controversy, thus, does not yield persuasion -- its ostensible aim. Rather, its "benefit" seems to lie in an unintended result -- clarification and deepening of contrasting approaches to the discipline -- due to its peculiar dynamics. In so far as the history of a discipline requires a reconstruction of such contrasts, it is indispensable for it to take into account the controversies where they emerge, and to view both the positive doctrines and the methodological posture of the contenders as parts of a wider framework, that is a scientific style. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

In this paper, I dwell on a particular distinction introduced by Ilhan Inan—the distinction between ostensible and inostensible use of our language. The distinction applies to singular terms, such as proper names and definite descriptions, or to general terms like concepts and to the ways in which we refer to objects in the world by using such terms. Inan introduces the distinction primarily as an epistemic one but in his earlier writings (1997: 49) he leaves some room for it to (...) have some semantic significance i.e., the view that in certain intensional de re contexts whether a term occurring in a sentence is ostensible or inostensible may have a bearing on the semantic content of the sentence. However, in his later writings e.g., The Philosophy of Curiosity, he appears to abandon his earlier thoughts regarding the semantic significance of his distinction. He says: “the ostensible/inostensible distinction is basically an epistemic one.... It is an epistemic distinction that has no semantic significance” (2012: 65). I argue that there are indeed such intensional contexts in which the distinction has some semantic significance, i.e., whether a term is ostensible or inostensible has in fact a bearing on what proposition is expressed by the sentence in which the term occurs. (shrink)

That there is a connection between Romanticism and the sublime seems obvious, and it is indeed evident in the poetic, artistic, and musical production of European Romanticism as a whole. The sublime, as tension toward infinity, as elevation of the soul, and as experience of the absolute in nature, constitutes undoubtedly one of the characterizing features of the poetics of Romanticism. Much less known, however, is the theoretical reflection on the concept of the sublime, and in fact scholarship on the (...) modern sublime tends to neglect its theoretical development after Kant and Schiller, moving directly to Nietzsche and the postmodern. The theoretical definition of the sublime, on the contrary, plays a far from secondary role in the aesthetic of German idealism, where it was not conceptualized in opposition to the beautiful, but rather as one of its constitutive moments. While no longer approached in relation to the aesthetic experience of nature, the sublime has been included in art theory, ostensibly losing its theoretical centrality, but in reality contributing to modify radically the characteristics of the idea of the beautiful. That of philosophers is a form of crypto-sublime that is parallel but distinct from the sublime of poets and artists, and that operates underground to influence the definition of the forms of beauty. The present volume aims to outline the development of the philosophical conception of the sublime from Schiller, who formulated a theory of tragedy based on Kant’s philosophy and thereby laid the foundation of Romanticism, to the philosophers of the Hegelian school, who placed the sublime, together with the comic, the ugly, and the grotesque, at the center of aesthetic reflection. (shrink)

Historically Judaism has been called both a nation and a religion, yet there are those Jews who eschew the religious and national definitions for a cultural one. For example, while TV’s Mrs. Maisel is ostensibly a Jew, the actor playing her is not, and Mrs. Maisel’s actions are not always Jewish. In The Fractured Jew Joel West separates Judaism into phenomenological and performative, starting with popular portrayals of Jews and Judaism, in today’s media, as a jumping-off point to understand Judaism (...) and Jewishness, not from the outside, but from the emic, internal, Jewish point of view. (shrink)

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper names. (...) A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

In this paper, I am going to cast doubt on an idea that is shared, explicitly or implicitly, by most contemporary pragmatic theories: that the inferential interpretation procedure described by Grice, neo-Griceans, or post-Griceans applies only to the interpretation of ostensive stimuli. For this special issue, I will concentrate on the relevance theory (RT) version of this idea. I will proceed by putting forward a dilemma for RT and argue that the best way out of it is to accept (...) that the relevance-theoretic comprehension procedure ap- plies to certain non-ostensive stimuli, contrary to what is generally claimed within RT. In particular, I will argue that relevance theorists should accept that (ceteris paribus) non- ostensive emotional expressions in interactions guarantee a presumption of relevance such that they are interpreted through the relevance-theoretic comprehension procedure. This leads me to propose what I call 'the expressive principle of relevance'. (shrink)

Abstract. The strong similarity between the use of ostension and that of a simple demonstrative to predicate something of an object seems to conflict with equally strong intuitions according to which, while “this” does usually refer to an object, the gesture of holding an object in your hand and showing it to an audience does not refer to the demonstrated object. This paper argues that the problem is authentic and provides a solution to it. In doing so, a more general (...) thought is given support by the approach used. Namely, the thought that our abilities to directly refer to things require some basic referential abilities exhibited in ostension and the use of demonstratives which, in their turn, rest upon our abilities to cooperate in performing non-communicative actions on our environment. Several concepts introduced in order to solve the initial problem can be used to articulate this thought in more detail. (shrink)

This paper addresses two problems concerning the deferred ostension of extinct and fictive kinds. First, the sampled item, the fossil or the depiction, is not a sample of the referent. Nonetheless, the retained characteristic shape, understood via analogy with living creatures, enables the reference to be fixed. Second, though both extinct and fictive kinds are targets of deferred ostension, there is an important difference in the sample. Fossilization is a natural causal process that makes fossils to be reflections of their (...) originals. As reflections, fossils embed their referents in the primary existential world of perceived things. Images of artificial kinds, by contrast, leave their referents in the secondary existential world of mere appearance. In this way, the paper widens the scope of the Kripke-Putnam account of ostension for naming kinds by drawing on Quine’s concept of deferred ostension for absent referents. (shrink)

Together, the code and inferential models of communication are often thought to range over all cases of communication. However, their prevailing versions seem unable to fully explain what I call underdeterminacy without ostension. The latter is constituted by communication where stimuli that are not (nor appear to be) produced with communicative or informative intentions nevertheless communicate information underdetermined by the relevant codes. Though the prevailing accounts of communication cannot fully explain how communication works in such cases, I suggest that some (...) version of the inferential model can—if we allow it to extend to non‐ostensive, non‐intentional behaviors. (shrink)

Defends a version of the Davidsonian Demonstrative Theory of quotation against proponents of the Fregean Identity Theory.

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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

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

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 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 author argues that consciousness may never be defined or explained with entities or their properties, neither with brains, neurons, and biomacromolecules, nor with particles, waves, and fields. Instead, the author proposes a system with matter, energy, and lives as its components, and with all its components defined as changes. Based on the systematic relationships among these three components, a triple definition or explanation of consciousness is reached: • Ontologically, consciousness is universal, since it is the systematic distinction between (...) matter and energy. • Epistemologically, consciousness is unique, since it is the energy systematically formalized, qualified, or diversified by the matter. • Semantically, consciousness is a meaningless language with lives as its only meaning. In other words, only lives are, but consciousness is not, the cause or effect of mental activities. From this definition or explanation, the author deduces that consciousness is the same as action, but not the same as mental states, especially not the same as the experiences of a unique self in its unique world. Therefore, the author argues that many theories of consciousness have explained something other than consciousness itself. (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)

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)

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.

The idea that we must move beyond anthropocentrism to overcome interspecies injustice and environmental collapse is widespread within the environmental humanities. Yet, the concept of anthropocentrism remains ambiguous, and so do some of the arguments raised against it. What exactly should we move beyond and why? The article attempts to answer these questions and clarify the merits and limitations of both anthropocentric and post-anthropocentric views within ethics and ontology. This article proposes that although some implausible and morally problematic forms of (...) anthropocentrism should be denounced, there are other ways in which we must remain anthropocentric. The article disambiguates the concept of anthropocentrism and assesses the key arguments against it, before it goes on to outline a minimal form of anthropocentrism that we call ostensive humanism. Ostensive humanism is compatible with many post-anthropocentric ideas but suggests that the ethical and political project aimed at ending interspecies injustice and the climate crisis inevitably points to human beings as its moral addressees. (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)

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.

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)

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)

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

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.

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