This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step (...) activity, with the first step involving making counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

In this paper, I flesh out an account of the inferential basing relation using a theory about how humans reason: the mental models theory. I critically assess some of the notions that are used by that theory to account for inferential phenomena. To the extent that the mental models theory is well confirmed, that account of basing would be motivated on empirical grounds. This work illustrates how epistemologists could offer explications of the basing relation which are more detailed (...) and less empirically risky. (shrink)

Together, the code and inferential models of communication are often thought to range over all cases of communication. However, their prevailing versions seem unable to fully explain what I call underdeterminacy without ostension. The latter is constituted by communication where stimuli that are not (nor appear to be) produced with communicative or informative intentions nevertheless communicate information underdetermined by the relevant codes. Though the prevailing accounts of communication cannot fully explain how communication works in such cases, I suggest that (...) some version of the inferential model can—if we allow it to extend to non‐ostensive, non‐intentional behaviors. (shrink)

This paper aims to meet an objection that has been raised against structural empiricism known as the “loss of reality objection.” I argue that an inferential approach to scientific representation allows the structural empiricist to account for the representation of phenomena by data models and ensures that such a representation is not arbitrary. By the notions of immersion, derivation, and interpretation, I show how data models are able to represent phenomena in a non-arbitrary manner. I conclude this paper with (...) a programmatic outline of a view that arises from the theses defended throughout the article and that I would like to call “semantic structuralism.”. (shrink)

A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...) In this paper we tackle this expressive issue. We assume some background sentential language as given and define what we call an inferential language, that is, a language whose atomic formulas are inferences. We provide a model-theoretic characterization of validity for this language—relative to some given characterization of validity for the background sentential language—and provide a proof-theoretic analysis of validity. We argue that our novel language has fruitful philosophical applications. Lastly, we generalize some of our definitions and results to arbitrary metainferential levels. (shrink)

While the situationist challenge has been prominent in philosophical literature in ethics for over a decade, only recently has it been extended to virtue epistemology . Alfano argues that virtue epistemology is shown to be empirically inadequate in light of a wide range of results in social psychology, essentially succumbing to the same argument as virtue ethics. We argue that this meeting of the twain between virtue epistemology and social psychology in no way signals the end of virtue epistemology, but (...) is rather a boon to naturalized virtue epistemology. We use Gird Gigerenzer’s models for bounded rationality (2011) to present a persuasive line of defense for virtue epistemology, and consider prospects for a naturalized virtue epistemology that is supported by current research in psychology. (shrink)

I introduce the Displaced Perception Model of Introspection developed by Dretske which treats introspection of phenomenal states as inferential and criticize it.

This paper argues that it is possible to embrace the predictive processing framework (PP) without reducing affordances to inferential perception. The cognitivist account of PP contends that it can capture relational perception, such as affordances. The rationale for this claim is that over time, sensory data becomes highly-weighted. This paper, however, will show the inconsistency of this claim in the face of the cognitivist premise that ‘encapsulated’ models can throw away ‘the body, the world, or other people’ [Hohwy 2016: (...) 265]. It is then showed how it is possible to embrace a non-cognitivist reading of PP—one that does not need to reduce affordances to representational content. (shrink)

Prediction Error Minimization theory (PEM) is one of the most promising attempts to model perception in current science of mind, and it has recently been advocated by some prominent philosophers as Andy Clark and Jakob Hohwy. Briefly, PEM maintains that “the brain is an organ that on aver-age and over time continually minimizes the error between the sensory input it predicts on the basis of its model of the world and the actual sensory input” (Hohwy 2014, p. 2). (...) An interesting debate has arisen with regard to which is the more adequate epistemological interpretation of PEM. Indeed, Hohwy maintains that given that PEM supports an inferential view of perception and cognition, PEM has to be considered as conveying an internalist epistemological perspective. Contrary to this view, Clark maintains that it would be incorrect to interpret in such a way the indirectness of the link between the world and our inner model of it, and that PEM may well be combined with an externalist epistemological perspective. The aim of this paper is to assess those two opposite interpretations of PEM. Moreover, it will be suggested that Hohwy’s position may be considerably strengthened by adopting Carlo Cellucci’s view on knowledge (2013). (shrink)

