The Experimental Philosophy (“X-Phi”) movement applies the methodology of empirical sciences – most commonly empirical psychology – to traditional philosophical questions. In its radical, “negative” form, X-Phi uses the resulting empirical data to cast doubt on the reliability of common philosophical methods, arguing for radical reform of philosophical methodology.In this paper I develop two connected methodological worries about this second enterprise. The first concerns the data elicited by questionnaires and other empirical survey methods; recent work in political science suggests that (...) such surveys frequently do not elicit the participants’ candid judgements, but rather their expressions of certain attitudes and identifications. This possibility stymies the arguments from experimental data to a radical overhaul of philosophical methodology. The second builds on recent work by L.A. Paul and Kieran Healy concerning social science methodology, applying it to the use of those methods in X-Phi. It concerns experimental design where the treatment investigated is a “transformative” one; since a philosophical education is plausibly one such treatment, doubt is cast on any claim that apparent differences between the judgements of philosophers and ordinary folk has implications for philosophical methodology. (shrink)

In the present work we will search for a refinement of some key epistemological perspectives for the construction of a methodological framework in the social systems simulations area. So, we will proceed to show the origin of some issues in the existent conceptualization and its path through the information sciences as a precedent. There we will identify the consequences of such issues and will work in enlightening the conflictive notions in order to defend an epistemological pluralism which would result beneficial (...) for this area. (shrink)

The concept of fitness has generated a lot of discussion in philosophy of biology. There is, however, relative agreement about the need to distinguish at least two uses of the term: ecological fitness on the one hand, and population genetics fitness on the other. The goal of this paper is to give an explication of the concept of ecological fitness by providing a reconstruction of the theory of natural selection in which this concept was framed, that is, based on the (...) way the theory was put to use in Darwin’s main texts. I will contend that this reconstruction enables us to account for the current use of the theory of natural selection. The framework presupposed in the analysis will be that of metatheoretical structuralism. This framework will provide both a better understanding of the nature of ecological fitness and a more complete reconstruction of the theory. In particular, it will provide what I think is a better way of understanding how the concept of fitness is applied through heterogeneous cases. One of the major advantages of my way of thinking about natural selection theory is that it would not have the peculiar metatheoretical status that it has in other available views. I will argue that in order to achieve these goals it is necessary to make several concepts explicit, concepts that are frequently omitted in usual reconstructions. (shrink)

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

Popper's writings cover a remarkably wide range of subjects. The spectrum runs from Plato's theory of politics to the foundations of quantum mechanics. Yet even amidst this variety the philosophy of probability occupies a prominent place. David Miller once pointed out to me that more than half of Popper's The Logic of Scientific Discovery is taken up with discussions of probability. I checked this claim using the 1972 6th revised impression of The Logic of Scientific Discovery , and found that (...) of the approximately 450 pages of text, approximately 250 are to do with probability. Thus Miller's claim is amply justified. It seems indeed that the philosophy of probability was one of Popper's favourite subjects, and, as we shall see, Popper certainly enriched the field with several striking innovations. In this area, as in others, Popper held very definite views, and criticized his opponents in no uncertain terms. Popper was an objectivist and anti-Bayesian, and his criticisms were directed against subjectivism and Bayesianism. (shrink)

Even those generally skeptical of propensity interpretations of probability must now grant the following two points. First, the above single-case propensity interpretation meets recognized formal conditions for being a genuine interpretation of probability. Second, this interpretation is not logically reducible to a hypothetical relative frequency interpretation, nor is it only vacuously different from such an interpretation.The main objection to this propensity interpretation must be not that it is too vague or vacuous, but that it is metaphysically too extravagant. It asserts (...) not only that there are physical possibilities in nature, but further that nature itself contains innate tendencies toward these possibilities, tendencies which have the logical structure of probabilities. Thus the basic dispute between advocates of an actualist relative frequency interpretation and a single-case propensity interpretation is not a matter of epistemology, but metaphysics. The frequency theorist wishes to maintain that claims about physical probabilities are nothing more than claims about relative frequencies that will occur in the actual history of the world, be it infinite or no. It is a substantial, though hardly conclusive, argument for the propensity view that the mathematical structures commonly employed in studies of stochastic processes and statistical inference are richer than can be accommodated by a relative frequency interpretation. Whether it is possible to bridge this gap without going beyond an actualist metaphysics remains to be seen.38. (shrink)

