The aim of this article is to show that, just as in recent years Cobreros, Egré, Ripley and van Rooij have provided a non-transitive counterpart of classical logic (i.e. one in which all classically acceptable inferences are valid but Cut and other metainferences are not), the same can be done for every Tarskian logic, with full generality. To establish this fact, a semantic approach is taken by showing that appropriate structures can be devised to characterize a non-transitive counterpart (...) of every Tarskian logic, starting from the logical matrices that are usually taken to render them. (shrink)

ABSTRACTThis paper provides a naturalistic account of inference. We posit that the core of inference is constituted by bare inferential transitions, transitions between discursive mental representations guided by rules built into the architecture of cognitive systems. In further developing the concept of BITs, we provide an account of what Boghossian [2014] calls ‘taking’—that is, the appreciation of the rule that guides an inferential transition. We argue that BITs are sufficient for implicit taking, and then, to analyse explicit taking, (...) we posit rich inferential transitions, which are transitions that the subject is disposed to endorse. (shrink)

Unconscious logical inference seems to rely on the syntactic structures of mental representations (Quilty-Dunn & Mandelbaum 2018). Other transitions, such as transitions using iconic representations and associative transitions, are harder to assimilate to syntax-based theories. Here we tackle these difficulties head on in the interest of a fuller taxonomy of mental transitions. Along the way we discuss how icons can be compositional without having constituent structure, and expand and defend the “symmetry condition” on Associationism (the idea that associative links (...) and transitions are perfectly symmetric). In the end, we show how a BIT (“bare inferential transition”) theory can cohabitate with these other non-inferential mental transitions. (shrink)

This paper is about four inferences patterns governing conditionals: Transitivity, Simplification, Contraposition, and Antecedent Strengthening. Transitivity, Simplification, and Contraposition are intuitively compelling. Although Antecedent Strengthening may seem less attractive at first, close attention to the full range of data reveals that it too has considerable appeal. An adequate theory of conditionals should account for these facts. The strict theory does so by validating them. But the variably strict theory invalidates them. So the variably strict theorist faces a question: why do (...) we find these inferences so compelling? In this paper, I suggest an answer on her behalf: that they are reasonable inferences in the sense introduced by Stalnaker (1975). -/- . (shrink)

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for (...) the conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

The scientific understanding of cognition and consciousness is currently hampered by the lack of rigorous and universally accepted definitions that permit comparative studies. This paper proposes new functional and un- ambiguous definitions for cognition and consciousness in order to provide clearly defined boundaries within which general theories of cognition and consciousness may be developed. The proposed definitions are built upon the construction and manipulation of reality representation, decision making and learning and are scoped in terms of an underlying logical structure. (...) It is argued that the presentation of reality also necessitates the concept of ab- sence and the capacity to perform transitive inference. Explicit predictions relating to these new definitions, along with possible ways to test them, are also described and discussed. (shrink)

Since at least the mid-1980s claims have been made for rationality in rats. For example, that rats are capable of inferential reasoning (Blaisdell, Sawa, Leising, & Waldmann, 2006; Bunsey & Eichenbaum, 1996), or that they can make adaptive decisions about future behavior (Foote & Crystal, 2007), or that they are capable of knowledge in propositional-like form (Dickinson, 1985). The stakes are rather high, because these capacities imply concept possession and on some views (e.g., Rödl, 2007; Savanah, 2012) rationality indicates self-consciousness. (...) I evaluate the case for rat rationality by analyzing 5 key research paradigms: spatial navigation, metacognition, transitive inference, causal reasoning, and goal orientation. I conclude that the observed behaviors need not imply rationality by the subjects. Rather, the behavior can be accounted for by noncognitive processes such as hard-wired species typical predispositions or associative learning or (nonconceptual) affordance detection. These mechanisms do not necessarily require or implicate the capacity for rationality. As such there is as yet insufficient evidence that rats can reason. I end by proposing the ‘Staircase Test,’ an experiment designed to provide convincing evidence of rationality in rats. (shrink)