The paper presents an inferential model of explicit communication based on the speaker’s interests and the addressee’s beliefs. After the introduction, the paper sets out some notions concerning explicit communication within the frameworks of truth-conditional pragmatics and relevance theory. The third section describes the phenomenon of semantic underdeterminacy, and the fourth section introduces non-demonstrative inferences in communication. The fifth section presents the model. The main notions involved are the speaker’s intended meaning and the addressee’s intended meaning. The (...) former notion is centered on the speaker’s interest in situation: a speaker intends the meaning of an utterance on the basis of a partial order of preference with respect to a set of contextually plausible meanings. The latter notion is centered on the addressee’s communicative inference, which is based on the addressee’s belief about the speaker’s interest. The paper takes the notion of interest from cognitive social theory, the notion of meaning from semantics, and the notion of explicit meaning from pragmatics; and it uses the notion of communicative inference for explicit meaning in partial accordance with relevance theory. In the sixth section, the paper argues in favor of the inferential approach compared with the associative approach in determination of “what is said.” The paper’s method is conceptual analysis of declarative utterances used in communicative situations. The main finding of the paper has been to show that, in contextual underdeterminacy cases, speaker’s interest is a determining factor in communicative processes. Keywords: states of affairs; truth-conditions; semantic underdeterminacy; contextual underdeterminacy; speaker’s interest; goal-conditions; speaker’s intended meaning; addressee’s belief; communicative inference; addressee’s intended meaning; shared intended meaning; explicit communication. (shrink)

A key assumption fuelling optimism about the progress of Large Language Models (LLMs) in modelling the world is that the truth is systematic: true statements about the world form a whole that is not just consistent, in that it contains no contradictions, but cohesive, in that the truths are inferentially interlinked. This holds out the prospect that LLMs might rely on that systematicity to fill in gaps and correct inaccuracies in the training data: consistency and cohesiveness promise to facilitate progress (...) towards comprehensiveness in an LLM’s representation of the world. However, philosophers have identified reasons to doubt that the truth is systematic across all domains of thought, arguing that in normative domains, in particular, the truth is not necessarily systematic. I argue that insofar as the truth in normative domains is asystematic, this renders it correspondingly harder for LLMs to make progress, because they cannot rely on the consistency and cohesiveness of the truth to work towards comprehensiveness. And the less LLMs can rely on the systematicity of truth, the less we can rely on them to do our practical deliberation for us, as there is correspondingly more of a role for human agency in navigating asystematic normative domains. (shrink)

A considerable body of recent work in developmental psychology and animal behavior has addressed the cognitive processes required to recognize oneself in a mirror. Most models of such "mirrored self-recognition" (MSR) treat it as the result of inferential processes drawing on the subject’s possession of some sort of mature "self-awareness". The present chapter argues that such an approach to MSR is not obligatory, and suggests some empirical grounds for rejecting it. We also sketch the outlines of an alternative, "embodied" (...) theory of MSR, and propose a way to evaluate it using the tools of adaptive robotics. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in (...) the treatment of the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

Phylogeography, a relatively new subdicipline of evolutionary biology that attempts to unify the fields of phylogenetics and population biology in an explicit geographical context, has hosted in recent years a highly polarized debate related to the purported benefits and limitations that qualitative versus quantitative methods might contribute or impose on inferential processes in evolutionary biology. Here we present a friendly, non-technical introduction to the conflicting methods underlying the controversy, and exemplify it with a balanced selection of quotes from the (...) primary biological literature, to invite the philosophy of biology community to pay attention to the elements that have played a primary role in its presumed resolution. We also present the basic features of our own metascientific take on the debate, and point out—as a preliminary step in preparation for upcoming, more detailed treatments—the importance that appeals to authority in fields external to phylogeography per se have played in the current status of this highly visible evolutionary biology dispute. (shrink)

