- Submit
-
Browse
- 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
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
Inductive generalization asserts that what obtains in known instances can be generalized to all. Its original form is enumerative induction, the earliest form of inductive inference, and it has been elaborated in various ways, largely with the goal of extending its reach. Its principal problem is that it supplies no intrinsic notion of strength of support so that one cannot tell if the generalization has weak or strong support. |
|
|
One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) |
|
|
Predictions about the future and unrestricted universal generalizations are never logically implied by our observational evidence, which is limited to particular facts in the present and past. Nevertheless, propositions of these and other kinds are often said to be confirmed by observational evidence. A natural place to begin the study of confirmation theory is to consider what it means to say that some evidence E confirms a hypothesis H. |
|
|
In the first edition of LFP, Carnap [2] undertakes a precise probabilistic explication of the concept of confirmation. This is where modern confirmation theory was born (in sin). Carnap was interested mainly in quantitative confirmation (which he took to be fundamental). But, he also gave (derivative) qualitative and comparative explications: • Qualitative. E inductively supports H. • Comparative. E supports H more strongly than E supports H . • Quantitative. E inductively supports H to degree r . Carnap begins by (...) |
|
|
Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) |
|
|
Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) |
|
|
The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) |
|
|
State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) |
|
|
Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) |
|
|
Delusions and hallucinations present a challenge to traditional epistemology by allowing two people’s experiences of the world to be vastly different to each other. Traditional objective realism assumes that there is a mind-independent objective world of which people gain knowledge through experience. However, each person only has direct access to his or her own subjective experience of the world, and so neither can be certain that his or her experience represents an objective world more accurately than the other’s. This essay (...) |
|
|
I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) |
|
|
|
|
|
It is notoriously difficult to spell out the norms of inductive reasoning in a neat set of rules. I explore the idea that explanatory considerations are the key to sorting out the good inductive inferences from the bad. After defending the crucial explanatory virtue of stability, I apply this approach to a range of inductive inferences, puzzles, and principles such as the Raven and Grue problems, and the significance of varied data and random sampling. |
|
|
I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science. |
|
|
This is part II in a series of papers outlining Abstraction Theory, a theory that I propose provides a solution to the characterisation or epistemological problem of induction. Logic is built from first principles severed from language such that there is one universal logic independent of specific logical languages. A theory of (non-linguistic) meaning is developed which provides the basis for the dissolution of the `grue' problem and problems of the non-uniqueness of probabilities in inductive logics. The problem of counterfactual (...) |
|
|
There is a growing interest in the foundations as well as the application of imprecise probability in contemporary epistemology. This dissertation is concerned with the application. In particular, the research presented concerns ways in which imprecise probability, i.e. sets of probability measures, may helpfully address certain philosophical problems pertaining to rational belief. The issues I consider are disagreement among epistemic peers, complete ignorance, and inductive reasoning with imprecise priors. For each of these topics, it is assumed that belief can be (...) |
|
|
Recently, Michael Friedman has claimed that virtually all the seeds of Hempel’s philosophical development trace back to his early encounter with the Vienna Circle (Friedman 2003, 94). As opposed, however, to Friedman’s view of the principal early influences on Hempel, we shall see that those formative influences originated rather with the Berlin Group. Hempel, it is true, spent the fall term of 1929 as a student at the University of Vienna, and, thanks to a letter of recommendation from Hans Reichenbach, (...) |
|
|
Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So the (...) |
|
|
This essay demonstrates a previously unnoticed connection between formal and statistical learning theory with regard to Nelson Goodman’s new riddle of induction. Discussions of Goodman’s riddle in formal learning theory explain how conjecturing “all green” before “all grue” can enhance efficient convergence to the truth, where efficiency is understood in terms of minimizing the maximum number of retractions or “mind changes.” Vapnik-Chervonenkis (VC) dimension is a central concept in statistical learning theory and is similar to Popper’s notion of degrees of (...) |
|
|
Hempel’s Converse Consequence Condition (CCC), Entailment Condition (EC), and Special Consequence Condition (SCC) have some prima facie plausibility when taken individually. Hempel, though, shows that they have no plausibility when taken together, for together they entail that E confirms H for any propositions E and H. This is “Hempel’s paradox”. It turns out that Hempel’s argument would fail if one or more of CCC, EC, and SCC were modified in terms of explanation. This opens up the possibility that Hempel’s paradox (...) |
|
|
My purpose in this chapter is to survey some of the principal approaches to inductive inference in the philosophy of science literature. My first concern will be the general principles that underlie the many accounts of induction in this literature. When these accounts are considered in isolation, as is more commonly the case, it is easy to overlook that virtually all accounts depend on one of very few basic principles and that the proliferation of accounts can be understood as efforts (...) |
|
|
|
|
|
|
|
|
Throughout the last century there has been much discussion over what it is that makes an activity or a theory 'scientific'. In the philosophy of science, conversation has focused on differentiating legitimate science from so-called 'pseudoscience'. In the broader cultural sphere this topic has received attention in multiple legal debates regarding the status of creationism, where it has been generally agreed that the 'supernatural' nature of the claims involved renders them unscientific. In this thesis I focus upon the latter of (...) |
|
|
The purpose of this paper is twofold. First we want to extent a specific paranormal modal logic in such a way as obtain a paraconsistent and paracomplete multimodal logic able to formalize the notions of plausibility and certainty. With this logic at hand, and this is our second purpose, we shall use a modified version of Reiter‘s default logic to build a sort of inductive logic of plausibility and certainty able to represent some basic principles of epistemic inductive reasoning, such (...) |
|
|
This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) |
|
|
It is argued that the relation of instance confirmation has a role to play in scientific methodology that complements, rather than competing with, a modern account of inductive support such as Bayesian confirmation theory. When an instance confirms a hypothesis, it provides inductive support, but it also provides two things that other inductive supporters normally do not: first, a connection to “empirical data” that makes science epistemically special, and second, inductive support not only for the hypothesis as a whole, but (...) |
|
|
|
|
|
|
|
|
|
|
|
In From Instrumentalism to Constructive Realism Theo Kuipers presents a theory of qualitative confirmation that is supposed to not assume the existence of quantitative probabilities. He claims that this theory is able to resolve some paradoxes in confirmation theory, including the ravens paradox. This paper shows that there are flaws in Kuipers' qualitative confirmation theory and in his application of it to the ravens paradox. |
|
|
After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the (...) |
|
|
|
|
|
Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the premises, and the strength with which the premises confirm the conclusion. The truth of the premises is a contingent factor that depends on the state of the world. The strength with which the premises confirm the conclusion is supposed to be independent of the state of (...) |
|
|
|
|
|
The paper presents a new analysis of Hempel’s conditions of adequacy, differing from the one in Carnap. Hempel, so it is argued, felt the need for two concepts of confirmation: one aiming at true theories, and another aiming at informative theories. However, so the analysis continues, he also realized that these two concepts were conflicting, and so he gave up the concept of confirmation aiming at informative theories. It is then shown that one can have the cake and eat it: (...) |
|
|
Science is epistemically special, or so I will assume: it is better able to produce knowledge about the workings of the world than other knowledge-directed pursuits. Further, its superior epistemic powers are due to its being in some sense especially empirical: in particular, science puts great weight on a form of inductive reasoning that I call empirical con rmation. My aim in this paper is to investigate the nature of science’s “empiricism”, and to provide a preliminary explanation of the connection (...) |
|
|
This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945), differing from the one Carnap gave in §87 of his Logical Foundations of Probability (1962). Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true theories and another aiming at informative theories. However, he also realized that these two concepts (...) |
|
|
|
|
|
The paper presents the logical milieu of the Paradox of ravens, identified by Hempel in his Studies in the Logic of Confirmation. It deals with Hempel’s interpretations of Nicod’s criterion of confirmation as well as with its inadmissible consequences. I, subsequently, suggest an epistemological and semantic specification of empirical properties, i.e., of their identity; then I formulate a criterion of the test of properties expressed by empirical hypothesis. Finally, I propose a procedural conception of confirmation by means of the testing (...) |
|
|
|
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-55b469568f-cdf2d uwo