This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

The primary aim of this chapter is to explain the nature of evidential reasoning, the characteristic difficulties encountered, and the tools to address these difficulties. Our focus is on evidential reasoning in criminal cases. There is an extensive scholarly literature on these topics, and it is a secondary aim of the chapter to provide readers the means to find their way in historical and ongoing debates.

Computational complexity theory is a branch of computer science dedicated to classifying computational problems in terms of their difficulty. While computability theory tells us what we can compute in principle, complexity theory informs us regarding our practical limits. In this chapter I argue that the science of \emph{quantum computing} illuminates complexity theory by emphasising that its fundamental concepts are not model-independent, but that this does not, as some suggest, force us to radically revise the foundations of the theory. For model-independence (...) never has been essential to those foundations. The fundamental aim of complexity theory is to describe what is achievable in practice under various models of computation for our various practical purposes. Reflecting on quantum computing illuminates complexity theory by reminding us of this, too often under-emphasised, fact. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

“Conceptual analysis” is a misnomer—it refers, but it does not refer to a method or practice that involves the analysis of concepts. Once this is recognized, many of the main arguments for skepticism about conceptual analysis can be answered, since many of these arguments falsely assume that conceptual analyses target concepts. The present paper defends conceptual analysis from skepticism about its viability and, positively, presents an argument for viewing conceptual analyses as targeting philosophical phenomena, not our concepts of these phenomena.

Uncertainty plays an important role in The General Theory, particularly in the theory of interest rates. Keynes did not provide a theory of uncertainty, but he did make some enlightening remarks about the direction he thought such a theory should take. I argue that some modern innovations in the theory of probability allow us to build a theory which captures these Keynesian insights. If this is the right theory, however, uncertainty cannot carry its weight in Keynes’s arguments. This does not (...) mean that the conclusions of these arguments are necessarily mistaken; in their best formulation they may succeed with merely an appeal to risk. (shrink)

This paper justifies the inference of probabilities from symmetries. I supply some examples of important and correct inferences of this variety. Two explanations of such inferences -- an explanation based on the Principle of Indifference and a proposal due to Poincaré and Reichenbach -- are considered and rejected. I conclude with my own account, in which the inferences in question are shown to be warranted a posteriori, provided that they are based on symmetries in the mechanisms of chance setups.

In a recent paper in this journal, James Hawthorne, Jürgen Landes, Christian Wallmann, and Jon Williamson argue that the principal principle entails the principle of indifference. In this article, I argue that it does not. Lewis’s version of the principal principle notoriously depends on a notion of admissibility, which Lewis uses to restrict its application. HLWW base their argument on certain intuitions concerning when one proposition is admissible for another: Conditions 1 and 2. There are two ways of reading their (...) argument, depending on how you understand the status of these conditions. Reading 1: The correct account of admissibility is determined independently of these two principles, and yet these two principles follow from that correct account. Reading 2: The correct account of admissibility is determined in part by these two principles, so that the principles follow from that account but only because the correct account is constrained so that it must satisfy them. HLWW show that given an account of admissibility on which Conditions 1 and 2 hold, the principal principle entails the principle of indifference. I argue that on either reading of the argument, it fails. First, I argue that there is a plausible account of admissibility on which Conditions 1 and 2 are false. That defeats Reading 1. Next, I argue that the intuitions that lead us to assent to Condition 2 also lead us to assent to other very closely related principles that are inconsistent with Condition 2. This, I claim, casts doubt on the reliability of those intuitions, and thus removes our justification for Condition 2. This defeats Reading 2 of the HLWW argument. Thus, the argument fails. 1Introduction 2Introducing the Principal Principle 3Introducing the Principle of Indifference 4The HLWW Argument 4.1Reading 1: Admissibility justifies Conditions 1 and 2 4.2Reading 2: Conditions 1 and 2 constrain admissibility 5Conclusion. (shrink)

This paper is concerned with the relationship between paradigms of explication and the practice of conceptual engineering. It defends three interrelated claims: First, the predominant functionalist attitude in the present debate on conceptual engineering is due to its roots in Carnapian explication, which identifies the explicandum with a precursor concept. Second, alternative metaphysical paradigms of explication locate the explicandum in a part of a concept-independent reality (‘field explication‘, as I will call it). Third, field explication may be a better paradigm (...) than Carnapian functionalism for certain instances of socio-political conceptual engineering. In these instances, we adjust our concepts to more adequately capture differences in our concept-independent (felt) reality. To demonstrate this, I will contrast the metaphysical to the functionalist paradigm concerning the example of Heimat. [in German]. (shrink)

