Various theories try to give accounts of how measures of this confidence do or ought to behave, both as far as the internal mental consistency of the agent as ...

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

In Tracking Truth I undertook a broader project than is typical today toward questions about knowledge, evidence, and scientific realism. The range of knowledge phenomena is much wider than the kind of homely examples—such as ‘‘She has a bee in her bonnet’’—that are often the fare in discussions of knowledge. Scientists have knowledge gained in sophisticated and deliberate ways, and non-human animals have reflexive and rudimentary epistemic achievements that we can easily slip into calling ‘‘knowledge.’’ What is it about knowledge (...) that makes it natural for us to use the same word in cases that are so vastly different? How is it possible for knowledge to have evolved? What is it about knowledge that it should enhance our power over nature, as Francis Bacon observed? What is it about evidence and knowledge that makes you more likely to have the latter when you have the former? Specialization is necessary to progress, but the division of labor it requires has allowed such questions to fall through the gaps between discussions. These gaps are opportunities. Sometimes newly discovered problems can bring new and better answers even to old questions. The questions I have asked above are ‘‘Why?’’ questions expressed as (apparently) Socratic ‘‘What is?’’ questions, and that is the approach taken in the first five chapters of this book, to offer explanations of familiar phenomena on the basis of rigorous definitions of knowledge and evidence. One might object that this is an old, not a new, style of answer, and one that I ought to be educated enough to reject. Many have thought the project of giving necessary and sufficient conditions for knowledge was in its death rattle long ago. The most common argument for this conclusion is an empirical one, that no such attempt has ever been successful in giving the right answer for all examples. And when one asks, as one must, what the ‘‘right’’ answer would be answering to anyway, the project can look even more depressing. But even if there is a clear.... (shrink)

Marc Lange offers a stale anthology that reflects the sad state of affairs in the camp of analytic philosophy. It is representative in a few respects, even in its maltreatment of Russell, Wittgenstein, and Popper. Despite its neglect of Wittgenstein, it shows again that Wittgenstein is the patron saint of the analytic school despite the fact that it does not abide by his theory of metaphysics as inherently meaningless.

This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coordinate and a real number within the unit interval in the second coordinate. This real number represents an upper-bound limit on the probability of accepting (...) the consequent of an applied default and that consequent being false. A method for constructing extensions is then defined that preserves this upper bound on the probability of error under a (skeptical) non-monotonic consequence relation. (shrink)

Bayesian decision theory is here construed as explicating a particular concept of rational choice and Bayesian probability is taken to be the concept of probability used in that theory. Bayesian probability is usually identified with the agent’s degrees of belief but that interpretation makes Bayesian decision theory a poor explication of the relevant concept of rational choice. A satisfactory conception of Bayesian decision theory is obtained by taking Bayesian probability to be an explicatum for inductive probability given the agent’s evidence.

How should probabilities be interpreted in causal models in the social and health sciences? In this paper we take a step towards answering this question by investigating the case of cancer in epidemiology and arguing that the objective Bayesian interpretation is most appropriate in this domain.

There are two central questions concerning probability. First, what are its formal features? That is a mathematical question, to which there is a standard, widely (though not universally) agreed upon answer. This answer is reviewed in the next section. Second, what sorts of things are probabilities---what, that is, is the subject matter of probability theory? This is a philosophical question, and while the mathematical theory of probability certainly bears on it, the answer must come from elsewhere. To see why, observe (...) that there are many things in the world that have the mathematical structure of probabilities---the set of measurable regions on the surface of a table, for example---but that one would never mistake for being probabilities. So probability is distinguished by more than just its formal characteristics. The bulk of this essay will be taken up with the central question of what this “more” might be. (shrink)

Bayes' Theorem is a simple mathematical formula used for calculating conditional probabilities. It figures prominently in subjectivist or Bayesian approaches to epistemology, statistics, and inductive logic. Subjectivists, who maintain that rational belief is governed by the laws of probability, lean heavily on conditional probabilities in their theories of evidence and their models of empirical learning. Bayes' Theorem is central to these enterprises both because it simplifies the calculation of conditional probabilities and because it clarifies significant features of subjectivist position. Indeed, (...) the Theorem's central insight — that a hypothesis is confirmed by any body of data that its truth renders probable — is the cornerstone of all subjectivist methodology. (shrink)

Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...) always choosing the simplest theory compatible with experience, and (2) hanging onto it while it remains simplest, is both necessary and sufficient for efficiency. †To contact the author, please write to: Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

