We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity (...) with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (shrink)

This work examines Aristotle's discussions of definition in his logical works and the Metaphysics, and argues for the importance of definitions of simple ...

“Is every definition persuasive?” If essentialist views on definition are rejected and a pragmatic account adopted, where defining is a speech act which fixes the meaning of a term, then a problem arises: if meanings are not fixed by the essence of being itself, is not every definition persuasive? To address the problem, we refer to Douglas Walton’s impressive intellectual heritage—specifically on the argumentative potential of definition. In finding some non-persuasive definitions, we show not every (...) class='Hi'>definition is persuasive. The persuasiveness lies not in syntactic or semantic properties, but the context. We present this pragmatic account and provide rules for analysing and evaluating persuasive definition—a promising direction for further research. (shrink)

Since the Harvard Committees bold and highly successful attempt to redefine death in 1968 (Harvard Ad Hoc committee, 1968), multiple controversies have arisen. Stimulated by several factors, including the inherent conceptual weakness of the Harvard Committees proposal, accumulated clinical experience, and the incessant push to expand the pool of potential organ donors, the lively debate about the definition of death has, for the most part, been confined to a relatively small group of academics who have created a large body (...) of literature of which this issue of the Journal of Medicine and Philosophy is an example. Law and public policy, however, have remained essentially unaffected. This paper will briefly review the multiple controversies about defining death in an attempt to explain why they have and will remain unresolved in the academic community and have even less chance of being understood and resolved by politicians, legislators, and the general public. Considering this, we will end by suggesting the probable course of public policy and clinical practice in the decades ahead. (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)

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)

In the modern discussions about possibility of synthetic a priori propositions, the theory of definition has a fundamental importance, because the most definition’s theories hold that analytic judgments are involved by explicit definition . However, for Kant –first author who pointed out the distinction between analytic and synthetic propositions–many analytic judgments are made by analysis of concepts which need not first be established by definition. Moreover, for him not all a priori knowledge is analytic. The statement (...) that not all analytic judgment is derived from definition and possibility of synthetic a priori knowledge, indicates Kant didn’t believe, contrary to modern theories about analytic judgment, the definition is an essential ground of knowledge. (shrink)

In this paper I argue that philosophers of sport should avoid value-laden definitions of sport; that is, they should avoid building into the definition of sport that they are inherently worthwhile activities. Sports may very well often be worthwhile as a contingent matter, but this should not be taken to be a core feature included in the definition of sport. I start by outlining what I call the ‘legitimacy-conferring’ element of the category ‘sport’. I then argue that we (...) ought not to include such a dimension in our definition of sport, on the grounds that it confuses issues of description with issues of definition: the issue of what sport does with what sport is. Following this, I consider a Wittgensteinian family resemblance approach to defining sport; Kevin Schieman’s argument that sports are necessarily good games; and the oft-cited wide-following and institutional criteria, as arguments for including an evaluative dimension in the definition of sport. I conclude that none succeed, for similar reasons: they either fail to track our common sense intuitions about what does or does not count as a sport; and/or they make it impossible for us to ever describe something a ‘bad’ sport (or instance of sport). Just as a good definition of, say, art, shouldn’t make it impossible for us to describe something as ‘bad art’, I argue that our definition of sport shouldn’t build in a necessarily positive evaluation. I conclude by discussing some of the practical reasons why supporters of activities about which there is currently debate as to their status as sports might want to see those activities included under the sports umbrella, but suggest that this on its own isn’t a good reason for modifying a philosophical definition of sport to include them. (shrink)