I.T. Oakley claims that the cogency of invalid, but cogent, arguments is context independent. Robert Pargetter and John Bigelow claim that the apparent cogency of any cogent, but invalid, argument is to be explained by the existence of a corresponding valid argument. I argue that both claims are incorrect and provide my own account of the cogency of arguments.

The aim of the present volume is to draw the balance of naturalism's success so far.

Harold Jeffreys' ideas on the interpretation of probability and epistemology are reviewed. It is argued that with regard to the interpretation of probability, Jeffreys embraces a version of logicism that shares some features of the subjectivism of Ramsey and de Finetti. Jeffreys also developed a probabilistic epistemology, characterized by a pragmatical and constructivist attitude towards notions such as ‘objectivity’, ‘reality’ and ‘causality’. 1 Introductory remarks 2 The interpretation of probability 3 Jeffreys' probabilistic epistemology.

Known as an upholder of subjectivism, Bruno de finetti (1906-1985) put forward a totally original philosophy of probability. This can be qualified as a combination of empiricism and pragmatism within an entirely coherent antirealistic perspective. The paper aims at clarifying the central features of such a philosophical position, Which is not only incompatible with any perspective based on an objective notion, But cannot be assimilated to other subjective views of probability either.

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

The few extant arguments concerning the autonomy of science in the rational acceptance of hypotheses are examined. It is concluded that science is not morally autonomous, and that the attendant notion of rationality in science decisionmaking is inadequate. A more comprehensive notion of scientific rationality, which encompasses the old one, is proposed as a replacement. The general idea is that scientists qua scientist ought, in their acceptance decisions, to take into account the ethical consequences of acceptance as well as the (...) consequences with regard to the attainment of "purely scientific" or "epistemic" objectives. The result constitutes an argument for a (presumably cooperative) game theoretic treatment of inductive logic. (shrink)

An examination of earlier views yields an account of theoretic change on which changes in theory which do involve changes in meanings of terms are classified as a special (and by no means exhaustive) case of theoretic change which, latter, is construed as a more general phenomenon. Only the general problem is given detailed consideration here. The account given considers the problem of how replacement of intensional theories by extensional ones may be treated within the general framework provided. Among its (...) results is the conclusion that rational changes in a scientific theory may be cogently construed as determined by warranted decisions that a new theory is more adequate (than the old one it replaces) with regard to purposes for which a theory is sought. (shrink)

Do accounts of scientific theory formation and revision have implications for theories of everyday cognition? We maintain that failing to distinguish between importantly different types of theories of scientific inference has led to fundamental misunderstandings of the relationship between science and everyday cognition. In this article, we focus on one influential manifestation of this phenomenon which is found in Fodor's well-known critique of theories of cognitive architecture. We argue that in developing his critique, Fodor confounds a variety of distinct claims (...) about the holistic nature of scientific inference. Having done so, we outline more promising relations that hold between theories of scientific inference and ordinary cognition. (shrink)

Does confirmation holism imply meaning holism? A plausible and novel argument, all of whose premises enjoy significant support among contemporary philosophers, links the two theses. This article presents this argument and diagnoses it with a weakness. The weakness illustrates a general difficulty with drawing morals for the nature of ordinary thought and language from claims about the nature of science. The diagnosis is instructive: It suggests more fruitful relations between theories of scientific theory confirmation and semantic theories of our everyday (...) thoughts and statements. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