Knowledge a priori has an important role in rationalistic schools: it pre-establishes truth in order to justify a system of correlated ideas. Empiricism usually concerns knowledge a posteriori, for experience itself is what we have actually known. Peirce’s probabilistic approach to science was based on necessity in the long run but it has no clear place in the categorization of knowledge either as a priori or as a posteriori. This deficit should be overcome by introducing a new category — synthetic (...) knowledge a ulteriori, defined as what is known about an indefinite number of cases but not about isolated instances. (shrink)

Philosophically, one of the most important questions in the enterprise termed confirmation theory is this: Why should one stick to well confirmed theories rather than to any other theories? This paper discusses the answers to this question one gets from absolute and incremental Bayesian confirmation theory. According to absolute confirmation, one should accept ''absolutely well confirmed'' theories, because absolute confirmation takes one to true theories. An examination of two popular measures of incremental confirmation suggests the view that one should stick (...) to incrementally well confirmed theories, because incremental confirmation takes one to (the most) informative (among all) true theories. However, incremental confirmation does not further this goal in general. I close by presenting a necessary and sufficient condition for revealing the confirmational structure in almost every world when presented separating data. (shrink)

Uncertainty plays an important role in The General Theory, particularly in the theory of interest rates. Keynes did not provide a theory of uncertainty, but he did make some enlightening remarks about the direction he thought such a theory should take. I argue that some modern innovations in the theory of probability allow us to build a theory which captures these Keynesian insights. If this is the right theory, however, uncertainty cannot carry its weight in Keynes’s arguments. This does not (...) mean that the conclusions of these arguments are necessarily mistaken; in their best formulation they may succeed with merely an appeal to risk. (shrink)

Degrees of belief are familiar to all of us. Our confidence in the truth of some propositions is higher than our confidence in the truth of other propositions. We are pretty confident that our computers will boot when we push their power button, but we are much more confident that the sun will rise tomorrow. Degrees of belief formally represent the strength with which we believe the truth of various propositions. The higher an agent’s degree of belief for a particular (...) proposition, the higher her confidence in the truth of that proposition. For instance, Sophia’s degree of belief that it will be sunny in Vienna tomorrow might be .52, whereas her degree of belief that the train will leave on time might be .23. The precise meaning of these statements depends, of course, on the underlying theory of degrees of belief. These theories offer a formal tool to measure degrees of belief, to investigate the relations between various degrees of belief in different propositions, and to normatively evaluate degrees of belief. (shrink)

