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)

In this article I give a naturalistic-cum-formal analysis of therelation between beauty, empirical success, and truth. The analysis is based on the onehand on a hypothetical variant of the so-called `mere-exposure effect'' which has been more orless established in experimental psychology regarding exposure-affect relationshipsin general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989;Ye 2000). On the other hand it is based on the formal theory of truthlikeness andtruth approximation as presented in my From Instrumentalism to Constructive Realism (...) (2000).The analysis supports the findings of James McAllister in his beautifulBeauty and Revolution in Science (1996), by explaining and justifying them.First, scientists are essentially right in regarding aesthetic criteria useful for empiricalprogress and even for truth approximation, provided they conceive of them as less hard thanempirical criteria. Second, the aesthetic criteria of the time, the `aesthetic canon'', maywell be based on `aesthetic induction'' regarding nonempirical features of paradigms of successfultheories which scientists have come to appreciate as beautiful. Third, aestheticcriteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, `revolutionary'' scientists. We may find totallyopposite things beautiful: a simplemathematical principle as well as a series of unrepeatable complex contingencies. It is a matter of psychology.(Stephen Jay Gould, translated passage from (Kayzer 2000, 30)). (shrink)

A number of different theories of truthlikeness have been proposed, but most can be classified into one of two different main programmes: the probability-content programme and the likeness programme.1 In Brink and Heidema [1987] we are offered a further proposal, with the attraction of some novelty. I argue that while the heuristic path taken by the authors is rather remote from what they call ‘the well-worn paths’,2 in fact their point of arrival is rather closer to existing proposals within the (...) likeness approach than might at first appear. It is the purpose of this note to outline the logical connections and to assess the reasons which have been offered in favour of the new proposal. (shrink)

Existen conceptos clave en las diversas ciencias (ya sean formales, naturales, biosociales o sociales) como “teoría” o “modelo” que están aún hoy sujetos a un amplio debate epistemológico, i.e. desde la teoría del conocimiento, y centrada en el estudio del conocimiento científico en particular. Los científicos, pues, construyen y utilizan diferentes nociones que cargan tras de sí realmente con un exhaustivo debate extracientífico sobre su naturaleza. En este trabajo se ofrecerán algunas aclaraciones y propuestas formales de definición sobre tales nociones (...) desde la filosofía de la ciencia del astrofísico y filosofo Gustavo Esteban Romero (G. E. Romero). En concreto se ensayaran unas definiciones formales de “teoría” y “modelo”, para las ciencias actuales (y otras disciplinas pasibles de su aplicación), y se contextualizarán estas ideas en el debate sobre la estructura y organización de los saberes científicos. (shrink)

Discussions on the status of definitions of life have long been dominated by a position known as definitional pessimism. Per the definitional pessimist, there is no point in trying to define life. This claim is defended in different ways, but one of the shared assumptions of all definitional pessimists is that our attempts to define life are attempts to provide a list of all necessary and sufficient conditions for something to count as alive. In other words, a definition of life (...) is a strict, descriptive definition. Against this, several pragmatic alternatives have been put forward. On these pragmatic accounts, definitions of life are not strictly, but rather loosely descriptive. Their purpose is not to be true, but to be useful to scientists by guiding scientific practice. More recently, this position has come under attack for not being able to explain how our attempts to define life are connected to scientific progress within the biological sciences. Here, I argue to the contrary by showing how pragmatic definitions of life can be, and in fact are, conducive to scientific progress. Additionally, I show how the pragmatic account of definitions of life can be brought to bear upon our normative discussions involving definitions of life. (shrink)

Predictive processing (PP) and embodied cognition (EC) have emerged as two influential approaches within cognitive science in recent years. Not only have PP and EC been heralded as “revolutions” and “paradigm shifts” but they have motivated a number of new and interesting areas of research. This has prompted some to wonder how compatible the two views might be. This paper looks to weigh in on the issue of PP-EC compatibility. After outlining two recent proposals, I argue that further clarity can (...) be achieved on the issue by considering a model of scientific progress. Specifically, I suggest that Larry Laudan’s “problem solving model” can provide important insights into a number of outstanding challenges that face existing accounts of PP-EC compatibility. I conclude by outlining additional implications of the problem solving model for PP and EC more generally. (shrink)

