In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic (...) conception. (shrink)

Examining the reasons for the conventional application of the term 'massacre' to some sorts of killings but not others, I arrive at this definition of the term. A massacre is the mass murder and mutilation of innocent victims by an assailant or assailants immediately present at the scene. This is a conventional and not a stipulative definition. Many standard definitions are imprecise for several reasons. They might say the killing is unnecessary or indiscriminate or at a distance (...) or they might confuse it with terrorism. lmprecise definitions do not grasp the etymological connection to the slaughterhouse, the limited space at the scene, or the cruelty required of the assailants. The difference between weak and strong, descriptive and evaluative uses of the term 'massacre' allows for dishonesty and propagandistic uses of the term. (shrink)

Examining the reasons for the conventional application of the term 'massacre' to some sorts of killings but not others, I arrive at this definition of the term. A massacre is the mass murder and mutilation of innocent victims by an assailant or assailants immediately present at the scene. This is a conventional and not a stipulative definition. Many standard definitions are imprecise for several reasons. They might say the killing is unnecessary or indiscriminate or at a distance (...) or they might confuse it with terrorism. lmprecise definitions do not grasp the etymological connection to the slaughterhouse, the limited space at the scene, or the cruelty required of the assailants. The difference between weak and strong, descriptive and evaluative uses of the term 'massacre' allows for dishonesty and propagandistic uses of the term. (shrink)

The law stipulates that death is irreversible. Patients treated in accord with the Pittsburgh protocol have death pronounced when their condition might well be reversed by intervention that is intentionally withheld. Nevertheless, the protocol is in accord with the medical "Guidelines for the Determination of Death." However, the Guidelines fail to capture the intent of the law, which turns out to be a good thing, for the law embodies a faulty definition of death. The inclusion of "irreversible" in the (...) legal definition makes that definition excessively demanding and out of step with the ordinary concept of death. On this basis the protocol is absolved of the moral but not the legal charge that it involves vivisection. (shrink)

This book proposes guidelines for constructing and evaluating definitions of terms, i.e. words or phrases of general application. The guidelines extend to adoption of nomenclature. The book is meant to be a practical guide for people who find themselves in their daily lives or their employment producing or evaluating definitions of terms. It can be consulted rather than being read through. The book’s theoretical framework is a distinction, due to Robert H. Ennis, of three dimensions of definitions: the act of (...) the definer, the content of the definition, and its form. The act of a definer is what the definer does in defining a term; the book distinguishes, following Ennis, three basic acts of defining: reporting, stipulating, and advocating. The content of a definition is in one sense the information that the definition conveys and in another sense the words in its defining part. The form of a definition is the way it is expressed, for example as a definition by genus and differentia. (shrink)

It is argued that consciousness studies suffer from a Problem of Essentialism. In response, it is proposed that definitions of consciousness be treated as stipulative definitions. Some example definitions and their relevance for scientific inquiry are discussed.

In this short monograph, John Horty explores the difficulties presented for Gottlob Frege's semantic theory, as well as its modern descendents, by the treatment of defined expressions. The book begins by focusing on the psychological constraints governing Frege's notion of sense, or meaning, and argues that, given these constraints, even the treatment of simple stipulative definitions led Frege to important difficulties. Horty is able to suggest ways out of these difficulties that are both philosophically and logically plausible and Fregean (...) in spirit. This discussion is then connected to a number of more familiar topics, such as indexicality and the discussion of concepts in recent theories of mind and language. In the latter part of the book, after introducing a simple semantic model of senses as procedures, Horty considers the problems that definitions present for Frege's idea that the sense of an expression should mirror its grammatical structure. The requirement can be satisfied, he argues, only if defined expressions--and incomplete expressions as well--are assigned senses of their own, rather than treated contextually. He then explores one way in which these senses might be reified within the procedural model, drawing on ideas from work in the semantics of computer programming languages. With its combination of technical semantics and history of philosophy, Horty's book tackles some of the hardest questions in the philosophy of language. It should interest philosophers, logicians, and linguists. (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)

What are the implications of taking seriously Chaïm Perelman's proposition that “definitions are rhetorical”? Efforts to find Real Definitions are dysfunctional to the extent they direct argumentation toward pseudo “is” claims and away from explicit “ought” claims about how words are to be used. Addressing definitional disputes explicitly as propositions ofought rather thanis could put on the agenda the pragmatic concerns of definitional choice that might otherwise remain tacit.

