Visual percepts are called veridical when a “real” object can be identified as their cause, and illusions otherwise. The perceived position and color of a flashed object may be called veridical or illusory depending on which viewpoint one adopts. Since “reality” is assumed to be fixed (independent of viewpoint) in the definition of veridicality (or illusion), this suggests that “perceived” position and color are not properties of “real” objects.

While color realism is endorsed, Byrne & Hilbert's (B&H's) case for it stretches the notion of “physical property” beyond acceptable bounds. It is argued that a satisfactory account of color should do much more to respond to antirealist intuitions that flow from the specificity of color experience, and a pointer to an approach that does so is provided.

Byrne & Hilbert propose that color can be identified with explicit properties of physical surfaces. I argue that this claim must be qualified to take into account constraints needed to make recovery of surface color information possible. When these constraints are satisfied, then a biological visual system can establish a correspondence between perceived surface color and specific surface properties.

Revelation, the thesis that the full intrinsic nature of colors is revealed to us by color experiences, is false in Byrne & Hilbert's (B&H's) view, but in an interesting and nonobvious way. I show what would make Revelation true, given B&H's account of colors, and then show why that situation fails to obtain, and why that is interesting.

Metamerism is a rather common feature of objects. The authors see it as problematic because they are concerned with a special case: metamerism in standard conditions. Such metamerism does not, however, pose a problem for color realists. There is an apparent problem in cases of metameric light sources, but to see such metamers as problematic is to fail to answer Berkeley's challenge.

This essay reconsiders Davidson's critical attribution of the scheme‐content distinction to Quine's naturalized epistemology. It focuses on Davidson's complaint that the presence of this distinction leads Quine to mistakenly construe neural input as evidence. While committed to this distinction, Quine's epistemology does not attempt to locate a justificatory foundation in sensory experience and does not then equate neural intake with evidence. Quine's central epistemological task is an explanatory one that attempts to scientifically clarify the route from stimulus to science. Davidson's (...) critical remarks wrongly assign concerns to Quine's view that it does not have and further obscures the status of his naturalized conception of epistemology. (shrink)

For example, Cheryl Misak in her book-length examination of verificationism writes that ‘the holist [such as Quine] need not reject verificationism, if it is suitably formulated. Indeed, Quine often describes himself as a verificationist’.[iii] Misak concludes that Quine ‘can be described as a verificationist who thinks that the unit of meaning is large’;[iv] and when comparing Dummett and Quine, Misak states that ‘both can be, and in fact are, verificationists’.[v].

Quine’s thesis of the indeterminacy of translation has puzzled the philosophical community for several decades. It is unquestionably among the best known and most disputed theses in contemporary philosophy. Quine’s classical argument for the indeterminacy thesis, in his seminal work Word and Object, has even been described by Putnam as “what may well be the most fascinating and the most discussed philosophical argument since Kant’s Transcendental Deduction of the Categories” (Putnam, 1975a: p. 159).

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

J C Walker; Dusting Off Educational Studies: a methodology for implementing certain proposals of John Wilson’s, Journal of Philosophy of Education, Volume 18, I.

Ernst Mayr has argued that Darwinian theory discredited essentialist modes of thought and replaced them with what he has called "population thinking". In this paper, I characterize essentialism as embodying a certain conception of how variation in nature is to be explained, and show how this conception was undermined by evolutionary theory. The Darwinian doctrine of evolutionary gradualism makes it impossible to say exactly where one species ends and another begins; such line-drawing problems are often taken to be the decisive (...) reason for thinking that essentialism is untenable. However, according to the view of essentialism I suggest, this familiar objection is not fatal to essentialism. It is rather the essentialist's use of what I call the natural state model for explaining variation which clashes with evolutionary theory. This model implemented the essentialist's requirement that properties of populations be defined in terms of properties of member organisms. Requiring such constituent definitions is reductionistic in spirit; additionally, evolutionary theory shows that such definitions are not available, and, moreover, that they are not needed to legitimize population-level concepts. Population thinking involves the thesis that population concepts may be legitimized by showing their connections with each other, even when they are not reducible to concepts applying at lower levels of organization. In the paper, I develop these points by describing Aristotle's ideas on the origins of biological variation; they are a classic formulation of the natural state model. I also describe how the development of statistical ideas in the 19th century involved an abandoning of the natural state model. (shrink)

