27.5.12

Epistemology, the nature and scope (limitations) of knowledge - Wikipedia

Epistemology - Wikipedia, the free encyclopedia

Epistemology Listeni/ɨˌpɪstɨˈmɒləi/ (from Greek ἐπιστήμη (epistēmē), meaning "knowledge, understanding", and λόγος (logos), meaning "study of") is the branch of philosophy concerned with the nature and scope (limitations) of knowledge.[1][2] It addresses the questions:
  • What is knowledge?
  • How is knowledge acquired?
  • To what extent is it possible for a given subject or entity to be known?
Much of the debate in this field has focused on analyzing the nature of knowledge and how it relates to connected notions such as truth, belief, and justification. One view is the objection that there is very little or no knowledge at all—skepticism. The field is sometimes referred to as the theory of knowledge.

The term was introduced by the Scottish philosopher James Frederick Ferrier (1808–1864).[3]

Contents

Knowledge

Knowledge that, knowledge how, and knowledge by acquaintance

In this article, and in epistemology in general, the kind of knowledge usually discussed is propositional knowledge, also known as "knowledge that." This is distinct from "knowledge how" and "acquaintance-knowledge." For example: in mathematics, it is known that 2 + 2 = 4, but there is also knowing how to add two numbers and knowing a person (e.g., oneself), place (e.g., one's hometown), thing (e.g., cars), or activity (e.g., addition). Some[who?] philosophers think there is an important distinction between "knowing that," "knowing how," and "acquaintance-knowledge," with epistemology primarily interested in the first.[4]

Bertrand Russell is famous for distinguishing "knowledge by description" (a form of knowledge that) and "knowledge by acquaintance" in Problems of Philosophy. Gilbert Ryle is often credited with emphasizing the distinction between knowing how and knowing that in The Concept of Mind. In Personal Knowledge, Michael Polanyi argues for the epistemological relevance of knowledge how and knowledge that; using the example of the act of balance involved in riding a bicycle, he suggests that the theoretical knowledge of the physics involved in maintaining a state of balance cannot substitute for the practical knowledge of how to ride, and that it is important to understand how both are established and grounded. This position is essentially Ryle's, who argued that a failure to acknowledge the distinction between knowledge that and knowledge how leads to vicious regresses.

In recent times, some epistemologists (Sosa, Greco, Kvanvig, Zagzebski) have argued that epistemology should evaluate people's properties (i.e., intellectual virtues) and not just the properties of propositions or propositional mental attitudes.[citation needed]

Belief

Euler diagram representing a definition of knowledge.
 
Statements of "belief" sometimes mean the speaker has faith that something would prove to be useful or successful in some sense—perhaps the speaker might "believe in" his or her favorite football team. This is not the kind of belief usually addressed within epistemology. The kind dealt with is when "to believe something" simply means any cognitive content held as true in spite of the absence of proof or even evidence. For example, to believe that the sky is blue is to think that the proposition "The sky is blue" is true even if the sky is visibly red.

Truth

Whether someone's belief is true is not a prerequisite for its belief. On the other hand, if something is actually known, then it categorically cannot be false. For example, a person believes that a particular bridge is safe enough to support him, and attempts to cross it; unfortunately, the bridge collapses under his weight. It could be said that he believed that the bridge was safe, but that this belief was mistaken. It would not be accurate to say that he knew that the bridge was safe, because plainly it was not. By contrast, if the bridge actually supported his weight then he might say he “thought” that the bridge was safe, and now after proving it to himself, he knows.

Epistemologists argue over whether belief is the proper truth-bearer. Some would rather describe knowledge as a system of justified true propositions, and others as a system of justified true sentences. But belief is the most commonly invoked truth bearer, since Plato's day.[citation needed]

Justification

In many of Plato's dialogues, such as the Meno, and in particular the Theaetetus, Socrates considers a number of theories as to what knowledge is, the last being that knowledge is true belief that has been "given an account of" — meaning explained or defined in some way. According to the theory that knowledge is justified true belief, in order to know that a given proposition is true, one must not only believe the relevant true proposition, but one must also have a good reason for doing so. One implication of this would be that no one would gain knowledge just by believing something that happened to be true. For example, an ill person with no medical training, but with a generally optimistic attitude, might believe that he will recover from his illness quickly. Nevertheless, even if this belief turned out to be true, the patient would not have known that he would get well since his belief lacked justification. The definition of knowledge as justified true belief was widely accepted until the 1960s. At this time, a paper written by the American philosopher Edmund Gettier provoked major widespread discussion. See theories of justification for other views on the idea.

The Gettier problem

Edmund Gettier is remembered for his 1963 argument, which called into question the theory of knowledge that had been dominant among philosophers for thousands of years.[5] In a few pages, Gettier argued that there are situations in which one's belief may be justified and true, yet fail to count as knowledge. That is, Gettier contended that while justified belief in a true proposition is necessary for that proposition to be known, it is not sufficient. As in the diagram above, a true proposition can be believed by an individual (purple region) but still not fall within the "knowledge" category (yellow region).

According to Gettier, there are certain circumstances in which one does not have knowledge, even when all of the above conditions are met. Gettier proposed two thought experiments, which have come to be known as "Gettier cases," as counterexamples to the classical account of knowledge. One of the cases involves two men, Smith and Jones, who are awaiting the results of their applications for the same job. Each man has ten coins in his pocket. Smith has excellent reasons to believe that Jones will get the job and, furthermore, knows that Jones has ten coins in his pocket (he recently counted them). From this Smith infers, "the man who will get the job has ten coins in his pocket." However, Smith is unaware that he also has ten coins in his own pocket. Furthermore, Smith, not Jones, is going to get the job. While Smith has strong evidence to believe that Jones will get the job, he is wrong. Smith has a justified true belief that a man with ten coins in his pocket will get the job; however, according to Gettier, Smith does not know that a man with ten coins in his pocket will get the job, because Smith's belief is "...true by virtue of the number of coins in Jones's pocket, while Smith does not know how many coins are in Smith's pocket, and bases his belief...on a count of the coins in Jones's pocket, whom he falsely believes to be the man who will get the job." (see [5] p. 122.) These cases fail to be knowledge because the subject's belief is justified, but only happens to be true by virtue of luck. In other words, he made the correct choice (in this case predicting an outcome) for the wrong reasons.

Responses to Gettier

The responses to Gettier have been varied. Usually, they have involved substantive attempts to provide a definition of knowledge different from the classical one, either by recasting knowledge as justified true belief with some additional fourth condition, or as something else altogether.
Infallibilism, indefeasibility
In one response to Gettier, the American philosopher Richard Kirkham has argued that the only definition of knowledge that could ever be immune to all counterexamples is the infallibilist one.[6] To qualify as an item of knowledge, goes the theory, a belief must not only be true and justified, the justification of the belief must necessitate its truth. In other words, the justification for the belief must be infallible. (See Fallibilism, below, for more information.)
Yet another possible candidate for the fourth condition of knowledge is indefeasibility. Defeasibility theory maintains that there should be no overriding or defeating truths for the reasons that justify one's belief. For example, suppose that person S believes he saw Tom Grabit steal a book from the library and uses this to justify the claim that Tom Grabit stole a book from the library. A possible defeater or overriding proposition for such a claim could be a true proposition like, "Tom Grabit's identical twin Sam is currently in the same town as Tom." When no defeaters of one's justification exist, a subject would be epistemically justified.

The Indian philosopher B K Matilal has drawn on the Navya-Nyaya fallibilism tradition to respond to the Gettier problem. Nyaya theory distinguishes between know p and know that one knows p – these are different events, with different causal conditions. The second level is a sort of implicit inference that usually follows immediately the episode of knowing p (knowledge simpliciter). The Gettier case is analyzed by referring to a view of Gangesha (13th c.), who takes any true belief to be knowledge; thus a true belief acquired through a wrong route may just be regarded as knowledge simpliciter on this view. The question of justification arises only at the second level, when one considers the knowledgehood of the acquired belief. Initially, there is lack of uncertainty, so it becomes a true belief. But at the very next moment, when the hearer is about to embark upon the venture of knowing whether he knows p, doubts may arise. "If, in some Gettier-like cases, I am wrong in my inference about the knowledgehood of the given occurrent belief (for the evidence may be pseudo-evidence), then I am mistaken about the truth of my belief – and this is in accord with Nyaya fallibilism: not all knowledge-claims can be sustained."[7]
Reliabilism
Reliabilism is a theory that suggests a belief is justified (or otherwise supported in such a way as to count towards knowledge) only if it is produced by processes that typically yield a sufficiently high ratio of true to false beliefs. In other words, this theory states that a true belief counts as knowledge only if it is produced by a reliable belief-forming process.

Reliabilism has been challenged by Gettier cases. Another argument that challenges reliabilism, like the Gettier cases (although it was not presented in the same short article as the Gettier cases), is the case of Henry and the barn façades. In the thought experiment, a man, Henry, is driving along and sees a number of buildings that resemble barns. Based on his perception of one of these, he concludes that he has just seen barns. While he has seen one, and the perception he based his belief on was of a real barn, all the other barn-like buildings he saw were façades. Theoretically, Henry doesn't know that he has seen a barn, despite both his belief that he has seen one being true and his belief being formed on the basis of a reliable process (i.e. his vision), since he only acquired his true belief by accident.[8]
Other responses
The American philosopher Robert Nozick has offered the following definition of knowledge:
S knows that P if and only if:
  • P;
  • S believes that P;
  • if P were false, S would not believe that P;
  • if P is true, S will believe that P.[9]
Nozick believed that the third subjunctive condition served to address cases of the sort described by Gettier. Nozick further claims this condition addresses a case of the sort described by D. M. Armstrong:[10] A father believes his son innocent of committing a particular crime, both because of faith in his son and (now) because he has seen presented in the courtroom a conclusive demonstration of his son's innocence. His belief via the method of the courtroom satisfies the four subjunctive conditions, but his faith-based belief does not. If his son were guilty, he would still believe him innocent, on the basis of faith in his son; this would violate the third subjunctive condition.

The British philosopher Simon Blackburn has criticized this formulation by suggesting that we do not want to accept as knowledge beliefs, which, while they "track the truth" (as Nozick's account requires), are not held for appropriate reasons. He says that "we do not want to award the title of knowing something to someone who is only meeting the conditions through a defect, flaw, or failure, compared with someone else who is not meeting the conditions.".[citation needed] In addition to this, externalist accounts of knowledge, like Nozick's, are often forced to reject closure in cases where it is intuitively valid.

Timothy Williamson has advanced a theory of knowledge according to which knowledge is not justified true belief plus some extra condition(s). In his book Knowledge and its Limits, Williamson argues that the concept of knowledge cannot be analyzed into a set of other concepts—instead, it is sui generis. Thus, though knowledge requires justification, truth, and belief, the word "knowledge" can't be, according to Williamson's theory, accurately regarded as simply shorthand for "justified true belief."

Alvin Goldman writes in his Causal Theory of Knowing that in order for knowledge to truly exist there must be a causal chain between the proposition and the belief of that proposition.

Externalism and internalism

Part of the debate over the nature of knowledge is a debate between epistemological externalists on the one hand, and epistemological internalists on the other. Externalists think that factors deemed "external", meaning outside of the psychological states of those who gain knowledge, can be conditions of knowledge. For example, an externalist response to the Gettier problem is to say that, in order for a justified true belief to count as knowledge, it must be caused, in the right sort of way, by relevant facts. Such causation, to the extent that it is "outside" the mind, would count as an external, knowledge-yielding condition. Internalists, contrariwise, claim that all knowledge-yielding conditions are within the psychological states of those who gain knowledge.

While unfamiliar with the internalist/externalist debate himself, many point to René Descartes as an early example of the internalist approach to justification. He wrote that, because the only method by which we perceive the external world is through our senses, and that, because the senses are not infallible, we should not consider our concept of knowledge to be infallible. The only way to find anything that could be described as "indubitably true," he advocates, would be to see things "clearly and distinctly".[11] He argued that if there is an omnipotent, good being who made the world, then it's reasonable to believe that people are made with the ability to know. However, this does not mean that man's ability to know is perfect. God gave man the ability to know, but not omniscience. Descartes said that man must use his capacities for knowledge correctly and carefully through methodological doubt.[12] The phrase "Cogito ergo sum" (I think, therefore I am) is also commonly associated with Descartes' theory, because in his own methodological doubt, doubting everything he previously knew in order to start from a blank slate, the first thing that he could not logically bring himself to doubt was his own existence: "I do not exist" would be a contradiction in terms; the act of saying that one does not exist assumes that someone must be making the statement in the first place. Though Descartes could doubt his senses, his body and the world around him, he could not deny his own existence, because he was able to doubt and must exist in order to do so. Even if some "evil genius" were to be deceiving him, he would have to exist in order to be deceived. This one sure point provided him with what he would call his Archimedean point, in order to further develop his foundation for knowledge. Simply put, Descartes' epistemological justification depended upon his indubitable belief in his own existence and his clear and distinct knowledge of god.[13]

Acquiring knowledge

The second question that will be dealt with is the question of how knowledge is acquired. This area of epistemology covers:
  1. Issues concerning epistemic distinctions such as that between experience and apriori as means of creating knowledge.
  2. Distinguish between synthesis and analysis used as means of proof
  3. Debates such as the one between empiricists and rationalists.
  4. What is called "the regress problem"

A priori and a posteriori knowledge

The nature of this distinction has been disputed by various philosophers; however, the terms may be roughly defined as follows:
  • A priori knowledge is knowledge that is known independently of experience (that is, it is non-empirical, or arrived at beforehand, usually by reason). It will henceforth be acquired through anything that is independent from experience.
  • A posteriori knowledge is knowledge that is known by experience (that is, it is empirical, or arrived at afterward).
Evolutionary psychology makes a novel approach to the problem. It says that there is an innate predisposition for certain types of learning. "Only small parts of the brain resemble a tabula rasa; this is true even for human beings. The remainder is more like an exposed negative waiting to be dipped into a developer fluid" [14]

Analytic–synthetic distinction

Some propositions are such that we appear to be justified in believing them to be true just by understanding their meaning. For example, consider, "My father's brother is my uncle." We seem to be justified in believing it to be true by virtue of our knowledge of what its terms mean. Philosophers call such propositions "analytic." Synthetic propositions, on the other hand, have distinct subjects and predicates. An example of a synthetic proposition would be, "My father's brother has black hair." Kant stated that all mathematical and scientifical statements are synthetic a priori propositions because they are necessarily true but our knowledge about the attributes of the mathematical or physical subjects we can only get by logical inference.

The American philosopher W. V. O. Quine, in his "Two Dogmas of Empiricism", famously challenged the distinction, arguing that the two have a blurry boundary.

Branches or 'tendencies' within epistemology

Empiricism

In philosophy, empiricism is generally a theory of knowledge emphasizing the role of experience, especially experience based on perceptual observations by the senses. Certain forms treat all knowledge as empirical,[citation needed] while some regard disciplines such as mathematics and logic as exceptions.[citation needed]

There are many variants of empiricism, positivism and realism being among the most commonly expounded but central to all empiricist epistemologies is the notion of the epistemologically privileged status of sense data.

Idealism

Idealists believe that knowledge is primarily (at least in some areas) acquired by a priori processes or is innate—for example, in the form of concepts not derived from experience. The relevant theoretical processes often go by the name "intuition".[citation needed] The relevant theoretical concepts may purportedly be part of the structure of the human mind (as in Kant's theory of transcendental idealism), or they may be said to exist independently of the mind (as in Plato's theory of Forms).

The extent to which this innate human knowledge is emphasized over experience as a means to acquire knowledge varies from idealist to idealist. Some hold that knowledge of any kind can only be gained a priori,[citation needed] while others claim that some knowledge can also be gained a posteriori.[citation needed] Consequently, the borderline between idealist epistemologies and others can be vague.

The main concept, however, common to all idealist epistemologies is the centrality of Reason: (i.e.: 'Reason' with a capital 'R'): a priori Reason: Knowledge can only be, ultimately, a product of the mind and is therefore, by definition, 'ideal'. Ie: What is 'known' is, by definition, 'ideal'.

Rationalism

By contrast with empiricism and idealism, which emphasize the epistemologically privileged status of sense data (empirical) and the primacy of reason (theoretical) respectively, modern rationalism adds a third 'system of thinking', as Gaston Bachelard has termed these areas and holds that all three are of equal importance: The empirical, the theoretical and the abstract. Rationalism makes equal reference to all three systems of thinking.

An example of abstract thinking is Pythagoras' concept of 'pure' geometric forms: perfect triangles, squares, circles. Etc. Another example is imaginary numbers, in mathematics.
(See, esp. Scientific Rationalism (article needed) intended by its authors, Bachelard, Louis Althusser, Dominique Lecourt etc. as an attempt to walk the narrow tightrope between these two opposing dogmas of empiricism and idealism).

Constructivism

Constructivism is a view in philosophy according to which all "knowledge is a compilation of human-made constructions",[15] “not the neutral discovery of an objective truth”.[16] Whereas objectivism is concerned with the “object of our knowledge”, constructivism emphasises “how we construct knowledge”.[17] Constructivism proposes new definitions for knowledge and truth that form a new paradigm, based on inter-subjectivity instead of the classical objectivity, and on viability instead of truth. Piagetian constructivism, however, believes in objectivity—constructs can be validated through experimentation. The constructivist point of view is pragmatic; as Vico said: "The norm of the truth is to have made it."

It originated in sociology under the term "social constructionism" and has been given the name "constructivism" when referring to philosophical epistemology, though "constructionism" and "constructivism" are often used interchangeably.[citation needed] Constructivism has also emerged in the field of International Relations, where the writings of Alexander Wendt are popular. Describing the characteristic nature of International reality marked by 'anarchy' he says, "Anarchy is what states make of it."

The regress problem

"... to justify a belief one must appeal to a further justified belief. This means that one of two things can be the case. Either there are some [epistemologically basic] beliefs that we can be justified in holding without being able to justify them on the basis of any other belief, or else for each justified belief there is an infinite regress of (potential) justification [the nebula theory]. On this theory there is no rock bottom of justification. Justification just meanders in and out through our network of beliefs, stopping nowhere."[18] The apparent impossibility of completing an infinite chain of reasoning is thought by some to support skepticism. Socrates said, "The only true wisdom is in knowing you know nothing."

Response to the regress problem

Many epistemologists studying justification have attempted to argue for various types of chains of reasoning that can escape the regress problem.
Infinitism
It is not impossible for an infinite justificatory series to exist. This position is known as "infinitism". Infinitists typically take the infinite series to be merely potential, in the sense that an individual may have indefinitely many reasons available to him, without having consciously thought through all of these reasons when the need arises. This position is motivated in part by the desire to avoid what is seen as the arbitrariness and circularity of its chief competitors, foundationalism and coherentism. In mathematics, an infinite series will sometimes converge – (this is the basis of calculus) – one can therefore have an infinite series of logical arguments and analyze it for a convergent (or non-convergent) solution.
Foundationalism
Foundationalists respond to the regress problem by claiming that "foundations" or "basic beliefs" support other beliefs but do not themselves require justification from other beliefs. These beliefs might be justified because they are self-evident, infallible, or derive from reliable cognitive mechanisms. Perception, memory, and a priori intuition are often considered to be possible examples of basic beliefs.

The chief criticism of foundationalism is that if a belief is not supported by other beliefs, accepting it may be arbitrary or unjustified.[19]
Coherentism
Another response to the regress problem is coherentism, which is the rejection of the assumption that the regress proceeds according to a pattern of linear justification. To avoid the charge of circularity, coherentists hold that an individual belief is justified circularly by the way it fits together (coheres) with the rest of the belief system of which it is a part. This theory has the advantage of avoiding the infinite regress without claiming special, possibly arbitrary status for some particular class of beliefs. Yet, since a system can be coherent while also being wrong, coherentists face the difficulty of ensuring that the whole system corresponds to reality. Additionally, most logicians agree that any argument that is circular is inherently invalid. That is, arguments must be linear with conclusions that flow directly from stated premises.
Foundherentism
A position known as "foundherentism", advanced by Susan Haack, is meant to be a unification of foundationalism and coherentism. One component of this theory is what is called the "analogy of the crossword puzzle." Whereas, say, infinitists regard the regress of reasons as "shaped" like a single line, Susan Haack has argued that it is more like a crossword puzzle, with multiple lines mutually supporting each other.[20]

What do people know?

The last question that will be dealt with is the question of what people know. At the heart of this area of study is skepticism, with many approaches involved trying to disprove some particular form of it.

Skepticism

Skepticism is related to the question of whether a certain knowledge is possible. "If we cannot move on to point B until we have proved point A, and if in order to prove point A we must establish it with absolute certainty, then it looks as though we will have a very hard time proving any point at all." Skeptics argue that the belief in something does not necessarily justify an assertion of knowledge of it. In this skeptics oppose foundationalism, which states that there have to be some basic beliefs that are justified without reference to others. The skeptical response to this can take several approaches. First, claiming that "basic beliefs" must exist, amounts to the logical fallacy of argument from ignorance combined with the slippery slope. While a foundationalist would use Münchhausen Trilemma as a justification for demanding the validity of basic beliefs, a skeptic would see no problem with admitting the result.

Developments from skepticism

Early in the 20th century, the notion that belief had to be justified as such to count as knowledge lost favour. Fallibilism is the view that knowing something does not entail certainty regarding it. Charles Sanders Peirce was a fallibilist and the most developed form of fallibilism can be traced to Karl Popper (1902–1994) whose first book Logik Der Forschung (The Logic of Scientific Discovery), 1934 introduced a "conjectural turn" into the philosophy of science and epistemology at large. He adumbrated a school of thought that is known as Critical Rationalism with a central tenet being the rejection of the idea that knowledge can ever be justified in the strong form that is sought by most schools of thought. His two most helpful exponents are the late William W Bartley and David Miller, recently retired from the University of Warwick. A major source of on-line material is the Critical Rationalist website and also the Rathouse of Rafe Champion.

Epistemic culture

Epistemic culture distinguishes between various settings of knowledge production and emphasizes their contextual aspects. Coined by Karin Knorr-Cetina in her book Epistemic Cultures; she defines epistemic cultures as an "amalgam of arrangements and mechanisms - bonded through affinity, necessity and historical coincidence - which in a given field, make up how we know what we know".[21] The term provides the conceptual framework used to demonstrate that different laboratories do not share the same "scientific" knowledge production model, but rather each is endowed with a different epistemic culture prescribing what is adequate knowledge and how it is obtained. Since its introduction, the term has been picked up and used by various researchers engaging in Science and technology studies.

Practical applications

Far from being purely academic, the study of epistemology is useful for a great many applications. It is particularly commonly employed in issues of law where proof of guilt or innocence may be required, or when it must be determined whether a person knew a particular fact before taking a specific action (e.g., whether an action was premeditated). Another practical application is to the design of user interfaces. For example, the skills, rules, and knowledge taxonomy of human behavior has been used by designers to develop systems[vague] that are compatible with multiple "ways of knowing": abstract analytic reasoning, experience-based 'gut feelings', and 'craft' sensorimotor skills.
Other common applications of epistemology include:

See also