Epistemic closure [1] is a property of some belief systems. It is the principle that if a subject knows , and knows that entails , then can thereby come to know . Most epistemological theories involve a closure principle and many skeptical arguments assume a closure principle.
On the other hand, some epistemologists, including Robert Nozick, have denied closure principles on the basis of reliabilist accounts of knowledge. Nozick, in Philosophical Explanations , advocated that, when considering the Gettier problem, the least counter-intuitive assumption we give up should be epistemic closure. Nozick suggested a "truth tracking" theory of knowledge, in which the x was said to know P if x's belief in P tracked the truth of P through the relevant modal scenarios. [2]
A subject may not actually believe q, for example, regardless of whether he or she is justified or warranted. Thus, one might instead say that knowledge is closed under known deduction: if, while knowing p, S believes q because S knows that p entails q, then S knows q. [1] An even stronger formulation would be as such: If, while knowing various propositions, S believes p because S knows that these propositions entail p, then S knows p. [1] While the principle of epistemic closure is generally regarded as intuitive, [3] philosophers such as Robert Nozick and Fred Dretske have argued against it. [4]
The epistemic closure principle typically takes the form of a modus ponens argument:
This epistemic closure principle is central to many versions of skeptical arguments. A skeptical argument of this type will involve knowledge of some piece of widely accepted information to be knowledge, which will then be pointed out to entail knowledge of some skeptical scenario, such as the brain in a vat scenario or the Cartesian evil demon scenario. A skeptic might say, for example, that if you know that you have hands, then you know that you are not a handless brain in a vat (because knowledge that you have hands implies that you know you are not handless, and if you know that you are not handless, then you know that you are not a handless brain in a vat). [5] The skeptic will then utilize this conditional to form a modus tollens argument. For example, the skeptic might make an argument like the following:
Much of the epistemological discussion surrounding this type of skeptical argument involves whether to accept or deny the conclusion, and how to do each. Ernest Sosa says that there are three possibilities in responding to the skeptic:
In the seminal 1963 paper, “Is Justified True Belief Knowledge?”, Edmund Gettier gave an assumption (later called the “principle of deducibility for justification” by Irving Thalberg, Jr.) [6] that would serve as a basis for the rest of his piece: “for any proposition P, if S is justified in believing P and P entails Q, and S deduces Q from P and accepts Q as a result of this deduction, then S is justified in believing Q.” [7] This was seized upon by Thalberg, who rejected the principle in order to demonstrate that one of Gettier's examples fails to support Gettier's main thesis that justified true belief is not knowledge (in the following quotation, (1) refers to “Jones will get the job”, (2) refers to “Jones has ten coins”, and (3) is the logical conjunction of (1) and (2)):
Why doesn't Gettier's principle (PDJ) hold in the evidential situation he has described? You multiply your risks of being wrong when you believe a conjunction. [… T]he most elementary theory of probability indicates that Smith's prospects of being right on both (1) and (2), namely, of being right on (3), are bound to be less favorable than his prospects of being right on either (1) or (2). In fact, Smith's chances of being right on (3) might not come up to the minimum standard of justification which (1) and (2) barely satisfy, and Smith would be unjustified in accepting (3). ( Thalberg 1969 , p. 798)
The term "epistemic closure" has been used in an unrelated sense in American political debate to refer to the claim that political belief systems can be closed systems of deduction, unaffected by empirical evidence. [8] This use of the term was popularized by libertarian blogger and commentator Julian Sanchez in 2010 as an extreme form of confirmation bias. [8] [9]
Internalism and externalism are two opposite ways of integration of explaining various subjects in several areas of philosophy. These include human motivation, knowledge, justification, meaning, and truth. The distinction arises in many areas of debate with similar but distinct meanings. Internal–external distinction is a distinction used in philosophy to divide an ontology into two parts: an internal part concerning observation related to philosophy, and an external part concerning question related to philosophy.
Reliabilism, a category of theories in the philosophical discipline of epistemology, has been advanced as a theory both of justification and of knowledge. Process reliabilism has been used as an argument against philosophical skepticism, such as the brain in a vat thought experiment. Process reliabilism is a form of epistemic externalism.
Justification is a property of beliefs that fulfill certain norms about what a person should believe. Epistemologists often identify justification as a component of knowledge distinguishing it from mere true opinion. They study the reasons why someone holds a belief. Epistemologists are concerned with various features of belief, which include the ideas of warrant, knowledge, rationality, and probability, among others.
Analytic philosophy is an analysis focused, broad, contemporary movement or tradition within Western philosophy, especially anglophone philosophy. Analytic philosophy is characterized by a clarity of prose; rigor in arguments; and making use of formal logic and mathematics, and, to a lesser degree, the natural sciences. It is further characterized by an interest in language and meaning known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic.
Philosophical skepticism is a family of philosophical views that question the possibility of knowledge. It differs from other forms of skepticism in that it even rejects very plausible knowledge claims that belong to basic common sense. Philosophical skeptics are often classified into two general categories: Those who deny all possibility of knowledge, and those who advocate for the suspension of judgment due to the inadequacy of evidence. This distinction is modeled after the differences between the Academic skeptics and the Pyrrhonian skeptics in ancient Greek philosophy. Pyrrhonian skepticism is a practice of suspending judgement, and skepticism in this sense is understood as a way of life that helps the practitioner achieve inner peace. Some types of philosophical skepticism reject all forms of knowledge while others limit this rejection to certain fields, for example, knowledge about moral doctrines or about the external world. Some theorists criticize philosophical skepticism based on the claim that it is a self-refuting idea since its proponents seem to claim to know that there is no knowledge. Other objections focus on its implausibility and distance from regular life.
Edmund Lee Gettier III was an American philosopher at the University of Massachusetts Amherst. He is best known for his article written in 1963: "Is Justified True Belief Knowledge?", which has generated an extensive philosophical literature trying to respond to what became known as the Gettier problem.
Moral skepticism is a class of meta-ethical theories all members of which entail that no one has any moral knowledge. Many moral skeptics also make the stronger, modal claim that moral knowledge is impossible. Moral skepticism is particularly opposed to moral realism: the view that there are knowable and objective moral truths.
The Gettier problem, in the field of epistemology, is a landmark philosophical problem concerning the understanding of descriptive knowledge. Attributed to American philosopher Edmund Gettier, Gettier-type counterexamples challenge the long-held justified true belief (JTB) account of knowledge. The JTB account holds that knowledge is equivalent to justified true belief; if all three conditions are met of a given claim, then we have knowledge of that claim. In his 1963 three-page paper titled "Is Justified True Belief Knowledge?", Gettier attempts to illustrate by means of two counterexamples that there are cases where individuals can have a justified, true belief regarding a claim but still fail to know it because the reasons for the belief, while justified, turn out to be false. Thus, Gettier claims to have shown that the JTB account is inadequate because it does not account for all of the necessary and sufficient conditions for knowledge.
Evidentialism is a thesis in epistemology which states that one is justified to believe something if and only if that person has evidence which supports said belief. Evidentialism is, therefore, a thesis about which beliefs are justified and which are not.
Contextualism, also known as epistemic contextualism, is a family of views in philosophy which emphasize the context in which an action, utterance, or expression occurs. Proponents of contextualism argue that, in some important respect, the action, utterance, or expression can only be understood relative to that context. Contextualist views hold that philosophically controversial concepts, such as "meaning P", "knowing that P", "having a reason to A", and possibly even "being true" or "being right" only have meaning relative to a specified context. Other philosophers contend that context-dependence leads to complete relativism.
Virtue epistemology is a current philosophical approach to epistemology that stresses the importance of intellectual and specifically epistemic virtues. Virtue epistemology evaluates knowledge according to the properties of the persons who hold beliefs in addition to or instead of the properties of the propositions and beliefs. Some advocates of virtue epistemology also adhere to theories of virtue ethics, while others see only loose analogy between virtue in ethics and virtue in epistemology.
Frederick Irwin "Fred" Dretske was an American philosopher noted for his contributions to epistemology and the philosophy of mind.
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics, and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.
Infallibilism is the epistemological view that propositional knowledge is incompatible with the possibility of being wrong.
Infinitism is the view that knowledge may be justified by an infinite chain of reasons. It belongs to epistemology, the branch of philosophy that considers the possibility, nature, and means of knowledge.
Here is one hand is an epistemological argument created by G. E. Moore in reaction against philosophical skepticism about the external world and in support of common sense.
The following outline is provided as an overview of and topical guide to epistemology:
Epistemology or theory of knowledge is the branch of philosophy concerned with the nature and scope (limitations) of knowledge. It addresses the questions "What is knowledge?", "How is knowledge acquired?", "What do people know?", "How do we know what we know?", and "Why do we know what we know?". Much of the debate in this field has focused on analyzing the nature of knowledge and how it relates to similar notions such as truth, belief, and justification. It also deals with the means of production of knowledge, as well as skepticism about different knowledge claims.
In the philosophy of science, epistemic humility refers to a posture of scientific observation rooted in the recognition that (a) knowledge of the world is always interpreted, structured, and filtered by the observer, and that, as such, (b) scientific pronouncements must be built on the recognition of observation's inability to grasp the world in itself. The concept is frequently attributed to the traditions of German idealism, particularly the work of Immanuel Kant, and to British empiricism, including the writing of David Hume. Other histories of the concept trace its origin to the humility theory of wisdom attributed to Socrates in Plato's Apology. James Van Cleve describes the Kantian version of epistemic humility–i.e. that we have no knowledge of things in their "nonrelational respects or ‘in themselves'"–as a form of causal structuralism. More recently, the term has appeared in scholarship in postcolonial theory and critical theory to describe a subject-position of openness to other ways of 'knowing' beyond epistemologies that derive from the Western tradition.
Definitions of knowledge aim to identify the essential features of knowledge. Closely related terms are conception of knowledge, theory of knowledge, and analysis of knowledge. Some general features of knowledge are widely accepted among philosophers, for example, that it involves cognitive success and epistemic contact with reality. Despite extensive study, disagreements about the nature of knowledge persist, in part because researchers use diverging methodologies, seek definitions for distinct purposes, and have differing intuitions about the standards of knowledge.