forthcoming in Philosophy Compass [penultimate draft .pdf file] A survey of the contemporary social constructionist landscape.

In this article I discuss the justification of scientific change and argue that it rests on different sorts of invariance. Against this background I consider notions of observation, meaning, and regulative standards. I sketch an account of the rationale of scientific change which preserves the merits and avoids the shortcomings of the approach of Feyerabend, Hanson, Kuhn, Toulmin, and others. Each of these writers would hold that transitions from one scientific tradition to another force radical changes in what is observed, (...) in the meanings of the terms employed, and in the metastandards involved. They would claim that "incommensurable" replacement is what does, and should, occur during scientific "revolutions." Such writers, however, have trouble in comparing different scientific theories. My account permits different theories to be compared in various ways. These comparisons, I argue, are possible through appeal to "first-level" and "second-level" invariance. In this connection I argue that observation, meaning, and regulative standards should be, and in fact usually are, nontrivially invariant with respect to scientific change. (shrink)

This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments (...) to experimental arrangements. Two versions of QL, the lattice-theoretic (LT) and partial-Boolean-algebra (PBA), are considered. It turns out that the projection postulate is intimately connected with the choice of conditional connective for QL. The effect of the projection postulate is obtained with the Sasaki conditional. However, this choice is found to require extra assumptions, on both the LT and PBA versions, which are either just as ad hoc as the projection postulate itself or indefensible from within the real-logic QL framework. (shrink)

The target article is an attempt to make some progress on the problem of color realism. Are objects colored? And what is the nature of the color properties? We defend the view that physical objects (for instance, tomatoes, radishes, and rubies) are colored, and that colors are physical properties, specifically types of reflectance. This is probably a minority opinion, at least among color scientists. Textbooks frequently claim that physical objects are not colored, and that the colors are "subjective" or "in (...) the mind." The article has two other purposes: first, to introduce an interdisciplinary audience to some distinctively philosophical tools that are useful in tackling the problem of color realism and, second, to clarify the various positions and central arguments in the debate. (shrink)

It would be nice if good old a priori conceptual analysis were possible. For many years conceptual analysis was out of fashion, in large part because of the excessive ambitions of verificationist theories of meaning._ _However, those days are over._ _A priori conceptual analysis is once again part of the philosophical mainstream._ _This renewed popularity, moreover, is well-founded. Modern philosophical analysts have exploited developments in philosophical semantics to formulate analyses which avoid the counterintuitive consequences of verificationism, while vindicating our ability (...) to know a priori precisely what it is our words and thoughts represent._ _Despite its apparent promise, however, I. (shrink)

CRS says that the meanings of expressions of a language or other symbol system or the contents of mental states are determined and explained by the way symbols are used in thinking. According to CRS one.

In this paper, we want to present the genesis of Stanisław Leśniewski’s mereology. Although ‘mereology’ comes from theword ‘part’, mereology arose as a theory of collective classes. That is why we present the differences between the concepts of being a distributive class and being a collective class. Next, we present Leśniewski’s original mereology from 1927, but with a modern approach. Leśniewski was inspired to create his concept of classes and their elements by Russell’s antinomy. To face it, Leśniewski had to (...) define the concept of being an element of based on the concept of being part of. Leśniewski showed that in his theory, there is no equivalent to Russell’s antinomy. We will show that his solution has nothing to do with the original approach because, in both cases, we are talking about objects of a different kind. Russell’s original antinomy concerned distributive classes, and Leśsniewski’s considerations concerned collective classes. (shrink)

What are academic hoaxes, and what should we make of them? This paper argues that academic hoaxes are exercises in pretense, with a complex structure involving both a focal item and a self‐revealing dimension, all governed by attitudes about the relevant sort of academic work, that are derivative yet different from the attitudes found in normal participation in publication. Hoaxes done primarily for humorous purposes are unproblematic. Serious academic hoaxes are both inherently risky and poorly suited to accomplish their ends, (...) making them an undesirable feature of the contemporary academic landscape. (shrink)