Definitions may seem marginal to the sociological enterprise but can be very useful; however, they can also lead to serious errors. Examples of both are given in this article. Different types of definitions are presented, and their relevance for sociology is highlighted. A stipulative definition, for example, is very useful in sociology, as opposed to lexical and ostensive definitions. The definition of a concept that is used in a sociological analysis has to be sociological in nature, and (...) the concept cannot have the same meaning as it has in everyday language. Additional items to bear in mind when a definition is put together are discussed, including some tips on how to proceed that come from political science (Sartori, Collier, Goertz). A definition can also be very helpful in the research process itself by indicating which are the important aspects of some phenomenon to focus on (Weber, Blumer). On the negative side, a term that is not properly defined may lead to misunderstandings as well as to a false sense of agreement with other uses of the term. (shrink)

According to the standard view of definition, all defined terms are mere stipulations, based on a small set of primitive terms. After a brief review of the Hilbert-Frege debate, this paper goes on to challenge the standard view in a number of ways. Examples from graph theory, for example, suggest that some key definitions stem from the way graphs are presented diagramatically and do not fit the standard view. Lakatos's account is also discussed, since he provides further examples that (...) suggest many definitions are much more than mere convenient abbreviations. (shrink)

Definition is viewed in this paper as a cohesive element of theory, providing links between scientific constructs. The problem is approached first in terms of three orders--the historical, the logical, and the heuristic--in which the structure of science may be put together; a study of these is necessary if difficulties about priority of definition are to be resolved. The main part of the paper is devoted to an exercise in theory-construction which illustrates the five principal functions of (...) class='Hi'>definition--the grounding of constructs in observation, their descriptive interrelation, the development of logico-mathematical calculi, the interpretation of these calculi, and the provision of precise, quasi-mathematical relations between the constructs themselves. Reference is made throughout to the many names for the defining process found in earlier works, and problems of contextual definition, reduction, stipulative and lexical definition, etc., are dealt with briefly. The theory thus constructed is represented diagrammatically. It is shown that the analysis may be simplified, in general terms, by the use of two new categories, "internal" and "external" definition; and that this innovation may prove helpful in clarifying some traditional obscurities, and in preserving a necessary balance between a purely logical and a purely empirical approach to the philosophy of science. (shrink)

Numerous definitions of literacy have been advanced by policy?makers, politicians, academics, teachers and others over the years. It is not always easy, however, to know how one definition might relate to another or differ from it. This paper offers a framework, based on the work of the educational philosopher Israel Scheffler, for identifying and distinguishing between different types of definition. Modified to have particular relevance to statements about literacy, the three types of definition are: stipulative, essentialist (...) and prescriptive. The paper shows how this modified framework can be helpful in understanding and addressing apparent tensions in statements about literacy by the influential Brazilian educationist, Paulo Freire. Brief suggestions for further study are included in the author's final remarks. (shrink)

According to Horwich’s use theory of meaning, the meaning of a word W is engendered by the underived acceptance of certain sentences containing W. Horwich applies this theory to provide an account of semantic stipulation: Semantic stipulation proceeds by deciding to accept sentences containing an as yet meaningless word W. Thereby one brings it about that W gets an underived acceptance property. Since a word’s meaning is constituted by its (basic) underived acceptance property, this decision endows the word with a (...) meaning. The use-theoretic account of semantic stipulation contrasts with the standard view that semantic stipulation proceeds by assigning the meaning (reference) to W that makes a certain set of sentences express true propositions. In this paper I will argue that the use-theoretic account does not work. I take Frege to have already made the crucial point: "a definition does not assert anything but lays down something ["etwas festsetzt"]” (Frege 1899, 36). A semantic stipulation for W cannot be the decision to accept a sentence containing W or be explained in terms of such an acceptance. Semantic stipulation constitutes a problem for Horwich's use theory of meaning, especially his basic notion of acceptance. (shrink)

Numerous definitions of literacy have been advanced by policy‐makers, politicians, academics, teachers and others over the years. It is not always easy, however, to know how one definition might relate to another or differ from it. This paper offers a framework, based on the work of the educational philosopher Israel Scheffler, for identifying and distinguishing between different types of definition. Modified to have particular relevance to statements about literacy, the three types of definition are: stipulative, essentialist (...) and prescriptive. The paper shows how this modified framework can be helpful in understanding and addressing apparent tensions in statements about literacy by the influential Brazilian educationist, Paulo Freire. Brief suggestions for further study are included in the author's final remarks. (shrink)

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely (...) that Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