The formal definition of species as explanatory hypotheses presented by Fitzhugh is emended. A species is an explanatory account of the occurrences of the same character among gonochoristic or cross-fertilizing hermaphroditic individuals by way of character origin and subsequent fixation during tokogeny. In addition to species, biological systematics also employs hypotheses that are ontogenetic, tokogenetic, intraspecific, and phylogenetic, each of which provides explanatory hypotheses for distinctly different classes of causal questions. It is suggested that species hypotheses can not be applied (...) to organisms with obligate asexual, parthenogenetic, and self-fertilizing modes of reproduction. Hypotheses explaining shared characters among such organisms are, instead, strictly phylogenetic. Several implications of this emended definition are examined, especially the relations between species, intraspecific, and phylogenetic hypotheses, as well as the limitations of species names to be applied to temporally different characters within populations. (shrink)

This volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.

Each day people are presented with circumstances that may require speculation. Scientists may ponder questions such as why a star is born or how rainbows are made, psychologists may ask social questions such as why people are prejudiced, and military strategists may imagine what the consequences of their actions might be. Speculations may lead to the generation of putative explanations called hypotheses. But it is by checking if hypotheses accurately reflect the encountered facts that lead to sensible behaviour demonstrating a (...) true understanding. If evidence shows a hypothesis to be false, then people should rationally abandon it, especially if there are negative consequences. The aim of this thesis is to examine how effectively people search for evidence in their hypothesis testing to test whether or not their hypotheses are true or false in competitive games. -/- Research findings from six studies of hypothesis testing behaviour in competitive deductive tasks are explored. Chapter by chapter the thesis tests how everyday people, and master chess players, tackle hypothesis testing in mathematical tasks, such as how to solve sequential number sequence puzzles when thinking about an opponent, or how to solve chess problems in a variety of contexts. The implications of the results are discussed in light of aspects of general cognition: such as reasoning, social hypothesis testing and planning. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

The simplest and most natural definition of the term ‘conspiracy theory’ leads us to the conclusion that we are all conspiracy theorists. Yet, I claim that most of us would not self-identify as such. In this paper I call this the problem of self-identification. Since virtually everyone emerges as a conspiracy theorist, the term is essentially theoretically fruitless. It would be like defining intelligence in a way that makes everyone intelligent. This raises the problem for theoretical fruitfulness, i.e. the problem (...) of how to define the concept in a theoretically fruitful way. I suggest that these problems are currently causing confusion in the literature and present us with a dilemma, the conspiracy definition dilemma. I will present an analysis of the literature and what are on my reconstruction the solutions on offer, and argue that none is satisfactory. Either a) the solution will solve the problem of self-identification or b) it will potentially provide a theoretical fruitful definition, but no account does both. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

8-9 Kasım 2012’de, Hacettepe Üniversitesi İngilizce İktisat Bölümü tarafından düzenlenen “Marx, Marksizmler ve Özgürlük” konferansı uzun zamandır üzerinde çalıştığım konular ile ilgili görüşlerimi sunma fırsatı verdi. Praksis dergisini ilk yayınladığım 1996 yılında aşağıda sunduğum düşüncelerimin temellerini atmıştım aslında. Ancak hala teoride ki sorunu bir bütün olarak, Marx ve Engels’te değil Marksizmin kavranılışında olduğunda ısrarcıydım. Çalışmalarım, Marx’ın tarih, diyalektik yöntem, sınıf savaşımı, kapitalizm eleştirisi ve bilim anlayışı gibi pek çok temel konuda tamamen farklı teorik perspektif ve anlayış geliştirmemle sonuçlandı. Bu görüşlerimi (...) kamuoyu ile ilk paylaştığım zemin yukarıda adı geçen bilimsel konferans oldu. Kendi teorik geçmişimle de bir hesaplaşma olan bu metin kuşkusuz okuru tatmin etmekten uzaktır. Çünkü yeni bir bilim teorisi için bir başlangıç metnidir; 19. yüz yıl sosyal teorileri üzerinde yükselen geleneksel ideolojik ön yargılardan kurtulmuş aklın, çağdaş bilimsel verilere yaslanarak yeni maceralara cesaretle atılmayı özendirecek olan bir başlangıç metni. (shrink)