Linguistic ontologists and antilinguistic, ‘serious’ ontologists both accept the inference from ‘Fido is a dog’ to ‘Fido has the property of being a dog’ but disagree about its ontological consequences. In arguing that we are committed to properties on the basis of these transformations, linguistic ontologists employ a neo-Fregean meta-ontological principle, on which the function of singular terms is to refer. To reject this, serious ontologists must defend an alternative. This paper defends an alternative on which the function of singular (...) terms is not generally to refer and on which they are generally ontologically noncommittal. This is the best way to reject linguistic, ‘easy’ arguments for the existence of properties. The account recommends neutralism about quantification (drawing on Barcan Marcus and Meinongianism), coherently bringing together two important yet uncombined meta-ontological movements. Moreover, it employs Ramseyan insights about the transformations to provide a nonreductionist, non-error-theoretic redundancy approach to explicit talk about properties. (shrink)

In recent years, many philosophers of science have rejected the “value-free ideal” for science, arguing that non-epistemic values have a legitimate role to play in scientific inquiry. However, this philosophical position raises the question of how to distinguish between legitimate and illegitimate influences of values in science. In this paper, we argue that those seeking to address this “new” demarcation problem can benefit by drawing lessons from the “old” demarcation problem, in which philosophers tried to find a way of distinguishing (...) between science and non-science. Many of those who worked on this problem ultimately found that efforts to provide necessary and sufficient conditions for defining science failed, and most concluded that the best solution to the problem was to characterize scientific hypotheses, theories, and research programs in terms of some common norms. We suggest that those seeking to distinguish between legitimate and illegitimate value influences on science would do well to adopt a similar approach. Rather than attempting to establish necessary and sufficient conditions for identifying appropriate value influences, it will be more fruitful to evaluate scientific activities based on their adherence to a set of epistemic and ethical norms that can be implemented in scientific practice by means of rules, conventions, policies, and procedures. (shrink)

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...) Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

Most of the most prominent discussions within metaphysics assume without argument that our metaphysical theorizing should be constrained by classical logic. I examine why this is the case and then argue that it should not be. That is, I argue that we should not take our metaphysical theorizing to be constrained by classical logic.

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

In this paper, we compare Heidegger and Sellars’ respective responses to Kant’s Schematism section of the Transcendental Analytic, taking heed of how both philosophers motivate a criticism of representationalism in their respective renderings while also prodding their Kantian insights towards a holist conception of normativity. We begin with an overview and analysis of Heidegger and Sellars’ holism, comparing both thinkers’ systematic thought. We then turn to how both appraise Kant' Schematism section, first working through Heidegger’s analysis of Kant’s understanding and (...) imagination. We follow this up with Sellars’ naturalized Kantianism, taking particular interest in how Sellars emphasizes the basic foundational units, i.e., ‘this-suches’, grounding Kant’s theory of perception. We appraise both approaches, making the case that they offer a compatible productive misreading. (shrink)

Buddhist schools of thought share two fundamental assumptions about language. On the one hand, language is identified with conceptual thinking, which according to the Buddhist doctrine separates us from the momentary and fleeting nature of reality. Language is comprised of generally applicable forms, which fuel the reificatory proclivity for clinging to the distorted – and ultimately fictious – belief in substantial existence. On the other hand, the distrust of language is mitigated by the doctrine of ineffability, which although asserts that (...) reality is beyond the scope of linguistic description, submits that philosophical analyses of key Buddhist concepts is a means of overcoming the limitations that language imposes on our experience and facilitating insight into the nature of reality. This paper provides an overview of Buddhist philosophy of language, with an emphasis on the dialectical view of language as indispensable but ultimately insufficient for contemplation. The Buddhist discussions of ineffability are explicated and compared with its treatment in modern Occidental thought, specifically the similarities and differences with Wittgenstein’s philosophy of language. (shrink)

An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we have is two formula-tokens of the same formula-type—one formula occurring twice over, that is—the question arises as to whether, when that formula is true, to count the case as one in which exactly one of the disjuncts is (...) true, counting by type, or as a case in which two disjuncts are true, counting by token. The latter is the standard answer: counting by tokens. James McCawley once suggested that, when the exclusively disjunctive construction in natural language is at issue, the construction should be treated as involving a multigrade connective whose semantic treatment is sensitive to the set of disjuncts rather than the corresponding multiset. Without any commitment as to whether there actually is such a construction, and conceding that for obvious pragmatic reasons such ‘repeated disjunct’ cases would be at best highly marginal, we note that for the binary case, this requires a nonstandard answer—count by type rather than by token—to the earlier question, and thus, an idempotent exclusive disjunction connective. Section 2 explores that idea and Section 3, a further idempotent variant for which it is the propositions expressed by the disjuncts, rather than the disjuncts themselves, that get counted once only in the case of repetitions. Sections 1 and 4 respectively set the stage for these investigations and conclude the discussion. More detailed considerations of points arising from the discussion but otherwise in danger of interrupting the flow are deferred to a ‘Longer Notes’ appendix at the end. (shrink)

