(i) Scientific realism is primarily a metaphysical doctrine about the existence and nature of the unobservables of science. (ii) There are good explanationist arguments for realism, most famously that from the success of science, provided abduction is allowed. Abduction seems to be on an equal footing, at least, with other ampliative methods of inference. (iii) We have no reason to believe a doctrine of empirical equivalence that would sustain the underdetermination argument against realism. (iv) The key to defending realism from (...) the pessimistic meta-induction is that we have greatly improved our capacity to understand the unobservable world over recent centuries. (shrink)

This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of (...) true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science. (shrink)

In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.

Philosophy and Literature is an internationally renowned refereed journal founded by Denis Dutton at the University of Canterbury, Christchurch. It is now published by the Johns Hopkins University Press. Since its inception in 1976, Philosophy and Literature has been concerned with the relation between literary and philosophical studies, publishing articles on the philosophical interpretation of literature as well as the literary treatment of philosophy. Philosophy and Literature has sometimes been regarded as iconoclastic, in the sense that it repudiates academic pretensions, (...) insidious jargon and institutional vogue. Dutton, who remains the editor, still writes a regular column. A distinctive feature of Philosophy and Literature was the annual Bad Writing Contest, held from 1995–98, which sought to identify (and publish) the ‘most stylistically lamentable passages’ of academic prose, often to great amusement. (shrink)

This paper continues the power ordering approach to verisimilitude. We define a parameterized verisimilar ordering of theories in the finite propositional case, both semantically and syntactically. The syntactic definition leads to an algorithm for computing verisimilitude. Since the power ordering approach to verisimilitude can be translated into a standard notion of belief revision, the algorithm thereby also allows the computation of membership of a belief-revised theory.

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favour, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has some (...) noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)

This is a response to the papers in the special issue Logical Perspectives on Science and Cognition—The Philosophy of Gerhard Schurz.

I provide and defend a hyper-intensional account of verisimilitude within the truthmaker framework.

Debates about scientific realism are closely connected to almost everything else in the philosophy of science, for they concern the very nature of scientific knowledge. Scientific realism is a positive epistemic attitude toward the content of our best theories and models, recommending belief in both observable and unobservable aspects of the world described by the sciences. This epistemic attitude has important metaphysical and semantic dimensions, and these various commitments are contested by a number of rival epistemologies of science, known collectively (...) as forms of scientific antirealism. This article explains what scientific realism is, outlines its main variants, considers the most common arguments for and against the position, and contrasts it with its most important antirealist counterparts. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

I present a thought experiment in quantum mechanics and tease out some of its implications for the doctrine of “peaceful coexistence”, which, following Shimony, I take to be the proposition that quantum mechanics does not force us to revise or abandon the relativistic picture of causality. I criticize the standard arguments in favour of peaceful coexistence on the grounds that they are question-begging, and suggest that the breakdown of Lorentz-invariant relativity as a principle theory would be a natural development, given (...) the general trend of physics in this century. (shrink)

Realists regarding scientific knowledge – those who think that our best scientific representations truly describe both observable and unobservable aspects of the natural world – have special need of a notion of approximate truth. Since theories and models are rarely considered true simpliciter, the realist requires some means of making sense of the claim that they may be false and yet close to the truth, and increasingly so over time. In this paper, I suggest that traditional approaches to approximate truth (...) are insensitive to two crucial features of scientific knowledge, and that for each of these, analogies between representational practices in the sciences and in art prove useful to understanding how this situation can be remedied. First, I outline two distinct ways in which representations deviate from the truth, commonly referred to as ‘abstraction’ and ‘idealization’. Second, I argue that these practices exemplify different conventions of representation, and that for each, the conditions of approximation relevant to explicating the concept of approximate truth must be understood differently. The concept is thus heterogeneous; approximate truth is a virtue that is multiply realized, relative to different contexts of representation. This understanding is facilitated, I suggest, by considering the distinction between realistic and non-realistic representation in art. (shrink)

