- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
In this paper I will investigate the possibility of completing a Positivist style account of demarcation. One reason for pursuing this project is that standard criticisms of Positivism do not have the bite against the demarcation project that they are often assumed to have. To argue this will be the burden of the first part of this paper. The other reason is that new research in logic has provided machinery not available to the Positivists; machinery that shows promise for solving (...) |
|
|
How should we reason in science? Jan Sprenger and Stephan Hartmann offer a refreshing take on classical topics in philosophy of science, using a single key concept to explain and to elucidate manifold aspects of scientific reasoning. They present good arguments and good inferences as being characterized by their effect on our rational degrees of belief. Refuting the view that there is no place for subjective attitudes in 'objective science', Sprenger and Hartmann explain the value of convincing evidence in terms (...) |
|
|
Hypothetico-deductive (H-D) confirmation builds on the idea that confirming evidence consists of successful predictions that deductively follow from the hypothesis under test. This article reviews scope, history and recent development of the venerable H-D account: First, we motivate the approach and clarify its relationship to Bayesian confirmation theory. Second, we explain and discuss the tacking paradoxes which exploit the fact that H-D confirmation gives no account of evidential relevance. Third, we review several recent proposals that aim at a sounder and (...) |
|
|
This paper synthesizes confirmation by instances and confirmation by successful predictions, and thereby the Hempelian and the hypothetico-deductive traditions in confirmation theory. The merger of these two approaches is subsequently extended to the piecemeal confirmation of entire theories. It is then argued that this synthetic account makes a useful contribution from both a historical and a systematic perspective. |
|
|
In this paper I demonstrate that, contrary to the standard interpretations, William Whewell's view of scientific method is neither that of the hypothetico-deductivist nor that of the retroductivist. Rather, he offers a unique inductive methodology, which he calls "discoverers' induction." After explicating this methodology, I show that Kepler's discovery of his first law of planetary motion conforms to it, as Whewell claims it does. In explaining Whewell's famous phrase about "happy guesses" in science, I suggest that Whewell intended a distinction (...) |
|
|
I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) |
|
|
Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) |
|
|
In the first section, five major attempts to solve the problem of induction and their failures are discussed. In the second section, an account of meta-induction is introduced. It offers a novel solution to the problem of induction, based on mathematical theorems about the predictive optimality of attractivity-weighted meta-induction. In the third section, how the a priori justification of meta-induction provides a non-circular a posteriori justification of object-induction, based on its superior track record, is explained. In the fourth section, four (...) |
|
|
Tacking by conjunction is a well-known problem for Bayesian confirmation theory. In the first section, disadvantages of existing Bayesian solution proposals to this problem are pointed out and an alternative solution proposal is presented: that of genuine confirmation. In the second section, the notion of GC is briefly recapitulated and three versions of GC are distinguished: full GC, partial GC and quantitative GC. In the third section, the application of partial GC to pure post-facto speculations is explained. In the fourth (...) |
|
|
This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) |
|
|
Tacking by conjunction is a deep problem for Bayesian confirmation theory. It is based on the insight that to each hypothesis h that is confirmed by a piece of evidence e one can ‘tack’ an irrelevant hypothesis h′ so that h∧h′ is also confirmed by e. This seems counter-intuitive. Existing Bayesian solution proposals try to soften the negative impact of this result by showing that although h∧h′ is confirmed by e, it is so only to a lower degree. In this (...) |
|
|
The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...) |
|
|
According to the comparative Bayesian concept of confirmation, rationalized versions of creationism come out as empirically confirmed. From a scientific viewpoint, however, they are pseudo-explanations because with their help all kinds of experiences are explainable in an ex-post fashion, by way of ad-hoc fitting of an empirically empty theoretical framework to the given evidence. An alternative concept of confirmation that attempts to capture this intuition is the use novelty criterion of confirmation. Serious objections have been raised against this criterion. In (...) |
|
|
Proposals for rigorously explicating the concept of confirmation in probabilistic terms abound. To foster discussions on the formal properties of the proposed measures, recent years have seen the upshot of a number of representation theorems that uniquely determine a confirmation measure based on a number of desiderata. However, the results that have been presented so far focus exclusively on the concept of incremental confirmation. This leaves open the question whether similar results can be obtained for the concept of absolute confirmation. (...) |
|
|
On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) |
|
|
This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical conditions in favor of a purely syntactical definition of a general non-quantitative concept of confirmation, we show how these criteria can be associated to specific logical properties of monoidal modal deductive systems. In addition, we show that many problems in confirmation logic, such as the tacked disjunction, the problem of weakening with background knowledge and the problem of irrelevant (...) No categories |
|
|
Since Christensen refuted the Bootstrap theory of confirmation in 1990, there have been some trials to improve the Hypothetico-Deductive theory of confirmation. After some trials, Gemes (1998) declared that his revised version completely overcame the difficulties of Hypothetico-Deductivism without generating any new difficulties. In this paper, I will assert that Gemes's revised version encounters some new difficulties, so it cannot be a true alternative to the Bootstrap theory of confirmation and to classical Hypothetico-Deductivism. Also I will assert that, in principle, (...) |
|
|
Suppose a theory T entails hypotheses H and $$H'$$, neither of which entails the other. A number of authors have argued that a piece of evidence E “indirectly confirms” H when E confirms either T or $$H'$$. But there has been a protracted and unsettled debate about whether indirect confirmation is a sound inference procedure. Skeptics argue that the procedure employs conditions of confirmation that jointly lead to absurdity. Proponents argue that this criticism is unfounded or that its import is (...) |
|
|
Derivational robustness may increase the degree to which various pieces of evidence indirectly confirm a robust result. There are two ways in which this increase may come about. First, if one can show that a result is robust, and that the various individual models used to derive it also have other confirmed results, these other results may indirectly confirm the robust result. Confirmation derives from the fact that data not known to bear on a result are shown to be relevant (...) No categories |
|
|
Robustness may increase the degree to which the robust result is indirectly confirmed if it is shown to depend on confirmed rather than disconfirmed assumptions. Although increasing the weight with which existing evidence indirectly confirms it in such a case, robustness may also be irrelevant for confirmation, or may even disconfirm. Whether or not it confirms depends on the available data and on what other results have already been established. |
|
|
Popper’s original definition of verisimilitude in terms of comparisons of truth content and falsity content has known counter-examples. More complicated approaches have met with mixed success. This paper uses a new account of logical content to develop a definition of verisimilitude that is close to Popper’s original account. It is claimed that Popper’s mistake was to couch his account of truth and falsity content in terms of true and false consequences. Comparison to a similar approach by Schurz and Wiengartner show (...) |
|
|
|
|
|
Alleged counter-examples deployed in Park [Erkenntnis 60: 229–240] against the account of selective hypothetico-deductive confirmation offered in Gemes [Erkenntnis 49: 1–20] are shown to be ineffective. Furthermore, the reservations expressed in Gemes [ibid] and [Philosophy of Science 62: 477–487] about hypothetico-deductivism are retracted and replaced with the conclusion that H-D is a viable account of confirmation that captures much of the practice of working scientists. However, because it cannot capture cases of inference to the best explanation and cases of the (...) |
|
|
Christensen [Philosophy of Science, 50: 471–481, 1983] and [Philosophy of Science, 57: 644–662, 1990] provides two sets of counter-examples to the versions of bootstrap confirmation for standard first-order languages presented in Glymour [Theory and Evidence, Princeton University Press, Princeton, 1980] and [Philosophy of Science, 50: 626–629, 1983]. This paper responds to the counter-examples of Christensen [Philosophy of Science, 50: 471–481, 1983] by utilizing a new notion of content introduced in Gemes [Journal of Philosophical Logic, 26, 449–476, 1997]. It is claimed (...) |
|
|
This paper briefly recounts the importance of the notion of natural axiomatizations for explicating hypothetico‐deductivism, empirical significance, theoretical reduction, and organic fertility. Problems for the account of natural axiomatizations developed by John Watkins in Science and Scepticism and the revised account developed by Elie Zahar are demonstrated. It is then shown that Watkins's account can be salvaged from various counter‐examples in a principled way by adding the demand that every axiom of a natural axiomatization should be part of the content (...) |
|
|
This paper briefly recounts the importance of the notion of natural axiomatizations for explicating hypothetico‐deductivism, empirical significance, theoretical reduction, and organic fertility. Problems for the account of natural axiomatizations developed by John Watkins in Science and Scepticism and the revised account developed by Elie Zahar are demonstrated. It is then shown that Watkins's account can be salvaged from various counter‐examples in a principled way by adding the demand that every axiom of a natural axiomatization should be part of the content (...) No categories |
|
|
This paper develops a semantical model - theoretic account of (logical) content complementing the syntactically specified account of content developed in "A New Theory of Content I", JPL 23: 596-620, 1994. Proofs of Completeness are given for both propositional and quantificational languages (without identity). Means for handling a quantificational language with identity are also explored. Finally, this new notion of content is compared, in respect of both logical properties and philosophical applications, to alternative partitions of the standard consequence class relation (...) |
|
|
This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory. No categories |
|
|
Glymour’s theory of bootstrap confirmation is a purely qualitative account of confirmation; it allows us to say that the evidence confirms a given theory, but not that it confirms the theory to a certain degree. The present paper extends Glymour’s theory to a quantitative account and investigates the resulting theory in some detail. It also considers the question how bootstrap confirmation relates to justification. |
|
|
The traditional Bayesian qualitative account of evidential support (TB) takes assertions of the form 'E evidentially supports H' to affirm the existence of a two-place relation of evidential support between E and H. The analysans given for this relation is $C(H,E) =_{def} Pr(H\arrowvertE) \models Pr(H)$ . Now it is well known that when a hypothesis H entails evidence E, not only is it the case that C(H,E), but it is also the case that C(H&X,E) for any arbitrary X. There is (...) |
|
|
Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) |
|
|
We use recently developed approaches in argumentation theory in order to revamp the hypothetico-deductive model of confirmation, thus alleviating the well-known paradoxes the H-D account faces. More specifically, we introduce the concept of dialectic confirmation on the background of the so-called theory of dialectical structures (Betz 2010, 2012b). Dialectic confirmation generalises hypothetico-deductive confirmation and mitigates the raven paradox, the grue paradox, the tacking paradox, the paradox from conceptual difference, and the problem of surprising evidence. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo