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)

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)

The aim of this article is to show that, just like in recent years Cobreros, Égré, Ripley and van Rooij provided a non-transitive counterpart of classical logic (meaning by this that 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. In order to establish this fact, we take a semantic approach, 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)

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 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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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 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)

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)

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)

Research on transition to higher education and young people with disabilities has increased in recent years. However, there is still limited understanding of transition issues and how digital technologies, such as social media and mobile devices, are used by this group of students to manage these issues. This article presents the findings of an empirical study that addressed this matter based on young people’s views and experiences. The qualitative study was conducted in the context of a group of students with (...) vision impairments transitioning to a New Zealand university. The findings draw from observations, a researcher diary, focus groups, individual interviews, and data from social media. The study shows that, like their non-disabled peers, the students actively engaged with interactive and collaborative digital technologies to make sense, individually and collectively, of different transition issues before, during and after the first academic trimester of their university journey. (shrink)

This article introduces Transition 2.0, a paradigm shift designed to study and support students with disabilities' transition to higher education. Transition 2.0 is the result of a qualitative study about how a group of young people with vision impairments used digital technologies for their transition to university. The findings draw from observations, a researcher diary, focus groups, individual interviews, and data from social media. The article discusses a conventional view of transition, referred to here as Transition 1.0, which has dominated (...) disability-related research and service provision in higher education. It counters this view by further developing the conceptual framework for Transition 2.0. The findings expand current conceptual approaches to transition by incorporating in the analysis the role played by digital tools such as social media and mobile devices. They also provide a new lens through which to study and understand student engagement in higher education. (shrink)

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)

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)

We argue in Roche and Sober (2013) that explanatoriness is evidentially irrelevant in that Pr(H | O&EXPL) = Pr(H | O), where H is a hypothesis, O is an observation, and EXPL is the proposition that if H and O were true, then H would explain O. This is a “screening-off” thesis. Here we clarify that thesis, reply to criticisms advanced by Lange (2017), consider alternative formulations of Inference to the Best Explanation, discuss a strengthened screening-off thesis, and consider (...) how it bears on the claim that unification is evidentially relevant. (shrink)

The counterfactual tradition to defining actual causation has come a long way since Lewis started it off. However there are still important open problems that need to be solved. One of them is the (in)transitivity of causation. Endorsing transitivity was a major source of trouble for the approach taken by Lewis, which is why currently most approaches reject it. But transitivity has never lost its appeal, and there is a large literature devoted to understanding why this is so. Starting from (...) a survey of this work, we will develop a formal analysis of transitivity and the problems it poses for causation. This analysis provides us with a sufficient condition for causation to be transitive, a sufficient condition for dependence to be necessary for causation, and several characterisations of the transitivity of dependence. Finally, we show how this analysis leads naturally to several conditions a definition of causation should satisfy, and use those to suggest a new definition of causation. (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 chapter explores the idea that causal inference is warranted if and only if the mechanism underlying the inferred causal association is identified. This mechanistic stance is discernible in the epidemiological literature, and in the strategies adopted by epidemiologists seeking to establish causal hypotheses. But the exact opposite methodology is also discernible, the black box stance, which asserts that epidemiologists can and should make causal inferences on the basis of their evidence, without worrying about the mechanisms that might underlie (...) their hypotheses. I argue that the mechanistic stance is indeed a bad methodology for causal inference. However, I detach and defend a mechanistic interpretation of causal generalisations in epidemiology as existence claims about underlying mechanisms. (shrink)

I here critique the application of the traditional, similarity-based account of natural kinds to debates in psychology. A challenge to such accounts of kindhood—familiar from the study of biological species—is a metaphysical phenomenon that I call ‘transitional gradation’: the systematic progression of slightly modified transitional forms between related candidate kinds. Where such gradation proliferates, it renders the selection of similarity criteria for kinds arbitrary. Reflection on general features of learning—especially on the gradual revision of concepts throughout the acquisition of expertise—shows (...) that even the strongest candidates for similarity-based kinds in psychology exhibit systematic transitional gradation. As a result, philosophers of psychology should abandon discussion of kindhood, or explore non-similarity based accounts. (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)

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)