Jerrold J. Katz often explained his semantic theory by way of an analogy with physical atomism and an attendant analogy with chemistry. In this chapter, I track the origin and uses of these analogies by Katz, both in explaining and defending his decompositional semantic theory, through the various phases of his work throughout his career.

Schaffer offers us in the last section of “On What Grounds What” (2009) an applied illustration of his allegedly Aristotelian metaontological position. According to this illustration, Schaffer’s metaontological position, supplemented with a few Aristotelian theses about substance and grounding, would converge in a view remarkably similar to his priority monism (Philosophical Studies, 145, 131–148, 2009b; Philosophical Review, 119, 31–76, 2010a), the view that there is one single fundamental substance. In this paper, I will argue against Schaffer’s suggestion that priority monism (...) represents a viable development of Aristotelian metaphysics. In particular, I will hold that the most plausible version of Schaffer’s priority monism by Aristotelian standards fails to satisfy basic Aristotelian tenets about dependence, composition, change, and persistence, and suggest that this is evidence that Aristotelians are more at home with a pluralism rather than a monism about substance. (shrink)

There is a broad consensus in the literature that in the section on ‘The Genus’ in theScience of Logic, Hegel argues that any living being must exist among other instances of its kind, with which it reproduces to create future generations, and out of which it was itself produced. This view is not only hard to motivate philosophically, it also seems to contradict many things Hegel says elsewhere in his system about the details of living nature, especially concerning the reality (...) of spontaneous generation. After an examination of the secondary literature on ‘The Genus’, I offer an alternative view of this section, which I call ‘the Modal Reading’. The Modal Reading sees the language of pluralities in ‘The Genus’ as really Hegel's peculiar way of articulating certain modal features of thoughts about the living: to grasp a living individual as living, we need to distinguish not only between this individual and its environment, but also between the things this individual actually does and other possibilities which it does not actualize. The Modal Reading has a logical motivation insofar as it articulates what is needed to think of a living being as living, but it also avoids saddling Hegel with the problematic entailments he is usually read as taking on in this section. A further upshot of the Modal Reading is that approaching Hegel in this way provides us with a way to see Hegel as defending a non-nominalistic alternative to essentialist accounts of living kinds. Finding a way to read ‘The Genus’ which coheres with Hegel's views elsewhere in his system thus shows Hegel to have been an especially subtle and penetrating thinker, with continuing relevance for the philosophy of biology. (shrink)

The study of human behavior is severely hampered by logistical problems, ethical and legal constraints, and funding shortfalls. However, the biggest difficulty of conducting social and behavioral research is the extraordinary complexity of the study phenomena. In this article, we review the impact of complexity on research design, hypothesis testing, measurement, data analyses, reproducibility, and the communication of findings in psychological science. The systematic investigation of the world often requires different approaches because of the variability in complexity. Confirmatory testing, multi-factorial (...) designs, survey methods, large samples, and modeling are frequently needed to study complex social and behavioral topics. Complexity impedes the measurement of general constructs, the reproducibility of results and scientific reporting, and the general rigor of research. Many of the benchmarks established by classic work in physical science are not attainable in studies of more complex phenomena. Consequently, the standards used to evaluate scientific research should be tethered to the complexity of the study topic. (shrink)

European Journal of Philosophy, EarlyView.

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

This paper considers the relevance of the Duhem-Quine thesis in economics. In the introductory discussion which follows, the meaning of the thesis and a brief history of its development are detailed. The purpose of the paper is to discuss the effects of the thesis in four specific and diverse theories in economics, and to illustrate the dependence of testing the theories on a set of auxiliary hypotheses. A general taxonomy of auxiliary hypotheses is provided to demonstrate the confounding of auxiliary (...) hypotheses with the testing of economic theory. (shrink)

