I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, (...) are characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

I defend J. L. Austin's direct realism against the colour delusion argument by employing epistemic logic to demonstrate that perceiving colours does not necessitate an intermediary such as sense-data, thus preserving the directness of perception.

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in (...) which results from formal epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small (...) aperture. Then, we explore, discover, and justify the laws governing those phenomena, using the precision that mathematical machinery affords. For example, we might represent a person by the strengths of their beliefs, and we might measure these using real numbers, which we call credences. Having done this, we might ask what the norms are that govern that person when we represent them in that way. How should those credences hang together? How should the credences change in response to evidence? And how should those credences guide the person’s actions? This is the approach of the first six chapters of this handbook. In the second half, we consider different representations—the set of propositions a person believes; their ranking of propositions by their plausibility. And in each case we ask again what the norms are that govern a person so represented. Or, we might represent them as having both credences and full beliefs, and then ask how those two representations should interact with one another. This handbook is incomplete, as such ventures often are. Formal epistemology is a much wider topic than we present here. One omission, for instance, is social epistemology, where we consider not only individual believers but also the epistemic aspects of their place in a social world. Michael Caie’s entry on doxastic logic touches on one part of this topic, but there is much more. Relatedly, there is no entry on epistemic logic, nor any on knowledge more generally. There are still more gaps. These omissions should not be taken as ideological choices. This material is missing, not because it is any less valuable or interesting, but because we v failed to secure it in time. Rather than delay publication further, we chose to go ahead with what is already a substantial collection. We anticipate a further volume in the future that will cover more ground. Why an open access handbook on this topic? A number of reasons. The topics covered here are large and complex and need the space allowed by the sort of 50 page treatment that many of the authors give. We also wanted to show that, using free and open software, one can overcome a major hurdle facing open access publishing, even on topics with complex typesetting needs. With the right software, one can produce attractive, clear publications at reasonably low cost. Indeed this handbook was created on a budget of exactly £0 (≈ $0). Our thanks to PhilPapers for serving as publisher, and to the authors: we are enormously grateful for the effort they put into their entries. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in (...) which results from formal epistemology have been used fruitfully to advance epistemically‐relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

How does being a woman affect one’s epistemic life? What about being Black? Or queer? Standpoint theorists argue that such social positions can give rise to otherwise unavailable epistemic privilege. “Epistemic privilege” is a murky concept, however. Critics of standpoint theory argue that the view is offered without a clear explanation of how standpoints confer their benefits, what those benefits are, or why social positions are particularly apt to produce them. For this reason, many regard standpoint theory as being out (...) of step with epistemology more broadly. But this need not be so. This article articulates a minimal version of standpoint epistemology that avoids these criticisms and supports the normative goals of its feminist forerunners. This account serves as the foundation for developing a formal model in which to explore standpoint epistemology using neighborhood semantics for modal logic. (shrink)

Epistemology is the study of knowledge. This entry covers epistemology in two parts: one historical, one contemporary. The former provides a brief theological history of epistemology. The latter outlines three categories of contemporary epistemology: traditional epistemology, social epistemology, and formal epistemology, along with corresponding theological questions that arise in each.

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...) for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

A Lockean metaphysics of belief that understands outright belief as a determinable with degrees of confidence as determinates is supposed to effect a unification of traditional coarse-grained epistemology of belief with fine-grained epistemology of confidence. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon (...) of “mistuned knowledge” – knowledge in the absence of rational confidence. We show how partial epistemological unification can be secured, even without token identity, given determination of outright belief by degrees of confidence. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such (...) as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

According to the Theory of the Second Best, in non-ideal circumstances, approximating ideals might be suboptimal (with respect to a specific interpretation of what “approximating an ideal” means). In this paper, I argue that the formal model underlying the Theory can apply to problems in epistemology. Two applications are discussed: First, in some circumstances, second-best problems arise in Bayesian settings. Second, the division of epistemic labour can be subject to second-best problems. These results matter. They allow us to (...) evaluate the claim, made by many philosophers, that second-best problems have import in epistemology (and the specific conditions under which the Theory finds applications). They also allow us to see that talk of “approximating an ideal” is ambiguous, and to clarify the conditions in which approximating an epistemic ideal might be beneficial. (shrink)

Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any (...) adequate holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)