Although contentious, the concept of resilience is common in sustainability research. Critique of the concept have often focused on the content of the concept. In this paper we focus on another feature of concepts, namely how they are defined. We distinguish between concepts that are ostensively defined, that aim to point to some phenomena, and stipulatively defined concepts, where the content of the concept is given in the definition itself. We argue that although definitions themselves are similar across many (...) different disciplines where resilience is used?most notably psychology and ecology?they differ in how. This has interesting consequences for how different disciplines can be connected and integrated. Notably, integration on basis of ostensively defined concepts turn on sharing the extension of the concept, but not necessarily the intension, whereas integration on basis of stipulatively defined concepts work in the opposite way. (shrink)

This article treats three aspects of Frege's discussions of definitions. First, I survey Frege's main criticisms of definitions in mathematics. Second, I consider Frege's apparent change of mind on the legitimacy of contextual definitions and its significance for recent neo-Fregean logicism. In the remainder of the article I discuss a critical question about the definitions on which Frege's proofs of the laws of arithmetic depend: do the logical structures of the definientia reflect the understanding of arithmetical terms prevailing prior to (...) Frege's analyses? Unless they do, it is unclear how Frege's proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre-definitional understanding. I conclude by examining some options for conceiving of the status of Frege's logicism in light of this apparent tension, and outline a suggestion for a philosophically fruitful way of resolving this tension. (shrink)

This paper addresses the issue of stipulation in three cases of implicit definitions. It argues that the alleged implicit definitions do not have a purely stipulative status. Stipulation of the vehicles of the implicit definitions in question should end up with true postulates. However, those postulates should not be taken to be true only in virtue of stipulation since they have extra commitments. Horwich’s worry emerges in all three kinds of implicit definitions under consideration, since the existence of meanings (...) so that the alleged postulates are true depends on extra requirements that should be fulfilled. Moreover, if Ramseyfication method is applied to the three kinds of implicit definition, they are split up into two components from which the first one is broadly factual while the second one is purely stipulative. The paper argues that their definitional task in each case should be assigned to their second component i.e. their Carnap-conditional. (shrink)

The traditional definition per genus et differentiam is argued to be cognitively grounded in perception and in order to avoid needless argument, definitions are stipulated to assert boundaries. An analysis of the notion of perspective shows that a boundary is a composite of two distinctions: similarity that includes and difference that excludes. The concept is applied to the type-token distinction and percepts are shown to be the result of a comparison between a token as representing some phenomenon and a (...) type as representing the kind of object the phenomenon might be. The Principle of Connection is proposed as the mental architecture that gives rise to percepts. The value of a percept is shown to be one of Identical, Similar, Different or Contrary and its perceptual aspects represent the cognitive schema of Essence, Quality, Quantity and Relation. The two notions of similarity and difference are claimed to constitute the necessary and sufficient conditions for definitions. Accordingly, the qualitative elements of a definition signify the genus as representing the similarity of the defined entity in terms of others of its kind and the quantitative elements signify the differentia as representing the difference it has from everything else. Paying proper attention to both qualitative and quantitative aspects will enable formulation of definitions that are ‘good’. (shrink)

The traditional definition per genus et differentiam is argued to be cognitively grounded in perception and in order to avoid needless argument, definitions are stipulated to assert boundaries. An analysis of the notion of perspective shows that a boundary is a composite of two distinctions: similarity that includes and difference that excludes. The concept is applied to the type-token distinction and percepts are shown to be the result of a comparison between a token as representing some phenomenon and a (...) type as representing the kind of object the phenomenon might be. The Principle of Connection is proposed as the mental architecture that gives rise to percepts. The value of a percept is shown to be one of Identical, Similar, Different or Contrary and its perceptual aspects represent the cognitive schema of Essence, Quality, Quantity and Relation. The two notions of similarity and difference are claimed to constitute the necessary and sufficient conditions for definitions. Accordingly, the qualitative elements of a definition signify the genus as representing the similarity of the defined entity in terms of others of its kind and the quantitative elements signify the differentia as representing the difference it has from everything else. Paying proper attention to both qualitative and quantitative aspects will enable formulation of definitions that are ‘good’. (shrink)