While Quine’s linguistic behaviorism is well-known, his Kant Lectures contain one of his most detailed discussions of behaviorism in psychology and the philosophy of mind. Quine clarifies the nature of his psychological commitments by arguing for a modest view that is against ‘excessively restrictive’ variants of behaviorism while maintaining ‘a good measure of behaviorist discipline…to keep [our mental] terms under control’. In this paper, I use Quine’s Kant Lectures to reconstruct his position. I distinguish three types of behaviorism in psychology (...) and the philosophy of mind: ontological behaviorism, logical behaviorism, and epistemological behaviorism. I then consider Quine’s perspective on each of these views and argue that he does not fully accept any of them. By combining these perspectives we arrive at Quine’s surprisingly subtle view about behaviorism in psychology. (shrink)

in april 1933, two bright young Ph.D.s were elected to the Harvard Society of Fellows: the psychologist B. F. Skinner and the philosopher/logician W. V. Quine. Both men would become among the most influential scholars of their time; Skinner leads the "Top 100 Most Eminent Psychologists of the 20th Century," whereas philosophers have selected Quine as the most important Anglophone philosopher after the Second World War.1 At the height of their fame, Skinner and Quine became "Edgar Pierce twins"; the latter (...) obtaining the endowed chair at Harvard's department of philosophy, the former taking up the position at Harvard's psychology department.2Besides these biographical parallels, there also... (shrink)

Quine's metaphilosophical naturalism is often dismissed as overly “scientistic.” Many contemporary naturalists reject Quine's idea that epistemology should become a “chapter of psychology” and urge for a more “liberal,” “pluralistic,” and/or “open-minded” naturalism instead. Still, whenever Quine explicitly reflects on the nature of his naturalism, he always insists that his position is modest and that he does not “think of philosophy as part of natural science”. Analyzing this tension, Susan Haack has argued that Quine's naturalism contains a “deep-seated and significant (...) ambivalence”. In this paper, I argue that a more charitable interpretation is possible—a reading that does justice to Quine's own pronouncements on the issue. I reconstruct Quine's position and argue that Haack and Quine, in their exchanges, have been talking past each other and that once this mutual misunderstanding is cleared up, Quine's naturalism turns out to be more modest, and hence less scientistic, than many contemporary naturalists have presupposed. I show that Quine's naturalism is first and foremost a rejection of the transcendental. It is only after adopting a broadly science-immanent perspective that Quine, in regimenting our language, starts making choices that many contemporary philosophers have argued to be unduly restrictive. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

I critically evaluate the notion of structure Ted Sider presents in Writing the Book of the World. A prerequisite to understanding Sider's notion of structure is understanding Sider's take on ideology and ontology. In Section II, I discuss this. In Section III, I consider arguments in favor of structure. In Section IV, I examine one debate that is considered by Sider to be nonsubstantive: the debate over modality. I conclude, in Section V, by examining the reception Writing the Book of (...) the World has received in the philosophical community. (shrink)

I investigate whether degreed beliefs are able to play the predictive, explanatory, and modeling roles that they are frequently taken to play. The investigation focuses on evidence—both from sources familiar in epistemology as well as recent work in behavioral economics and cognitive psychology—of variability in agents' apparent degrees of belief. Although such variability has been noticed before, there has been little philosophical discussion of its breadth or of the psychological mechanisms underlying it. Once these are appreciated, the inadequacy of degrees (...) of belief becomes clear. I offer a theoretical alternative to degrees of belief, what I call the filter theory. (shrink)

Within philosophy of medicine it has been a widespread view that there are important theoretical and practical reasons for clarifying the nature of basic health concepts like disease, illness and sickness. Many theorists have attempted to give definitions that can function as general standards, but as more and more definitions have been rejected as inadequate, pessimism about the possibility of formulating plausible definitions has become increasingly widespread. However, the belief that no definitions will succeed since no definitions have succeeded is (...) an inductive objection, open to realist responses. The article argues that an influential argument from philosophy of language constitutes a more fundamental objection. I use disease as an example and show that this argument implies that if a common understanding of disease can be analysed into a definition, then this is a non-trivial definition. But any non-trivial analysis must be viciously circular: the analysis must presuppose that disease can be defined, but this is what the analysis is supposed to yield as a result. This means, the article concludes, that disease and other controversial health concepts do not have analyses grounded in a common language. Stipulative and contextual definitions can have local significance, but the normative roles of such definitions are at the same time limited. (shrink)

Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...) can be transferred to modal logics. (shrink)