Measures of theory-Distance are defined for theories formalizable within first-Order predicate logic by using distributive normal forms. The account is applied to give measures of verisimilitude.

This paper began with the simple object of finding an account that allowed us to compare incompatible false theories. This we achieved with ρ. But that relation is language — or interest — dependent. ρ' is free from this limitation; though thus liberated it is perhaps rather unconcerned about what is true, and further fails to deliver certain intuitive comparisons. Whether ρ is to be preferred to ρ' or vice versa, seems to me a largely fruitless question: In fact it (...) might be that as we seek to free the idea of verisimilitude from any dependence on language, interests or problems, so we gradually collapse it to nothing more than logical power. (shrink)

J. P. Z. Bonilla's methodological approach to truthlikeness is evaluated critically. On a more general level, various senses in which the theory of truthlikeness could be seen as a theory concerned with methodology are distinguished, and it is argued that providing speical sciences with methodological tools is unrealistic as an aim of the theory of verisimilitude. Rather, when developing this theory, one should rest contnet with the more modest aim of conceptual analysis, or of providing explications for the relational concept (...) of being closer to the truth. In addition, some remarks will be made on the difficulties which the similarity approach to truthlikeness has in realizing this aim and which are caused by the important role that Hintikka's constituents have in it. (shrink)

The problem of distance from the truth, and more generally distance between hypotheses, is considered here with respect to the case of quantitative hypotheses concerning the value of a given scientific quantity.Our main goal consists in the explication of the concept of distance D(I, ) between an interval hypothesis I and a point hypothesis . In particular, we attempt to give an axiomatic foundation of this notion on the basis of a small number of adequacy conditions.

The importance for realism of the concept of truthlikeness was first stressed by Popper. Popper himself not only mapped out a program for defining truthlikeness (in terms of falsity content and truth content) but produced the first definitions within this program. These were shown to be inadequate. But the program lingered on, and the most recent attempt to revive it is that of Newton-Smith. His attempt is a failure, not because of some minor defect or technical flaw in his particular (...) account but rather because the program incorporates a fundamental flaw. However, realists need not despair. There already exists an entirely different program not subject to these criticisms. (shrink)

The recent theories of truthlikeness have not paid attention to the distinction between lawlike and accidental generalizations. L.J. Cohen has expressed this by saying that science aims at legisimilitude rather than verisimilitude. G. Oddie has given a reply to Cohen by defining the notion of legisimilitude in terms of higher-order logics. This paper gives a different reply to Cohen by treating laws as physically necessary generalizations and by defining the notion of legisimilitude as closeness to a suitably chosen lawlike sentence.

A qualitative theory of truthlikeness, based on a family of quantitative measures, is developed for hypotheses that are concerned with the values of a finite number of real-valued quantities. Representing hypotheses by subsets of $R^{n}$ , I first show that a straightforward application of the basic ideas of the similarity approach to truthlikeness does not work out for hypotheses with zero n-dimensional Lebesgue measure. However, it is easy to give a counterpart for the average measure preferred by Pavel Tichý and (...) Graham Oddie in terms of Hausdorff measures. The task of finding analogies of the min-sum-measure preferred by Ilkka Niiniluoto is more interesting. I present and discuss analogies of two different types for this measure. (shrink)

When can one say that a new theory is truer than the old one it contradicts, even though neither is absolutely true? We are primarily concerned with the case in which the conflicting theories offer answers to the same questions, and so we do not introduce considerations of "logical width". We propose that part of the new theory is truer than part of the old one when the former part gets right whatever the latter-part got right while the former does (...) not make any new mistakes. Pragmatic considerations will determine the relative importance of whatever new mistakes the new theory does make as a whole. To avoid artificial counterexamples, we restrict the parts compared to those that are "convex". A "convex" theory is one that holds in all cases intermediate between any two cases in which it holds. (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)

