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)

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)

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.

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)

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.

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.

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)

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)

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.

An essential property of a thing tells us about the real definition of that thing. In this dissertation, I argue that a real definition states conditions on the identity of things and explains how they differ from other individuals or members of other kinds. I then apply this account to show that some essential properties are discovered by science. I also argue contrary to reductionist accounts of essence and show that several of Kit Fine's applications of the notion of essence (...) to ontological dependence and to the reduction of modality, are spurious. Finally, I argue that the real definition of each human person accounts for their personal identity over time. (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 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)

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

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)

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)

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)

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

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

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)

Peirce and Dewey were generally more concerned with the process of scientific activity than purely mathematical work. However, their accounts of knowledge production afford some insights into the epistemology of mathematical postulates, especially definition and axioms. Their rejection of rationalist metaphysics and their emphasis on continuity in inquiry provides the pretext for the pragmatic a priori – hypothetical and operational assumptions whose justification relies on their fruitfulness in the long run. This paper focuses on the application of this idea to (...) the epistemology of definitions and an account of progress in mathematics, although it has broader implications for the study of conceptual change and the function and basis of presuppositions in the sciences. (shrink)

Cognitive scientists have been debating how the folk concept of intentional action works. We suggest a simple account: people consider that an agent did X intentionally to the extent that X was causally dependent on how much the agent wanted X to happen (or not to happen). Combined with recent models of human causal cognition, this definition provides a good account of the way people use the concept of intentional action, and offers natural explanations for puzzling phenomena such as the (...) side-effect effect. We provide empirical support for our theory, in studies where we show that people’s causation and intentionality judgments track each other closely, in everyday situations as well as in scenarios with unusual causal structures. Study 5 additionally shows that the effect of norm violations on intentionality judgments depends on the causal structure of the situation, in a way uniquely predicted by our theory. Taken together, these results suggest that the folk concept of intentional action has been difficult to define because it is made of cognitive building blocks, such as our intuitive concept of causation, whose logic cognitive scientists are just starting to understand. (shrink)

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

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)

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

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

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.

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 discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

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)

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 defines relational properties and argues for their reducibility in a, broadly speaking, Armstrongian framework of state of affairs ontology and truthmaking. While Armstrong’s own characterisation and reduction of them arguably is the best one available in the literature of this framework, it suffers from two main problems. As will be shown, it neither defines relational properties very clearly (if at all), nor provides an adequate conception of their reduction. This paper attempts to remedy this situation in four steps. (...) First, it introduces relational properties and why they matter in metaphysics in general. Second, by briefly comparing and contrasting them with extrinsic properties, and by briefly mapping them onto a tripartite division of relations, the particular kinds of relevant relational properties are identified. Third, it classifies relational properties and thereby makes possible an apt definition of them. Finally, using the notion of truthmaking, it outlines a more satisfactory case for their reduction. (shrink)

This paper is a critique of Stephen Davies' institutional definition of art. I argue that Davies' definition suffers from a range of problems.

Trying to define nothingness has always been a challenge for philosophers. What exactly is it? Does it share properties similar to spaces? Can we treat it as a ''thing'' ? We can say an object is inside nothingness, but how do we imagine that ''containment'' ?

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)

Daniel Hill’s definition of suicide seems vulnerable to a counterexample in which someone kills themselves under some other intention, such as “I remove this useless part of the social organism.” Also Humeans pose a problem for him.

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)

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)

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)

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)

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)

In January 2024, non-consensual deepfakes came to public attention with the spread of AI generated sexually abusive images of Taylor Swift. Although this brought new found energy to the debate on what some call non-consensual synthetic intimate images (i.e. images that use technology such as AI or photoshop to make sexual images of a person without their consent), female celebrities like Swift have had deepfakes like these made of them for years. In 2017, a Reddit user named “deepfakes” posted several (...) videos in which he had used opensource machine learning tools to swap the faces of female celebrities on to the faces of female porn actors, displaying what appeared to be live video footage of the celebrity engaging in sex acts she never engaged in. Since that time, deepfake technology has advanced astronomically. What once were choppy sexualized videos are now nearly flawless videos that can be difficult to distinguish from a real video. According to recent research on deepfakes by Sensity AI, this technology has been used primarily on women to create sexual videos. These women’s sexual autonomy has been co-opted for the purposed of gratifying men’s sexual pleasure, but have also been used in campaigns to delegitimize and humiliate female journalists and politicians. In Canada, civil and criminal legislation has addressed the non-consensual distribution of intimate images, but in only a few provinces – British Columbia, New Brunswick, Prince Edward Island and Saskatchewan – does this offence include altered images that could include deepfakes. This paper explores the evolution of synthetic technology such as AI image generators and Canada’s legal responses to the non-consensual sharing of intimate images. (shrink)