In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These models share with Kuhn (...) a number of questions about the relation between individuals and communities. At the same time, they also inherit some of Kuhn’s problematic characterisations of the scientific community. In particular, current models of the social organisation of science represent the scientific community as essentially value-free. This may put into question both their representational adequacy and their normative ambitions. In the end, it will be shown that the discussion on the formal models of the scientific community may contribute in fruitful ways to the ongoing debates on value judgements in science. (shrink)

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding interventionism. (...) I argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and (...) physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

The Duhem-Quine Thesis is the claim that it is impossible to test a scientific hypothesis in isolation because any empirical test requires assuming the truth of one or more auxiliary hypotheses. This is taken by many philosophers, and is assumed here, to support the further thesis that theory choice is underdetermined by empirical evidence. This inquiry is focused strictly on the axiological commitments engendered in solutions to underdetermination, specifically those of Pierre Duhem and W. V. Quine. Duhem resolves underdetermination by (...) appealing to a cluster of virtues called 'good sense', and it has recently been argued by Stump (Stud Hist Philos Biol Biomed Sei, 18(1):149-159,2007) that good sense is a form of virtue epistemology. This paper considers whether Quine, who's philosophy is heavily influenced by the very thesis that led Duhem to the virtues, is also led to a virtue epistemology in the face of underdetermination. Various sources of Quinian epistemic normativity are considered, and it is argued that, in conjunction with other normative commitments, Quine's sectarian solution to underdetermination amounts to a skills based virtue epistemology. The paper also sketches formal features of the novel form of virtue epistemology common to Duhem and Quine that challenges the adequacy of epistemic value truth-monism and blocks any imperialist naturalization of virtue epistemology, as the epistemic virtues are essential to the success of the sciences themselves. (shrink)

This is book l of three philosophy books in international language; formal academic philosophy source in Kurdish language Given overall view on classic epistemology for university student in non English language philosophy departments and philosophy schools .

This is book ll of three philosophy books in international language, formal academic philosophy source in Kurdish language. Written for non English speaking university students as a philosophy guide into epistemology/ Social epistemology, as a resource for the use of philosophy departments and philosophy schools.

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The (...) use of formal conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

We consider the complex interactions between rape culture and epistemology. A central case study is the consideration of a deferential attitude about the epistemology of sexual assault testimony. According to the deferential attitude, individuals and institutions should decline to act on allegations of sexual assault unless and until they are proven in a formal setting, i.e., a criminal court. We attack this deference from several angles, including the pervasiveness of rape culture in the criminal justice system, the (...) epistemology of testimony and norms connecting knowledge and action, the harms of tacit idealizations away from important contextual factors, and a contextualist semantics for 'knows' ascriptions. (shrink)

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and (...) justify the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

In the social sciences, within the explanatory paradigm of structural individualism, a theory of action – like rational choice theory – models how individuals behave and interact at the micro level in order to explain macro observations as the aggregation of these individuals actions. A central epistemological issue is that such theoretical models are stuck in a dilemma between falsity of their basic assumptions and triviality of their explanation. On the one hand, models which have a great empirical success often (...) rest on unrealistic or even knowingly false assumptions; on the other hand, more complex models, with additional more realistic hypotheses, can (trivially) adapt to a wide range of situations and thus loose their explanatory power. Our purpose here is epistemological and consists in wondering to which extent demanding realistic assumptions in such cases is a relevant criterion with respect to the acceptance of a given explanatory model. Via an analogical reasoning with physics, we argue that this criterion seems too strong and actually irrelevant. General physical principles are not just idealized or unrealistic, they can also be formulated in many different yet equivalent ways which do not imply the same fundamental unobservable entities or phenomena. However, the classification of phenomena that such principles allow to highlight does not depend, at the end, on any particular formulation of these basic assumptions. This suggests that some hypotheses in theoretical models are actually not genuine empirical statements that could be independently tested but only substrates of modeling embodying a classification principle. Thus, we develop a structural invariance criterion that we then apply to rational choice models in the social sciences. We argue that this criterion allows to escape from the epistemological dilemma without condemning formal approaches like rational choice theory for their lack of realisticness nor being stuck to any antirealist viewpoint. (shrink)