Inductivism is understood as the explication of the degree of confirmation as conditional logical probability. Inductivism is not recommendable in the form of Carnap's λ-system, but tenable in the form of Bayesianism. Objections directed at it are either irrelevant or can be taken account of within Bayesianism.

An aspect of Peirce’s thought that may still be underappreciated is his resistance to what Levi calls _pedigree epistemology_, to the idea that a central focus in epistemology should be the justification of current beliefs. Somewhat more widely appreciated is his rejection of the subjective view of probability. We argue that Peirce’s criticisms of subjectivism, to the extent they grant such a conception of probability is viable at all, revert back to pedigree epistemology. A thoroughgoing rejection of pedigree in the (...) context of probabilistic epistemology, however, _does_ challenge prominent subjectivist responses to the problem of the priors. (shrink)

Con el objeto de dar cuenta de la dinámica del derecho, Alchourrón y Bulygin distinguen los conceptos de sistema jurídico y de orden jurídico. El primero hace referencia a un conjunto de enunciados que contiene todas sus consecuencias deductivas, entre las cuales hay normas cuyo contenido son actos coactivos. Se trata de una entidad estática. El orden jurídico, por su parte, es concebido como una secuencia de sistemas jurídicos enlazados por algún criterio de legalidad o validez, y conserva su identidad (...) a través de los cambios producidos por la sanción o derogación de normas. Es mi propósito presentar argumentos tendientes a sostener que la noción de orden jurídico no es adecuada para los fines que se propone y, además, su postulación, con el sentido que le atribuyen los autores, resulta innecesaria. Aiming to account for the dynamic nature of law, the Argentinian philosophers Carlos Alchourrón and Eugenio Bulygin discriminate the concepts of legal system and legal order. The first makes reference to a set of statements that includes all their deductive consequences, among which there are norms that prescribe coercive acts. It is a static entity. legal order, on the other hand, is conceived as a sequence of legal systems connected by some criterion of legal validity and keeps its identity through the changes produced by the passing or abrogation of laws. The aim of this paper is to present arguments leading to support that the notion of legal order is inadequate for its declared purpose and, furthermore, its conception, with the meaning the authors assign to it, is unnecessary. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

I argue that Epistemic Disjunctivism doesn’t sustain a successful anti-sceptical strategy. I contend, in particular, that the treatment of scepticism that Duncan Pritchard puts forward on behalf of Epistemic Disjunctivism is unsatisfactory.

Knowledge is closed under implication, according to standard theories. Orthodoxy can allow, though, that apparent counterexamples to closure exist, much as Kripkeans recognize the existence of illusions of possibility which they seek to explain away. Should not everyone, orthodox or not, want to make sense of “intimations of openness”? This paper compares two styles of explanation: evidence that boosts P’s probability need not boost that of its consequence Q; evidence bearing on P’s subject matter may not bear on the subject (...) matter of Q. (shrink)

Timothy Williamson argues against the tactic of criticizing confidence in a theory by identifying a logical consequence of the theory whose probability is not raised by the evidence. He dubs it “the consequence fallacy”. In this paper, we will show that Williamson’s formulation of the tactic in question is ambiguous. On one reading of Williamson’s formulation, the tactic is indeed a fallacy, but it is not a commonly used tactic; on another reading, it is a commonly used tactic (or at (...) least more often used than the former tactic), but it is not a fallacy. (shrink)

We compare Jan ?ukasiewicz's and Karl Popper's views on induction. The English translation of the two ?ukasiewicz's papers is included in the Appendix.

The problem of induction belongs to the most controversial issues in philosophy of science. If induction is understood widely, it covers every fallible inference, that is, such that its conclusion is not logically entailed by its premises. This paper analyses so-called reductive induction, that is, reasoning in which premises follow from the conclusion, but the reverse relation does not hold. Two issues are taken into account, namely the definition of reductive inference and its justification. The analysis proposed in the paper (...) employs metalogical tools. The author agrees with the view that a quantitative account of degree of confirmation for universal theories via logical probability is problematic. However, prospect for a qualitative approach look as more promising. Using the construction of maximally consistent sets allows to distinguish good and worthless induction as well as shows how to understand induction in a semantic way. A closer analysis of deductivism in the theory of justification shows that it is a hidden inductivism. (shrink)