The traditional definition per genus et differentiam is argued to be cognitively grounded in perception and in order to avoid needless argument, definitions are stipulated to assert boundaries. An analysis of the notion of perspective shows that a boundary is a composite of two distinctions: similarity that includes and difference that excludes. The concept is applied to the type-token distinction and percepts are shown to be the result of a comparison between a token as representing some phenomenon and a (...) type as representing the kind of object the phenomenon might be. The Principle of Connection is proposed as the mental architecture that gives rise to percepts. The value of a percept is shown to be one of Identical, Similar, Different or Contrary and its perceptual aspects represent the cognitive schema of Essence, Quality, Quantity and Relation. The two notions of similarity and difference are claimed to constitute the necessary and sufficient conditions for definitions. Accordingly, the qualitative elements of a definition signify the genus as representing the similarity of the defined entity in terms of others of its kind and the quantitative elements signify the differentia as representing the difference it has from everything else. Paying proper attention to both qualitative and quantitative aspects will enable formulation of definitions that are ‘good’. (shrink)

In the following paper we relate to the terms such as ‘true’ and ‘real’ in conjecture with dual character concepts such as ‘scientist’ and ‘artist’. They are often integrated into phrases broadly viewed as persuasive definitions. We argue that persuasive definitions are usually intended to marginalize individuals, sub-groups, and even objects, within a group. They may also be employed to elevate or preserve the status of a group by disassociating it with its marginal members, their actions, and characteristics. For example, (...) ‘true’ art may be stipulatively defined as having certain features to persuade us to accept the marginalization of those objects of art that lack them, and to elevate the social status of the authors of the objects that have them. ‘No true Scotsman is cruel’ is uttered to distance the normative Scots from those who run afoul, so that they can maintain untarnished reputation and positive identity. (shrink)

Joan Weiner (2007) has argued that Frege’s definitions of numbers are linguistic stipulations, with no content-preserving or ontological point: they don’t capture any determinate content of numerals, as they have none, and don’t present numbers as preexisting objects. I show that this view is based on exegetical and systematic errors. First, Idemonstrate that Weiner misrepresents the Fregean notions of ‘Foundations-content’, sense, reference, and truth. I then consider the role of definitions, demonstrating that they cannot be mere linguistic stipulations, since they (...) have a content-preserving, ontological point, and a decompositional aspect; Frege’s project of logical analysis and systematisation makes no sense without definitions so understood. The pivotal ontological role of elucidations is also explained. Next, three aspects of definition are distinguished, the informal versus the formal aspect, and the aspect of definition achieved through the entire process of systematisation, which encompasses the previous two and is little discussed in the literature. It is suggested that these insights can contribute to resolving some of the puzzles concerning the tension between the epistemological aim of logicism and Frege’s presentation of definitions as arbitrary conventions. Finally, I stress the interdependence between the epistemological and ontological aspects of Frege’s project of defining number. (shrink)

Joan Weiner has argued that Frege’s definitions of numbers constitute linguistic stipulations that carry no ontological commitment: they don’t present numbers as pre-existing objects. This paper offers a critical discussion of this view, showing that it is vitiated by serious exegetical errors and that it saddles Frege’s project with insuperable substantive difficulties. It is first demonstrated that Weiner misrepresents the Fregean notions of so-called Foundations-content, and of sense, reference, and truth. The discussion then focuses on the role of definitions in (...) Frege’s work, demonstrating that they cannot be understood as mere linguistic stipulations, since they have an ontological aim. The paper concludes with stressing both the epistemological and the ontological aspects of Frege’s project, and their crucial interdependence. (shrink)

Joan Weiner (2007) has argued that Frege’s definitions of numbers are linguistic stipulations, with no content-preserving or ontological point: they don’t capture any determinate content of numerals, as they have none, and don’t present numbers as preexisting objects. I show that this view is based on exegetical and systematic errors. First, Idemonstrate that Weiner misrepresents the Fregean notions of ‘Foundations-content’, sense, reference, and truth. I then consider the role of definitions, demonstrating that they cannot be mere linguistic stipulations, since they (...) have a content-preserving, ontological point, and a decompositional aspect; Frege’s project of logical analysis and systematisation makes no sense without definitions so understood. The pivotal ontological role of elucidations is also explained. Next, three aspects of definition are distinguished, the informal versus the formal aspect, and the aspect of definition achieved through the entire process of systematisation, which encompasses the previous two and is little discussed in the literature. It is suggested that these insights can contribute to resolving some of the puzzles concerning the tension between the epistemological aim of logicism and Frege’s presentation of definitions as arbitrary conventions. Finally, I stress the interdependence between the epistemological and ontological aspects of Frege’s project of defining number. (shrink)