Generally, an epistemic fallibilist considers it reasonable to claim, “I know that P, but I may be wrong.” An epistemic infallibilist, on the other hand, would consider this claim absurd. I argue initially that infallibilism presents more advantages in its assertion of the claim’s absurdity than fallibilism does in making the claim. One, infallibilism is not faulted with the propensity for violations of epistemic closure that beleaguers some fallibilist accounts, due in part to the latter’s problematic shunting of fallible epistemic (...) standards across inferential chains. Two, infallibilism is more easily modelled doxastically than fallibilism, as the former’s understanding of certainty is more tractable than the latter’s idea of what counts as a viable standard of fallibility. A rectification of these fallibilist issues may then be called upon to motivate gradualist variants of fallibilism. For epistemic gradualism, the problematic modellability and shunting of standards is curtailed via an awareness that the standard for knowledge is just one out of many along a gradient that includes, at one extreme, the infallibilist standard of certainty. Specifically, first, gradualism, along with infallibilism, can be modelled doxastically through elucidating upon an obtaining relation between doubt and knowledge; next, the problem with violating closure, although not generally applicable to infallibilism, can be answered by gradualism with a reasonable denial of closure altogether that makes precise which epistemic standard is relevant for which part of an inferential chain; lastly, these modelling resources can be appropriated, by both gradualism and infallibilism, to successfully address a doxastically pertinent form of closure violation called rational self-doubt. (shrink)

In previous papers I have characterized four ways of reasoning in Peirce’s philosophy, and four ways of reasoning in Computability Theory. I have established their correspondence on the basis of the four pairs of choices regarding two dichotomies, respectively the dichotomy between two kinds of Mathematics and the dichotomy between two kinds of Logic. In the present paper I introduce four principles of reasoning in theoretical Physics and I interpret also them by means of the four pairs of choices regarding (...) the above two dichotomies. I show that there exists a meaningful correspondence among the previous three fourfold sets of elements. This convergence of the characteristic ways of reasoning within three very different fields of research - Peirce’s philosophy, Computability theory and physical theories - suggests that there exists a general-purpose structure of four ways of reasoning. This structure is recognized as applied by Mendeleev when he built his periodic table. Moreover, it is shown that a chemist-, applies all the above ways of reasoning at the same time. Peirce’s professional practice as a chemist applying at the same time this variety of reasoning explains his stubborn research into the variety of the possible inferences. (shrink)

In their article, Thom Scott‐Phillips, Stefaan Blancke, and Christophe Heintz do a commendable job summarizing the position and misunderstandings of “cultural attraction theory” (CAT). However, they do not address a longstanding problem for the CAT framework; that while it has an encompassing theory and some well‐worked out case studies, it lacks tools for generating models or empirical hypotheses of intermediate generality. I suggest that what the authors diagnose as misunderstandings are instead superficial interpretive errors, resulting from researchers who have attempted (...) to extract generalizable hypotheses from CAT and bring them into contact with the analytical and inferential models of contemporary cultural evolutionary research. (shrink)

In philosophy of language, a distinction has been proposed between two aspects of lexical competence, i.e. referential and inferential competence (Marconi 1997). The former accounts for the relationship of words to the world, the latter for the relationship of words among themselves. The distinction may simply be a classification of patterns of behaviour involved in ordinary use of the lexicon. Recent research in neuropsychology and neuroscience, however, suggests that the distinction might be neurally implemented, i.e., that different cognitive architectures (...) with partly distinct neural realizations might be responsible for cognitive performances involving inferential and referential aspects of semantics. This hypothesis is strongly consistent with patient data supporting the notion of a functional double dissociation between inferential and referential abilities, and with a set of direct cortical mapping studies and neuroimaging experiments suggesting that inferential and referential abilities are underpinned by at least partly different regions of the human brain (e.g., Marconi et al. 2013; review in Calzavarini 2017). The initial hypotheses formulated in the setting of the philosophy of language, along with the neuropsychological experimental evidence (about how referential and inferential competences may be neurally instantiated) can be the input to computational modelling activities involving the inferential and the referential aspects of lexical competence. The aim of the talk is to offer a critical discussion of the kind of formalisms that can be used to model the two aspects of lexical competence, and of the main difficulties related to the use of these computational techniques. -/- Inferential (=symbolic) vs referential (=connectionist) formalisms. (shrink)

Standard models of visual perception hold that vision is an inferential or interpretative process. Such models are said to be superior to competing, non-inferential views in explanatory power. In particular, they are said to be capable of explaining a number of otherwise mysterious, visual phenomena such as multi-stable perception. Multi-stable perception paradigmatically occurs in the presence of ambiguous figures, single images that can give rise to two or more distinct percepts. Different interpretations are said to produce the different (...) percepts. In this paper, I argue that a non-inferential account of visual perception is just as capable of explaining multi-stable perception. I propose an embedded understanding of vision, and show how the embedded account can, after properly qualifying them, use the explanatory resources of the inferential view to explain just what such a view explains. (shrink)