We define a semantics for conditionals in terms of stochastic graphs which gives a straightforward and simple method of evaluating the probabilities of conditionals. It seems to be a good and useful method in the cases already discussed in the literature, and it can easily be extended to cover more complex situations. In particular, it allows us to describe several possible interpretations of the conditional and to formalize some intuitively valid but formally incorrect considerations concerning the probabilities of conditionals under (...) these two interpretations. It also yields a powerful method of handling more complex issues. The stochastic graph semantics provides a satisfactory answer to Lewis’s arguments against the PC = CP principle, and defends important intuitions which connect the notion of probability of a conditional with the notion of conditional probability. It also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

We live in a world in which scientific expertise and its epistemic authority become more important. On the other hand, the financial interests in research, which could potentially corrupt science, are increasing. Due to these two tendencies, a concern for the integrity of scientific research becomes increasingly vital. This concern is, however, hollow if we do not have a clear account of research integrity. Therefore, it is important that we explicate this concept. Following Rudolf Carnap’s characterization of the task of (...) explication, this means that we should develop a concept that is similar to our common sense notion of research integrity, exact, fruitful, and as simple as possible. Since existing concepts do not meet these four requirements, we develop a new concept in this article. We describe a concept of epistemic integrity that is based on the property of deceptiveness, and argue that this concept does meet Carnap’s four requirements of explication. To illustrate and support our claims we use several examples from scientific practice, mainly from biomedical research. (shrink)

That one person's modus ponens is another's modus tollens is the bane of philosophy because it strips many philosophical arguments of their persuasive force. The problem is that philosophical arguments become mere pantomemes: arguments that are reasonable to resist simply by denying the conclusion. Appeals to proof, intuition, evidence, and truth fail to alleviate the problem. Two broad strategies, however, do help in certain circumstances: an appeal to normal informal standards of what is reasonable (nisowir) and argument by interpretation. The (...) method of explication features prominently in both strategies, and the paper extends this method to apply to nisowir, introducing the concept of canonical explication. The paper illustrates the two strategies with examples of arguments from formal epistemology and suggests that an appeal to nisowir might help to defend against philosophical scepticism by shifting the burden of proof to the sceptic. (shrink)

It is argued that a subject's evidence consists of all and only the propositions that the subject knows.

As is well known, the Humean account of causal inference gives a central location to inference habits. Some of these habits one can discipline. Thus, one can so discipline oneself as to reason in accordance with the “rules by which to judge of causes and effects”, that is, one can discipline oneself to think scientifically, rather than, say, in accordance with the rules of prejudice, or of superstition. All such judgments, even those of science, are, however, upon the Humean account (...) fallible. Some, or rather very many, have raised the issue about how any such causal judgment or inference is justified. That is, how can such inference habits be justified, shown to be reasonable. Hume meets this challenge by arguing that there are some habits all men do and must have. Because we must have them we ought to have them. They are, therefore, justified. (shrink)

Schurz (2019, ch. 4) argues that probabilistic accounts of induction fail. In particular, he criticises probabilistic accounts of induction that appeal to direct inference principles, including subjective Bayesian approaches (e.g., Howson 2000) and objective Bayesian approaches (see, e.g., Williamson 2017). In this paper, I argue that Schurz’ preferred direct inference principle, namely Reichenbach’s Principle of the Narrowest Reference Class, faces formidable problems in a standard probabilistic setting. Furthermore, the main alternative direct inference principle, Lewis’ Principal Principle, is also hard to (...) reconcile with standard probabilism. So, I argue, standard probabilistic approaches cannot appeal to direct inference to explicate the logic of induction. However, I go on to defend a non-standard objective Bayesian account of induction: I argue that this approach can both accommodate direct inference and provide a viable account of the logic of induction. I then defend this account against Schurz’ criticisms. (shrink)

Bayesian probability is normally defined over a fixed language or eventspace. But in practice language is susceptible to change, and thequestion naturally arises as to how Bayesian degrees of belief shouldchange as language changes. I argue here that this question poses aserious challenge to Bayesianism. The Bayesian may be able to meet thischallenge however, and I outline a practical method for changing degreesof belief over changes in finite propositional languages.

