This article is written like a personal reflection, personal essay, or argumentative essay that states a Wikipedia editor's personal feelings or presents an original argument about a topic.(October 2018) |
In the philosophy of science and some other branches of philosophy, a "natural kind" is an intellectual grouping, or categorizing of things, that is reflective of the actual world and not just human interests. [1] Some treat it as a classification identifying some structure of truth and reality that exists whether or not humans recognize it. Others treat it as intrinsically useful to the human mind, but not necessarily reflective of something more objective. Candidate examples of natural kinds are found in all the sciences, but the field of chemistry provides the paradigm example of elements. Alexander Bird and Emma Tobin see natural kinds as relevant to metaphysics, epistemology, and the philosophy of language, as well as the philosophy of science. [1]
John Dewey held a view that belief in unconditional natural kinds is a mistake, a relic of obsolete scientific practices. [2] : 419–24 Hilary Putnam rejects descriptivist approaches to natural kinds with semantic reasoning. Hasok Chang and Rasmus Winther hold the emerging view that natural kinds are useful and evolving scientific facts.
In 1938, John Dewey published Logic: The Theory of Inquiry, where he explained how modern scientists create kinds through induction and deduction, and why they have no use for natural kinds.
Dewey argued that modern scientists do not follow Aristotle in treating inductive and deductive propositions as facts already known about nature's stable structure. Today, scientific propositions are intermediate steps in inquiry, hypotheses about processes displaying stable patterns. Aristotle's generic and universal propositions have become conceptual tools of inquiry warranted by inductive inclusion and exclusion of traits. They are provisional means rather than results of inquiry revealing the structure of reality.
Modern induction starts with a question to be answered or a problem to be solved. It identifies problematic subject-matter and seeks potentially relevant traits and conditions. Generic existential data thus identified are reformulated—stated abstractly as if-then universal relations capable of serving as answers or solutions: If , then water. For Dewey, induction creates warranted kinds by observing constant conjunction of relevant traits.
Dewey used the example of "morning dew" to describe these abstract steps creating scientific kinds. From antiquity, the common-sense belief had been that all dew is a kind of rain, meaning dew drops fall. By the early 1800s the curious absence of rain before dew and the growth of understanding led scientists to examine new traits. Functional processes changing bodies [kinds] from solid to liquid to gas at different temperatures, and operational constants of conduction and radiation, led to new inductive hypotheses "directly suggested by this subject-matter, not by any data [kinds] previously observable. ... There were certain [existential] conditions postulated in the content of the new [non-existential] conception about dew, and it had to be determined whether these conditions were satisfied in the observable facts of the case." [2] : 430
After demonstrating that dew could be formed by these generic existential phenomena, and not by other phenomena, the universal hypothesis arose that dew forms following established laws of temperature and pressure. "The outstanding conclusion is that inductive procedures are those which prepare existential material so that it has convincing evidential weight with respect to an inferred generalization. [2] : 432 Existential data are not pre-known natural kinds, but become conceptual statements of "natural" processes.
Dewey concluded that nature is not a collection of natural kinds, but rather of reliable processes discoverable by competent induction and deduction. He replaced the ambiguous label "natural kind" with "warranted assertion" to emphasize the conditional nature of all human knowings. Assuming kinds to be given unconditional knowings leads to the error of assuming that conceptual universal propositions can serve as evidence for generic propositions; observed consequences affirm unobservable imagined causes. "For an 'inference' that is not grounded in the evidential nature of the material from which it is drawn is not an inference. It is a more or less wild guess." [2] : 428 Modern induction is not a guess about natural kinds, but a means to create instrumental understanding.
In 1969, Willard Van Orman Quine brought the term "natural kind" into contemporary analytic philosophy with an essay bearing that title. [3] : 1 His opening paragraph laid out his approach in three parts. First, it questioned the logical and scientific legitimacy of reasoning inductively by counting a few examples posting traits imputed to all members of a kind: "What tends to confirm an induction?" For Quine, induction reveals warranted kinds by repeated observation of visible similarities. Second, it assumed that color can be a characteristic trait of natural kinds, despite some logical puzzles: hypothetical colored kinds such as non-black non-ravens and green-blue emeralds. Finally, it suggested that human psychological structure can explain the illogical success of induction: "an innate flair that we have for natural kinds". [4] : 41
He started with the logical hypothesis that, if all ravens are black—an observable natural kind—then non-black non-ravens are equally a natural kind: "... each [observed] black raven tends to confirm the law [universal proposition] that all ravens are black ..." Observing shared generic traits warrants the inductive universal prediction that future experience will confirm the sharing: "And every reasonable [universal] expectation depends on resemblance of [generic] circumstances, together with our tendency to expect similar causes to have similar effects." "The notion of a kind and the notion of similarity or resemblance seem to be variants or adaptations of a single [universal] notion. Similarity is immediately definable in terms of kind; for things are similar when they are two of a kind." [4] : 42
Quine posited an intuitive human capacity to recognize criteria for judging degrees of similarity among objects, an "innate flair for natural kinds”. These criteria work instrumentally when applied inductively: "... why does our innate subjective spacing [classification] of [existential] qualities accord so well with the functionally relevant [universal] groupings in nature as to make our inductions tend to come out right?"
He admitted that generalizing after observing a few similarities is scientifically and logically unjustified. The numbers and degrees of similarities and differences humans experience are infinite. But the method is justified by its instrumental success in revealing natural kinds. The "problem of induction" is how humans "should stand better than random or coin-tossing chances of coming out right when we predict by inductions which are based on our innate, scientifically unjustified similarity standards." [4] : 48–9
Quine credited human ability to recognize colors as natural kinds to the evolutionary function of color in human survival—distinguishing safe from poisonous kinds of food. He recognized that modern science often judges color similarities to be superficial, but denied that equating existential similarities with abstract universal similarities makes natural kinds any less permanent and important. The human brain's capacity to recognize abstract kinds joins the brain's capacity to recognize existential similarities.
Quine argued that the success of innate and learned criteria for classifying kinds on the basis of similarities observed in small samples of kinds, constitutes evidence of the existence of natural kinds; observed consequences affirm imagined causes. His reasoning continues to provoke philosophical debates.
In 1975, Hilary Putnam rejected descriptivist ideas about natural kind by elaborating on semantic concepts in language. [5] [6] Putnam explains his rejection of descriptivist and traditionalist approaches to natural kinds with semantic reasoning, and insists that natural kinds can not be thought of via descriptive processes or creating endless lists of properties.
In Putnam's Twin Earth thought experiment, one is asked to consider the extension of "water" when confronted with an alternate version of "water" on an imagined "Twin Earth". This "water" is composed of chemical XYZ, as opposed to H2O. However, in all other describable aspects, it is the same as Earth’s "water." Putnam argues that the mere descriptions of an object, such as "water", is insufficient in defining natural kind. There are underlying aspects, such as chemical composition, that may go unaccounted for unless experts are consulted. This information provided by experts is what Putnam argues will ultimately define natural kinds. [6]
Putnam calls the essential information used to define natural kind "core facts." This discussion arises in part in response to what he refers to as "Quine’s pessimism" of theory of meaning. Putnam claims that a natural kind can be referred to via its associated stereotype. This stereotype must be a normal member of the category, and is itself defined by core facts as determined by experts. By conveying these core facts, the essential and appropriate use of natural kind terms can be conveyed. [7]
The process of conveying core facts to communicate the essence and appropriate term of a natural kind term is shown in Putnam's example of describing a lemon and a tiger. With a lemon, it is possible to communicate the stimulus-meaning of what a lemon is by simply showing someone a lemon. In the case of a tiger, on the other hand, it is considerably more complicated to show someone a tiger, but a speaker can just as readily explain what a tiger is by communicating its core facts. By conveying the core facts of a tiger (e.g. big cat, four legs, orange, black stripes, etc.), the listener can, in theory, go on to use the word "tiger" correctly and refer to its extension accurately. [7]
In 1993, Hilary Kornblith published a review of debates about natural kinds since Quine had launched that epistemological project a quarter-century earlier. He evaluated Quine's "picture of natural knowledge" as natural kinds, along with subsequent refinements. [3] : 1
He found still acceptable Quine's original assumption that discovering knowledge of mind-independent reality depends on inductive generalisations based on limited observations, despite its being illogical. Equally acceptable was Quine's further assumption that instrumental success of inductive reasoning confirms both the existence of natural kinds and the legitimacy of the method.
Quine's assumption of an innate human psychological process—"standard of similarity," "subjective spacing of qualities"—also remained unquestioned. Kornbluth strengthened this assumption with new labels for the necessary cognitive qualities: "native processes of belief acquisition," "the structure of human conceptual representation," "native inferential processes," "reasonably accurate detectors of covariation." [4] : 3, 9. 95 "To my mind, the primary case to be made for the view that our [universal] psychological processes dovetail with the [generic] causal structure of the world comes ... from the success of science. [4] : 3
Kornblith denied that this logic makes human classifications the same as mind-independent classifications: "The categories of modern science, of course, are not innate." [4] : 81 But he offered no explanation of how kinds that work conditionally can be distinguished from mind-independent unchanging kinds. .
Kornblith didn't explain how tedious modern induction accurately generalizes from a few generic traits to all of some universal kind. He attributed such success to individual sensitivity that a single case is representative of all of a kind.
Accepting intuition as a legitimate ground for inductive inferences from small samples, Kornblith criticized popular arguments by Amos Tversky and Daniel Kahneman that intuition is irrational. He continued to argue that traditional induction explains the success of modern science.
Hasok Chang and Rasmus Winther contributed essays to a collection entitled Natural Kinds and Classification in Scientific Practice, published in 2016. The editor of the collection, Catherine Kendig, argued for a modern meaning of natural kinds, rejecting Aristotelian classifications of objects according to their "essences, laws, sameness relations, fundamental properties ... and how these map out the ontological space of the world." She thus dropped the traditional supposition that natural kinds exist permanently and independently of human reasoning. She collected original works examining results of discipline-specific classifications of kinds: "the empirical use of natural kinds and what I dub 'activities of natural kinding' and 'natural kinding practices'." [8] : 1–3 Her natural kinds include scientific disciplines themselves, each with its own methods of inquiry and classifications or taxonomies..
Chang's contribution displayed Kendig's "natural kinding activities" or "practice turn" by reporting classifications in the mature discipline of chemistry—a field renowned for examples of timeless natural kinds: "All water is H2O;" "All gold has atomic number 79."
He explicitly rejected Quine's basic assumption that natural kinds are real generic objects. "When I speak of a (natural) kind in this chapter, I am referring to a [universal] classificatory concept, rather than a collection of objects." His kinds result from humanity's continuous knowledge-seeking activities called science and philosophy. "Putting these notions more unambiguously in terms of concepts rather than objects, I maintain: if we hit upon some stable and effective classificatory concepts in our inquiry, we should cherish them (calling them 'natural kinds' would be one clear way of doing so), but without presuming that we have thereby found some eternal essences. [8] : 33–4
He also rejected the position taken by Bird and Tobin in our third quote above. "Alexander Bird and Emma Tobin’s succinct characterization of natural kinds is helpful here, as a foil: ‘to say that a kind is natural is to say that it corresponds to a grouping or ordering that does not depend on humans’. My view is precisely the opposite, to the extent that scientific inquiry does depend on humans." [8] : 42–3
For Chang, induction creates conditionally warranted kinds by "epistemic iteration"—refining classifications developmentally to reveal how constant conjunctions of relevant traits work: "fundamental classificatory concepts become refined and corrected through our practical scientific engagement with nature. Any considerable and lasting [instrumental] success of such engagement generates confidence in the classificatory concepts used in it, and invites us to consider them as 'natural'." [8] : 34
Among other examples, Chang reported the inductive iterative process by which chemists gradually redefined the kind "element". The original hypothesis was that anything that cannot be decomposed by fire or acids is an element. Learning that some chemical reactions are reversible led to the discovery of weight as a constant through reactions. And then it was discovered that some reactions involve definite and invariable weight ratios, refining understanding of constant traits. "Attempts to establish and explain the combining-weight regularities led to the development of the chemical atomic theory by John Dalton and others. ... Chemical elements were later redefined in terms of atomic number (the number of protons in the nucleus)." [8] : 38–9
Chang claimed his examples of classification practices in chemistry confirmed the fallacy of the traditional assumption that natural kinds exist as mind-independent reality. He attributed this belief more to imagining supernatural intervention in the world, than to illogical induction. He did not consider the popular belief that innate psychological capacities enable traditional induction to work. "Much natural-kind talk has been driven by an intuitive metaphysical essentialism that concerns itself with an objective [generic] order of nature whose [universal] knowledge could, ironically, only be obtained by a supernatural being. Let us renounce such an unnatural notion of natural kinds. Instead, natural kinds should be conceived as something we humans may succeed in inventing and improving through scientific practice." [8] : 44
Rasmus Winther's contribution to Natural Kinds and Classification in Scientific Practice gave new meaning to natural objects and qualities in the nascent discipline of Geographic Information Science (GIS). This "inter-discipline" engages in discovering patterns in—and displaying spatial kinds of—data, using methods that make its results unique natural kinds. But it still creates kinds using induction to identify instrumental traits.
"Collecting and collating geographical data, building geographical data-bases, and engaging in spatial analysis, visualization, and map-making all require organizing, typologizing, and classifying geographic space, objects, relations, and processes. I focus on the use of natural kinds ..., showing how practices of making and using kinds are contextual, fallible, plural, and purposive. The rich family of kinds involved in these activities are here baptized mapping kinds." [8] : 197
He later identified sub-kinds of mapping kinds as "calibrating kinds," "feature kinds," and "object kinds" of "data model types." [8] : 202–3
Winther identified "inferential processes of abstraction and generalization" as methods used by GIS, and explained how they generate digital maps. He illustrated two kinds of inquiry procedures, with sub-procedures to organize data. They are reminiscent of Dewey's multiple steps in modern inductive and deductive inference. [8] : 205 Methods for transforming generic phenomena into kinds involve reducing complexity, amplifying, joining, and separating. Methods for selecting among generic kinds involves elimination, classification, and collapse of data. He argued that these methods for mapping kinds can be practiced in other disciplines, and briefly considered how they might harmonize three conflicting philosophical perspectives on natural kinds.
Some philosophers believe there can be a "pluralism" of kinds and classifications. They prefer to speak of "relevant" and "interesting" kinds rather than eternal "natural" kinds. They may be called social constructivists whose kinds are human products. Chang's conclusions that natural kinds are human-created and instrumentally useful would appear to put him in this group.
Other philosophers, including Quine, examine the role of kinds in scientific inference. Winther does not examine Quine's commitment to traditional induction generalizing from small samples of similar objects. But he does accept Quine's willingness to call human-identified kinds that work natural.
"Quine holds that kinds are "functionally relevant groupings in nature" whose recognition permits our inductions to "tend to come out right." That is, kinds ground fallible inductive inferences and predictions, so essential to scientific projects including those of GIS and cartography." [8] : 207
Finally, Winther identified a philosophical perspective seeking to reconstruct rather than reject belief in natural kinds. He placed Dewey in this group, ignoring Dewey's rejection of the traditional label in favor of "warranted assertions".
"Dewey resisted the standard view of natural kinds, inherited from the Greeks ... Instead, Dewey presents an analysis of kinds (and classes and universals) as fallible and context-specific hypotheses permitting us to address problematic situations effectively." [8] : 208 Winther concludes that classification practices used in Geographic Information Science are able to harmonize these conflicting philosophical perspectives on natural kinds.
"GIS and cartography suggest that kinds are simultaneously discovered [as pre-existing structures] and constructed [as human classifications]. Geographic features, processes, and objects are of course real. Yet we must structure them in our data models and, subsequently, select and transform them in our maps. Realism and (social) constructivism are hence not exclusive in this field." [8] : 209
Charles Sanders Peirce was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism". According to philosopher Paul Weiss, Peirce was "the most original and versatile of America's philosophers and America's greatest logician". Bertrand Russell wrote "he was one of the most original minds of the later nineteenth century and certainly the greatest American thinker ever".
In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience and empirical evidence. It is one of several competing views within epistemology, along with rationalism and skepticism. Empiricists argue that empiricism is a more reliable method of finding the truth than purely using logical reasoning, because humans have cognitive biases and limitations which lead to errors of judgement. Empiricism emphasizes the central role of empirical evidence in the formation of ideas, rather than innate ideas or traditions. Empiricists may argue that traditions arise due to relations of previous sensory experiences.
Falsifiability is a deductive standard of evaluation of scientific theories and hypotheses, introduced by the philosopher of science Karl Popper in his book The Logic of Scientific Discovery (1934). A theory or hypothesis is falsifiable if it can be logically contradicted by an empirical test.
Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement whose central thesis is the verification principle. This theory of knowledge asserts that only statements verifiable through direct observation or logical proof are meaningful in terms of conveying truth value, information or factual content. Starting in the late 1920s, groups of philosophers, scientists, and mathematicians formed the Berlin Circle and the Vienna Circle, which, in these two cities, would propound the ideas of logical positivism.
Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He served as the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, and the ultimate purpose and meaning of science as a human endeavour. Philosophy of science focuses on metaphysical, epistemic and semantic aspects of scientific practice, and overlaps with metaphysics, ontology, logic, and epistemology, for example, when it explores the relationship between science and the concept of truth. Philosophy of science is both a theoretical and empirical discipline, relying on philosophical theorising as well as meta-studies of scientific practice. Ethical issues such as bioethics and scientific misconduct are often considered ethics or science studies rather than the philosophy of science.
The raven paradox, also known as Hempel's paradox, Hempel's ravens or, rarely, the paradox of indoor ornithology, is a paradox arising from the question of what constitutes evidence for the truth of a statement. Observing objects that are neither black nor ravens may formally increase the likelihood that all ravens are black even though, intuitively, these observations are unrelated.
Abductive reasoning is a form of logical inference that seeks the simplest and most likely conclusion from a set of observations. It was formulated and advanced by American philosopher and logician Charles Sanders Peirce beginning in the latter half of the 19th century.
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true. One approach defines deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is false, but even invalid deductive reasoning is a form of deductive reasoning.
The problem of induction is a philosophical problem that questions the rationality of predictions about unobserved things based on previous observations. These inferences from the observed to the unobserved are known as "inductive inferences". David Hume, who first formulated the problem in 1739, argued that there is no non-circular way to justify inductive inferences, while acknowledging that everyone does and must make such inferences.
Inductive reasoning is any of various methods of reasoning in which broad generalizations or principles are derived from a body of observations. This article is concerned with the inductive reasoning other than deductive reasoning, where the conclusion of a deductive argument is certain given the premises are correct; in contrast, the truth of the conclusion of an inductive argument is at best probable, based upon the evidence given.
The new riddle of induction was presented by Nelson Goodman in Fact, Fiction, and Forecast as a successor to Hume's original problem. It presents the logical predicates grue and bleen which are unusual due to their time-dependence. Many have tried to solve the new riddle on those terms, but Hilary Putnam and others have argued such time-dependency depends on the language adopted, and in some languages it is equally true for natural-sounding predicates such as "green". For Goodman they illustrate the problem of projectible predicates and ultimately, which empirical generalizations are law-like and which are not. Goodman's construction and use of grue and bleen illustrates how philosophers use simple examples in conceptual analysis.
In moral philosophy, instrumental and intrinsic value are the distinction between what is a means to an end and what is as an end in itself. Things are deemed to have instrumental value if they help one achieve a particular end; intrinsic values, by contrast, are understood to be desirable in and of themselves. A tool or appliance, such as a hammer or washing machine, has instrumental value because it helps one pound in a nail or clean clothes, respectively. Happiness and pleasure are typically considered to have intrinsic value insofar as asking why someone would want them makes little sense: they are desirable for their own sake irrespective of their possible instrumental value. The classic names instrumental and intrinsic were coined by sociologist Max Weber, who spent years studying good meanings people assigned to their actions and beliefs.
Naturalized epistemology is a collection of philosophic views about the theory of knowledge that emphasize the role of natural scientific methods. This shared emphasis on scientific methods of studying knowledge shifts the focus of epistemology away from many traditional philosophical questions, and towards the empirical processes of knowledge acquisition. There are noteworthy distinctions within naturalized epistemology. Replacement naturalism maintains that we should abandon traditional epistemology and replace it with the methodologies of the natural sciences. The general thesis of cooperative naturalism is that traditional epistemology can benefit in its inquiry by using the knowledge we have gained from cognitive sciences. Substantive naturalism focuses on an asserted equality of facts of knowledge and natural facts.
Neopragmatism is a variant of pragmatism that infers that the meaning of words is a result of how they are used, rather than the objects they represent.
An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim.
Hilary Kornblith is an American philosopher. He is a professor of philosophy at the University of Massachusetts Amherst and one of contemporary epistemology's most prominent proponents of naturalized epistemology.
Inductivism is the traditional and still commonplace philosophy of scientific method to develop scientific theories. Inductivism aims to neutrally observe a domain, infer laws from examined cases—hence, inductive reasoning—and thus objectively discover the sole naturally true theory of the observed.
Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.
Formative epistemology is a collection of philosophic views concerned with the theory of knowledge that emphasize the role of natural scientific methods. According to formative epistemology, knowledge is gained through the imputation of thoughts from one human being to another in the societal setting. Humans are born without intrinsic knowledge and through their evolutionary and developmental processes gain knowledge from other human beings. Thus, according to formative epistemology, all knowledge is completely subjective and truth does not exist.