How should we understand the relationship between binary belief and degree of belief? To answer this question, we should look to desire. Whatever relationship we think holds between desire and degree of desire should be used as our model for the relationship we think holds between belief and degree of belief. This parity pushes us towards an account that treats the binary attitudes as primary. But if we take binary beliefs as primary, we seem to face a serious problem. Binary (...) beliefs are insufficiently discriminating. If we treat them as primary, we will lack the resources needed for fruitful theorizing. This problem can, I argue, be solved if we think of an agent’s degree of belief that p as reducible to her binary believing that p and the change in the apparent reasons that would be needed to get her to withhold. (shrink)

This article builds on a recent paper coauthored by the present author, H. Hosni and F. Montagna. It is meant to contribute to the logical foundations of probability theory on many-valued events and, specifically, to a deeper understanding of the notion of strict coherence. In particular, we will make use of geometrical, measure-theoretical and logical methods to provide three characterizations of strict coherence on formulas of infinite-valued Łukasiewicz logic.

Contemporary Bayesian confirmation theorists measure degree of (incremental) confirmation using a variety of non-equivalent relevance measures. As a result, a great many of the arguments surrounding quantitative Bayesian confirmation theory are implicitly sensitive to choice of measure of confirmation. Such arguments are enthymematic, since they tacitly presuppose that certain relevance measures should be used (for various purposes) rather than other relevance measures that have been proposed and defended in the philosophical literature. I present a survey of this pervasive class of (...) Bayesian confirmation-theoretic enthymemes, and a brief analysis of some recent attempts to resolve the problem of measure sensitivity. (shrink)

The question of whether or not to partition data for the purposes of inferring phylogenetic hypotheses remains controversial. Opinions have been especially divided since Kluge's (1989, Systematic Zoology 38, 7–25) claim that data partitioning violates the requirement of total evidence (RTE). Unfortunately, advocacy for or against the RTE has not been based on accurate portrayals of the requirement. The RTE is a basic maxim for non-deductive inference, stipulating that evidence must be considered if it has relevance to an inference. Evidence (...) is relevant if it has a positive or negative effect on a given conclusion. In the case of ℈partitioned’ phylogenetic inferences, the RTE is violated, and the basis for rational belief in any conclusion is compromised, unless it is shown that the partitions are evidentially irrelevant to one another. The goal of phylogenetic systematics is to hypothesize past causal conditions to account for observed shared similarities among two or more species. Such inferences are non-deductive, necessitating consideration of the RTE. Some phylogeneticists claim the parsimony criterion as justification for the RTE. There is no relation between the two – parsimony is a relation between a hypothesis and causal question(s). Parsimony does not dictate the content of premises prior to an inference. ℈Taxonomic congruence,’ ℈supertrees,’ and ℈conditional combination’ methods violate the RTE. Taxonomic congruence and supertree methods also fail to achieve the intended goal of phylogenetic inference, such that ℈consensus trees’ and ℈supertrees’ lack an empirical basis. ℈Conditional combination’ is problematic because hypotheses derived from partitioned data cannot be compared – a causal hypothesis inferred to account for a set of effects only has relevance to those effects, not any comparative relevance to other causal hypotheses. A similar problem arises in the comparisons of hypotheses derived from different causal theories. (shrink)

Framing systematics as a field consistent with scientific inquiry entails that inferences of phylogenetic hypotheses have the goal of producing accounts of past causal events that explain differentially shared characters among organisms. Linking observations of characters to inferences occurs by way of why-questions implied by data matrices. Because of their form, why-questions require the use of common-cause theories. Such theories in phylogenetic inferences include natural selection and genetic drift. Selection or drift can explain ‘morphological’ characters but selection cannot be causally (...) applied to sequences since fitness differences cannot be directly associated with individual nucleotides or amino acids. The relation of selection to sequence data is by way of downward or top-down causation from those phenotypes upon which selection occurs. The application of phylogenetic inference to explain sequence data is thus restricted to instances where drift is the relevant theory; those nucleotides or amino acids that can be explained via downward causation are precluded from inclusion in the data matrix. The restrictions on the inclusion of sequence data in phylogenetic inferences equally apply to species hypotheses, precluding the more restrictive approach known as DNA barcoding. Not being able to discern drift and selection as relevant causal mechanisms can severely constrain the inclusion and explanations of sequence data. Implications of such exclusion are discussed in relation to the requirement of total evidence. (shrink)