Richard Levins’s (Am Sci 54(4):421–431, 1966) paper sets a landmark for the significance of scientific model-making in biology. Colombo and Palacios (Biol Philos 36(5):1–26. 10.1007/s10539-021-09818-x, 2021) have recently built their critique of the explanatory power of the Free Energy Principle on Levins’s insight into the relationship between generality, realism, and precision. This paper addresses the issue of the plausibility of biological explanations that are grounded in the Free Energy Principle (FEP) and deals with the question of the realist fortitude of (...) FEP’s theoretical framework. It indicates that what is required for establishing the plausibility of the explanation of a target system given a model of that system is the dosage or the harmony between the generality and accuracy of explanatory models. This would also provide a basis for seeing how scientific realism could be a viable option with respect to FEP. (shrink)

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

After Karl Popper’s original work, several approaches were developed to provide a sound explication of the notion of verisimilitude. With few exceptions, these contributions have assumed that the truth to be approximated is deterministic. This collection of ten papers addresses the more general problem of approaching probabilistic truths. They include attempts to find appropriate measures for the closeness to probabilistic truth and to evaluate claims about such distances on the basis of empirical evidence. The papers employ multiple analytical approaches, and (...) connect the research to related issues in the philosophy of science. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

What is scientific progress? This paper advances an interpretation of this question, and an account that serves to answer it. Roughly, the question is here understood to concern what type of cognitive change with respect to a topic X constitutes a scientific improvement with respect to X. The answer explored in the paper is that the requisite type of cognitive change occurs when scientific results are made publicly available so as to make it possible for anyone to increase their understanding (...) of X. This account is briefly compared to two rival accounts of scientific progress, based respectively on increasing truthlikeness and accumulating knowledge, and is argued to be preferable to both. (shrink)

Is there progress in philosophy? If so, how much? Philosophers have recently argued for a wide range of answers to these questions, from the view that there is no progress whatsoever to the view that philosophy has provided answers to all the big philosophical questions. However, these views are difficult to compare and evaluate, because they rest on very different assumptions about the conditions under which philosophy would make progress. This paper looks to the comparatively mature debate about scientific progress (...) for inspiration on how to formulate four distinct accounts of philosophical progress, in terms of truthlikeness, problem-solving, knowledge, and understanding. Equally importantly, the paper outlines a common framework for how to understand and evaluate these accounts. We distill a series of lessons from this exercise, to help pave the way for a more fruitful discussion about philosophical progress in the future. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of the properties of (...) this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

Elgin offers an influential and far-reaching challenge to veritism. She takes scientific understanding to be non-factive and maintains that there are epistemically useful falsehoods that figure ineliminably in scientific understanding and whose falsehood is no epistemic defect. Veritism, she argues, cannot account for these facts. This paper argues that while Elgin rightly draws attention to several features of epistemic practices frequently neglected by veritists, veritists have numerous plausible ways of responding to her arguments. In particular, it is not clear that (...) false propositional commitments figure ineliminably in understanding in the manner supposed by Elgin. Moreover, even if scientific understanding were non-factive and false propositional commitments did figure ineliminably in understanding, the veritist can account for this in several ways without thereby abandoning veritism. (shrink)

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

According to the traditional requirement, formulated by William Whewell in his account of the “consilience of inductions” in 1840, a scientific hypothesis should have unifying power in the sense that it explains and predicts several mutually independent phenomena. Variants of this notion of consilience or unification include deductive, inductive, and approximate systematization. Inference from surprising phenomena to their theoretical explanations was called abduction by Charles Peirce. As a unifying theory is independently testable by new kinds of phenomena, it should also (...) receive confirmation from its empirical success. The study of the prospects of probabilistic Bayesianism to motivate this kind of criterion for abductive confirmation is shown to lead to two quite distinct conceptions of unification. (shrink)

Ockham’s razor is the characteristic scientific penchant for simpler, more testable, and more unified theories. Glymour’s early work on confirmation theory eloquently stressed the rhetorical plausibility of Ockham’s razor in scientific arguments. His subsequent, seminal research on causal discovery still concerns methods with a strong bias toward simpler causal models, and it also comes with a story about reliability—the methods are guaranteed to converge to true causal structure in the limit. However, there is a familiar gap between convergent reliability and (...) scientific rhetoric: convergence in the long run is compatible with any conclusion in the short run. For that reason, Carnap suggested that the proper sense of reliability for scientific inference should lie somewhere between short-run reliability and mere convergence in the limit. One natural such concept is straightest possible convergence to the truth, where straightness is explicated in terms of minimizing reversals of opinion and cycles of opinion prior to convergence. We close the gap between scientific rhetoric and scientific reliability by showing that Ockham’s razor is necessary for cycle-optimal convergence to the truth, and that patiently waiting for information to resolve conflicts among simplest hypotheses is necessary for reversal-optimal convergence to the truth. (shrink)