The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendumP occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, they (...) develop in this book one general theory of definitions based on revision sequences, namely, ordinal-length iterations of the operator which is induced by the definition of the predicate. Gupta-Belnap’s approach to circular definitions has been criticised, among others, by D. Martin and V. McGee. Their criticisms point to the logical complexity of revision sequences, to their relations with ordinary mathematical practice, and to their merits relative to alternative approaches. I will present an alternative general theory of definitions, based on a combination of supervaluation and ω-length revision, which aims to address some criticisms raised against revision sequences, while preserving the philosophical and mathematical core of revision. (shrink)

Debates about the ethics and effects of placebos and whether ‘placebos’ in clinical trials of complex treatments such as acupuncture are adequate rage. Yet there is currently no widely accepted definition of the ‘placebo’. A definition of the placebo is likely to inform these controversies. Grünbaum’s characterization of placebos and placebo effects has been touted by some authors as the best attempt thus far, but has not won widespread acceptance largely because Grünbaum failed to specify what he means (...) by a therapeutic theory and because he does not stipulate a special role for expectation effects. Grünbaum claims that placebos are treatments whose ‘characteristic features’ do not have therapeutic effects on the target disorder. I show that with four modifications, Grünbaum’s definition provides a defensible account of placebos for the purpose of constructing placebo controls within clinical trials. The modifications I introduce are: adding a special role for expectations, insisting that placebo controls control for all and only the effects of the incidental treatment features, relativizing the definition of placebos to patients, and introducing harmful interventions and nocebos to the definitional scheme. I also provide guidance for classifying treatment features as characteristic or incidental. (shrink)

Abstract: The optimum definition of the term "genocide" has been hotly contested almost since the term was coined. Definitional boundaries determine which acts are covered and excluded and thus to a great extent which cases will benefit from international attention, intervention, prosecution, and reparation. The extensive legal, political, and scholarly discussions prior to this article have typically (1) assumed "genocide" to be a fixed social object and attempted to define it as precisely as possible or (2) assumed the need (...) for a fixed convention and sought to stipulate the range of events that should be denoted by the term. Even if its meaning is a matter of convention, however, "genocide" is not a fixed object but varies by context and evolves in methods and forms over time. In fact, as relevant laws, legal interpretations, and political commitments develop, so do would-be perpetrators modify what genocide is in order to avoid political and legal consequences. This article advances an approach to a definition of "genocide" that allows even legal definitions to keep pace with this evolutionary process. (shrink)

For the sake of developing and evaluating public policy decisions aimed at combating terrorism, we need a precise public definition of terrorism that distinguishes terrorism from other forms of violence. Ordinary usage does not provide a basis for such a definition, and so it must be stipulative. I propose essentially pragmatic criteria for developing such a stipulative public definition. After noting that definitions previously proposed in the philosophical literature are inadequate based on these criteria, I (...) propose an alternative, which I call the 'group-target' definition and which distinguishes terrorism from other forms of violence by the distinctive principle of discrimination used by terrorists to identify legitimate targets. I argue that this definition meets the criteria for a satisfactory public definition, and suggest that based on it there is good reason to suspect the adequacy of anti-terrorism policies that rely predominantly on forceful interdiction of terrorists. (shrink)

Despite the longstanding debate on definitions of health and disease concepts, and the multitude of accounts that have been developed, no consensus has been reached. This is problematic, as the way we define health and disease has far-reaching practical consequences. In recent contributions it is proposed to view health and disease as practical- and plural concepts. Instead of searching for a general definition, it is proposed to stipulate context-specific definitions. However, it is not clear how this should be realized. (...) In this paper, we review recent contributions to the debate, and examine the importance of context-specific definitions. In particular, we explore the usefulness of analyzing the relation between the practical function of a definition and the context it is deployed in. We demonstrate that the variety of functions that health and disease concepts need to serve makes the formulation of monistic definitions not only problematic but also undesirable. We conclude that the analysis of the practical function in relation to the context is key when formulating context-specific definitions for health and disease. At last, we discuss challenges for the pluralist stance and make recommendations for future research. (shrink)