Bayesian epistemology tells us with great precision how we should move from prior to posterior beliefs in light of new evidence or information, but says little about where our prior beliefs come from. It offers few resources to describe some prior beliefs as rational or well-justified, and others as irrational or unreasonable. A different strand of epistemology takes the central epistemological question to be not how to change one’s beliefs in light of new evidence, but what reasons justify (...) a given set of beliefs in the first place. We offer an account of rational belief formation that closes some of the gap between Bayesianism and its reason-based alternative, formalizing the idea that an agent can have reasons for his or her (prior) beliefs, in addition to evidence or information in the ordinary Bayesian sense. Our analysis of reasons for belief is part of a larger programme of research on the role of reasons in rational agency (Dietrich and List, Nous, 2012a, in press; Int J Game Theory, 2012b, in press). (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to (...) philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to (...) the introduction of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide (...) a schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

Recently, some have challenged the idea that there are genuine norms of diachronic rationality. Part of this challenge has involved offering replacements for diachronic principles. Skeptics about diachronic rationality believe that we can provide an error theory for it by appealing to synchronic updating rules that, over time, mimic the behavior of diachronic norms. In this paper, I argue that the most promising attempts to develop this position within the Bayesian framework are unsuccessful. I sketch a new synchronic surrogate that (...) draws upon some of the features of each of these earlier attempts. At the heart of this discussion is the question of what exactly it means to say that one norm is a surrogate for another. I argue that surrogacy, in the given context, can be taken as a proxy for the degree to which formal and traditional epistemology can be made compatible. (shrink)

Formally-inclined epistemologists often theorize about ideally rational agents--agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-know worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). Consideration (...) of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability (...) theory provide appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

This publication defends a phenomenalist interpretation of Kant’s idealism, which, however, deviates from usual phenomenalist interpretations in several respects. According to my reading, appearances are the content of representations, but not the true object of cognition. The object to which our cognition refers is rather the thing itself as the transcendental object. Nonetheless, we only cognize them as they appear and not as they are in themselves. Thus the unknowability of things as they are in themselves is retained. In the (...) course of my presentation, I discuss a number of aspects of Kant’s philosophy, among which are the distinction between appearances and things in themselves, Kant’s relationship to Cartesian epistemology, the refutation of idealism, and not least his theory of synthesis. My aim is not only to show that Kant is a phenomenalist, but also to characterize the kind of his phenomenalism. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...) to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

The rise of experimental philosophy has placed metaphilosophical questions, particularly those concerning concepts, at the center of philosophical attention. X-phi offers empirically rigorous methods for identifying conceptual content, but what exactly it contributes towards evaluating conceptual content remains unclear. We show how x-phi complements Rudolf Carnap’s underappreciated methodology for concept determination, explication. This clarifies and extends x-phi’s positive philosophical import, and also exhibits explication’s broad appeal. But there is a potential problem: Carnap’s account of explication was limited to empirical and (...) logical concepts, but many concepts of interest to philosophers are essentially normative. With formal epistemology as a case study, we show how x-phi assisted explication can apply to normative domains. (shrink)