Scientific realists use the “no miracle argument” to show that the empirical and pragmatic success of science is an indicator of the ability of scientific theories to give true or truthlike representations of unobservable reality. While antirealists define scientific progress in terms of empirical success or practical problem-solving, realists characterize progress by using some truth-related criteria. This paper defends the definition of scientific progress as increasing truthlikeness or verisimilitude. Antirealists have tried to rebut realism with the “pessimistic metainduction”, but critical (...) realists turn this argument into an optimistic view about progressive science. (shrink)

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (shrink)

There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.

In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as late as (...) the last edition of Against method. It is argued that, contrary to what Feyerabend scholars have predominantly assumed, Feyerabend's changing attitude towards falsificationism—which he often advocated at the beginning of his career, and vociferously attacked in the 1970s and 1980s—must be explained by taking into account not only Feyerabend's very peculiar view of the aim of science, but also Popper's changing account of progress. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we briefly (...) survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

It is often claimed—especially by scientific realists—that science provides understanding of the world only if its theories are (at least approximately) true descriptions of reality, in its observable as well as unobservable aspects. This paper critically examines this ‘realist thesis’ concerning understanding. A crucial problem for the realist thesis is that (as study of the history and practice of science reveals) understanding is frequently obtained via theories and models that appear to be highly unrealistic or even completely fictional. So we (...) face the dilemma of either giving up the realist thesis that understanding requires truth, or allowing for the possibility that in many if not all practical cases we do not have scientific understanding. I will argue that the first horn is preferable: the link between understanding and truth can be severed. This becomes a live option if we abandon the traditional view that scientific understanding is a special type of knowledge. While this view implies that understanding must be factive, I avoid this implication by identifying understanding with a skill rather than with knowledge. I will develop the idea that understanding phenomena consists in the ability to use a theory to generate predictions of the target system’s behavior. This implies that the crucial condition for understanding is not truth but intelligibility of the theory, where intelligibility is defined as the value that scientists attribute to the theoretical virtues that facilitate the construction of models of the phenomena. I will show, first, that my account accords with the way practicing scientists conceive of understanding, and second, that it allows for the use of idealized or fictional models and theories in achieving understanding. (shrink)

In this article, against the background of a notion of ‘assembled’ truth, the evolutionary progressiveness of a theory is suggested as novel and promising explanation for the success of science. A new version of realism in science, referred to as ‘naturalised realism’ is outlined. Naturalised realism is ‘fallibilist’ in the unique sense that it captures and mimics the self-corrective core of scientific knowledge and its progress. It is argued that naturalised realism disarms Kyle Stanford’s anti-realist ‘new induction’ threats by showing (...) that ‘explanationism’ and his ‘epistemic instrumentalism’ are just two positions among many on a constantly evolving continuum of options between instrumentalism and full-blown realism. In particular it is demonstrated that not only can naturalised realism redefine the terms of realist debate in such a way that no talk of miracles need enter the debate, but it also promises interesting defenses against inductive- and under-determination-based anti-realist arguments. (shrink)

I present a new definition of verisimilitude, framed in terms of causes. Roughly speaking, according to it a scientific model is approximately true if it captures accurately the strengths of the causes present in any given situation. Against much of the literature, I argue that any satisfactory account of verisimilitude must inevitably restrict its judgments to context-specific models rather than general theories. We may still endorse—and only need—a relativized notion of scientific progress, understood now not as global advance but rather (...) as the mastering of particular problems. This also sheds new light on longstanding difficulties surrounding language-dependence and models committed to false ontologies. (shrink)

A survey of some game-theoretic accounts of the emergence and evolution of spontaneuous cooperation in social and public-good dilemmas.

Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so (...) that ignorance of their nature is profound. (shrink)

