|
Formal Epistemology
Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy, computer science, economics, and statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification. Formal epistemology extenuates into formal language theory. History Though formally oriented epistemologists have been laboring since the emergence of formal logic and probability theory (if not earlier), only recently have they been organized under a common disciplinary title. This gain in popularity may be attributed to the organization of yearly Formal Epistemology Workshops by Branden Fitelson and Sahotra Sarkar, starting in 2004, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Decision Theory
Decision theory or the theory of rational choice is a branch of probability theory, probability, economics, and analytic philosophy that uses expected utility and probabilities, probability to model how individuals would behave Rationality, rationally under uncertainty. It differs from the Cognitive science, cognitive and Behavioural sciences, behavioral sciences in that it is mainly Prescriptive economics, prescriptive and concerned with identifying optimal decision, optimal decisions for a rational agent, rather than Descriptive economics, describing how people actually make decisions. Despite this, the field is important to the study of real human behavior by Social science, social scientists, as it lays the foundations to Mathematical model, mathematically model and analyze individuals in fields such as sociology, economics, criminology, cognitive science, moral philosophy and political science. History The roots of decision theory lie in probability theory, developed by Blai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Bayes
Thomas Bayes ( , ; 7 April 1761) was an English statistician, philosopher and Presbyterian minister who is known for formulating a specific case of the theorem that bears his name: Bayes' theorem. Bayes never published what would become his most famous accomplishment; his notes were edited and published posthumously by Richard Price. Biography Thomas Bayes was the son of London Presbyterian minister Joshua Bayes, and was possibly born in Hertfordshire. He came from a prominent Nonconformist (Protestantism), nonconformist family from Sheffield. In 1719, he enrolled at the University of Edinburgh to study logic and theology. On his return around 1722, he assisted his father at the latter's chapel in London before moving to Royal Tunbridge Wells, Tunbridge Wells, Kent, around 1734. There he was minister of the Mount Sion Chapel, until 1752. He is known to have published two works in his lifetime, one theological and one mathematical: #''Divine Benevolence, or an Attempt to P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computational Epistemology
A computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computation are mathematical equation solving and the execution of computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. Computer science is an academic field that involves the study of computation. Introduction The notion that mathematical statements should be 'well-defined' had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive. A candidate definition was proposed independently by several mathematicians in the 1930s. The best-known variant was formalised by the mathematician Alan Turing, who defined a well-defined statement or calculation as any statement that could be expressed in terms of the initialisation parameters of a Turing machine. Other (mathematically equivalent) definitions include Alonzo Church's '' lambda-definabil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algorithmic Learning Theory
Algorithmic learning theory is a mathematical framework for analyzing machine learning problems and algorithms. Synonyms include formal learning theory and algorithmic inductive inference. Algorithmic learning theory is different from statistical learning theory in that it does not make use of statistical assumptions and analysis. Both algorithmic and statistical learning theory are concerned with machine learning and can thus be viewed as branches of computational learning theory. Distinguishing characteristics Unlike statistical learning theory and most statistical theory in general, algorithmic learning theory does not assume that data are random samples, that is, that data points are independent of each other. This makes the theory suitable for domains where observations are (relatively) noise-free but not random, such as language learning and automated scientific discovery. The fundamental concept of algorithmic learning theory is learning in the limit: as the number of da ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Theory
Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed two-person zero-sum games, in which a participant's gains or losses are exactly balanced by the losses and gains of the other participant. In the 1950s, it was extended to the study of non zero-sum games, and was eventually applied to a wide range of Human behavior, behavioral relations. It is now an umbrella term for the science of rational Decision-making, decision making in humans, animals, and computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum games and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathematical economics. His paper was f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Belief Revision
Belief revision (also called belief change) is the process of changing beliefs to take into account a new piece of information. The formal logic, logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of intelligent agent, rational agents. What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts "A is true", "B is true" and "if A and B are true then C is true", the introduction of the new information "C is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge. Revision and update Two kinds of changes are usually distinguished: ; update : the new information is about the situation at present, while t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inductive Logic
Inductive reasoning refers to a variety of methods of reasoning in which the conclusion of an argument is supported not with deductive certainty, but with some degree of probability. Unlike ''deductive'' reasoning (such as mathematical induction), where the conclusion is ''certain'', given the premises are correct, inductive reasoning produces conclusions that are at best ''probable'', given the evidence provided. Types The types of inductive reasoning include generalization, prediction, statistical syllogism, argument from analogy, and causal inference. There are also differences in how their results are regarded. Inductive generalization A generalization (more accurately, an ''inductive generalization'') proceeds from premises about a sample to a conclusion about the population. The observation obtained from this sample is projected onto the broader population. : The proportion Q of the sample has attribute A. : Therefore, the proportion Q of the population has attrib ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ampliative Inference
Ampliative (from Latin ''ampliare'', "to enlarge"), a term used mainly in logic, meaning "extending" or "adding to that which is already known". This terminology was often used by medieval logicians in the analyses of the temporal content of their subject terms. There were three rules outlined in its usage: # Common terms in a sentence only represent present things when they stand with a non-ampliating verb about the present; # A common term standing in a sentence with a verb about the past is able to stand for present and past things; and, # The common term standing with a verb about the future can indifferently stand for present and future things. There are Roman texts that refer to it as ''ampliatio''. In Norman law, an ampliation was a postponement of a sentence in order to obtain further evidence. See also * Supposition Supposition theory was a branch of medieval logic that was probably aimed at giving accounts of issues similar to modern accounts of reference, plu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Testimony
Testimony is a solemn attestation as to the truth of a matter. Etymology The words "testimony" and "testify" both derive from the Latin word ''testis'', referring to the notion of a disinterested third-party witness. Law In the law, testimony is a form of evidence in which a witness makes a "solemn declaration or affirmation ... for the purpose of establishing or proving some fact". According to Bryan A. Garner, the editor of '' Black's Law Dictionary'', the word "testimony" is properly used as a mass noun (that is, always uninflected regardless of number), and not a count noun. Testimony may be oral or written, and it is usually made by oath or affirmation under penalty of perjury. Historically, to be admissible in court and to ensure maximum reliability and validity, written testimony presented in the form of an affidavit (i.e., the witness would not be appearing in court at the hearing at which the affidavit was considered as evidence) was usually witnessed by anot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Social Epistemology
Social epistemology refers to a broad set of approaches that can be taken in epistemology (the study of knowledge) that construes human knowledge as a collective achievement. Another way of characterizing social epistemology is as the evaluation of the social dimensions of knowledge or information. As a field of inquiry in analytic philosophy, social epistemology deals with questions about knowledge in social contexts, meaning those in which knowledge attributions cannot be explained by examining individuals in isolation from one another. The most common topics discussed in contemporary social epistemology are testimony (e.g. "When does a belief that x is true which resulted from being told 'x is true' constitute knowledge?"), peer disagreement (e.g. "When and how should I revise my beliefs in light of other people holding beliefs that contradict mine?"), and group epistemology (e.g. "What does it mean to attribute knowledge to groups rather than individuals, and when are such ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherentism
In philosophical epistemology, there are two types of coherentism: the coherence theory of truth, and the coherence theory of justification (also known as epistemic coherentism). Coherent truth is divided between an anthropological approach, which applies only to localized networks ('true within a given sample of a population, given our understanding of the population'), and an approach that is judged on the basis of universals, such as categorical sets. The anthropological approach belongs more properly to the correspondence theory of truth, while the universal theories are a small development within analytic philosophy. The coherentist theory of justification, which may be interpreted as relating to either theory of coherent truth, characterizes epistemic justification as a property of a belief only if that belief is a member of a coherent set. What distinguishes coherentism from other theories of justification is that the set is the primary bearer of justification. As an e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Science
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. Many of the central problems concerned with the philosophy of science lack contemporary consensus, including whether ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