[NOTE: I WROTE THIS PAPER BEFORE STARTING MY PhD. SO DON'T EXPECT TOO MUCH.] Laudan and Leplin have argued that empirically equivalent theories can elude underdetermination by resorting to indirect confirmation. Moreover, they have provided a qualitative account of indirect confirmation that Okasha has shown to be incoherent. In this paper, I develop Kukla's recent contention that indirect confirmation is grounded in the probability calculus. I provide a Bayesian rule to calculate the probability of a hypothesis given indirect evidence. I (...) also suggest that the application of the rule presupposes the methodological relevance of non‐empirical virtues of theories. If this is true, Laudan and Leplin's strategy will not work in many cases. Moreover, without an independent way of justifying the role of non‐empirical virtues in methodology, the scientific realists cannot use indirect evidence to defeat underdetermination. (shrink)

Theories of statistical testing may be seen as attempts to provide systematic means for evaluating scientific conjectures on the basis of incomplete or inaccurate observational data. The Neyman-Pearson Theory of Testing (NPT) has purported to provide an objective means for testing statistical hypotheses corresponding to scientific claims. Despite their widespread use in science, methods of NPT have themselves been accused of failing to be objective; and the purported objectivity of scientific claims based upon NPT has been called into question. The (...) purpose of this paper is first to clarify this question by examining the conceptions of (I) the function served by NPT in science, and (II) the requirements of an objective theory of statistics upon which attacks on NPT's objectivity are based. Our grounds for rejecting these conceptions suggest altered conceptions of (I) and (II) that might avoid such attacks. Second, we propose a reformulation of NPT, denoted by NPT*, based on these altered conceptions, and argue that it provides an objective theory of statistics. The crux of our argument is that by being able to objectively control error frequencies NPT* is able to objectively evaluate what has or has not been learned from the result of a statistical test. (shrink)

Intuitionistic meta-methodologies, which abound in recent philosophy of science, take the criterion of success for theories of scientific rationality to be whether those theories adequately explicate our intuitive judgments of rationality in exemplary cases. Garber's (1985) critique of Laudan's (1977) intuitionistic meta-methodology, correct as far as it goes, does not go far enough. Indeed, Garber himself advocates a form of intuitionistic meta-methodology; he merely denies any special role for historical (as opposed to contemporary or imaginary) test cases. What all such (...) positions lack is a base from which to inform, criticize, or restructure our core methodological intuitions. To acquiesce in this is to deny that exemplary cases can serve the sort of warranting role required for intuitionism. This point is reinforced by a series of reasons for denying the warranting role of pre-analytic judgments of rationality. These reasons point the way toward an improved approach to meta-methodology. (shrink)

Two notions of evidence are focused on in this essay, Carnap's positive-relevance notion of evidence (1962, pp. 462 ff.), and Achinstein's notion of potential evidence (1978; and 1983, pp. 322–350). Achinstein creates several interesting examples in his attempt to find faults in Carnap's notion of evidence; his motive, ultimately, is to impel us towards potential evidence. The purpose of this essay is to show that positive relevance is significantly more promising than potential evidence with respect to capturing the scientific sense (...) of the term evidence. This is accomplished by finding faults in the notion of potential evidence, and by defending positive relevance against Achinstein's examples. (shrink)

An explicit philosophy and meta-philosophy of positivism, empiricism and popperianism is provided. Early popperianism is argued to be essentially a form of empiricism, the deviations from empiricism are traced. In contrast, the meta-philosophy and philosophy of an evolutionary naturalistic realism is developed and it is shown how the maximal conflict of this doctrine with all forms of empiricism at the meta-philosophical level both accounts for the form of its development at the philosophical level and its defense against attack from nonrealist (...) quarters. Following an earlier article on realism of similar theme (Synthese 26 (1974), 409) this paper then further explores the ramifications of a thoroughgoing realist position. (shrink)

The running debate between Peter Achinstein and his critics concerning the nature of scientific evidence is misguided as each side attempts to explicate a distinct notion of evidence. Achinstein's approach, however, is valuable in helping to point out a problem with Carnap's statistical relevance model. By claiming an increase in probability to be necessary for evidence, the received view is incapable of accounting for evidence which is statistically irrelevant but explanatorily relevant. A broader view of evidence which can account for (...) pragmatic concerns such as explanation is thereby required. (shrink)

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since (...) they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed. (shrink)

has proposed an interesting and novel Bayesian analysis of the Quine-Duhem (Q–D) problem (i.e., the problem of auxiliary hypotheses). Strevens's analysis involves the use of a simplifying idealization concerning the original Q–D problem. We will show that this idealization is far stronger than it might appear. Indeed, we argue that Strevens's idealization oversimplifies the Q–D problem, and we propose a diagnosis of the source(s) of the oversimplification. Some background on Quine–Duhem Strevens's simplifying idealization Indications that (I) oversimplifies Q–D Strevens's argument (...) for the legitimacy of (I). (shrink)

Several forms of symmetry in degrees of evidential support areconsidered. Some of these symmetries are shown not to hold in general. This has implications for the adequacy of many measures of degree ofevidential support that have been proposed and defended in the philosophical literature.

Among the central theses defended in this paper are the following. First, the logical incompatibility version of the argument from evil is not one of the crucial versions, and Plantinga, in fostering the illusion that it is, seriously misrepresents claims advanced by other philosophers. Secondly, Plantinga’s arguments against the thesis that the existence of any evil at all is logically incompatible with God’s existence. Thirdly, Plantinga’s attempt to demonstrate that the existence of a certain amount of evil in the world (...) does not render improbable the existence of God involves both a false claim and a fallacious inference. (shrink)

The paper suggests a way of viewing the two Fregean principles of compositionality and contextuality as working together in the enterprise of interpretation. A third Fregean theme, that of elucidation (more precisely, the elucidation of primitive, undefinable terms of logic, mathematics and metamathematics) secures a place for some version of the context principle in Frege's later writings. When thinking about the functioning of elucidations, Frege acknowledges a principle of charitable interpretation. I argue that there is a deep connection between the (...) three themes, and that not only compositionality and contextuality, but also charity is a genuinely Fregean theme. -/- Context. Interpretation. Linguistics. Logic. Meaning. Word. (shrink)

Common probability theories only allow the deduction of probabilities by using previously known or presupposed probabilities. They do not, however, allow the derivation of probabilities from observed data alone. The question thus arises as to how probabilities in the empirical sciences, especially in medicine, may be arrived at. Carnap hoped to be able to answer this question byhis theory of inductive probabilities. In the first four sections of the present paper the above mentioned problem is discussed in general. After a (...) short presentation of Carnap''s theory it is then shown that this theory cannot claim validity for arbitrary random processes. It is suggested that the theory be only applied to binomial and multinomial experiments. By application of de Finetti''s theorem Carnap''s inductive probabilities are interpreted as consecutive probabilities of the Bayesian kind. Through the introduction of a new axiom the decision parameter can be determined even if no a priori knowledge is given. Finally, it is demonstrated that the fundamental problem of Wald''s decision theory, i.e., the determination of a plausible criterion where no a priori knowledge is available, can be solved for the cases of binomial and multinomial experiments. (shrink)

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive (...) logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented. (shrink)

After delineating the distinguishing features of pragmatism, and noting the resources that pragmatists have available to respond effectively as pragmatists to the two major objections to pragmatism, I examine and critically evaluate the various proposals that pragmatists have offered as a solution to the problem of induction, followed by a discussion of the pragmatic positions on the status of theoretical entities. Thereafter I discuss the pragmatic posture toward the nature of explanation in science. I conclude that pragmatism has (a) a (...) generally compelling solution to Hume's problem of induction; (b) no specific position on the status of theoretical entities, although something like the non-realism of the sort developed by van Fraassen seems a defensible candidate for most pragmatists in general, even though there are non-trivial objections to van Fraassen's position; and (c) central to the pragmatic conception of scientific explanation is the abandonment of our common conception of truth as a necessary condition for sentences to provide adequate explanations, and a drift in the direction of a contextualist account of explanation. (shrink)

Events between which we have no epistemic reason to discriminate have equal epistemic probabilities. Bertrand’s chord paradox, however, appears to show this to be false, and thereby poses a general threat to probabilities for continuum sized state spaces. Articulating the nature of such spaces involves some deep mathematics and that is perhaps why the recent literature on Bertrand’s Paradox has been almost entirely from mathematicians and physicists, who have often deployed elegant mathematics of considerable sophistication. At the same time, the (...) philosophy of probability has been left out. In particular, left out entirely are the philosophical ground of the principle of indifference, the nature of the principle itself, the stringent constraint this places on the mathematical representation of the principle needed for its application to continuum sized event spaces, and what these entail for rigour in developing the paradox itself. This book puts the philosophy and its entailments back in and in so doing casts a new light on the paradox, giving original analyses of the paradox, its possible solutions, the source of the paradox, the philosophical errors we make in attempting to solve it and what the paradox proves for the philosophy of probability. The book finishes with the author’s proposed solution—a solution in the spirit of Bertrand’s, indeed—in which an epistemic principle more general than the principle of indifference offers a principled restriction of the domain of the principle of indifference. (shrink)

Linguistic data are commonly considered a defeasible source of evidence from which it is legitimate to draw philosophical hypotheses and conclusions. Traditionally epistemologists have relied almost exclusively on linguistic data from western languages, with a primary focus on contemporary English. However, in the last two decades there has been an increasing interest in cross-linguistic studies in epistemology. In this entry, we provide a brief overview of cross-linguistic data discussed by contemporary epistemologists and the philosophical debates they have generated.

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

This dissertation proposes and defends a hybrid view I call Hybrid Impermissivism, which combines the following two theses: Moderate Uniqueness and Credal Permissivism. Moderate Uniqueness says that no evidence could justify both believing a proposition and its negation. However, on Moderate Uniqueness, evidence could justify both believing and suspending judgement on a proposition (hence the adjective “Moderate”). And Credal Permissivism says that more than one credal attitude could be justified on the evidence. Hybrid Impermissisim is developed into a precise theory (...) by using normative bridge principles on how rational belief and credence ought to interact. My overall conclusion is that Hybrid Impermissivism is a coherent, plausible, and conciliatory position and provides a correct characterisation of the requirements of evidence on doxastic attitudes . (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

Pojęcia były zawsze jednym z najważniejszych obiektów badań filozoficznych. Szczególnie duży wkład do teorii analizy pojęć wnieśli przedstawiciele polskiej gałęzi XX-wiecznej filozofii analitycznej, czyli Szkoły Lwowsko-Warszawskiej. Badaniom filozoficznym w tej szkole przyświecał postulat jasności myślenia i mowy. Analiza i doskonalenie pojęć oraz języka filozoficznego jako ich nośnika były naturalnym wyrazem programu metodologicznego, jaki formacji tej nadał jej założyciel, Kazimierz Twardowski. W artykule przedstawiona jest procedura rekonstrukcji pojęć, stosowana powszechnie w szkole Twardowskiego. Okazuje się, że pomimo głębokich niekiedy różnic między poszczególnymi (...) przedstawicielami SLW da się wskazać pewne rysy wspólne prowadzonych w szkole badań nad pojęciami. Są to przede wszystkim moment kategorialny i moment konstrukcyjny, ze względu na który całą procedurę najlepiej określić właśnie jako „rekonstrukcję”. Bliżej zostały omówione dwa przykłady rekonstrukcji pojęć: praca Jana Łukasiewicza dotycząca pojęcia przyczyny oraz wyniki Alfreda Tarskiego dotyczące pojęcia prawdy. (shrink)