"THE central problem in moral philosophy is commonly known as the is-ought problem." So runs the opening sentence of the introduction to a recent volume of readings on this issue. [1] Taken as a statement about the preoccupations of moral philosophers of the present century, we can accept this assertion. The problem of how statements of fact are related to moral judgments has dominated recent moral philosophy. Associated with this problem is another, which has also been given considerable attention - (...) the question of how morality is to be defined. The two issues are linked, since some definitions of morality allow us to move from statements of fact to moral judgments, while others do not. In this article I shall take the two issues together, and try to show that they do not merit the amount of attention they have been given. I shall argue that the differences between the contending parties are terminological, and that there are various possible terminologies, none of which has, on balance, any great advantage over any other terminology. So instead of continuing to regard these issues as central, moral philosophers could, I believe, "agree to disagree" about the "is-ought" problem, and about the definition of morality, provided only that everyone was careful to stipulate how he was using the term "moral" and was aware of the implications and limitations of the definition he was using. Moral philosophers could then move on to consider more important issues. (shrink)

In this paper, I argue that independent governmental human rights bodies at the sub-national level now comprise a meaningful group that can be understood as a sub-national counterpart to National Human Rights Institutions. In accordance with the term’s growing usage among human rights practitioners, I label these bodies as “Sub-national Human Rights Institutions” (“SNHRIs”). So far, however, SNHRIs (as a general concept) have been the subject of very little academic attention, although there have been many studies of individual SNHRIs or (...) particular types of SNHRIs. With the objective of promoting coherent and generalizable research into this relatively new institutional concept, in this paper I therefore stipulate and justify a general SNHRI definition and a scientific typology of SNHRIs based on administrative level, institutional form, and breadth of mandate. (shrink)

Three clusters of philosophically significant issues arise from Frege’s discussions of definitions. First, Frege criticizes the definitions of mathematicians of his day, especially those of Weierstrass and Hilbert. Second, central to Frege’s philosophical discussion and technical execution of logicism is the so‐called Hume’s Principle, considered in The Foundations of Arithmetic . Some varieties of neo‐Fregean logicism are based on taking this principle as a contextual definition of the operator ‘the number of …’, and criticisms of such neo‐Fregean programs sometimes (...) appeal to Frege’s objections to contextual definitions in later writings. Finally, a critical question about the definitions on which Frege’s proofs of the laws of arithmetic depend is whether the logical structures of the definientia reflect our pre‐Fregean understanding of arithmetical terms. It seems that unless they do, it is unclear how Frege’s proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes the definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre‐definitional understanding. One or more of these topics may be studied in a survey course in the philosophy of mathematics or a course on Frege’s philosophy. The latter two topics are obviously central in a seminar in the philosophy of mathematics in general or more specialized seminars on logicism, or on mathematical definitions and concept formation. (shrink)

Grunbaum claims that the remedial failure of atreatment's characteristic factors is thegeneric, objective property of a placebo. Hestipulates that a treatment is placebic if thisremedial failure exacerbates the targetdisorder. This stipulation can subsume asplacebic effects that might be solelypharmacological, e.g., paradoxical reactions tocertain psychiatric drugs. If that exacerbationcan be explained pharmacologically, then wemight question whether Grunbaum's definitionalscheme captures the core identity of what weusually intend by the placebo concept. Ipropose that this core identity is bestcaptured by a symbolic meaning hypothesis (...) inwhich psychological factors exert thedeterminative influence. (shrink)

This book presents stipulated definitions, essays, ontological arguments and logic used to determine necessary basic assumptions of right and wrong, culminating in a practical procedure based upon the Universal Law that can permit everyone to eliminate misconceptions, avoid destructive interpretations, and develop an ethical conscience.

Neo-Fregean logicists claim that Hume's Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A longstanding problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck's Two-sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it (...) isn't. In fact, 2FA is not conservative over $n$-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

Facts such as the fact that Donald Trump is the US president or the fact that Germany won the 2014 world cup final are commonly referred to as “institutional facts” (“IFF”). I advocate the view that the nature of these facts is comparatively simple: they are facts that exist by virtue of collective recognition (CR), where CR can be direct or indirect. The leading account of IFF, that of John Searle, basically conforms with this definition. However, in his writings (...) Searle has considered or defended several other conditions as potentially necessary for the existence of IFF. In particular, he has considered whether (a) IFF necessarily involve deontic powers, (b) IFF are necessarily so-called “status functions”, (c) IFF require speech acts of Declaring for their existence, (d) IFF require language for their existence. Each of these considerations, if valid, would seem to render the nature of IFF less simple. In this paper, I argue that none of these considerations stand up to scrutiny. Being unaware of any other serious considerations of this kind, I conclude that the nature of IFF is simple as captured by my definition. There is a respect, however, in which my view is possibly less simple than Searle’s, for he suggests that CR is always direct, and never indirect. I reject this suggestion. Indeed, I think that most of the facts existing by virtue of CR exist by virtue of indirect CR. Some authors have (or at least might be construed as having) objected that CR is not even necessary for the existence of IFF. I argue that the account defended here is immune to these objections. (shrink)