Alexander Bird argues for an epistemic account of scientific progress, whereas Darrell Rowbottom argues for a semantic account. Both appeal to intuitions about hypothetical cases in support of their accounts. Since the methodological significance of such appeals to intuition is unclear, I think that a new approach might be fruitful at this stage in the debate. So I propose to abandon appeals to intuition and look at scientific practice instead. I discuss two cases that illustrate the way in which scientists (...) make judgments about progress. As far as scientists are concerned, progress is made when scientific discoveries contribute to the increase of scientific knowledge of the following sorts: empirical, theoretical, practical, and methodological. I then propose to articulate an account of progress that does justice to this broad conception of progress employed by scientists. I discuss one way of doing so, namely, by expanding our notion of scientific knowledge to include both know-that and know-how. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

In this article, through a critical examination of K. Brad Wray's version of the argument from underconsideration against scientific realism, I articulate a modest version of scientific realism. This modest realist position, which I call ‘relative realism’, preserves the scientific realist's optimism about science's ability to get closer to the truth while, at the same time, taking on board the antirealist's premise that theory evaluation is comparative, and thus that there are no good reasons to think that science's best theories (...) are close to the truth. (shrink)

Theory change is a central concern in contemporary epistemology and philosophy of science. In this paper, we investigate the relationships between two ongoing research programs providing formal treatments of theory change: the (post-Popperian) approach to verisimilitude and the AGM theory of belief change. We show that appropriately construed accounts emerging from those two lines of epistemological research do yield convergences relative to a specified kind of theories, here labeled “conjunctive”. In this domain, a set of plausible conditions are identified which (...) demonstrably capture the verisimilitudinarian effectiveness of AGM belief change, i.e., its effectiveness in tracking truth approximation. We conclude by indicating some further developments and open issues arising from our results. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

A basic thesis of Neokantian epistemology and philosophy of science contends that the knowing subject and the object to be known are only abstractions. What really exists, is the relation between both. For the elucidation of this “knowledge relation ("Erkenntnisrelation") the Neokantians of the Marburg school used a variety of mathematical metaphors. In this con-tribution I reconsider some of these metaphors proposed by Paul Natorp, who was one of the leading members of the Marburg school. It is shown that Natorp's (...) metaphors are not unrelated to those used in some currents of contemporary epistemology and philosophy of science. (shrink)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their (knowledge) elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: (1) to argue that scientific progress (...) should emphasize both the process of change and the content of change; (2) to chart the major stages of scientific study development; and (3) to define “science”. (shrink)

The article investigates the sceptical challenge from an informationtheoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borei numbers as a convenient way to refer uniformly to (the data that individuate) (...) different possible worlds. Section 3 adopts the Hamming distance between Borei numbers as a metric to calculate the distance between possible worlds. In Sects. 4 and 5, radical and moderate informational scepticism are analysed using Borei numbers and Hamming distances, and shown to be either harmless (extreme form) or actually fruitful (moderate form). Section 6 further clarifies the approach by replying to some potential objections. In the conclusion, the Peircean nature of the overall approach is briefly discussed. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its sequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In this paper, we make this norm mathematically precise in various ways. We describe three epistemic dilemmas that an agent might face if she attempts (...) to follow Accuracy, and we show that the only inaccuracy measures that do not give rise to such dilemmas are the quadratic inaccuracy measures. In the sequel, we derive the main tenets of Bayesianism from the relevant mathematical versions of Accuracy to which this characterization of the legitimate inaccuracy measures gives rise, but we also show that Jeffrey conditionalization has to be replaced by a different method of update in order for Accuracy to be satisfied. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

Moderate realists hold that scientific theories are truthlike, rather than exactly true. Although scientific realism has been challenged by arguments such as the pessimistic induction, moderate realism hasn’t been challenged directly on the grounds that it makes scientific progress rely on inferences from theories that are only truthlike. This paper shows that moderate realism is incompatible with the claim that deductive arguments from scientific theories are reliable. Using truthlike claims as the premises of some patterns of deductive reasoning renders the (...) argument dramatically unreliable. The conclusion is not guaranteed to be true. Nor is the conclusion guaranteed to be at least as truthlike as the premises. Nor even is the conclusion shown to be likely to be true. This is because the consequences of truthlike theories are neither guaranteed to be true, nor even more likely to be truthlike than not. Truthlike theories cannot function like true theories in deductive arguments; instead they function as radically false theories would. In short, truthlike theories behave exactly like radically false theories for the purposes of their deductive consequences. And since scientists would not trust deductions from radically false theories, they should not trust deductions from truthlike theories either. Furthermore, this applies to a wide range of logics and patterns of deductive argument. The moderate realist must either reject bivalence, deny that theories are truth-apt, or accept that scientific theories are not used in deductive arguments. (shrink)