Contentful Moral Perceptualists such as Audi (2013), Lord (2018), McNaughton (1988), McBrayer (2010a, 2010b), Cowan (2014, 2015), and Werner (2016, 2018) claim that moral propositions can serve as the content of perception for moral subjects. However, in my original interpretation, recent critics of moral perceptualism, such as Faraci (2015), Väyrynen (2018), and Chudnoff (2015), subtly suggest that it is more reasonable to claim that moral propositions are the content of cognition rather than perception. Faraci, Väyrynen, and Chudnoff argue that the (...) so-called "moral perception" posited by Contentful Moral Perceptualists is actually dominated by dominative moral principles, representing a psychological state inferred from principles. Therefore, these critics believe that the so-called "moral perception" lacks the non-inferential characteristic of genuine perceptual experience and is not true perception. This paper will evaluate whether the "contentful moral perceptual model" can respond to the challenges posed by these critics. I will provide a preliminary defense for an affirmative answer. -/- Keywords: Moral Perception, Phenomenal Contrast Method, Perceptual Content, Phenomenal Experience, Non-Inferential Characteristics of Perception . (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

The reduction of grounding to causation, or each to a more general relation of which they are species, has sometimes been justified by the impressive inferential capacity of structural equation modelling, causal Bayes nets, and interventionist causal modelling. Many criticisms of this assimilation focus on how causation is inadequate for grounding. Here, I examine the other direction: how treating grounding in the image of causation makes the resulting view worse for causation. The distinctive features of causal modelling that make (...) this connection appealing are distorted beyond use by forcing them to fit onto grounding. The very inferential strength that makes causation attractive is only possible because of a narrow construal of what counts as a causal relation; as soon as that broadens, the inferential capacity markedly diminishes. Making causation suitable for application to grounding spoils what was appealing about causation for this task in the first place. However, grounding need not appeal to causation: causal modelling does not have exclusive claim to structural equation modeling or other formal techniques of modelling structure. I offer a case in favour of a different kind of metaphysical frugality, which tend towards narrow, more restrictive construals of relations like causation or grounding, because then each relation behaves more homogenously. This more homogenous behavior delivers stronger inferential power per relation even though there may be more relations to which one is committed. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has (...) the effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

In this paper we argue that the different positions taken by Dyson and Feynman on Feynman diagrams’ representational role depend on different styles of scientific thinking. We begin by criticizing the idea that Feynman Diagrams can be considered to be pictures or depictions of actual physical processes. We then show that the best interpretation of the role they play in quantum field theory and quantum electrodynamics is captured by Hughes' Denotation, Deduction and Interpretation theory of models (DDI), where “models” are (...) to be interpreted as inferential, non-representational devices constructed in given social contexts by the community of physicists. (shrink)

In philosophy of language, a distinction has been proposed by Diego Marconi between two aspects of lexical competence, i.e. referential and inferential competence. The former accounts for the relation-ship of words to the world, the latter for the relationship of words among themselves. The aim of the pa-per is to offer a critical discussion of the kind of formalisms and computational techniques that can be used in Artificial Intelligence to model the two aspects of lexical competence, and of (...) the main difficulties related to the use of these computational techniques. The first conclusion of our discussion is that the dis-tinction between inferential and referential semantics is instantiated in the literature of Artificial Intelli-gence by the distinction between symbolic and connectionist approaches. The second conclusion of our discussion is that the modelling of lexical competence needs the advent of hybrid models integrating symbolic and connectionist frameworks. Our hypothesis is that Conceptual Spaces, a framework devel-oped by Gärdenfors more than fifteen years ago, can offer a lingua franca that allows to unify and gener-alize many aspects of the representational approaches mentioned above and to integrate “inferential” (=symbolic) and “referential” (=connectionist) computational approaches on common ground. (shrink)

A B S T R A C T This paper examines business level strategies and the impact of strategy formulation, strategy content and strategy implementation on competitive performance, all within the food manufacturing sector in Zimbabwe. As far as the author was able to establish by examining the previous studies, none of the previous studies have looked into strategic formulation, business-level strategy and strategy implementation simultaneously in a single study. The objective of this research study is premised on establishing cause (...) and remedies to gain competitiveness in the food manufacturing sector in Zimbabwe. Survey data affecting manufacturing sector competiveness like corruption, finance, technology, labour force, uncompetitive exports, unreliable and high cost electricity were analysed. Furthermore this study considers the moderating effects of environment on the relationship between strategy formulation and competitive performance and strategy content and implementation. The paper also assesses the moderating effect of business level structure on the relationship between strategy formulation content and competitive implementation performance. This study also addresses some of the methodological shortcomings of the previous studies by clearly defining the food manufacturing industry in Zimbabwe, using a good sample size and by using properly validated constructs. The sample size of this research paper consisted of 150 Chief Executive Officers located in Harare, Bulawayo, Mutare, Gweru and Masvingo in Zimbabwean. The research instrument used was the self – administered questionnaire. Data collected was analyzed using both inferential and descriptive statistical tools. The structural model indicates that some of the bivariate relationships become insignificant when strategy formulation is studied along with business-level strategy and strategy implementation simultaneously. Results obtained from the study revealed that strategy formulation and implementation if fully practiced in food manufacturing organisations enhances efficiency, profitability and competitive advantage in a dynamic environments. The paper recommended a conceptual model for Strategy formulation and implementation for competitive advantage in the food manufacturing industry in Zimbabwe. (shrink)

Inferentialism is the view that representational content is explained by lingual or mental states interacting according to inferential rules. Mendelovici and Bourget have argued against inferentialism that rules of inference do not sufficiently constrain content. This paper argues that their argument can be further strengthened such that its conclusion yields that content and inferential roles are strictly independent. It will then be argued that this conclusion is untenable and that the argument, rather than undermining inferentialism, corrodes the (...) class='Hi'>model theoretic foundations of standard philosophical semantics. The paper concludes with some hints towards an alternative semantic paradigm. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of (...) the properties of this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that (...) interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of (...) conceptual structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

First aim of this paper is to show that Evidentialism, when paired with a Psychologistic ontology of evidence, is unable to account for ordinary cases of inferential justification. As many epistemologists have maintained, however, when it is paired with a Propositionalist ontology of evidence, Evidentialism is unable to explain in a satisfactory way ordinary cases of perceptual justification. So, the Evidentialist is faced with a dilemma. Second aim of this paper is to give an argument in favour of Propositionalism (...) about evidence, and so to motivate the conclusion that perceptual justification must be accounted for in non-evidentialist terms. By this I do not mean to defend a strongly Non-Evidentialist epistemology, according to which there are doxastic attitudes which are unsupported by any justifier. More modestly, I aim to motivate the weakly Non-Evidentialist epistemology according to which a subject’s perceptual beliefs may be justified by non-evidential justifiers. I conclude the paper by explaining why I believe that Pryor's dogmatism supplies a model for the way in which an internalist who is persuaded by my argument might want to detail her weakly Non-Evidentialist account of perceptual justification. (shrink)

This paper compares current ways of modeling the inferential structure of practical reasoning arguments, and proposes a new approach in which it is regarded in a modular way. Practical reasoning is not simply seen as reasoning from a goal and a means to an action using the basic argumentation scheme. Instead, it is conceived as a complex structure of classificatory, evaluative, and practical inferences, which is formalized as a cluster of three types of distinct and interlocked argumentation schemes. Using (...) two real examples, we show how applying the three types of schemes to a cluster of practical argumentation allows an argument analyst to reconstruct the tacit premises presupposed and evaluate the argumentative reasoning steps involved. This approach will be shown to overcome the limitations of the existing models of practical reasoning arguments within the BDI and commitment theoretical frameworks, providing a useful tool for discourse analysis and other disciplines. In particular, applying this method brings to light the crucial role of classification in practical argumentation, showing how the ordering of values and preferences is only one of the possible areas of deep disagreement. (shrink)

Alvin Plantinga theorizes the existence of a sensus divinitatis – a special cognitive faulty or mechanism dedicated to the production and non-inferential justification of theistic belief. Following Chris Tucker, we offer an evidentialist-friendly model of the sensus divinitatis whereon it produces theistic seemings that non-inferentially justify theistic belief. We suggest that the sensus divinitatis produces these seemings by tacitly grasping support relations between the content of ordinary experiences (in conjunction with our background evidence) and propositions about God. Our (...) model offers advantages such as eliminating the need for a sui generis religious faculty, harmonizing the sensus divinitatis with prominent theories in the cognitive science of religion, and providing a superior account of natural revelation. (shrink)

Predictive approaches to the mind claim that perception, cognition, and action can be understood in terms of a single framework: a hierarchy of Bayesian models employing the computational strategy of predictive coding. Proponents of this view disagree, however, over the extent to which perception is direct on the predictive approach. I argue that we can resolve these disagreements by identifying three distinct notions of perceptual directness: psychological, metaphysical, and epistemological. I propose that perception is plausibly construed as psychologically indirect on (...) the predictive approach, in the sense of being constructivist or inferential. It would be wrong to conclude from this, however, that perception is therefore indirect in a metaphysical or epistemological sense on the predictive approach. In the metaphysical case, claims about the inferential properties of constructivist perceptual mechanisms are consistent with both direct and indirect solutions to the metaphysical problem of perception (e.g. naïve realism, representationalism, sense datum theory). In the epistemological case, claims about the inferential properties of constructivist perceptual mechanisms are consistent with both direct and indirect approaches to the justification of perceptual belief. In this paper, I demonstrate how proponents of the predictive approach have conflated these distinct notions of perceptual directness and indirectness, and I propose alternative strategies for developing the philosophical consequences of the approach. (shrink)

Humean Supervenience is a metaphysical model of the world according to which all truths hold in virtue of nothing but the total spatiotemporal distribution of perfectly natural, intrinsic properties. David Lewis and others have worked out many aspects of HS in great detail. A larger motivational question, however, remains unanswered: As Lewis admits, there is strong evidence from fundamental physics that HS is false. What then is the purpose of defending HS? In this paper, we argue that the philosophical (...) merit of HS is largely independent of whether it correctly represents the world’s fundamental structure. In particular, we show that insofar as HS is an apt model of the world’s higher-level structure, it thereby provides a powerful argument for reductive physicalism and explains otherwise opaque inferential relations. Recent criticism of HS on the grounds that it misrepresents fundamental physical reality is, therefore, beside the point. (shrink)

In Talking about, Unnsteinsson defends an intentionalist theory of reference by arguing that confused referential intentions degrade reference. Central to this project is a “belief model” of both identity confusion and unconfused thought. By appealing to a well‐known argument from Campbell, I argue that this belief model falls short, because it fails to explain the inferential behavior it promises to explain. Campbell's argument has been central in the contemporary literature on Frege's puzzle, but Unnsteinsson's account of confusion (...) provides an opportunity for more clarity about how the argument is best interpreted, and what it shows. (shrink)

This paper is an extended prolepsis in favor of epistemic situationism, the thesis that epistemic virtues are not sufficiently widely distributed for a virtue-theoretic constraint on knowledge to apply without leading to skepticism. It deals with four objections to epistemic situation: 1) that virtuous dispositions are not required for knowledge, 2) that the Big Five or Big Six personality model proves that intellectual virtues are a reasonable ideal, 3) that the cognitive-affective personality system framework proves that intellectual virtues are (...) a reasonable ideal, and 4) that weakening the reliability requirement through epistemic dependence or abilism means that common inferential strategies really are virtues. The paper concludes with reflections on the replication crisis in psychological science. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Under what conditions is a belief inferentially justified? A partial answer is found in Justification from Justification : a belief is inferentially justified only if all of the beliefs from which it is essentially inferred are justified. After reviewing some important features of JFJ, I offer a counterexample to it. Then I outline a positive suggestion for how to think about inferentially justified beliefs while still retaining a basing condition. I end by concluding that epistemologists need a model of (...) inferentially justified belief that is more permissive and more complex than JFJ. (shrink)