We may define words or concepts, and we may also, as Aristotle and others have thought, define the things for which words stand and of which concepts are concepts. Definitions of words or concepts may be explicit or implicit, and may seek to report preexisting synonymies, as Quine put it, but they may instead be wholly or partly stipulative. Definition by abstraction, of which Hume’s principle is a much discussed example, seek to define a term-forming operator, such as the (...) number operator, by fixing the truth-conditions of identity-statements featuring terms formed by means of that operator. Such definitions are a species of implicit definition. They are typically at least partly stipulative. Definitions of things, or real definitions, are, by contrast, typically conceived as true or false statements about the nature or essence of their definienda, and so not stipulative. There thus appears to be an obvious and head-on clash between taking Hume’s principle as an implicit and at least partly stipultative definition of the number operator and taking it as a real definition, stating the nature or essence of cardinal numbers. This paper argues that this apparent tension can be resolved, and that resolving it sheds light on part of the epistemology or essence and necessity, showing how some of our knowledge of essence and necessity can be a priori. (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 without giving rise to the opposite problem.

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

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

Essentially everyone agrees that the outlawing of slavery, or the beginning of women’s suffrage, or the defeat of Nazism constitute paradigmatic examples of moral progress in human history. But this consensus belies a deep division about the nature of moral progress more generally, a consequence of the foundational differences among and within normative traditions regarding the nature and scope of the ‘moral’ in moral progress. This essay proposes that philosophers might nonetheless converge on a working definition of moral progress (...) by identifying a proxy property that reliably tracks moral progress, but which does not purport to be coextensive with the philosophically-relevant property. The aim of this essay is to identify this proxy property with emerging empirical measures of population welfare, and to show why this indicator of moral progress can garner overlapping consensus from a variety of normative traditions. (shrink)

Despite the undeniable epistemic progress of developmental biology from the second half of the twentieth century to the present day, there still is widespread disagreement on defining the biological term of ‘development’. This scientific field epistemologically is neither unsuccessful nor immature, thus the persistent lack of agreement on its most central concept raises some important questions: is there any need for an explicit definition of biological development, and if so, what content should the definition have? My central thesis (...) is twofold. First, that current definitions of biological development are conceptually or empirically inadequate. Second, that an explicit definition of biological development is very much needed (a) for the practical purposes of science textbooks, but more importantly is needed (b) epistemically for exposing or overcoming problematic assumptions and for partially guiding scientific research by coding the appropriate assumptions. To support this thesis, initially I will show the deficiencies of the dominant definitions of biological development; and subsequently I will provide two arguments: an Argument from Practical Purposes and an Argument from Epistemic Purposes. Finally, for accommodating practical and epistemic purposes and as a response to the inadequacy of the available definitions of development, I will propose and defend an operational definition of biological development which is aimed to be broader than the received ones, while being more precise and fruitful to conduct empirical research. (shrink)

We draw on Short’s work on Peirce’s theory of signs to propose a new general definition of interpretation. Short argues that Peirce’s semiotics rests on his naturalised teleology. Our proposal extends Short’s work by modifying his definition of interpretation so as to make it more generally applicable to putatively interpretative processes in biological systems. We use our definition as the basis of an account of different kinds of misinterpretation and we discuss some questions raised by the (...) class='Hi'>definition by reference to parallel problems in the field of teleosemantics. We propose that interpretative responses fulfilling the criteria of our definition may be made by relatively simple molecular entities and we suggest two specific empirical applications of the definition to experimental work in the field of origin of life research. Our wider aim is to suggest that a well formulated naturalistic definition of interpretation will allow a re-evaluation of the role of semiotic phenomena in biological systems, including the generation of empirically testable hypotheses. (shrink)

All suggested notions of reduction of two scientific theories are critically reviewed and analyzed. In particular those applied to the case of the alleged reduction of Chemistry to Quantum mechanics are examined. Since it is recognized that the weakness of this field of research is the lack of a definition of a scientific theory, it is suggested that a scientific theory is characterized by two choices regarding two dichotomies, that is, the kind of mathematics and the kind of logic. (...) According to this view a reduction is only possible between two theories in which the same choices are shared. As a consequence, only one case of reduction in the history of physics is recognized: physical optics to electromagnetism, a case that is commonly accepted. The other cases of claimed reductions are recognized as impossible, owing to the different choices of the two theories at issue and hence the radical variations in meaning of their shared basic notions. In particular, the claimed reduction of Chemistry to Quantum mechanics is disproved in detail. (shrink)

Michael T. Ferejohn presents a new analysis of Aristotle's theory of explanation and scientific knowledge, in the context of its Socratic roots. Ferejohn shows how Aristotle resolves the tension between his commitment to the formal-case model of explanation and his recognition of the role of efficient causes in explaining natural phenomena.

Paul Boghossian advocates a version of the analytic theory of a priori knowledge. His defense of an "epistemic" notion of analyticity is based on an implicit definition account ofthe meaning of the logical constants. Boghossian underestimates the power of the classical Quinean criticisms, however; the challenge to substantiate the distinction between empirical and non-empirical sentences, as forcefully presented in Two Dogmas, still stands, and the regress from Truth by Convention still needs to be avoided. Here, Quine also showed that (...) there are no implicit definers for the logical constants. Moreover, even if they existed, their epistemic analyticity would, on Boghossian's own account, be doubtful. (shrink)

Few moral questions have greater bearing on the conduct of our everyday lives than questions about the morality of lying. These questions are also important for ethical theory. An important test of any theory of right and wrong is whether it gives an adequate account of the morality of lying. Conceptual questions about the nature of lying are prior to questions about the moral status of lying. Any theory about the moral status of lying presupposes an account of what lying (...) is. (shrink)

In recent years there have been many revelations about ghost authors, who contribute to publications but are not credited, and guest authors, who do not contribute but are credited. Most medical and many other journals adhere to the authorship standards set by the International Committee of Medical Journal Editors (ICMJE), which were designed in part to combat the phenomena of ghost and guest authorship. However, the current criteria set for authorship by the ICMJE have their own problems. This brief paper (...) illustrates these problems with an example, and concludes that the current ICMJE definition of authorship is both illogical and unethical. (shrink)

Decades of empirical and theoretical research has produced an extensive literature on the ethical judgments construct. Given its importance to understanding people’s ethical choices, future research should explore the psychological processes that produce ethical judgments. In this paper, the authors discuss two steps needed to advance this effort. First, they note that the business ethics literature lacks a single, generally accepted definition of ethical judgments. After reviewing several extant definitions, the authors offer a definition of the construct and (...) discuss its advantages. Second, future ethical judgment research would benefit from greater integration between theories of ethical decision making and theories of social cognition. Drawing upon the Hunt–Vitell ( Journal of Macromarketing 6 (Spring), 5–15, 1986 ; In: N. C. Smith and J. A. Quelch (eds.), Ethics in Marketing . Irwin, Homewood, IL, pp. 775–784, 1992 ) model and the heuristic-systematic model (Chaiken, Journal of Personality and Social Psychology 39 (November), 752–766, 1980 ), the authors present a brief research agenda intended to stimulate research on the psychological processes behind ethical judgments. (shrink)

A multifactorial and growing crisis of health care systems in the developed world has affected medicine. In order to provide rational responses, some central concepts of the past, such as the definitions of health and disease, need to be updated. For this purpose physicians should initiate a new debate. As a point of departure the following definitions are proposed: Health is a dynamic state of wellbeing characterized by a physical, mental and social potential, which satisfies the demands of a life (...) commensurate with age, culture, and personal responsibility. If the potential is insufficient to satisfy these demands the state is disease. This term includes sickness, illness, ill health, and malady. The described potential is divided into a biologically given and a personally acquired partial potential. Their proportions vary throughout the life cycle. The proposed definitions render it empirically possible to diagnose persons as healthy or diseased and to apportion some of the responsibility for their state of health to individuals themselves. Treatment strategies should always consider three therapeutic routes: improvements of the biologically given and of the personally acquired partial potentials and adaptations of the demands of life. These consequences favourably contrast with those resulting from the WHO-definition of health. (shrink)