In his book, History as a Science and the System of the Sciences, Thomas Seebohm articulates the view that history can serve to mediate between the sciences of explanation and the sciences of interpretation, that is, between the natural sciences and the human sciences. Among other things, Seebohm analyzes history from a phenomenological perspective to reveal the material foundations of the historical human sciences in the lifeworld. As a preliminary to his analyses, Seebohm examines the formal and material presuppositions (...) of phenomenological epistemology, as well as the emergence of the human sciences and the traditional distinctions and divisions that are made between the natural and the human sciences. -/- As part of this examination, Seebohm devotes a section to discussing Husserl’s formal mereology because he understands that a reflective analysis of the foundations of the historical sciences requires a reflective analysis of the objects of the historical sciences, that is, of concrete organic wholes (i.e., social groups) and of their parts. Seebohm concludes that Husserl’s mereological ontology needs to be altered with regard to the historical sciences because the relations between organic wholes and their parts are not summative relations. Seebohm’s conclusion is relevant for the issue of the reducibility of organic wholes such as social groups to their parts and for the issue of the reducibility of the historical sciences to the lower-order sciences, that is, to the sciences concerned with lower-order ontologies. -/- In this paper, I propose to extend Seebohm’s conclusion to the ontology of chemical wholes as object of quantum chemistry and to argue that Husserl’s formal mereology is descriptively inadequate for this regional ontology as well. This may seem surprising at first, since the objects studied by quantum chemists are not organic wholes. However, my discussion of atoms and molecules as they are understood in quantum chemistry will show that Husserl’s classical summative and extensional mereology does not accurately capture the relations between chemical wholes and their parts. This conclusion is relevant for the question of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, issues that have been of central importance within the philosophy of chemistry for the past several decades. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

Reciprocal Ethics is a novel ethical framework rooted in praxeology, the study of purposeful action. It represents an entirely new paradigm in moral philosophy, placing interaction at the core of universal ethics. Traditional ethical theories often divorce thought from action. Reciprocal Ethics contends that they are two aspects of the same phenomenon in the human experience, removing the traditional boundary between theoretical and practical ethics. The system categorizes all social interaction as either “self-directed” or “other-directed”, and by introducing the concept (...) of "normative signaling" it also exerts legitimate prescriptive power. The theory is a self-consistent, purely descriptive approach to ethics, that suggests that one's actions serve as semiotic signs that signal one's ethical stance in social interaction. Hence actions do not only define individual moral profiles, but also the moral ecosystem within which one actually operates. The theory operates in real time, adapting to the complexity of reality by taking into account uncertainty, incomplete data and social asymmetries. Reconciling elements of consequentialism and deontological theories, Reciprocal Ethics delivers a streamlined, yet comprehensive ethical system for social interaction, offering tangible insights for navigating complex moral dilemmas. By synthesizing descriptive metaethics and normative moral philosophy into one comprehensive formal theory, a bold assertion arises: Reciprocal Ethics becomes the Formal Science of Ethics. (shrink)

True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument with, (...) not just true, but eminently acceptable premises, to an admittedly unusual conclusion: a true contradiction. The novel formal and epistemological tools concern points of view and changes in points of view. The result is an understanding of why the contradiction is true. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the Bible, and (...) analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

This article is primarily concerned with the articulation of a defensible position on the relevance of phenomenological analysis with the current epistemological edifice as this latter has evolved since the rupture with the classical scientific paradigm pointing to the Newtonian-Leibnizian tradition which took place around the beginning of 20th century. My approach is generally based on the reduction of the objects-contents of natural sciences, abstracted in the form of ideal objectivities in the corresponding logical-mathematical theories, to the content of meaning-acts (...) ultimately referring to a specific being-within-the-world experience. This is a position that finds itself in line with Husserl’s gradual departure from the psychologistic interpretations of his earlier works on the philosophy of logic and mathematics and culminates in a properly meant phenomenological foundation of natural sciences in his last major published work, namely the Crisis of European Sciences and the Transcendental Phenomenology. Further this article tries to set up a context of discourse in which to found both physical and formal objects in parallel terms as essentially temporal-noematic objects to the extent that they may be considered as invariants of the constitutional modes of a temporal consciousness. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define (...) four criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

