Hume offers not one, but two definitions of virtue: a more famous one in terms of usefulness or agreeability to the self or to others, and a second in terms of eliciting approbation or disapprobation from spectators. Some scholars endorse the former definition as the more fundamental one; others endorse the latter as more fundamental. This paper argues that neither definition is more fundamental than the other. The two definitions are distinct but complementary, in that they have to (...) rely on each other in various ways. (shrink)

The purpose of this mixed method interdisciplinary study was to investigate lay individuals’ (i.e., community members’ and college students’) perceptions and understandings of meditation. Within our analytic sample (n = 200), participants completed an online survey. Specifically, we asked each participant to define “meditation” in their own words, and then we used thematic analysis to identify themes from their responses. Further, we analyzed responses to quantitative questions regarding participants’ views on religious/spiritual aspects of meditation. The majority of participants identified as (...) being White, non-Hispanic (72.0%), and female sex at birth (n = 63.5%). Overall, seven distinct themes were identified based on participants’ definitions of meditation: (a)“Religious, Spiritual, and Philosophical”; (b)“Attention/Observing”; (c)“Calming, Grounding, and Relaxation”; (d)“Mindfulness-Oriented”; (e)“Virtue Cultivation”; (f )“Techniques”; and (g)“Solitary Reflection.” Further, 30.5% of participants endorsed that the practice of meditation is spiritual and religious, 39.5% endorsed spiritual but not religious, 1.0% endorsed religious but not spiritual, and 29.0% endorsed neither spiritual nor religious. Several significant differences were found in both theme endorsement and quantitative responses based on prior experience with meditation and religious/spiritual self-identification. Overall, our results suggest that laypeople’s preconceived ideas (or misconceptions) about what meditation is, and what it entails, vary based on prior meditation experience and self-identification with religion and spirituality. (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)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.

In his exchanges with Bramhall on liberty, Hobbes provides an argument for his understanding of liberty, a “proof” from experience, which appears to be obviously flawed. According to Bramhall, Hobbes is making a basic mistake: he’s assuming that what’s in our minds serves as a legitimate basis for a conclusion about liberty. But close attention to the exchanges related to this argument shows this assessment to be too hasty, because despite first appearances, the dispute between Hobbes and Bramhall regarding this (...) argument is not really about experience. Instead, the dispute amounts to a deeper disagreement about the nature of definitions, how we acquire them, and how we should use them. I argue that when we interpret Hobbes as holding that the definitions of the terms in the debate, such as ‘liberty,’ need no demonstration because they are “explications of our simplest conceptions,” his argument from experience makes better sense and reveals, even in its main points of contention, the coherence of the argument with his most fundamental philosophical commitments regarding method, materialism, and language. (shrink)

We start by noting that the set-theoretic and semantic paradoxes are framed in terms of a definition or series of definitions. In the process of deriving paradoxes, these definitions are logically represented by a logical equivalence. We will firstly examine the role and usage of definitions in the derivation of paradoxes, both set-theoretic and semantic. We will see that this examination is important in determining how the paradoxes were created in the first place and indeed how they (...) are to be solved in a uniform way. There are three features that are special about these definitions used in the derivation of most of the above paradoxes. The first is the use of self-reference between the definiens and the definiendum, the second is the generality of the definiendum, and the third is the under-determination and over-determination of concepts that usually occur as a result of these definitions. We will examine the impact of these three features on the logical representation of definitions and show how this representation then leads to a uniform paradox solution using an appropriate logic that is both paraconsistent and paracomplete. However, it is the paracompleteness, exhibited through the rejection of the Law of Excluded Middle, together with the rejection of contraction principles, that enables the solution of the paradoxes to go through. We characterize definitions as involving syntactic identity and/or meaning identity. We point out that some paradoxes do not have explicit self-reference or circularity and some may not utilize the generality of the definiendum, but the general characterizations of definitions that we give will still apply. We also look beyond all this to paradoxes that rely on illicit definitions between objects that are essentially different to start with. (shrink)

De Morgan says a ‘paradox’ is something which is apart from general opinion, either in subject-matter, method, or conclusion. Such a thing might be a system, theory, opinion, argument, conclusion or some other kind of thing. In this respect, this definition is generic. However, any minority opinion would satisfy this definition. In that respect, it is too broad. Other seminal definitions are more specific. Quine says a ‘paradox’ is a conclusion that sounds absurd yet has an argument to sustain (...) it. Sainsbury likewise defines the paradoxes as a species of conclusions. He says a ‘paradox’ is an apparently unacceptable conclusion of an apparently acceptable argument; whereas Mackie defines a ‘paradox’ as an apparently sound proof of an unacceptable conclusion. Yet others define the paradoxes as a species of statements, arguments, riddles or inconsistent sets of sentences. If the extensions of all these specific definitions are paradoxes, then each of these definitions is too narrow. For an adequate definition, I advocate a generic definition. Besides, many paradoxes have related hypodoxes. For example, Liar paradoxes have related Truth-tellers. Mackie lists Truth-teller counterparts for many paradoxes of self-reference. He characterizes these as consistent variations of paradoxes. Yet if they are consistent, how can they be paradoxes? I generalize Truth-tellers to hypodoxes, which are distinct from paradoxes, including hypodoxes of self-reference, time travel, birthdays and modalities. Accordingly, I also advocate a generic definition of ‘hypodox’. (shrink)