As the ongoing literature on the paradoxes of the Lottery and the Preface reminds us, the nature of the relation between probability and rational acceptability remains far from settled. This article provides a novel perspective on the matter by exploiting a recently noted structural parallel with the problem of judgment aggregation. After offering a number of general desiderata on the relation between finite probability models and sets of accepted sentences in a Boolean sentential language, it is noted that a number (...) of these constraints will be satisfied if and only if acceptable sentences are true under all valuations in a distinguished non-empty set W. Drawing inspiration from distance-based aggregation procedures, various scoring rule based membership conditions for W are discussed and a possible point of contact with ranking theory is considered. The paper closes with various suggestions for further research. (shrink)

Knowledge representation is a central issue in a number of areas, but few attempts are usually made to bridge different approaches accross different fields. As a contribution in this direction, in this paper I focus on one such approach, the theory of conceptual spaces developed within cognitive science, and explore its potential applications in the fields of philosophy of science and formal epistemology. My case-study is provided by the theory of truthlikeness, construed as closeness to “the whole truth” about a (...) given domain, as described in the underlying language. I show how modeling propositions and their relations within a conceptual space has interesting implications for two issues in truthlikeness theory: the so called problem of language dependence, and that of measure sensitivity. I conclude by pointing at some open issues arising from the application of conceptual spaces to the analysis of philosophical problems. (shrink)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

In this paper, we address the problem of truth approximation through theory change, asking whether revising our theories by newly acquired data leads us closer to the truth about a given domain. More particularly, we focus on “nomic conjunctive theories”, i.e., theories expressed as conjunctions of logically independent statements concerning the physical or, more generally, nomic possibilities and impossibilities of the domain under inquiry. We define both a comparative and a quantitative notion of the verisimilitude of such theories, and identify (...) suitable conditions concerning the (partial) correctness of acquired data, under which revising our theories by data leads us closer to “the nomic truth”, construed as the target of scientific inquiry. We conclude by indicating some further developments, generalizations, and open issues arising from our results. (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)

In the general problem of verisimilitude, we try to define the distance of a statement from a target, which is an informative truth about some domain of investigation. For example, the target can be a state description, a structure description, or a constituent of a first-order language. In the problem of legisimilitude, the target is a deterministic or universal law, which can be expressed by a nomic constituent or a quantitative function involving the operators of physical necessity and possibility. The (...) special case of legisimilitude, where the target is a probabilistic law, has been discussed by Roger Rosenkrantz and Ilkka Niiniluoto. Their basic proposal is to measure the distance between two probabilistic laws by the Kullback–Leibler notion of divergence, which is a semimetric on the space of probability measures. This idea can be applied to probabilistic laws of coexistence and laws of succession, and the examples may involve discrete or continuous state spaces. In this paper, these earlier studies are elaborated in four directions. First, even though deterministic laws are limiting cases of probabilistic laws, the target-sensitivity of truthlikeness measures implies that the legisimilitude of probabilistic laws is not easily reducible to the deterministic case. Secondly, the Jensen-Shannon divergence is applied to mixed probabilistic laws which entail some universal laws. Thirdly, a new class of distance measures between probability distributions is proposed, so that their horizontal differences are taken into account in addition to vertical ones. Fourthly, a solution is given for the epistemic problem of estimating degrees of probabilistic legisimilitude on the basis of empirical evidence. (shrink)

A metric approach to Popper's verisimilitude question is proposed which is related to point-free geometry. Indeed, we define the theory of approximate metric spaces whose primitive notions are regions, inclusion relation, minimum distance, and maximum distance between regions. Then, we show that the class of possible scientific theories has the structure of an approximate metric space. So, we can define the verisimilitude of a theory as a function of its (approximate) distance from the truth. This avoids some of the difficulties (...) arising from the known definitions of verisimilitude. (shrink)