We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...) repeated sampling from the unknown distribution; and learning higher-order information about the distribution. The first changes only the plausibility map, but leaves the given set of possible distributions essentially unchanged; the second rules out some distributions, thus shrinking the set of possibilities, without changing their plausibility ordering.. We look at stability of beliefs under either of these types of learning, defining two related notions, as well as a measure of the verisimilitude of a given plausibility model. We prove a number of convergence results, showing how our agent’s beliefs track the true probability after repeated sampling, and how she eventually gains in a sense knowledge of that true probability. Finally, we sketch the contours of a dynamic doxastic logic for statistical learning. (shrink)

En su libro Mind and nature Gregory Bateson elabora un argumento que él llama ‘convencional’ para concluir que “nunca podremos ser capaces de reclamar conocimiento definitivo en asunto alguno [final knowledge of anything whatsoever]”. La conclusión es correcta, pero el argumento es engañoso y desorienta más de lo que ayuda. Además, Bateson, disimuladamente, introduce algunas afirmaciones falsas en medio de premisas verdaderas. Revisarlo nos permitirá aclarar algunos malentendidos comunes en filosofía de la ciencia, además de ser la excusa perfecta para (...) esbozar una introducción a la interpolación polinomial de Lagrange y una pequeña reflexión sobre los límites del conocimiento. (shrink)

Scientists are constantly making observations, carrying out experiments, and analyzing empirical data. Meanwhile, scientific theories are routinely being adopted, revised, discarded, and replaced. But when are such changes to the content of science improvements on what came before? This is the question of scientific progress. One answer is that progress occurs when scientific theories ‘get closer to the truth’, i.e. increase their degree of truthlikeness. A second answer is that progress consists in increasing theories’ effectiveness for solving scientific problems. A (...) third answer is that progress occurs when the stock of scientific knowledge accumulates. A fourth and final answer is that scientific progress consists in increasing scientific understanding, i.e. the capacity to correctly explain and reliably predict relevant phenomena. This paper compares and contrasts these four accounts of scientific progress, considers some of the most prominent arguments for and against each account, and briefly explores connections to different forms of scientific realism. (shrink)

The notion of truthlikeness or verisimilitude has been a topic of intensive discussion ever since the definition proposed by Karl Popper was refuted in 1974. This paper gives an analysis of old and new debates about this notion. There is a fairly large agreement about the truthlikeness ordering of conjunctive theories, but the main rival approaches differ especially about false disjunctive theories. Continuing the debate between Niiniluoto’s min-sum measure and Schurz’s relevant consequence measure, the paper also gives a critical assessment (...) of Oddie’s new defense of the average measure and Kuipers’ refined definition of truth approximation. (shrink)

It has become apparent that the debate between scientific realists and constructive empiricists has come to a stalemate. Neither view can reasonably claim to be the most rational philosophy of science, exclusively capable of making sense of all scientific activities. On one prominent analysis of the situation, whether we accept a realist or an anti-realist account of science actually seems to depend on which values we antecedently accept, rather than our commitment to “rationality” per se. Accordingly, several philosophers have attempted (...) to argue in favour of scientific realism or constructive empiricism by showing that one set of values is exclusively best, for anyone and everyone, and that the downstream choice of the philosophy of science which best serves those values is therefore best, for anyone and everyone. These efforts, however, seem to have failed. In response, I suggest that philosophers of science should suspend the effort to determine which philosophy of science is best for everyone, and instead begin investigating which philosophy of science is best for specific people, with specific values, in specific contexts. I illustrate how this might be done by briefly sketching a single case study from the history of science, which seems to show that different philosophies of science are better at motivating different forms of scientific practice. (shrink)

There is good reason to suppose that our best physical theories, quantum mechanics and special relativity, are false if taken together and literally. If they are in fact false, then how should they count as providing knowledge of the physical world? One might imagine that, while strictly false, our best physical theories are nevertheless in some sense probably approximately true. This paper presents a notion of local probable approximate truth in terms of descriptive nesting relations between current and subsequent theories. (...) This notion helps explain how false physical theories might nevertheless provide physical knowledge of a variety that is particularly salient to diachronic empirical inquiry. (shrink)