Timothy Williamson has a marvelously precise account of epistemic justification in terms of knowledge and probability. I argue that the account runs aground on certain cases involving the probability values 0 and 1.

Peirce's study of Kant, and later of Hegel, and Dewey's (1930) retention of much of Hegel's social philosophy are recognised idealist sources of pragmatism. Here I argue that the transition from idealism to pragmatic realism was already achieved by Hegel. Hegel's ‘Objective Logic’ corresponds in part to Kant's ‘Transcendental Logic’ (WdL,GW21:47.1-3). Hegel faults Kant for relegating concepts of reflection to an Appendix to his Transcendental Logic (WdL,GW12:19.34-38), and for treating reason as ‘only dialectical’ and as ‘merely regulative’ (WdL,GW12:23.12,.16-17). I present (...) three important yet neglected features of Kant'sCritique of Pure Reasonwhich are key enthymemes undergirding Hegel's critical reconstruction of Kant's Critical philosophy (§2). I then summarise some features of the philosophical context within which Hegel begins to re-assess and reconstruct Kant's Transcendental Logic (§3), and review several key steps in this direction Hegel undertook in the 1807Phenomenology(§4). (A related paper extends these results to Hegel'sLogicandEncyclopaedia.) These points show that Hegel's reanalysis of Kant's Critical philosophy is the first and still one of the most sophisticated and adequate pragmatic — specifically pragmatic realist — accounts of thea priori. (shrink)

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (shrink)

The paper presents a comprehensive solution to the new riddle of induction. Gruesome induction is blocked because “grue” is not independent of our sampling and observation methods. Before presenting my theory, I critically survey previous versions of what I call the “independence strategy”, tracing the strategy to three different papers from the 1970s by (respectively) Wilkerson, Moreland, and Jackson. Next I critically examine recent approaches by Okasha, Godfrey-Smith, Schramm, and Freitag. All of these approaches have their virtues, but none of (...) them rules out every problem case. Nor do any of them alone explain exactly what goes wrong in all types of gruesome reasoning. My account aims to do both. Learning lessons from my criticisms of previous theories, I argue that there are several crucial types of independence. All of them are needed to rule out every problem case. I close by suggesting that the independence solution can also be adopted by proponents of other approaches—Bayesians, fans of natural kinds, and pragmatists. (shrink)

Direct inferences identify certain probabilistic credences or confirmation-function-likelihoods with values of objective chances or relative frequencies. The best known version of a direct inference principle is David Lewis’s Principal Principle. Certain kinds of statements undermine direct inferences. Lewis calls such statements inadmissible. We show that on any Bayesian account of direct inference several kinds of intuitively innocent statements turn out to be inadmissible. This may pose a significant challenge to Bayesian accounts of direct inference. We suggest some ways in which (...) these challenges may be addressed. (shrink)

Lloyd analyzes every proposed evolutionary explanation of female orgasm and argues that all but one suffers from serious evidential errors. Lloyd attributes these errors to two main biases: androcentrism and adaptationism. This paper begins by arguing that the explanation Lloyd favors—the by-product account—is guilty of the androcentrism which supposedly implicates the other explanations of female orgasm with numerous evidential discrepancies. This suggests that there is another error afflicting orgasm research in addition to the biases Lloyd identities. I attempt to diagnose (...) and characterize this additional error. In short, I think the error is using an imprecise definition of the trait in question. Further, Lloyd takes her analysis to support Longino’s contextual empiricist model of scientific objectivity. I consider what implications this analysis has for contextual empiricism. Finally, I argue that theorizing about female orgasm should be done from a conceptual engineering approach. (shrink)

This paper argues for two conclusions: (1) evaluating the success of engineered concepts necessarily involves empirical work; and (2) the Carnapian Explication criterion precision ought to be a methodological standard in conceptual engineering. These two conclusions provide a new analysis of the race and gender debate between Sally Haslanger and Jennifer Saul. Specifically, the argument identifies the resources Haslanger needs to respond to Saul’s main objections. Lastly, I contrast the methodology advocated here with the so-called “method of cases” and draw (...) out some general implications for how we should think about concepts. (shrink)