I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further (...) analyse the implications of this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (shrink)

How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in (...) a position to know or having conclusive evidence for, then the account runs into trouble if we endorse certain familiar logical principles. Second, I argue that if the relevant epistemic status is non-factive, such as is rationally committed to or has justification for believing, then a similar problem arises if we endorse the logical principles as well as a sufficiently strong epistemic “level-bridging” principle. Finally, I argue that an analogous problem arises for the most natural characterization of validity in terms of rational credence. (shrink)

The standard definition of “argument” is satisfied by any series of statements in which one (of the statements) is marked as the conclusion of the others. This leads to the counter-intuitive result that “I like cookies, therefore, all swans are white” is an argument, since “therefore” marks “all swans are white” as the conclusion of “I like cookies”. This objection is often disregarded by stating that, although the previous sequence is an argument, it fails to be a good one. However, (...) when we compare our previous argument with a definitely bad argument like “this swan is white, therefore, all swans are white”, we see that there is an important difference between them. Whereas the former fails to fulfil our intuition of what an argument is, the latter does qualify as an argument, but as a bad one. In this talk, I will sketch a definition that better captures this feature of our intuition of what an argument is in three steps. Following Díez and Moulines (1999), I first reduce inductive validity to deductive validity through what we may call the method of deductivisation. Second, through epistemic predicates (cf. Thompson 2002), I introduce a broader concept of validity that accounts not only for deductive and inductive validity, but also for a weaker type of validity that may be called pseudo-validity. I show that these pseudo-valid arguments can also be deductivised with the help of the above-mentioned epistemic predicates. Finally, I re-define the concept of argument as any series of statements that is at least pseudo-valid, which leaves the “cookies argument” outside of this definition. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent (...) to enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

The latest edition of the Diagnostic and Statistical Manual of Mental Disorders included the Social Communication Disorder as a new mental disorder characterized by deficits in pragmatic abilities. Although the introduction of SPCD in the psychiatry nosography depended on a variety of reasons—including bridging a nosological gap in the macro-category of Communication Disorders—in the last few years researchers have identified major issues in such revision. For instance, the symptomatology of SPCD is notably close to that of Autism Spectrum Disorder. This (...) opens up the possibility that individuals with very similar symptoms can be diagnosed differently and receive different clinical treatments and social support. The aim of this paper is to review recent debates on SPCD, particularly as regards its independence from ASD. In the first part, we outline the major aspects of the DSM-5 nosological revision involving ASD and SPCD. In the second part, we focus on the validity and reliability of SPCD. First, we analyze literature on three potential validators of SPCD, i.e., etiology, response to treatment, and measurability. Then, we turn to reliability issues connected with the introduction of the grandfather clause and the use of the concepts of spectrum and threshold in the definition of ASD. In the conclusion, we evaluate whether SPCD could play any role in contemporary psychiatry other than that of an independent mental disorder and discuss the role that non-epistemic factors could play in the delineation of the future psychiatry nosography. (shrink)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one (...) I propose also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (shrink)

The aim of the paper is to develop general criteria of argumentative validity and adequacy for probabilistic arguments on the basis of the epistemological approach to argumentation. In this approach, as in most other approaches to argumentation, proabilistic arguments have been neglected somewhat. Nonetheless, criteria for several special types of probabilistic arguments have been developed, in particular by Richard Feldman and Christoph Lumer. In the first part (sects. 2-5) the epistemological basis of probabilistic arguments is discussed. With regard to (...) the philosophical interpretation of probabilities a new subjectivist, epistemic interpretation is proposed, which identifies probabilities with tendencies of evidence (sect. 2). After drawing the conclusions of this interpretation with respect to the syntactic features of the probability concept, e.g. one variable referring to the data base (sect. 3), the justification of basic probabilities (priors) by judgements of relative frequency (sect. 4) and the justification of derivative probabilities by means of the probability calculus are explained (sect. 5). The core of the paper is the definition of '(argumentatively) valid derivative probabilistic arguments', which provides exact conditions for epistemically good probabilistic arguments, together with conditions for the adequate use of such arguments for the aim of rationally convincing an addressee (sect. 6). Finally, some measures for improving the applicability of probabilistic reasoning are proposed (sect. 7). (shrink)