In Thinking and Acting John Pollock offers some criticisms of Bayesian epistemology, and he defends an alternative understanding of the role of probability in epistemology. Here, I defend the Bayesian against some of Pollock's criticisms, and I discuss a potential problem for Pollock's alternative account.

Likelihoodists and Bayesians seem to have a fundamental disagreement about the proper probabilistic explication of relational (or contrastive) conceptions of evidential support (or confirmation). In this paper, I will survey some recent arguments and results in this area, with an eye toward pinpointing the nexus of the dispute. This will lead, first, to an important shift in the way the debate has been couched, and, second, to an alternative explication of relational support, which is in some sense a "middle way" (...) between Likelihoodism and Bayesianism. In the process, I will propose some new work for an old probability puzzle: the "Monty Hall" problem. (shrink)

According to orthodox (Kolmogorovian) probability theory, conditional probabilities are by definition certain ratios of unconditional probabilities. As a result, orthodox conditional probabilities are undefined whenever their antecedents have zero unconditional probability. This has important ramifications for the notion of probabilistic independence. Traditionally, independence is defined in terms of unconditional probabilities (the factorization of the relevant joint unconditional probabilities). Various “equivalent” formulations of independence can be given using conditional probabilities. But these “equivalences” break down if conditional probabilities are permitted to have (...) conditions with zero unconditional probability. We reconsider probabilistic independence in this more general setting. We argue that a less orthodox but more general (Popperian) theory of conditional probability should be used, and that much of the conventional wisdom about probabilistic independence needs to be rethought. (shrink)

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

outlined. This account is partly inspired by the work of C.S. Peirce. When we want to consider how degree of confirmation varies with changing I show that a large class of quantitative Bayesian measures of con-.

A Bayesian account of independent evidential support is outlined. This account is partly inspired by the work of C. S. Peirce. I show that a large class of quantitative Bayesian measures of confirmation satisfy some basic desiderata suggested by Peirce for adequate accounts of independent evidence. I argue that, by considering further natural constraints on a probabilistic account of independent evidence, all but a very small class of Bayesian measures of confirmation can be ruled out. In closing, another application of (...) my account to the problem of evidential diversity is also discussed. (shrink)

The following questions are discussed here. Is induction a reasonable procedure in the context of a denial of physically necessary connections? What is physical necessity? If induction does presuppose physical necessity, what amount of it is presupposed? It is argued that with logic as the only restriction on what is to count as a possible world, it is unreasonable to claim that observed connections, whether universal or statistical, will continue to hold. The concept of physical necessity is no more problematic (...) than that of logical necessity, once it is recognized that the necessity of physical and logical necessity is the same. A variant of Keynes' principle of limited independent variety answers the question of the amount of physical necessity presupposed. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

A critical examination of the dialectical approach, focusing on a comparison ofthe illative and the dialectical definitions of argument. I distinguish a moderate, a strong and a hyper dialectical conception of argument. I critique Goldman's argument for the moderate conception and Johnson's argument for the strong conception, and argue that the moderate conception is correct.

The concept of causal specificity is drawing considerable attention from philosophers of biology. It became the rationale for rejecting (and occasionally, accepting) a thesis of causal parity of developmental factors. This literature assumes that attributing specificity to causal relations is at least in principle a straightforward (if not systematic) task. However, the parity debate in philosophy of biology seems to be stuck at a point where it is not the biological details that will help move forward. In this paper, I (...) take a step back to reexamine the very idea of causal specificity and its intended role in the parity dispute in philosophy of biology. I contend that the idea of causal specificity across variations as currently discussed in the literature is irreducibly twofold in nature: it is about two independent components that are not mutually entailed. I show this to be the source of prior complications with the notion of specificity itself that ultimately affect the purposes for which it is often invoked, notably to settle the parity dispute. (shrink)