This essay attempts to give definitions and identity conditions for the two predominant senses of ‘Argument’ currently in use, the one involving reasons for a conclusion and the other denoting an expressed disagreement with ensuing verbal behaviour by two parties. I see Johnson's new concept of ‘Argument’, as developed in his book Manifest Rationality, as a hybrid of the two common senses of ‘Argument’, and, accordingly, I try to define and give the identity conditions of Johnson-arguments. Finally, I disagree with (...) Johnson on the nature of the definition he thinks he has proposed, and I conclude with observations suggesting that his logical perspective has dialectical and rhetorical components. (shrink)

The emergence of organic, metabolic, cognitive and cultural codes points us to the need for a new kind of explanatory causality, and a different kind of bio-logic— one dependent on, but different from, the deterministic logic derived from mechanical causality, and one which can account for the increase in semiotic freedom which is evident in the biological hierarchy. Building upon previous work (Bruni 2003), in this article I provide a stipulative definition of semiotic freedom and its relation to (...) causality in biological and cognitive systems. To do so, I will first discuss the close relation that triadic causality and semiotic freedom have to the notions of teleology and emergence, and how the latter two are interrelated in living systems. I pinpoint some of the reservations that these notions have encountered in the history of science (including evolutionary biology and cognitive science), but stress also their necessity in the study of any given biological and cognitive system. I draw a distinction between horizontal and vertical emergence in order to arrive at a notion of ‘second order emergence’ that affords us a more viable definition of semiotic freedom. I will then attempt to show that all of these concepts are of paramount importance when we come to study processes of sensing, perception andcognition at any level of a living system. Accordingly, these ideas are part of a framework-in-development to research the scale of thresholds of semiotic freedom, by assuming a top-down approach i.e., by starting from the highest levels of semiotic freedom and cognitive processes, and exploring how those processes disaggregate into lesser degrees of freedom. I thus hope to bridge the gap between those levels from above. (shrink)

A central debate in philosophy of race is between eliminativists and conservationists about what we ought do with ‘race’ talk. ‘Eliminativism’ is often defined such that it’s committed to holding that (a) ‘race’ is vacuous and races don’t exist, so (b) we should eliminate the term ‘race’ from our vocabulary. As a stipulative definition, that’s fine. But as an account of one of the main theoretical options in the debate, it’s a serious mistake. I offer three arguments for (...) why eliminativism should not be tethered to vacuity or error theory, and three arguments for why the view shouldn’t be understood in terms of eliminating the term ‘race’ from our vocabulary. Instead, I propose we understand the debate as concerning whether certain uses of ordinary race terms are typically wrong. This proposal is quite simple, and naturally suggested by the common gloss that eliminativism about ‘race’ is akin to a commonsensical view about 'witch' talk. But nonetheless, I argue that it offers a significant recharacterization of this core debate in philosophy of race. (shrink)

This paper aims to provide a "real", as opposed to "merely stipulative", definition of "pornography". The paper first argues that no extant definition of "pornography" comes close to being a real definition, and then goes on to defend a novel definition by showing how it avoids objections that plague its rivals.

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...) that every Popper function is representable in terms of the standard real values of some infinitesimal measure. Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-questionbegging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)

In this paper, we examine recent critiques of the debate about defining disease, which claim that its use of conceptual analysis embeds the problematic assumption that the concept is classically structured. These critiques suggest, instead, developing plural stipulative definitions. Although we substantially agree with these critiques, we resist their implication that no general definition of “disease” is possible. We offer an alternative, inductive argument that disease cannot be classically defined and that the best explanation for this is that (...) the concept is structured as a cluster. We further argue that we do not need to reject the possibility of defining the general concept “disease” to legitimate developing stipulative definitions of disease that are relative to particular purposes. A cluster definition of disease is compatible with contextually motivated definitions, which may be considered précisifications of the more general cluster concept. (shrink)