Philosophers and psychologists sometimes categorize emotions like surprise and curiosity as specifically epistemic. Is there some reasonably unified and interesting class of emotions here? If so, what unifies it? This paper proposes and defends an evaluative account of epistemic emotions: What it is to be an epistemic emotion is to have fittingness conditions that distinctively involve some epistemic evaluation. We argue that this view has significant advantages over alternative proposals and is a promising way to identify (...) a limited and interesting class of emotions. (shrink)

Contemporary philosophical accounts of the applicability of mathematics in physical sciences and the empirical world are based on formalized relations between the mathematical structures and the physical systems they are supposed to represent within the models. Such relations were constructed both to ensure an adequate representation and to allow a justification of the validity of the mathematical models as means of scientific inference. This article puts in evidence the various circularities (logical, epistemic, and of definition) that are present (...) in these formal constructions and discusses them as an argument for the alternative semantic and propositional-structure accounts of the applicability of mathematics. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which (...) you know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

In this article, we argue that John Henry Newman was right to think that our passional nature can play a legitimate epistemic role. First, we unpack the standard objection to Newman’s understanding of the relationship between our passional nature and the evidential basis of faith. Second, we argue that the standard objection to Newman operates with a narrow definition of evidence. After challenging this notion, we then offer a broader and more humane understanding of evidence. Third, we survey recent (...) scholarship arguing that emotions, a key aspect of our passional nature, are cognitive. In this light, they plausibly have a proper epistemic role. Fourth, we defend Newman’s reliance on the passional nature in epistemic matters by showing how reasonable it is in light of this recent work on evidence and the nature of emotions. Newman’s insistence that the formation of a right state of heart and mind is crucial for epistemic success is far from untenable. (shrink)

Most modern definitions of art fail to successfully address the issue of the ever-changing nature of art, and rarely even attempt to provide an account that would be valid in more than just the modern Western context. This article develops a new theory that preserves the advantages of its predecessors, solves or avoids their problems, and has a scope wide enough to account for art of different times and cultures. It argues that an object is art in a given (...) context iff some person culturally competent in this context have afforded it the status of a candidate for appreciation for reasons considered good in this context. This weakly institutional view is supplemented by auxiliary definitions explaining the notions of cultural contexts, competence, and good reasons for affording the status. The relativisation to contexts brings increased explanatory power and scope, and the ability to account for the diversity of art. (shrink)

A pressing need for interrater reliability in the diagnosis of mental disorders emerged during the mid-twentieth century, prompted in part by the development of diverse new treatments. The Diagnostic and Statistical Manual of Mental Disorders (DSM), third edition answered this need by introducing operationalized diagnostic criteria that were field-tested for interrater reliability. Unfortunately, the focus on reliability came at a time when the scientific understanding of mental disorders was embryonic and could not yield valid disease definitions. Based on accreting (...) problems with the current DSM-fourth edition (DSM-IV) classification, it is apparent that validity will not be achieved simply by refining criteria for existing disorders or by the addition of new disorders. Yet DSM-IV diagnostic criteria dominate thinking about mental disorders in clinical practice, research, treatment development, and law. As a result, the modernDSMsystem, intended to create a shared language, also creates epistemic blinders that impede progress toward valid diagnoses. Insights that are beginning to emerge from psychology, neuroscience, and genetics suggest possible strategies for moving forward. (shrink)

The attempt to define life has gained new momentum in the wake of novel fields such as synthetic biology, astrobiology, and artificial life. In a series of articles, Cleland, Chyba, and Machery claim that definitions of life seek to provide necessary and sufficient conditions for applying the concept of life—something that such definitions cannot, and should not do. We argue that this criticism is largely unwarranted. Cleland, Chyba, and Machery approach definitions of life as classifying devices, thereby (...) neglecting their other epistemic roles. We identify within the discussions of the nature and origin of life three other types of definitions: theoretical, transdisciplinary, and diagnostic definitions. The primary aim of these definitions is not to distinguish life from nonlife, although they can also be used for classificatory purposes. We focus on the definitions of life within the budding field of astrobiology, paying particular attention to transdisciplinary definitions, and diagnostic definitions in the search for biosignatures from other planets. (shrink)