This paper compares the claims about our knowledge of the external world presented by Rudolf Carnap, in the book known as the Aufbau, to those of Clarence Irving Lewis, in Mind and the World-Order. This comparison is made in terms of the opposition to Kantian epistemology that both books establish; the Aufbau is regarded as the peak of the logicist tradition and Mind and the World-Order is taken in continuity with pragmatism. It is found that both books present knowledge of (...) the external world as a consequence of a structural organization of human experience. However, there is an important point of divergence: the concept of verification each author adopts is different, such a concept was even a matter of discussion between Lewis and the Vienna Circle. This paper shows this disagreement but also shows how Carnap changed his point of view in the decade after the Aufbau was published, towards a standpoint which is much closer to Lewis’s ideas. In that process, nevertheless, Carnap changed his focus and did not deal with the problem of the external world anymore. This paper also seeks to draw attention to some features of the relation between Carnap and the pragmatist tradition which have only recently started to attract interest. (shrink)

Certain hypotheses cannot be directly confirmed for theoretical, practical, or moral reasons. For some of these hypotheses, however, there might be a workaround: confirmation based on analogical reasoning. In this paper we take up Dardashti, Hartmann, Thébault, and Winsberg’s (in press) idea of analyzing confirmation based on analogical inference Baysian style. We identify three types of confirmation by analogy and show that Dardashti et al.’s approach can cover two of them. We then highlight possible problems with their model as a (...) general approach to analogical inference and argue that these problems can be avoided by supplementing Bayesian update with Jeffrey conditionalization. (shrink)

Generalized Darwinism models cultural development as an evolutionary process, where traits evolve through variation, selection, and inheritance. Inheritance describes either a discrete unit’s transmission or a mixing of traits. In this article, we compare classical models of cultural evolution and generalized population dynamics with respect to blending inheritance. We identify problems of these models and introduce our model, which combines relevant features of both. Blending is implemented as success-based social learning, which can be shown to be an optimal strategy.

A frequentist confidence interval can be constructed by inverting a hypothesis test, such that the interval contains only parameter values that would not have been rejected by the test. We show how a similar definition can be employed to construct a Bayesian support interval. Consistent with Carnap’s theory of corroboration, the support interval contains only parameter values that receive at least some minimum amount of support from the data. The support interval is not subject to Lindley’s paradox and provides an (...) evidence-based perspective on inference that differs from the belief-based perspective that forms the basis of the standard Bayesian credible interval. (shrink)

An empirical law or evidence which supports a theory tends to have the greatest scientific value when it seemed improbable before it was investigated. Evidence which falsifies a theory tends to have the greatest value when it seemed probable that the investigation would confirm the theory. A scientist who wishes to optimize his contribution to knowledge probably will investigate most frequently hypotheses which seem neither very probable nor very improbable of being confirmed. This strategy leads neither to a maximum number (...) of confirmations of a theory, nor to a set of tests which are maximally severe. (shrink)

People have worried for many years — centuries — about how you perform large changes in your body of beliefs. How does the new evidence lead you to replace a geocentric system of planetary motion by a heliocentric system? How do we decide to abandon the principle of the conservation of mass?The general approach that we will try to defend here is that an assumption, presupposition, framework principle, will be rejected or altered when a large enough number of improbabilities must (...) be accepted on be basis of our experience. If I think that all swans are white, and a student claims to have a counterexample, I will assume that he has made some observational error. I will reject his result, and continue to accept the generalization. When a lot of people claim to have seen counterexamples, I will come around: to continue to accept the generalization would require me to accept too many improbabilities. (shrink)

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