Many modern biomedical terminologies including SNOMED CTSNOMED CT and NCItNCI Thesaurus (NCIt) have been formally represented using description logics (DLDescription Logic (DL)), a family of formal knowledge representation languages. A key reasoning service provided by DL is ontology classification, achieved by DL reasoners (e.g., ELK [121], Snorocket [122]), which can check the consistency of definitions across the whole ontology and automatically infer a hierarchy of concepts (i.e., infer IS-A hierarchical relations among concepts) based on the stated facts. In this (...) chapter, we discuss approaches that leverage these logical definitions to identify missing IS-A relations and missing concepts in biomedical ontologies. (shrink)

Definitions of health in terms of some kind of balance form a category of their own within the sphere of health definition. Such definitions have their roots in the beginnings of scientific medicine, and popular versions are common among lay people. It has even been claimed that balance is fundamental to health for all species. Several present-day definitions of health in terms of balance are presented here. Particular attention is given to the call for a definition of (...) health applicable to both humans and animals within the One Health approach, involving human medicine, veterinary medicine and ecology. Definitions in terms of balance have been suggested but none has been thoroughly analysed with regard to its suitability. There are therefore three concerns in this paper. The first is to introduce versions of the category of balance, as a first step towards a nomenclature of health definitions. The second is to analyse the claim made recently that balance is a universal criterion of health in all species including humans. The third is to ascertain whether any of the versions discussed is suited to the One Health approach. (shrink)

Aesthetic definitions of art face difficulties in dealing with art that is nonaesthetic. This has led some to suggest that if aesthetic theories of art are to apply to all art, then they must be disjunctive. In such a case, something would be art if and only if it either satisfied certain aesthetic criteria, or satisfied other, nonaesthetic, criteria.Nick Zangwill offers the Aesthetic Creation Theory. He considers ways that his theory could account for nonaesthetic art, and ultimately adopts a (...) disjunctive theory that makes use of the notion of second-order art—art that gains art status by referring to first-order art that satisfies the Aesthetic Creation Theory’s conditions.I will examine Zangwill’s theory and his response to the problem of nonaesthetic art with the aim of showing that the idea of second-order art may be unnecessary. There is hope for a non-disjunctive account of the nature of art, I claim, if we reconsider the attempts to deal with nonaesthetic art that Zangwill himself rejects. (shrink)

In this paper I argue that Kant’s doctrine of definitions, as it is developed in theTranscendental Doctrine of Method(TDM) and in the lectures on logic, lays down the semantic background of the problem of the objective reality of the categories and of the solution Kant provides for it in theTranscendental Analytic. The distinction between nominal and real definitions introduces a two-dimensional element in Kant’s theory of concepts, and this, I argue, provides a compelling explanation for the assumption Kant (...) makes in §13 that it is possible to possess a concept without knowing the conditions of its legitimate application. This view is supported by the parallels between Kant’s discussion of empirical, mathematical, and philosophical concepts in §13 and in theTDM. And, it allows clarifying the sense in which the arguments that prove the objective reality of the categories are, at the same time, counterfactual reflections that give us (incomplete) insight into their real definitions. (shrink)

It is often thought that materialism about themind can be clarified using the concept of supervenience. But there is a difficulty. Amaterialist should admit the possibility ofghosts and thus should allow that a world mightduplicate the physical character of our worldand enjoy, in addition, immaterial beings withmental properties. So materialists can't claimthat every world that is physicallyindistinguishable from our world is alsomentally indistinguishable; and this is wellknown. What is less understood are thedifferent ways that immaterial add-ons can maketrouble for supervenience-theoreticformulations (...) of materialism. In this paper, Ishall present a problematic kind of add-on thathas been ignored and look at threesupervenience-theoretic attempts to formulatematerialism in that light. (shrink)

I discuss candidates for definitions of determinism in the context of general relativistic spacetimes, and argue that a definition which does not make recourse to any particular region of spacetime should be preferred over alternatives; one such notion is discussed in detail in the light of various physical examples. The emerging picture of determinism is a pluralist one: sometimes there is no unique way of making our intuitive concept of determinism precise. Instead, what is crucial for assessment of determinism (...) of the theory are auxiliary conditions under which it counts as deterministic or indeterministic, and justification for using them in a given situation. (shrink)