A recent surge of work on prediction-driven processing models--based on Bayesian inference and representation-heavy models--suggests that the material basis of conscious experience is inferentially secluded and neurocentrically brain bound. This paper develops an alternative account based on the free energy principle. It is argued that the free energy principle provides the right basic tools for understanding the anticipatory dynamics of the brain within a larger brain-body-environment dynamic, viewing the material basis of some conscious experiences as extensive--relational and thoroughly world-involving.

Picturing is a poorly understood element of Sellars’s philosophical project. We diagnose the problem with picturing as follows: on the one hand, it seems that it must be connected with action in order for it to do its job. On the other hand, the representational states of a picturing system are characterized in descriptive and seemingly static terms. How can static terms be connected with action? To solve this problem, we adopt a concept from recent work in Sellarsian metaethics: the (...) idea of a material practical inference, which (we argue) features centrally in how we picture. The key distinction is that the picturing of nonhuman animals involves only Humean material practical inference, in which representational states are corrected only by feedback from the environment and not from discursive interactions. The resulting view shows that Sellars’s contributions to practical philosophy (especially theory of action and metaethics) cannot be separated from his contributions to philosophy of mind, language, and cognitive science. Further, the view makes it clear that picturing is neither a version of the Given, nor is it a fifth wheel to inferential role in explaining representation, but is essential to Sellars’s model of how animals—including humans—represent their environment. (shrink)