Probability updating via Bayes' rule often entails extensive informational and computational requirements. In consequence, relatively few practical applications of Bayesian adaptive control techniques have been attempted. This paper discusses an alternative approach to adaptive control, Bayesian in spirit, which shifts attention from the updating of probability distributions via transitional probability assessments to the direct updating of the criterion function, itself, via transitional utility assessments. Results are illustrated in terms of an adaptive reinvestment two-armed bandit problem.

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is (...) defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I (...) extend the system so that it can capture invalidities. (shrink)

We humans are natural-born engineers. As such, we model after machines not only isolated, naturally occurring systems, but also the basic laws of physics, sharing with machines a local-evolution-of-state `grammar'. However, previous work by the author casts doubt upon this mechanistic paradigm, suggesting that it is to blame for the stubbornness of many open problems in physics. Simple experiments are therefore proposed to identify `non-machines'. In one experiment, `non mechanistic correlations' in the spirit of Bell are sought in a pair (...) of separated but previously coupled (macroscopic) chaotic systems. In another it is tested whether chaotic systems could fuzzily `remember their future' in the sense that a future binary perturbation applied to them could be inferred from their present behavior with probability$>1/2$. Chaotic systems are chosen as candidates because the long-time application of their (deterministic) mechanistic description is conceptually groundless: All scales are significant and mutually coupled in that regime, down to scales governed by QM, yet the quantum-classical transition remains inexplicable---if only due to the measurement problem. Similarly for non-deterministic chaotic systems, modeled as such purely for defying a short-time deterministic mechanistic description. Should a non mechanistic signature be found in such simple systems, the implications for science as a whole and life sciences in particular cannot be overstated. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

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)

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no (...) clear philosophical significance of meta-inferences above the first level. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial (...) counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

The notion of a physiological individuals has been developed and applied in the philosophy of biology to understand symbiosis, an understanding of which is key to theorising about the major transition in evolution from multi-organismality to multi-cellularity. The paper begins by asking what such symbiotic individuals can help to reveal about a possible transition in the evolution of cognition. Such a transition marks the movement from cooperating individual biological cognizers to a functionally integrated cognizing unit. Somewhere along the way, did (...) such cognizing units simultaneously have cognizers as parts? Expanding upon the multiscale integration view of the Free Energy Principle, this paper develops an account of reciprocal integration, demonstrating how some coupled biological cognizing systems, when certain constraints are met, can result in a cognizing unit that is in ways greater than the sum of its cognizing parts. Symbiosis between V. Fischeri bacteria and the bobtail squid is used to provide an illustration this account. A novel manner of conceptualizing biological cognizers as gradient is then suggested. Lastly it is argued that the reason why the notion of ontologically nested cognizers may be unintuitive stems from the fact that our folk-psychology notion of what a cognizer is has been deeply influenced by our folk-biological manner of understanding biological individuals as units of reproduction. (shrink)

This essay delves into the essentialities of object-giving sources within the formulation of epistemic objectivity. It explores the relationship between objectivity and intentional states, particularly in the context of immediate and transcendent experiences. A key focus of this paradigm is the examination of inferences and how they are held in X’s intentional processes. These claims about inferences contribute to the perception of objectivity by highlighting the epistemological transitions of things that occur in the constitutive ideation. Additionally, the activity within X’s (...) episteme leads to significant articulations that reflect a structural realism of experiences. The essay also introduces a convention of the experiential-intentional process so that the causality manipulations could be avoided by the precents of sources of ideation. In this instance, the central niche is occupied by transcendental reflections of intentionality, which are fundamentally founded on experiences and objectivity, and they possess a distinct rhetorical quality. They manifest as acts, propositional forms, and constituents, all of which contribute to the understanding and justification of objectivity. To establish such a framework that upholds objectivity, certain prerequisites must be met. Firstly, the framework must possess justificational resources that prevent causality manipulations. Secondly, pre-reflective sources should not inter-define causality in epistemic circumstances, although this does not exclude the emergence of causal relations, and thus this approach offers a correlational explanation. Lastly, transcendental reflections should remain compatible with the experiential-intentional process, allowing for the accommodation of subjectivity in the justification of objectivity. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands between knowing (...) the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

The paper suggests a distinction between two dimensions of grasp of concepts within an inferentialist approach to conceptual content: a common sense "minimum" version, where a simple speaker needs just a few inferences to grasp a concept C, and an expert version, where the specialist is able to master a wide range of inferential transitions involving C. This paper tries to defend this distinction and to explore some of its basic implications.

This chapter examines Bertrand Russell's developing views--roughly from 1911 to 1918--on the nature of introspective knowledge and subjects' most basic knowledge of themselves as themselves. It argues that Russell's theory of introspection distinguishes between direct awareness of individual psychological objects and features, the presentation of psychological complexes involving those objects and features, and introspective judgments which aim to correspond with them. It also explores his transition from believing that subjects enjoy introspective self-acquaintance, to believing that they only know themselves by (...) self-description, and eventually to believing that self-knowledge is a logical construction. It concludes by sketching how Russell's views about introspection and self-knowledge change as a result of his adoption of neutral monism. Along the way, it sheds additional light on his acquaintance-based theory of knowledge, preference for logical constructions over inferred entities, and gradual progression towards neutral monism. (shrink)

As we have seen in the transition form Part I to Part II of this book, the inductive riskiness of doxastic methods applied in testimonial uptake or prescribed as exemplary of religious faith, helpfully operationalizes the broader social scientific, philosophical, moral, and theological interest that people may have with problems of religious luck. Accordingly, we will now speak less about luck, but more about the manner in which highly risky cognitive strategies are correlated with psychological studies of bias studies and (...) human cognitive ecology. Chapter Four is concerned with connections between psychological study of biases and heuristics, and the comparative study of fundamentalism. The first section looks at work by psychologists and philosophers on our bias blind spot. Later sections ask, ‘In what ways might biases and heuristics play a special role in aiding our understanding of, and response to, fundamentalist orientation?’. The judgments we make in ignorance of our own biases Montaigne calls our importunate presumptions, and he suggests a host of practical factors that make them appealing. Montaigne, as I discuss in the first section, associates many of our errors with one or another kind of presumption, often about our similarity or differences from others, or from God. Our obvious psychographic diversity, and the polemical ground dynamics involved in our ‘culture wars’ are compounded on the agential side by the invisibility of our biases to ourselves. A number of person and social biases are described that plausibly affect all of our beliefs in domains of controversial views, religious views included. The second section continues to study of how etiological symmetry (similar patterns of belief-uptake) gives rise to religious contrariety (diverse narratives and theologies) in testimonial faith traditions, and what the implications of this are for philosophy of religion, generally, and for an improved comparative study of fundamentalism, in particular. Utilizing the work of philosophers such as Rachel Fraser and psychologists such as Emily Pronin and her co-authors, I offer a four-step genealogical account for how etiological symmetry so easily gives rise to religious contrariety. This account begins with the narrative nature of testimony in the Abrahamic family of religions, and how narrative content confounds our “source monitoring.” My genealogy also introduces what I term biased-closure inferences (BCI) as one of the key enablers of religious exclusivism and absolutism. These are the seemingly ‘logical’ but actually very self-serving inferences people often make, inferences from their own belief being true, to any belief contrary to it being false. Those who claim unique truth, epistemic access, and/or virtue and religious value for the home religion are no exception to the broad pertinence of bias studies across domains of controversial view. The proximate causes of belief are all that we can study, and in these there may be significant etiological symmetries. Yet those groups themselves, especially to the extent that they are exclusivist, are tunnel-visioned on claims of doctrinal uniqueness: on content differences of a theological sort. Comparative philosophy is met with the puzzlement that symmetric or essentially similar doxastic strategies should give rise not just to cognitive diversity, but to what we can call polarized or polemical contrariety, contrariety of a kind where each view adamantly rejects all others. Arguably, the more that theologies offer explanations of a counter-inductive sort, or profess counter-inductive thinking as exemplary of faith, the better evidential ground there for inferring that bias involved in the acquisition or maintenance of beliefs. This provides more substance to the question of when censure, and etiological challenges to faith-based beliefs are philosophically well-motivated. (shrink)

This is a defense of Pyrrhonian skepticism against the charge that the suspension of judgment based on equipollence is vitiated by the assent given to the equipollence in question. The apparent conflict has a conceptual side as well as a practical side, examined here as separate challenges with a section devoted to each. The conceptual challenge is that the skeptical transition from an equipollence of arguments to a suspension of judgment is undermined either by a logical contradiction or by an (...) epistemic inconsistency, perhaps by both, because the determination and affirmation of equipollence is itself a judgment of sorts, one that is not suspended. The practical challenge is that, independently of any conceptual confusion or contradiction, suspending judgment in reaction to equipollence evinces doxastic commitment to equipollence, if only because human beings are not capable of making assessments requiring rational determination without believing the corresponding premises and conclusions to be true. The two analytic sections addressing these challenges are preceded by two prefatory sections, one laying out the epistemic process, the other reviewing the evidentiary context. The response from the conceptual perspective is that the suspension of judgment based on equipollence is not a reasoned conclusion adopted as the truth of the matter but a natural reaction to an impression left by the apparently equal weight of opposing arguments. The response from the practical perspective is that the acknowledgment of equipollence is not just an affirmation of the equal weight of arguments but also an admission of inability to decide, suggesting that any assent, express or implied, is thrust upon the Pyrrhonist in a state of epistemic paralysis affecting the will and the intellect on the matter being investigated. This just leaves a deep disagreement, if any, regarding whether equipollence is an inference based on discursive activity or an impression coming from passive receptivity. But this, even if resolved in favor of the critic (which it need not and ought not be), is not the same as confusion or inconsistency on the part of the Pyrrhonist, the demonstration of which is the primary aim of this paper. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

This monograph focuses on two major themes of current interest---those of complexity and emergence. Neither of the two concepts is, in the very nature of things, precisely defined or easily comprehended. Complexity is all around us while the sciences often analyze entities and events by making simplifications. But the fault lines in the latter get exposed over larger spans of space and time. Complexity entails emergence that involves discontinuity and novelty in the evolution of complex systems, based on the appearance (...) of distinctive spatial and temporal structures. Underlying an occurrence of emergence is an instability involving the transition from one stable regime to another, where distinct space-time scales acquire relevance across the transition. The structures on the two sides of the transition are characterized by distinct sets of state variables where, on one side of the transition, collective variables make their appearance. -/- Complexity and emergence are viewed in this book in the context of the Kantian noumenal-phenomenal divide. The noumenal reality is the repository of all the complexity that there is, while the phenomenal reality emerges from the noumenal in the process of our perception, interpretation, and inference. The noumenal exists in itself as a self-determined whole, and reveals itself to us in fragmentary patches as skewed projections that we assemble to form our phenomenal world that keeps on emerging ceaselessly. Our own biological evolution and the evolution of our phenomenal world occurs in a mutually consistent process, that can be referred to as co-evolution. -/- We seek regularities in the phenomenal world by means of our scientific theories which are often successful, but that success is fragile as, over larger spans of space and time, anomalies make their appearance, giving a lie to the simplicity and regularity previously presumed to have been unearthed. Simplicity, regularity, and harmony are only fleetingly located in the phenomenal world by means of our theories as these keep on being revised endlessly and often radically, thereby generating a mosaic of theories that becomes ever more complex, indicating a pervasive complexity of the noumenal world from which the phenomenal emerges by way of strictly limited projections. The foundational metaphysics on which this book is based tells us that reality is fundamentally complex, while tiny islands of simplicity, regularity, and harmony are embedded in it in isolated space-time domains. (shrink)

This thesis is about how deduction is analytic and, at the same time, informative. In the first two chapters I am after the question of the justification of deduction. This justification is circular in the sense that to explain how deduction works we use some basic deductive rules. However, this circularity is not trivial as not every rule can be justified circularly. Moreover, deductive rules may not need suasive justification because they are not ampliative. Deduction preserves meaning, that is, the (...) meaning of non-logical vocabulary of any theory which is developed by deductive reasoning remains unchanged. It means that deduction adds no information to what we already had in our premises. This is why deduction is analytic. -/- However, there are many ways deduction can be informative. In the next three chapters, I will pick a specific kind of deductive reasoning, namely arithmetical reasoning, and will attempt to understand the nature of information we obtain by this kind of reasoning. There is a difference between simple deductive moves such as inferring `Socrates is mortal' from `All human are mortal' and `Socrates is human', and inferring that a relation is reflexive given that it is directed, symmetric and transitive. The latter is more complicated and not as easy to prove as the former. Therefore it is informative and the proof we construct to prove it puts us in an epistemic position that we were not in before having the proof. To be more specific, I show that concepts we need to confirm the conclusion are made in the process of proving the conclusion. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

Since Wilfrid Sellars' attack on sense-date theories, it became hard to understand the role of perceptual experience in the justification of beliefs about the world. Many philosophers have started to sustain that experience only causes beliefs, never justifies them. In this thesis, I defend that experience justifies empirical beliefs non-inferentially. I work out three senses of 'justification': basement, reason and warrant. The idea is that experience can be a reason to believe. The subject can base upon his experience in order (...) to form or hold a belief about the world. The distinction between vehicle and content has a important role in this thesis. Perceptual experience and belief are representational vehicles. Both can hold the same content. By this step I can explain the relevance of experience content to the truth of the belief. It is also necessary to explain how an experience can be a reason to believe in the first-person perspective. The inference model shows how a belief can be a reason for another belief. Nevertheless, the inference model can not be used to explain the transition from a perceptual state to a doxastic state, because experience can be a non-conceptual vehicle. Following Evans, I submit that the conceptualization act involved in the formation of a belief about the world is the key for understanding how experience can be a reason to believe, that is, how the transition from a perceptual state to a doxastic state can be rational. The empiricism defended is minimal. Although experience works as an unconditioned justifier for beliefs about the world, beliefs thus justified are not incorrigible. (shrink)

When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of Turing (...) Machine Descriptions. (shrink)

This monograph (TCC) analyzes the concept of prote philosophia in Aristotle's Metaphysics in order to infer what the real subject of study of the science that Aristotle intends to ground in this work. To do so, we will try to explain some Aristotelian conceptions of metaphysics as first philosophy analyzing the first causes and the first principles. Aristotle, in book IV, proposes a science that considers the study of being qua being and the properties that belong to it as such, (...) i.e., not particularly, but universally. Nevertheless, since "being" is not an univocal concept, it is necessary to describe the concept of substance (ousia), in books VII–IX and XII, as an inseparable part of being or, in other words, the substance being one being and also the cause of the existence of other beings. Afterwards, we describe the transition from the study of being to the study of substance with the purpose of safeguarding the possibility of a metaphysical science. Undoubtedly, the tasks concerning the investigation of first philosophy as a science are crucial for the study of being qua being insofar as their results explain the structure of reality itself. (shrink)

In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I (...) suggest a new reconstruction of Begriffsschrift's logic, which amounts to a completely novel reading of its formal system—one that contradicts the core of modern historical studies. In particular, I defend that this logic is not—as it has been repeatedly said—a second-order logic and provide the following reasons. (1) The language is not properly a formal language. (2) In Begriffsschrift there is only one sort of quantification: quantification over arguments. (3) Begriffsschrift's logic does not have a semantics in the modern sense. Second, I offer an explanation of the reasons that drive the evolution of Frege's logic. The transition from Begriffsschrift to Grundgesetze has been seldom addressed and never fully explained. According to my historical analysis, the switch from Frege's position concerning logic in Begriffsschrift to his later conception—finally established in Grundgesetze—can be articulated through the adoption of the distinction between concept and object as the basic element of the formal system. This leads to a formalisation of the notion of concept, which in the end drives to Grundgesetze's notion of function. Finally, I put forward a global analysis of Grundgesetze's logic. In this work, Frege develops a formal system that resembles in many relevant ways a second-order one. I suggest a reconstruction of this formal system that allows us to compare it with Begriffsschrift's. In particular, I formulate precisely every rule of inference proposed by Frege and especially focus on the rules of substitution. Moreover, I reflect on several meta-logical results that can be drawn from this reconstruction. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of (...) IBE, the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

This paper explores trans poetics as a way of doing trans philosophy. I begin by giving an overview of the current state of trans philosophy. I then give examples of other literatures wherein poetics is taken to be philosophically robust. After giving a brief history of trans poetics, I turn to the poetics statements and poetry of three trans poets—D'Lo, Ching-In Chen, and micha cárdenas—featured in the 2013 anthology Troubling the Line. I show how poetry is often uniquely able to (...) capture the ambiguity of the WTF of trans experience in ways that differ from philosophical argumentation. I conclude by suggesting that poetics might move us away from a potential politics of suffering in trans philosophy to a politics of liberation. (shrink)

De Ray argues that relying on inference to the best explanation (IBE) requires the metaphysical belief that most phenomena have explanations. I object that instead the metaphysical belief requires the use of IBE. De Ray uses IBE himself to establish theism that God is the cause of the metaphysical belief, and thus he has the burden of establishing the metaphysical belief independently of using IBE. Naturalism that the world is the cause of the metaphysical belief is preferable to theism, (...) contrary to what de Ray thinks. (shrink)

In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended (...) to yield probability distributions with moderately high entropy levels. In the present article, we present data charting the performance of the four systems when reasoning in environments of various entropy levels. The results illustrate variations in the performance of the respective reasoning systems that derive from the entropy of the environment, and allow for a more inclusive assessment of the reliability and robustness of the four systems. (shrink)

What is the connection between justification and the kind of consequence relations that are studied by logic? In this essay, I shall try to provide an answer, by proposing a general conception of the kind of inference that counts as justified or rational.

Defenders of Inference to the Best Explanation claim that explanatory factors should play an important role in empirical inference. They disagree, however, about how exactly to formulate this role. In particular, they disagree about whether to formulate IBE as an inference rule for full beliefs or for degrees of belief, as well as how a rule for degrees of belief should relate to Bayesianism. In this essay I advance a new argument against non-Bayesian versions of IBE. My (...) argument focuses on cases in which we are concerned with multiple levels of explanation of some phenomenon. I show that in many such cases, following IBE as an inference rule for full beliefs leads to deductively inconsistent beliefs, and following IBE as a non-Bayesian updating rule for degrees of belief leads to probabilistically incoherent degrees of belief. (shrink)

Why should ‘better than’ be transitive? The leading answer in ethics is that values do not change with context. But this cannot be the entire source of transitivity, I argue, since transitivity can fail even if values never change, so long as they are complex, with multiple dimensions combined non-additively. I conclude by exploring a new hypothesis: that all alleged cases of nontransitive betterness, such as Parfit’s Repugnant Conclusion, can and should be modelled as the result of complexity, not (...) context-relativity. (shrink)

I argue that inference can tolerate forms of self-ignorance and that these cases of inference undermine canonical models of inference on which inferrers have to appreciate (or purport to appreciate) the support provided by the premises for the conclusion. I propose an alternative model of inference that belongs to a family of rational responses in which the subject cannot pinpoint exactly what she is responding to or why, where this kind of self-ignorance does nothing to undermine (...) the intelligence of the response. (shrink)

We argue that stereotypes associated with concepts like he-said–she-said, conspiracy theory, sexual harassment, and those expressed by paradigmatic slurs provide “normative inference tickets”: conceptual permissions to automatic, largely unreflective normative conclusions. These “mental shortcuts” are underwritten by associated stereotypes. Because stereotypes admit of exceptions, normative inference tickets are highly flexible and productive, but also liable to create serious epistemic and moral harms. Epistemically, many are unreliable, yielding false beliefs which resist counterexample; morally, many perpetuate bigotry and oppression. Still, (...) some normative inference tickets, like some activated by sexual harassment, constitute genuine moral and hermeneutical advances. For example, our framework helps explain Miranda Fricker’s notion of “hermeneutical lacunae”: what early victims of “sexual harassment” — as well as their harassers — lacked before the term was coined was a communal normative inference ticket — one that could take us, collectively, from “this is happening” to “this is wrong.”. (shrink)

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

On what I take to be the standard account of supererogation, an act is supererogatory if and only if it is morally optional and there is more moral reason to perform it than to perform some permissible alternative. And, on this account, an agent has more moral reason to perform one act than to perform another if and only if she morally ought to prefer how things would be if she were to perform the one to how things would be (...) if she were to perform the other. I argue that this account has two serious problems. The first, which I call the latitude problem, is that it has counterintuitive implications in cases where the duty to be exceeded is one that allows for significant latitude in how to comply with it. The second, which I call the transitivity problem, is that it runs afoul of the plausible idea that the one-reason-morally-justifies-acting-against-another relation is transitive. What’s more, I argue that both problems can be overcome by an alternative account, which I call the maximalist account. (shrink)

Biological sex should be “acknowledged” and “accepted”—but which responses to gender dysphoria might this preclude? Trans-identified people may factually acknowledge their biological sex and regard transition as purely palliative. While generally some level of self-deception and even a high level of nonlying deception of others are sometimes justified, biological sex is important, and there is a nontrivial onus against even palliative, nonsexually motivated cross-dressing. The onus is higher against co-opting the body, even in a minor and/or reversible way, to make (...) a false communication concerning one’s sex. Hardest to defend is the destruction of sexual–reproductive functions and causally downstream functions such as lactation: due to the transcendent nature of sexual–reproductive functions, an appeal to the “principle of totality” here is misplaced. This is not to say that social, and milder medical, transition is absolutely excluded even for severe unmanageable dysphoria, nor that subsequent to any transition, detransition is necessarily required. (shrink)

"Correlation is not causation" is one of the mantras of the sciences—a cautionary warning especially to fields like epidemiology and pharmacology where the seduction of compelling correlations naturally leads to causal hypotheses. The standard view from the epistemology of causation is that to tell whether one correlated variable is causing the other, one needs to intervene on the system—the best sort of intervention being a trial that is both randomized and controlled. In this paper, we argue that some purely correlational (...) data contains information that allows us to draw causal inferences: statistical noise. Methods for extracting causal knowledge from noise provide us with an alternative to randomized controlled trials that allows us to reach causal conclusions from purely correlational data. (shrink)

It is argued that if we take grounding to be univocal, then there is a serious tension between truth-grounding and one commonly assumed structural principle for grounding, namely transitivity. The primary claim of the article is that truth-grounding cannot be transitive. Accordingly, it is either the case that grounding is not transitive or that truth-grounding is not grounding, or both.

This paper presents a new problem for the inference rule commonly known as Inference to the Best Explanation (IBE). The problem is that uncertainty about parts of one’s evidence may undermine the inferrability of a hypothesis that would provide the best explanation of that evidence, especially in cases where there is an alternative hypothesis that would provide a better explanation of only the more certain pieces of evidence. A potential solution to the problem is sketched, in which IBE (...) is generalized to handle uncertain evidence by invoking a notion of evidential robustness. (shrink)

Frank Cabrera argues that informational explanatory virtues—specifically, mechanism, precision, and explanatory scope—cannot be confirmational virtues, since hypotheses that possess them must have a lower probability than less virtuous, entailed hypotheses. We argue against Cabrera’s characterization of confirmational virtue and for an alternative on which the informational virtues clearly are confirmational virtues. Our illustration of their confirmational virtuousness appeals to aspects of causal inference, suggesting that causal inference has a role for the explanatory virtues. We briefly explore this possibility, (...) delineating a path from Mill’s method of agreement to Inference to the Best Explanation (IBE). (shrink)

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims (...) are true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (shrink)

This article develops a detailed, empirically driven analysis of the nature of the transition costs incurred in becoming disabled. Our analysis of the complex nature of these costs supports the claim that it can be wrong to cause disability, even if disability is just one way of being different. We also argue that close attention to the nature of transition costs gives us reason to doubt that well-being, including transitory impacts on well-being, is the only thing that should determine the (...) wrongness of causing or removing disability. Non-welfare considerations also defeat the claim that it is always wrong to cause disability. The upshot of these conclusions is that closer attention to the nature of transition costs supports disabled people who strenuously contest the assumption that their well-being is lower than nondisabled people. It also suggests that, in addition, disabled people should contest their opponents’ narrow account of how we should make ethical decisions regarding causing or failing to prevent disability. (shrink)