Conspiracy theories are typically thought to be examples of irrational beliefs, and thus unlikely to be warranted. However, recent work in Philosophy has challenged the claim that belief in conspiracy theories is irrational, showing that in a range of cases, belief in conspiracy theories is warranted. However, it is still often said that conspiracy theories are unlikely relative to non-conspiratorial explanations which account for the same phenomena. However, such arguments turn out to rest upon how we define what gets counted (...) both as a ‘conspiracy’ and a ‘conspiracy theory’, and such arguments rest upon shaky assumptions. It turns out that it is not clear that conspiracy theories are prima facie unlikely, and so the claim that such theories do not typically appear in our accounts of the best explanations for particular kinds of events needs to be reevaluated. (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)

This paper deals with the question of agency and intentionality in the context of the free-energy principle. The free-energy principle is a system-theoretic framework for understanding living self-organizing systems and how they relate to their environments. I will first sketch the main philosophical positions in the literature: a rationalist Helmholtzian interpretation (Hohwy 2013; Clark 2013), a cybernetic interpretation (Seth 2015b) and the enactive affordance-based interpretation (Bruineberg and Rietveld 2014; Bruineberg et al. 2016) and will then show how agency and intentionality (...) are construed differently on these different philosophical interpretations. I will then argue that a purely Helmholtzian is limited, in that it can account only account for agency in the context of perceptual inference. The cybernetic account cannot give a full account of action, since purposiveness is accounted for only to the extent that it pertains to the control of homeostatic essential variables. I will then argue that the enactive affordance-based account attempts to provide broader account of purposive action without presupposing goals and intentions coming from outside of the theory. In the second part of the paper, I will discuss how each of these three interpretations conceives of the sense agency and intentionality in different ways. (shrink)

Seungbae Park argues that Bas van Fraassen’s rejection of inference to the best explanation (IBE) is problematic for his contextual theory of explanation because van Fraassen uses IBE to support the contextual theory. This paper provides a defense of van Fraassen’s views from Park’s objections. I point out three weaknesses of Park’s objection against van Fraassen. First, van Fraassen may be perfectly content to accept the implications that Park claims to follow from his views. Second, even if van Fraassen (...) rejects IBE he may still endorse particular arguments that instantiate IBE. Third, van Fraassen does not, in fact, use IBE to support his contextual theory. (shrink)

What is an inference? Logicians and philosophers have proposed various conceptions of inference. I shall first highlight seven features that contribute to distinguish these conceptions. I shall then compare three conceptions to see which of them best explains the special force that compels us to accept the conclusion of an inference, if we accept its premises.

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)

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)

Inferences from the absence of evidence to something are common in ordinary speech, but when used in scientific argumentations are usually considered deficient or outright false. Yet, as demonstrated here with the help of various examples, archaeologists frequently use inferences and reasoning from absence, often allowing it a status on par with inferences from tangible evidence. This discrepancy has not been examined so far. The article analyses it drawing on philosophical discussions concerning the validity of inference from absence, using (...) probabilistic models that were originally developed to show that such inferences are weak and inconclusive. The analysis reveals that inference from absence can indeed be justified in many important situations of archaeological research, such as excavations carried out to explore the past existence and time-span of sedentary human habitation. The justification is closely related to the fact that archaeology explores the human past via its material remains. The same analysis points to instances where inference from absence can have comparable validity in other historical sciences, and to research questions in which archaeological inference from absence will be problematic or totally unwarranted. (shrink)

What are the prospects (if any) for a virtue-theoretic account of inference? This paper compares three options. Firstly, assess each argument individually in terms of the virtues of the participants. Secondly, make the capacity for cogent inference itself a virtue. Thirdly, recapture a standard treatment of cogency by accounting for each of its components in terms of more familiar virtues. The three approaches are contrasted and their strengths and weaknesses assessed.