We report the results of four empirical studies designed to investigate the extent to which an epistemic closure principle for knowledge is reflected in folk epistemology. Previous work by Turri (2015a) suggested that our shared epistemic practices may only include a source-relative closure principle—one that applies to perceptual beliefs but not to inferential beliefs. We argue that the results of our studies provide reason for thinking that individuals are making a performance error when their knowledge attributions and denials conflict (...) with the closure principle. When we used research materials that overcome what we think are difficulties with Turri’s original materials, we found that participants did not reject closure. Furthermore, when we presented Turri’s original materials to non-philosophers with expertise in deductive reasoning (viz., professional mathematicians), they endorsed closure for both perceptual and inferential beliefs. Our results suggest that an unrestricted closure principle—one that applies to all beliefs, regardless of their source—provides a better model of folk patterns of knowledge attribution than a source-relative closure principle. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

This paper explores mutable futurism, the view according to which the future can literally change—that is, it can happen that a future time t changes from containing an event E to lacking it. Mutable futurism has received little attention so far, and the details and implications of the view are underexplored in the literature. For instance, it currently lacks a precise metaphysical model and a formal semantics. Although we do not endorse mutable futurism, our goal here is to strengthen (...) the case for mutable futurism and help establish it as a worthy contender in the debate on the philosophy of time. To attain this goal, we try to make mutable futurism, along with its metaphysical and inferential commitments, as clear as possible, by providing it with a coherent metaphysical model and a plausible semantics, and we show that it can be backed by theoretical reasons. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of (...) several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...) an unacceptable form of bootstrapping. We devise new formal models to identify necessary and sufficient conditions for these principles to hold on conceptions that construe knowledge in terms of true counterparts. These conditions state that counterparts of premise and conclusion beliefs are coordinated in certain ways whenever these beliefs stand in the relevant inferential relations. We show that the safety conception faces insuperable problems vindicating these coordination principles, because its epistemic counterpart relation is symmetric. We conclude that it thus proves unable to account for minimal closure properties of knowledge. More generally, our formal results establish parameters within which any conception must operate that construes knowledge in terms of true counterparts. (shrink)

Ideas found in the early Daoist texts can inform current debates about disability, since the latter often involve assumptions about personhood and agency that Daoist texts do not share. The two canonical texts of classical Daoism, the Daodejing and the Zhuangzi, do not explicitly discuss disability as an object of theory or offer a model of it. They do, however, provide conceptual resources that can enrich contemporary discussions of disability. Two particular ideas are discussed here. Classical Daoist thinking about (...) the body undermines normative assumptions about it that attributions of ‘disabled’ often depend upon; and Daoism vividly problematises the common inferential leap from perceived and pronounced incapacity to a more general judgment of “useless”. In conclusion, I suggest that Daoism’s skepticism and particularistic approach to experience suggest caution about the value of appealing to theoretical models of disability. (shrink)

Some defenders of so-called `artificial intelligence' believe that machines can understand language. In particular, Søgaard has argued in his "Understanding models understanding language" (2022) for a thesis of this sort. His idea is that (1) where there is semantics there is also understanding and (2) machines are not only capable of what he calls `inferential semantics', but even that they can (with the help of inputs from sensors) `learn' referential semantics. We show that he goes wrong because he pays (...) insufficient attention to the difference between language as used by humans and the sequences of inert symbols which arise when language is stored on hard drives or in books in libraries. (shrink)