This paper analyses the abstractionist account of quantity championed by Leibniz, especially in the 1680s. Leibniz introduced the notion of quantity in an indirect way, via an abstraction principle. In the first part of the paper, I identify the context in which this approach arose in light of Leibniz's criticism of his earlier dream of an ‘alphabet of human thought’. Recognising the impossibility of such a project led him to realise that, when dealing with terms referring to abstract objects, we (...) should always consider them within the true sentences in which they occur. In the second part, I describe this approach in detail. This allows us to look at some key concepts of Leibniz's theory of quantity. In particular, I raise the problem of the relationship between the two sides of the abstraction principle: how should we think of the relation between the claim that a and b are equal, and the claim that the quantity of a is identical to the quantity of b? I argue that we can find a positive answer to this problem in Leibniz. (shrink)

The philosophy of Confucius has often been accused of lacking classical definitions of its core concepts. However, as I shall argue, Confucius systematically used nonclassical definitions—to be precise, operational ones. The notion of operational definition comes from Percy Bridgman’s The Logic of Modern Physics and means that the definiendum is defined by a set of operations that results in determining the meaning of the term in question. In the case of Confucian argumentation, operational definitions are mostly nominal (...) and, in contrast to unambiguous methods of measurement, also context-dependent. This results in there being various yet not mutually inconsistent definitions of one term, and in “paradigmatic examples” playing a crucial role. As I show, this mode of defining things had major implications for the content of Confucius’ thought. In fact, many of its forms could be traced back to other Chinese philosophers, including those of non-Confucian provenance. (shrink)

There are grounds for taking Plato's agenda of searching for definitions to be ironic, and he points toward good arguments for being wary of trust in definitions.

This paper argues that in Christian Wolff’s theory of knowledge, logical regimentation does not take the place of experiential justification, but serves to facilitate the application of empirical information and clearly exhibit its warrant. My argument targets rationalistic interpretations such as R. Lanier Anderson’s. It is common ground in this dispute that making concepts “distinct” issues in the premises on which all deductive justification rests. Against the view that concepts are made distinct only by analysis, which is carried out by (...) the understanding independently of experience, I contend that for Wolff some distinct concepts are arrived at through experience. I emphasize that Wolff countenances empirical methods of obtaining distinct concepts even in mathematics. This striking feature of his view indicates how its empiricist elements can be reconciled with his injunction to follow “mathematical” method. (shrink)

Hume's two definitions of causation have caused an extraordinary amount of controversy. The starting point for the controversy is the fact, well known to most philosophy undergraduates, that the two definitions aren't even extensionally equivalent, let alone semantically equivalent. So how can they both be definitions? One response to this problem has been to argue that Hume intends only the first as a genuine definition—an interpretation that delivers a straightforward regularity interpretation of Hume on causation. By many (...) commentators' lights, however, this is a bug rather than a feature: such an account of the two definitions leaves necessary connection out of Hume's story about the meaning of "cause".. (shrink)

The main aim of this paper is to explore why it is so important for Hume to defi ne ‘cause’ as he does. This will shed light on the signifi cance of the natural/philosophical relation (hereafter NPR) distinction in the Treatise. Hume's use of the NPR distinction allows him to dismiss on general grounds conceptions of causation at odds with his own. In particular, it allows him to avoid having to engage in detailed re-interpretation of potentially confl icting theories formulated (...) by natural philosophers. Moreover, it provides an instance of the normative nature of Hume's “science of man.” The paper argues that the NPR distinction - in conjunction with the so-called copy principle - is meant to undercut appeals to the authority of theories not founded on Hume's “principles.” In order to illustrate its claims about Hume, this essay explores some aspects of Newton's natural philosophy. Finally, this paper resolves a long-standing interpretive problem: how to reconcile Hume's two “defi nitions” of causation in the Treatise. (shrink)

Definitions are important tools for our attempt to construct an intelligible imagine of reality. Regarded as such, there are interesting epistemological clues about them to consider: What does a legitimate definition look like? Or: Is there a privileged form that definitions should have? How do we find good definitions? Or: How do we know that a given definition is a good one? Traces of the debate on these, and similar other questions are ubiquitous in the history of (...) philosophy. The aim of this note, however, is not to give a historical account on this matter. Rather, on the basis of some very recent work of a proof–theoretical nature, I plan to address those issues in the context of a discussion concerning circular definitions. A definition is circular in the sense of this paper if the very concept that one is defining is used in the condition defining it. Despite their peculiar character, circular definitions are neither rare, nor easy to dispense with: it turns out that they affect in a significant way the ordinary life, as well as the philosophically interesting level of speech. That is the very reason why they have slowly gathered consideration from scholars in recent times, and have become matter of debate. Circular definitions break the traditional schema that can be used to give an account for ordinary definitions, therefore they raise the problem whether they are legitimate or should be avoided. The goal of this paper is to discuss the issue of circular definitions, illustrate the problematic features connected to it, and present recent developments in the logical research on the topic that help providing them with an arguably plausible justification. (shrink)

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