Abstract This chapter is interested in the epistemology of algorithms. As I intend to approach the topic, this is an issue about epistemic justification. Current approaches to justification emphasize the transparency of algorithms, which entails elucidating their internal mechanisms –such as functions and variables– and demonstrating how (or that) these produce outputs. Thus, the mode of justification through transparency is contingent on what can be shown about the algorithm and, in this sense, is internal to the algorithm. In contrast, (...) I advocate for an externalist epistemology of algorithms that I term computational reliabilism (CR). While I have previously introduced and examined CR in the field of computer simulations ([42, 53, 4]), this chapter extends this reliabilist epistemology to encompass a broader spectrum of algorithms utilized in various scientific disciplines, with a particular emphasis on machine learning applications. At its core, CR posits that an algorithm’s output is justified if it is produced by a reliable algorithm. A reliable algorithm is one that has been specified, coded, used, and maintained utilizing reliability indicators. These reliability indicators stem from formal methods, algorithmic metrics, expert competencies, cultures of research, and other scientific endeavors. The primary aim of this chapter is to delineate the foundations of CR, explicate its operational mechanisms, and outline its potential as an externalist epistemology of algorithms. (shrink)

When do we agree? The answer might once have seemed simple and obvious; we agree that p when we each believe that p. But from a formal epistemological perspective, where degrees of belief are more fundamental than beliefs, this answer is unsatisfactory. On the one hand, there is reason to suppose that it is false; degrees of belief about p might differ when beliefs simpliciter on p do not. On the other hand, even if it is true, it is (...) too vague; for what it is to believe simpliciter ought to be explained in terms of degrees of belief. This paper presents several possible notions of agreement, and corresponding notions of disagreement. It indicates how the findings are fruitful for the epistemology of disagreement, with special reference to the notion of epistemic peerhood. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that (...) typical approaches of this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

Philosophy of science in the 20th century is to be considered as mostly characterized by a fundamentally systematic heuristic attitude, which looks to mathematics, and more generally to the philosophy of mathematics, for a genuinely and epistemologically legitimate form of knowledge. Rooted in this assumption, the book provides a formal reconsidering of the dynamics of scientific theories, especially in the field of the physical sciences, and offers a significant contribution to current epistemological investigations regarding the validity of using (...) class='Hi'>formal (especially: model-theoretic) methods of analysis, as developed principally by Stegmüller, Sneed, Suppes, Moulines, “to bring the airy flights of analytical philosophy back down to earth”, to borrow Stephan Hartmann’s provocative statement. At the same time, the volume represents a comprehensive account of the epistemic content of physical theories, the logic of theory change in science, and specific (inter-)theoretical core aspects of scientific progress, particularly in the form suggested informally by Thomas Kuhn. As C. Ulises Moulines writes in the preface, “there is no other example in present-day literature (in any language) on this topic, i.e. the formal analysis of the ideographic characterization of the dynamics of theories between Kuhn’s theory of science and structural epistemology, that is as systematic and complete as Perrone’s work”. (shrink)

John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. (...) Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations. (shrink)

The epistemology of self-locating belief concerns itself with how rational agents ought to respond to certain kinds of indexical information. I argue that those who endorse the thesis of Time-Slice Rationality ought to endorse a particular view about the epistemology of self-locating belief, according to which ‘essentially indexical’ information is never evidentially relevant to non-indexical matters. I close by offering some independent motivations for endorsing Time-Slice Rationality in the context of the epistemology of self-locating belief.

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The (...) argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

We’ll sketch the debate on testimony in social epistemology by reference to the contemporary debate on reductionism/anti-reductionism, communitarian epistemology and inferentialism. Testimony is a fundamental source of knowledge we share and it is worthy to be considered in the ambit of a dialogical perspective, which requires a description of a formal structure which entails deontic statuses and deontic attitudes. In particular, we’ll argue for a social reformulation of the “space of reasons”, which establishes a fruitful relationship with (...) the epistemological view of Wilfrid Sellars. (shrink)