Classical logic is explosive in the face of contradiction, yet we find ourselves using inconsistent theories. Mark Colyvan, one of the prominent advocates of the indispensability argument for realism about mathematical objects, suggests that such use can be garnered to develop an argument for commitment to inconsistent objects and, because of that, a paraconsistent underlying logic. I argue to the contrary that it is open to a classical logician to make distinctions, also needed by the paraconsistent logician, which allow a (...) more nuanced ranking of theories in which inconsistent theories can have different degrees of usefulness and productivity. Facing inconsistency does not force us to adopt an underlying paraconsistent logic. Moreover we will see that the argument to best explanation deployed by Colyvan in this context is unsuccessful. I suggest that Quinean approach which Colyvan champions will not lead to the revolutionary doctrines Colyvan endorses. (shrink)

Summary The paper presents a technical analysis of the notion of analogy by means of the notion of conceptual similarity (the inverse of distance). The main idea is to elucidate the analogy (similarity) between predicates (properties) in terms of the higher-order predicates they share or fail to share. The notions of predicate-similarity and theory-similarity (defined as the inverse of theory-distance) are then combined to give an analysis of the analogy between conceptual systems.

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

The paper starts with the distinction between conjunction-of-parts accounts and disjunction-of-possibilities accounts to truthlikeness. In Sect. 3, three distinctions between kinds of truthlikeness measures are introduced: comparative versus numeric t-measures, t-measures for qualitative versus quantitative theories, and t-measures for deterministic versus probabilistic truth. These three kinds of truthlikeness are explicated and developed within a version of conjunctive part accounts based on content elements. The focus lies on measures of probabilistic truthlikeness, that are divided into t-measures for statistical probabilities and single (...) case probabilities. The logical notion of probabilistic truthlikeness can be treated as a subcase of deterministic truthlikeness for quantitative theories. In contrast, the epistemic notion of probabilistic truthlikeness creates genuinely new problems, especially for hypotheses about single case probabilities that are evaluated not by comparison to observed frequencies, but by comparison to the truth values of single event statements. By the method of meta-induction, competing theories about single case probabilities can be aggregated into a combined theory with optimal predictive success and epistemic truthlikeness. (shrink)

It is truism that accuracy is valued. Some deem accuracy to be among the most fundamental values, perhaps the preeminent value, of inquiry. Because of this, accuracy has been the focus of two different, important programs in epistemology. The truthlikeness program pursued the notion of propositional accuracy—an ordering of propositions by closeness to the objective truth of some matter. The epistemic utility program pursued the notion of credal state accuracy—an ordering of credal states by closeness to the ideal credal state. (...) It may be tempting to think that each question that informs an inquiry must be  determinate of necessity. That is to say, there must be one correct, precise answer to it. That precise, correct answer is not only the maximally accurate answer to the question, but it also singles out the ideal credal state that is the epistemic target of the inquiry. An enormous amount of the effort has been focused on accuracy with respect to necessarily determinate questions. But often the focus of an inquiry is a question that is not necessarily determinate. Those who deem accuracy to be cognitively valuable, and fundamentally so, need an account of accuracy for indeterminate questions. Ideally such an account would cover both propositional accuracy and credal state accuracy. This is a tall order, and it is not clear that the order can be filled. (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)

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)

Le présent article veut (1) montrer que la théorie qualitative de la vérisimilarité exposée par Karl R. Popper dansConjectures and RefutationsetObjective Knowledgeest compatible avec sa méthode des conjectures, corroborations et réfutations; (2) faire voir pourquoi cette théorie apparaît néanmoins trop forte d'un point de vue intuitif; (3) montrer comment le système poppérien permet de contourner la preuve formelle présentée par Pavel Tichy en 1974 à l'encontre de la théorie qualitative de la vérisimilarité; (4) proposer une nouvelle définition de la vérisimilarité (...) qui apparaisse non seulement logiquement fondée, mais plus intuitivement acceptable et davantage liée à la méthodologie poppérienne que la définition originelle. (shrink)