Ludwig Wittgenstein acknowledges that the Augustinian picture also informed his earlier conception of language. The Augustinian identification of the meaning of a word with the word's referent is accepted only with a further restriction. In the Tractatus, Wittgenstein distinguishes between simple objects and the thereof composed complex objects. This chapter provides a systematic reconstruction of Wittgenstein's sometimes opaque remarks on ostensive definitions and his critique of the Augustinian picture of language. It then addresses the doctrines about names and naming (...) endorsed in the Tractatus. According to the later Wittgenstein the simple ostensive definition of a word, consisting in the utterance of the word accompanied by a pointing gesture, does not unambiguously determine the use of the word. Wittgenstein's arguments can be complemented by the observation that having the same sample is not necessary for two terms to be equivalent either. (shrink)

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more general (...) moral for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

"Socrates' Pursuit of Definitions" examines the manner in which Socrates pursues definitions in Plato's early definitional dialogues and advances the following claims. Socrates evaluates definitions (proposed by his interlocutors or himself) by considering their consistency with conditions of the identity of F (F-conditions) to which he is committed. In evaluating proposed definitions, Socrates seeks to determine their truth-value. Socrates evaluates the truth-value of a proposed definition by considering the consistency of the proposed definition with F-conditions that (...) F he believes to be true. (For instance, a proposed definition's inconsistency with one of these gives Socrates reason to believe that the definition is false.) Socrates' belief in the truth of a given F-condition to which he is committed may be based on self-evidence, its endoxic status, experience, or deduction from premises to which he is committed on the basis of any of the previous three. However, Socrates does not consider the epistemological grounds of his commitments to his F-conditions. This is part of a general avoidance of metaethical and ethical epistemological issues. Due to his avoidance of these, Socrates' pursuit of true definitions is theoretically naïve. However, Socrates recognizes a certain limitation to his manner of pursuing definitions. These results are applied to advancing the following further points. (1) Although Socrates has a distinctive manner or style of pursuing definitions, it is inappropriate to ascribe to him a method of doing so in the following sense. The concept of method implies a certain theoretical conception of procedure that Socrates lacks. Moreover, according to Socrates' own conceptual framework, only one who possessed the relevant τέχνη would have a method. (2) Furthermore, Socrates' manner of pursuing definitions is not elenctic just insofar as the word "elenchus" is interpreted to have adversarial connotations; that is inconsistent with Socrates' motives and interests. (3) Socrates' manner of pursuing definitions is consistent among the early definitional dialogues. More specifically, there is no "demise of the elenchus" in a set of transitional dialogues, as Vlastos describes it. First, Socrates' manner of pursuing definitions is not "elenctic" (in the sense described). And, second, the fact that Socrates himself proposes definitions in allegedly post-elenctic dialogues (that is, Lysis and Hippias Major) is consistent with his manner of pursuing definitions. (4) In the early definitional dialogues, Socrates does not have a theory of definition. In particular, he lacks a general theoretical ontology. Moreover, while his comments and implicit commitments entail beliefs about some conditions for a satisfactory definition (for example, that the definiens must be a uniquely identifying true verbal description), such conditions do not constitute a theory. (5) Although in other early dialogues and in other parts of the definitional dialogues Socrates may express concern over the psychological states and well-being of his interlocutors, in the process of pursuing definitions, Socrates' principal concern is the evaluation of definitions, not the psychologies or lives of his interlocutors. (6) Finally, Socrates is committed to the epistemological priority of definitional knowledge for pertinent non-definitional knowledge. This does present a methodological problem of the kind to which Geach first drew attention. Specifically, according to the manner in which Socrates pursues definitions, it is unclear how he can get from belief that p to knowledge that p. Although this problem is genuine, Socrates himself is not unaware of such limits of his approach. (shrink)

A concept of informational equivalence between relations is explicated to generalize some suggestions by Geach. It is shown that two relations are informationally equivalent if and only if each can be defined in terms of the other without the use of quantifiers. It is shown that there is a general method for listing the ./-place relations informationally equivalent to an arbitrary given /-place relation if and only if i (...) the invariants of the group of invertible quantifier-free definitions, for / =j. Quantifier-free definition is contrasted with general first-order definition by means of an example of two first-order interdefinable relations which are not interdefined by any pair of mutually inverse first-order definitions. (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)