Abstract: We see, experience, and live our lives in this empirical world. We, ordinary people, perceive the world as real or sattvāvāna. But, Advaitins say, the world is false, it has no actual existence. So, questions, then, arise, do we live in a falsified universe? Or, do the things which are around us have no essential value? Such questions haunt us to look into the meaning and analysis of the Advaitins, and thus, this paper is nothing but an unraveling interpretation (...) of the meaning of falsity presented by Madhusūdana Sarasvatī in his auspicious text, Advaitasiddhi. Not a single among the five definitions given in the book is his definition of Madhusūdna. He just tried to establish the validity of those definitions. Among the five, Pancapādikākāra wrote the first one. Vivaraṇakāra gave the second and the third. Citsukhācāriya wrote the fourth definition of falsity. And the last, i.e., the fifth definition of falsity, is provided by the author of Makaranda, Ᾱnandavodhācāriya. The first definition of falsity presented in the Advaitasiddhi is sadasattvānadhikaraṇatva. That is to say; the property falsity is not the substratum of either existence (sattvā) or non-existence (asattvā). Here, existence (sattvā) means free from contradiction for all the times, i.e., trikālāvādhyatva and non-existence (asattvā) means being the absence or vyatireka of trikālāvādhyatva. In this sense, Brahman is existent as it has the property trikālāvādhyatva. Brahman is never liable to contradiction, while the hare`s horn, sky-lotus, etc. are non-existent because such things cognize nowhere as trikālāvādhyatva. It has been said in the earlier that the first definition of the falsity would be analyzed, which is discussed and explained in Advaitasiddhi. Regarding the interpretations, the opponent leveled many objections which were subdued by Madhusūdana. Hence, I intend to focus only on the validity of the first definition of falsity by rejecting the opponent’s position. (shrink)

Abstract: This is necessarily an evolutionary work in progress. Its purpose and goal is enabling real progress of science, mathematics, society, and civilization. Thus, to accomplish the mission, upgrading the current sociocultural paradigm is essential. That makes holistic ontology and optimal epistemics essential to ongoing work and to further development of new theory and metatheory. Hence, the current listings of key terms, definitions, and explanations presented here provide some core concepts and supporting theorems, metatheorems, equations, and examples. That enables (...) remedial revision of relevant domains of thought and discourse. The project is also intended to inspire collaborative extension and ongoing refinement of the work. The appendices provide additional perspective. ~ A preprint draft, v.2e, for review and comment only. (shrink)

A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the DSM’s descriptive diagnostic (...) categories. The paper proceeds in three sections. In the first section, I examine the goals (viz., guiding treatment, facilitating research, and improving communication) associated with the DSM’s purely descriptive approach. In the second section, I suggest that the DSM’s purely descriptive approach is best suited for improving communication among mental health professionals; however, theoretical approaches would be superior for purposes of treatment and research. In the third section, I outline steps required to move the DSM towards a hybrid system of classification that can accommodate the benefits of descriptive and theoretical approaches, and I discuss how the DSM’s descriptive categories could be revised to incorporate theoretical information regarding the causes of disorders. I argue that the DSM should reconceive of its goals more narrowly such that it functions primarily as an epistemic hub that mediates among various contexts of use in which definitions of mental disorders appear. My analysis emphasizes the importance of pluralism as a methodological means for avoiding theoretical dogmatism and ensuring that the DSM is a reflexive and self-correcting manual. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical (...) validity, and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect (...) to this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability. (shrink)

Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be “contained” in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming this, it is problematic to explain how we can gain knowledge by deducing a logical consequence implied by (...) a set of known premises. To address this problem, we offer an alternative account of the epistemic contribution of deduction as the process required to deduce a conclusion or a theorem, understanding such a process not only in terms of the number of steps in the derivation but also, more importantly, in terms of the reason for or justification for every step. That is, we do not know a proposition unless we have a justification or proof of that proposition. With this goal in mind, we develop a justification logic system which exhibits the epistemic contribution of a deductive derivation as the resulting justified formula. (shrink)

The Paradigm of the Systemic Continuum (PCS), presented in Toward a Systemic Continuum (de León Pontet, 2025), challenges the natural/artificial dichotomy as an anthropocentric bias that has fragmented systems theory for centuries. This second preprint formalizes Systemic Balance (BS) as a hierarchical principle—articulated as Balance Sistémico Interior (BSI), Umbral Sistémico (US), and Balance Sistémico Exterior (BSE)—that unifies biological, technological, social, and cosmic systems in an emergent continuum. Integrating the insights of homeostasis (Wiener), autopoiesis (Maturana & Varela), emergence (Kauffman), and cybernetics (...) with a renewed systemic phenomenology (Heidegger, Merleau-Ponty), the PCS repositions the observer as a catalyzing ingredient, not an external creator, and redefines intelligence as the capacity for systemic reconfiguration. We propose operative metrics (ICS, CNS, MDO, IDS) for empirical validation, offer a tentative mathematical formalization, and explore historical blind spots that honor and transcend the pioneers of systems theory. Ranging from urban coralization to cosmic forces, the PCS aspires to serve as a unified theory of emergent organization, inviting scientists, philosophers, and technologists to a revolutionary dialogue that illuminates how synergy weaves the tapestry of the universe. (shrink)

Our intuition tells us that there is a general trend in the evolution of nature, a trend towards greater complexity. However, there are several definitions of complexity and hence it is difficult to argue for or against the validity of this intuition. Christoph Adami has recently introduced a novel measure called physical complexity that assigns low complexity to both ordered and random systems and high complexity to those in between. Physical complexity measures the amount of information that an (...) organism stores in its genome about the environment in which it evolves. The theory of physical complexity predicts that evolution increases the amount of ‘knowledge’ an organism accumulates about its niche. It might be fruitful to generalize Adami’s concept of complexity to the entire evolution (including the evolution of man). Physical complexity fits nicely into the philosophical framework of cognitive biology which considers biological evolution as a progressing process of accumulation of knowledge (as a gradual increase of epistemic complexity). According to this paradigm, evolution is a cognitive ‘ratchet’ that pushes the organisms unidirectionally towards higher complexity. Dynamic environment continually creates problems to be solved. To survive in the environment means to solve the problem, and the solution is an embodied knowledge. Cognitive biology (as well as the theory of physical complexity) uses the concepts of information and entropy and views the evolution from both the information-theoretical and thermodynamical perspective. Concerning humans as conscious beings, it seems necessary to postulate an emergence of a new kind of knowledge - a self-aware and self-referential knowledge. Appearence of selfreflection in evolution indicates that the human brain reached a new qualitative level in the epistemic complexity. (shrink)

Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as non- (...) class='Hi'>epistemic according to the definition above. My aim in this article is purely negative. I intend to show that these non-epistemic interpretations are liable to serious objections and are in conflict with some important features of Aristotle’s theory of demonstration. (shrink)

The so-called debate between Jürgen Habermas and John Rawls concentrated mainly on the latter’s political liberalism. It dealt with the many aspects of Rawls’s philosophical project. In this article, I focus only on one of them, namely the epistemic or cognitivistic nature of principles of justice. The first part provides an overview of the debate, while the second part aims to show that Habermas has not misinterpreted Rawls’s position. I argue that Habermas rightly considers Rawls’s conception of justice as (...) a moral one. In the last part, I discuss two key questions raised by Habermas. The first concerns the relation between justification and acceptance of the principles of justice. The second concerns the relation between two validity terms: truth and reasonableness. (shrink)

The validity of psychological measurement is crucially connected to a peculiar form of epistemic circularity. This circularity can be a threat when there are no independent ways to assess whether a certain procedure is actually measuring the intended target of measurement. This paper focuses on how Gustav Theodor Fechner addressed the measurement circularity that emerged in his psychophysical research. First, I show that Fechner's approach to the problem of circular measurement involved a core idealizing assumption of a shared (...) human physiology. Second, I assess Fechner's approach to this issue against the backdrop of his own epistemology of measurement and the measurement context of his time. Third, I claim that, from a coherentist and historicallysituated perspective, Fechner's quantification can be regarded as a first successful step of a longer-term quantification process. To conclude, I draw from these insights some general epistemological reflections that are relevant to current quantitative psychology. (shrink)

The work provides comprehensively definitive, unconditional proofs of Riemann's hypothesis, Goldbach's conjecture, the 'twin primes' conjecture, the Collatz conjecture, the Newcomb-Benford theorem, and the Quine-Putnam Indispensability thesis. The proofs validate holonomic metamathematics, meta-ontology, new number theory, new proof theory, new philosophy of logic, and unconditional disproof of the P/NP problem. The proofs, metatheory, and definitions are also confirmed and verified with graphic proof of intrinsic enabling and sustaining principles of reality.

Havstad (2022) argues that the argument from inductive risk for the claim that non-epistemic values have a legitimate role to play in the internal stages of science is deductively valid. She also defends its premises and thus soundness. This is, as far as we are aware, the best reconstruction of the argument from inductive risk in the existing literature. However, there is a small flaw in this reconstruction of the argument from inductive risk which appears to render the argument (...) invalid. This flaw is superficial, and a small amendment to it rescues the claim of validity. (shrink)

The complex issue of fake news has been approached extensively by many disciplines in academia. Despite this variety of approaches, the concept of fake news still lacks a reasonable degree of definitional unicity. This paper critically analyzes a sample of definitions from the current literature. By diving into the set of definitions, it will exhibited a total of ten necessary conditions that scholars generally consider: imitation, falsity, deception, bullshit, purpose, morality, assessability, virality, channel, and appeal. Current definitions (...) of fake news have certain blindspots and leave too much leeway for interpretation. This leeway is utterly problematic because it creates a grey zone in which articles are left stranded halfway between fake news and factual news articles. However, it has the crucial advantage of opening up new epistemic paths of inquiry regarding fake news. As a conclusion, we will summarize the conditions one can accept or reject to define fake news. (shrink)

Despite numerous and increasing attempts to define what life is, there is no consensus on necessary and sufficient conditions for life. Accordingly, some scholars have questioned the value of definitions of life and encouraged scientists and philosophers alike to discard the project. As an alternative to this pessimistic conclusion, we argue that critically rethinking the nature and uses of definitions can provide new insights into the epistemic roles of definitions of life for different research practices. This (...) paper examines the possible contributions of definitions of life in scientific domains where such definitions are used most (e.g., Synthetic Biology, Origins of Life, Alife, and Astrobiology). Rather than as classificatory tools for demarcation of natural kinds, we highlight the pragmatic utility of what we call operational definitions that serve as theoretical and epistemic tools in scientific practice. In particular, we examine contexts where definitions integrate criteria for life into theoretical models that involve or enable observable operations. We show how these definitions of life play important roles in influencing research agendas and evaluating results, and we argue that to discard the project of defining life is neither sufficiently motivated, nor possible without dismissing important theoretical and practical research. (shrink)

There is an old worry, which dates back to Mill but has analogs even in Sextus, that the very definition of ‘validity’ implies that all valid arguments are circular. This paper investigates how contemporary formal tools can ellucidate that old worry. Its main finding is the existence of a genuine puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument’.

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

This paper develops a new class of justification logic, the logic of epistemic entitlement. The logic of epistemic entitlement invokes the notion of epistemic entitlement in epistemology, and interprets a justification formula in the form of???? ∶???? as follows: the warrant???? entitles the agent to believe????. In the logic of epistemic entitlement, the formula???? ∶???? is true if and only if???? is true in all possible worlds entitled to be conceived by????. In contrast to the standard (...) epistemic semantics of justification logic, the formula???? ∶???? in Fitting’s model is true if and only if???? is true in all possible worlds that can be conceived of and satisfies the evidential condition: the epistemic state???? ∈ ℰ(????,????) that the epistemic agent is in. Thus, if???? is not a dead point in the model, the point model of???? cannot satisfy both formulas of the form???? ∶???? and????′∶ ¬????. Thus standard justification logic cannot characterize the conflicting beliefs of agents for different warrants. Instead, the logic of epistemic entitlement solves this problem by entitling agents to believe???? and ¬???? on two disjoint sets of possible worlds on????,???? and????′, respectively. ℳ,???? ⊩???? ∶???? if and only if ℳ,???? ⊩???? for every???? ∈????????????(????,????) with????????????. Such an epistemic entitlement in the paper is axiomatized into the logic J_???????????? and the validity of its axioms is verified. And a canonical model of J_???????????? is established to prove its completeness. Finally, extensions of J_???????????? are attempted to explore the logic of entitlement of belief J_EntD4 and logic of entitlement of knowledge J_EntT4. (shrink)

This paper compares epistemic virtue from the viewpoints of Zagzebski and Mulla Sadra, aiming to determine the extent to which their viewpoints on epistemic virtue are similar. Zagzebski, the contemporary philosopher, considers epistemic virtue as the basis on which knowledge is interpreted. She sees epistemic virtue as a requirement for achieving knowledge. Mulla Sadra, the founder of Transcendent Philosophy, considers knowledge as an outcome of intellectual virtues without which there would be no knowledge. The role these (...) two philosophers ascribe to moral and intellectual virtues and vices in forming the identity makes it possible to compare their interpretation of epistemic virtues. As a virtue responsibilist, Zagzebski sees epistemic virtue as a character trait and explains its nature by its different components. Sadra as well, sees epistemic virtue as a character trait. Evidence shows that Sadra’s definition of intellectual virtues is similar to that given by Zagzebski in many respects. Examining Zagzebski’s viewpoint on epistemic virtue, this paper will discuss Sadra’s viewpoint on epistemic virtue as well as its contribution to knowledge. In conclusion the similarities of the two viewpoints will be delineated. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...) explored. (shrink)

The literature on epistemic injustice has thus far confined the concept of testimonial injustice to speech expressions such as inquiring, discussing, deliberating, and, above all, telling. I propose that it is time to broaden the horizons of testimonial injustice to include a wider range of expressions. Controversially, the form of communication I have in mind is non-verbal expression. Non-verbal expression is a vital, though often overlooked, form of communication, particularly for people who have certain neurocognitive disorders. Dependency upon non-verbal (...) expression is a common feature of some forms of neurocognitive disorders such as ‘intellectual disabilities’, autism and late-stage dementia. According to the narrow definition of testimonial injustice currently championed in the literature, people who express non-verbally are exempt from testimonial injustice. However, when we consider cases where meaningful communications from non-verbal people are dismissed or ignored in virtue of identity prejudice, there seems to be a distinct testimonial harm at play. Using late-stage dementia as a case study, I argue that the definition of testimonial injustice should be expanded to include all communicative practices, whether verbal or non-verbal, to encompass the epistemic harms inflicted upon some of the most marginalised in our society. (shrink)

Research on epistemic circularity has focused more on the problem of whether circular arguments are able to justify their conclusions rather than on the nature of circularity itself, and has kept a sharp delimitation from other types of circularities (logical, linguistic, and of definition). In this paper, I aim to move the focus toward the general concept of circularity, which I relate to the concept of ‘epistemic worry’. Through a brief overview on the known types of circularities, I (...) show that circularity has multiple natures (not only that associated with its type), and the linguistic aspect is essential in qualifying a construct as circular, which in turn raises the problem of genuineness of a circularity. Within an extensional approach, I suggest generalizing the meaning of the key epistemological terms referred to in the classical definition of epistemic circularity to also cover additional associated concepts specific to other theoretical disciplines beyond epistemology. The proposed concepts and ideas are reflected in a structural unificatory account of circularity in terms of epistemic determination, which raises a challenge to the relational accounts of determination in regard to the transitivity of the determination relation. (shrink)

In a paper called 'Definiteness and Knowability', Tim Williamson addresses the question whether one must accept that vagueness is an epistemic phenomenon if one adopts classical logic and a disquotational principle for truth. Some have suggested that one must not, hence that classical logic and the disquotational principle may be preserved without endorsing epistemicism. Williamson’s paper, however, finds ‘no plausible way of substantiating that possibility’. Its moral is that ‘either classical logic fails, or the disquotational principle does, or vagueness (...) is an epistemic phenomenon’. The moral of this paper, on the contrary, is that there is a plausible way of substantiating that possibility. The option it contemplates looks like a view that Williamson dismisses at the beginning of his paper, and that others regard as unworthy of serious consideration. (shrink)

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in (...) which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and (...) only if it is true in every world in every interpretation of L. For simple modal languages, “Kripkean validity” and “Textbook validity” are extensionally equivalent. According to E. Zalta, however, Textbook validity is an “incorrect” definition of validity, because: (i) it is not in full compliance with Tarski’s notion of truth; (ii) in expressively richer languages, enriched by the actuality operator, some obviously true formulas count as valid only if the Kripkean notion is used. The purpose of this paper is to show that (i) and (ii) are not good reasons to favor Kripkean valid- ity over Textbook validity. On the one hand, I will claim that the difference between the two should rather be seen as the result of two different conceptions on how a modal logic should be built from a non-modal basis; on the other, I will show the advantages, for the question at issue, of seeing the actuality operator as belonging to the family of two-dimensional operators. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern (...) the use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

Jonathan Y. Tsou examines and defends positions on central issues in philosophy of psychiatry. The positions defended assume a naturalistic and realist perspective and are framed against skeptical perspectives on biological psychiatry. Issues addressed include the reality of mental disorders; mechanistic and disease explanations of abnormal behavior; definitions of mental disorder; natural and artificial kinds in psychiatry; biological essentialism and the projectability of psychiatric categories; looping effects and the stability of mental disorders; psychiatric classification; and the validity of (...) the DSM's diagnostic categories. The main argument defended by Tsou is that genuine mental disorders are biological kinds with harmful effects. This argument opposes the dogma that mental disorders are necessarily diseases that result from biological dysfunction. Tsou contends that the broader ideal of biological kinds offers a more promising and empirically ascertainable naturalistic standard for assessing the reality of mental disorders and the validity of psychiatric categories. (shrink)

The 2005 International Consensus Conference on Intersex resulted in a substantive revision of the lexicon and guidelines for treating intersex conditions. The speed with which the new treatment protocol has been adopted by healthcare practitioners and providers is considered unprecedented. However, a number of intersex people and advocacy groups have complained that the recommended revisions are inadequately informed by the testimony of intersex people. In this paper, I argue that such complaints are valid and that, despite the conference conveners stated (...) intention, the revisions perpetuate the epistemic injustice long endured by intersex people. By analyzing the Consensus Conference and its results as a failed attempt to redress the epistemic marginalization of intersex patients and advocacy groups, I am able to identify lingering institutional hurdles to cultivating the virtue of epistemic justice in biomedical practice. (shrink)

“Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I provide (...) a short analysis of proof of concept research and offer an example of it within synthetic biology. I suggest that not only are there activities that circumscribe new epistemological categories but there are also associated normative ethical categories or principles linked to the research. I examine these and provide an outline for an alternative ethical account to describe these activities that I refer to as “extended agency ethics”. This view is used to explain how the type of research described as proof of concept also provides an attendant proof of principle that is the result of decision-making that extends across practitioners, their tools, techniques, and the problem solving activities of other research groups. (shrink)

Following Kelsen’s influential theory of law, the concept of validity has been used in the literature to refer to different properties of law (such as existence, membership, bindingness, and more), and so it is inherently ambiguous. More importantly, Kelsen’s equivalence between the existence and the validity of law prevents us from accounting satisfactorily for relevant aspects of our current legal practices, such as the phenomenon of “unlawful law.” This chapter addresses this ambiguity to argue that the most important (...) function of the concept of validity is constituting the complex ontological paradigm of modern law as an institutional-normative practice. In this sense, validity is an artificial ontological status that supervenes on that of the existence of legal norms, thus allowing law to regulate its own creation and creating the logical space for the occurrence of “unlawful law.” This function, I argue in the last part, is crucial to understanding the relationship between the ontological and epistemic dimensions of the objectivity of law. Given the necessary practice-independence of legal norms it is the epistemic accessibility of their creation that enables the law to fulfill its general action-guiding (and thus coordinating) function. (shrink)

The precise nature of microaggression purposely obscures the exploration of the intentionality of perpetrator and the quantification of the harm committed. The act fits neatly into a system that privileges some and validates their reality to themselves and to us. This paper explores microaggression and recommends strategies for avoiding its harms.

Epistemic bystanding occurs when an agent has all the competences, knowledge and opportunity to prevent another person from forming a false or risky belief, but does not prevent the belief formation. I provide a definition of an epistemic bystander and explain the mechanism that makes someone an epistemic bystander. I argue that the phenomenon is genuinely epistemic and not merely linguistic. Moreover, I propose an account of the mechanism of epistemic bystanding building on Ishani Maitra’s (...) notion of licensing. An epistemic bystander licenses a risky belief-forming process in another person and thereby performs a blameworthy epistemic action. This form of licensing explains the distinctive wrong of being an epistemic bystander. (shrink)

Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us (...) to acquire justification for these beliefs. In this paper I show that Wright’s responses to Moruzzi are ineffective and that Moruzzi’s argument is validated by probabilistic reasoning. I also suggest that Wright cannot answer Moruzzi’s challenge without weakening the support available for his conception of the architecture of perceptual justification. (shrink)

The epistemic position of an agent often depends on their position in a larger network of other agents who provide them with information. In general, agents are better off if they have diverse and independent sources. Sullivan et al. [19] developed a method for quantitatively characterizing the epistemic position of individuals in a network that takes into account both diversity and independence; and presented a proof-of-concept, closed-source implementation on a small graph derived from Twitter data [19]. This paper (...) reports on an open-source reimplementation of their algorithm in Python, optimized to be usable on much larger networks. In addition to the algorithm and package, we also show the ability to scale up our package to large synthetic social network graph profiling, and finally demonstrate its utility in analyzing real-world empirical evidence of ‘echo chambers’ on online social media, as well as evidence of interdisciplinary diversity in an academic communications network. (shrink)

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the (...) orthodox definition given in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)