Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by (...) taking the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the liar paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the liar paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by (...) taking the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Communication, when defined as an act intended to affect the psychological state of another individual, demands the use of inference. Either the signaler, the recipient, or both must make leaps of understanding which surpass the semantic information available and draw from pragmatic clues to fully imbue and interpret meaning. While research into human communication and the evolution of language has long been comfortable with mentalistic interpretations of communicative exchanges, including rich attributions of mental state, research into animal communication has balked (...) at theoretical models which describe mentalized cognitive mechanisms. We submit a new theoretical perspective on animal communication: the model of inferential communication. For use when existing proximate models of animal communication are not sufficient to fully explain the complex, flexible, and intentional communication documented in certain species, specifically non-human primates, we present our model as a bridge between shallower, less cognitive descriptions of communicative behavior and the perhaps otherwise inaccessible mentalistic interpretations of communication found in theoretical considerations of human language. Inferential communication is a framework that builds on existing evidence of referentiality, intentionality, and social inference in primates. It allows that they might be capable of applying social inferences to a communicative setting, which could explain some of the cognitive processes that enable the complexity and flexibility of primate communication systems. While historical models of animal communication focus on the means-ends process of behavior and apparent cognitive outcomes, inferential communication invites consideration of the mentalistic processes that must underlie those outcomes. We propose a mentalized approach to questions, investigations, and interpretations of non-human primate communication. We include an overview of both ultimate and proximate models of animal communication, which contextualize the role and utility of our inferential communication model, and provide a detailed breakdown of the possible levels of cognitive complexity which could be investigated using this framework. Finally, we present some possible applications of inferential communication in the field of non-human primate communication and highlight the role it could play in advancing progress toward an increasingly precise understanding of the cognitive capabilities of our closest living relatives. (shrink)

Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the (...) dominant paradigm for assessing the rationality of actions and decisions, our present evaluation complements our previous work, since our previous evaluation may have been too severe in its assessment of inferences to false and uninformative conclusions. In the end, our new results provide additional support for the conclusion that (of the four systems considered) inference by system Z offers the best balance of error avoidance and inferential power. Our new results also suggest that improved performance could be achieved by a modest strengthening of system Z. (shrink)

Resumen: Este trabajo es un estudio de casos preliminar y cualitativo, que considera los intercambios dialógicos argumentativos, ante una tarea de dilema moral, de seis parejas de niños y niñas. El análisis de la información se fundamenta en dos enfoques, Visión General Analítica de la Pragmadialéctica, y el Argumentum Model of Topics de la Escuela de Lugano. El análisis de resultados indicó que todos los grupos son capaces de tomar una postura y defender su posición con al menos un argumento. (...) Sin embargo, a medida que los escolares crecen, van construyendo estructuras de argumentación mucho más elaboradas y aumentan la diversidad de loci utilizados. Se concluye que la VGA y el AMT han resultado ser herramientas útiles para describir el desarrollo argumentativo de los escolares a medida que ellos se hacen mayores. -/- Abstract (EN): This paper presents a preliminary and qualitative case study, which considers the argumentative dialogical exchanges, given in a moral dilemma task, of six pairs of boys and girls. The analysis of the information is based on two approaches, Analytical Overview of the Pragmadialectics, and the Argumentum Model of Topics of Lugano School. The results indicated that all groups are able to defend their position with at least one argument. However, as schoolchildren grow up, they build much more elaborate argumentation structures and increase the diversity of loci used. It is concluded that the AO and the AMT have proved to be useful tools to describe the argumentative development of schoolchildren as they get older. (shrink)

Background:The management of challenging behaviours in inpatient with intellectual disability and/or autism spectrum disorders can lead to an escalation of control measures. In these complex situations where patients have an intellectual disability/autism spectrum disorder accompanied by a psychiatric comorbidity, the experiences of caregivers related to the crisis management have rarely been studied.Purpose:This study examined the moral experiences of caregivers related to challenging behaviours’ management and alternatives to control measures.Research design:Using Charles Taylor’s hermeneutic framework, a 2-month focused ethnography with a participatory (...) approach was used.Participants and research context:Sixteen caregivers were interviewed in a Canadian mental health setting for adults with intellectual disability/autism spectrum disorder and psychiatric comorbidity.Ethical considerations:The research was conducted in compliance with the Declaration of Helsinki and local Research Ethics Board approval. Written informed consent was collected systematically from participants.Findings:By accounting for caregivers’ moral experiences, this study sheds light on a neglected dimension of the care relationship: the vulnerability of the caregiver. We highlight the main barriers and facilitators to alternatives to control measures. First, a caregiver’s vulnerability was characterised by the overall impact of challenging behaviours and the moral distress associated with the use of control measures and exclusion mechanisms of intellectual disability/autism spectrum disorder patients. Second, a strong ambiguity between care and control measures and a lack of inclusive approaches were identified as the two main barriers to challenging behaviour management. Third, the involvement, both professional and personal, of caregivers was deemed necessary to implement alternatives to control measures.Discussion:A conflict of values opposes two conceptions of autonomy: a rational autonomy, which is counterproductive to the reduction of control measures, versus a relational autonomy based on shared vulnerability.Conclusion:The recognition of caregiver’s vulnerability is a benchmark to create alternative approaches, which defuse the logic of control and promote an ethics of care within which caregivers’ self-concern can be understood as fostering mutual respect. (shrink)

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful (...) representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)

_ Source: _Page Count 22 This paper investigates the limits and meaning of historical inquiry in light of inferential contextualism that holds as its central tenet that the epistemic status of a proposition depends on the context of the subject. Historical inquiry, the discussion will show, is an epistemic practice that operates under the reliabilist presupposition that beliefs formed through the processes, whose pragmatic utility has been already proven in problem solving situations, may be taken to be rationally (...) justified.As for the limits of historical inquiry, it will be pointed out that the practice is unable to achieve independent criteria for determining if the belief it produces correctly reflects the thing in reality it purports to be about and thus correspondence between the former and the latter cannot be established. Furthermore, beliefs formed by historical inquiry cannot be rendered verifiable even through a future-oriented pragmatic theory of truth because it inquires into what happened in the past, not what is to happen in the future.Despite the fact that we cannot tell the truth about the past in any certain and direct way, it is, the paper will conclude, still epistemically meaningful to distinguish justified from unjustified beliefs in history because historical inquiry is so closely connected with everyday epistemic practice through sharing pragmatically sustained processes that the former cannot be discarded without giving up the principles of the latter. There lies the meaning of historical inquiry. (shrink)

I discuss a neglected solution to the skeptical problem introduced by Lewis Carroll’s “What the Tortoise Said to Achilles” (1895) in terms of a self-citational inferential license. I then consider some responses to this solution. The most significant response on behalf of the skeptic utilizes the familiar distinction between two ways of accepting a rule: as action-guiding and as a mere truth. I argue that this is ultimately unsatisfactory and conclude by opting for an alternative conception of rules as (...) representations of behavior deployed for various purposes, some theoretical and others practical. This alternative conception does not allow the skeptical problem to get off the ground. (shrink)

When we carry out a speech act of stipulation, it seems that we can shape our language however we see fit. This autonomy, however, also seems to make such acts arbitrary: it is unclear if there are any constraints on what counts as a "correct" or "incorrect" stipulation. In this paper, I offer a novel, detailed account of the pragmatics of stipulation and explain its crucial role in conceptual analysis and articulation. My account shows that stipulation does indeed equip us (...) with a key tool for changing our linguistic practices, but that such acts can nonetheless count as meaningfully, normatively constrained: they are always subject to felicitous criticism and the possibility of defeat by others. I then examine the metaphilosophical implications of this account. Philosophers often describe the project of conceptual analysis as having a crucial stipulative dimension, but they rarely explain what they take this act to consist in. On my view, speech acts of stipulation are best understood as acts that generate a shared inferential entitlement for speaker and audience, an entitlement justified on the basis of its utility. In developing this account, I distinguish stipulations from more familiar speech act kinds such as assertions and commands, synthesize and criticize alternative views of stipulation in the literature, and discuss the relationship between stipulation and seemingly kindred speech acts (such as assumptions, suppositions, and proposals). (shrink)

Using a quantified propositional logic involving the operators it is known that and it is possible to know that, we formalize various interesting philosophical claims involved in the realism debate. We set out inferential rules for the epistemic modalities, ranging from ones that are obviously analytic, to ones that are epistemologically more substantive or even controversial. Then we investigate various aporias for the realism debate. These are constructively inconsistent triads of claims from our list: a claim expressing some sort (...) of common ground in the debate; a characteristically anti-realist thesis about truth and knowability; and a characteristically realist thesis about determinacy of truth value. Various patterns of reductio proof for these inconsistent triads are generated, so as to display their variety. The reductio proofs use only the inferential rules set out earlier. The philosophical utility of each aporia for the anti-realist is then assessed. This involves consideration of the acceptability of the premiss expressing common ground; the strength and plausibility of the anti-realist premiss; the strength of the realist premiss that is the ultimate target of the reductio; and the analytic status of the inferential rules applied within the proof. (shrink)

The pushmi-pullyu representation is a non-conjunctive representation with both descriptive and directive contents. Introduced by Millikan, the PPR is supposed to aid in explaining how organisms adapt behavior to environmental variance in the absence of intermediate inference. Until recently, it has led an uncontroversial theoretical life. However, Artiga has suggested that the PPR postulate conflicts with Millikan-style teleosemantics and, as a consequence, the PPR postulate should probably be set aside. I suggest here that the theoretical motivations for the PPR are (...) independent of any specific theory of naturalized content. If Artiga is right about the PPR’s incompatibility with Millikan-style teleosemantics, then that only reveals the inadequacy of Millikan-style teleosemantics. The PPR has a clear role to play in explaining the primitive systems that dominate the biosphere. However, Millikan did not want to limit the explanatory utility of the PPR to primitive systems but suggested that it has explanatory work to play in the animal signaling of complex organisms, Gibsonian affordances, as well as with distinctively human mental life and language. Contra Millikan, I suggest that the PPR has no or at best a very limited explanatory role to play in such cases. Further, the non-inferential feature of the PPR suggests that it should be understood at best as a marginal or borderline representation. (shrink)

Discovering the meaning of novel communicative cues is challenging and amounts to navigating an unbounded hypothesis space. Several theories posit that this problem can be simplified by relying on positive expectations about the cognitive utility of communicated information. These theories imply that learners should assume that novel communicative cues tend to have low processing costs and high cognitive benefits. We tested this hypothesis in three studies in which toddlers (N = 90) searched for a reward hidden in one of (...) several containers. In all studies, an adult communicated the reward's location with an unfamiliar and ambiguous cue. We manipulated the processing costs (operationalized as inferential chain length) and cognitive benefits (operationalized as informativeness) of the possible interpretations of the cues. Toddlers processing of novel communicative cues were guided by expectations of low processing costs (Study 1) and high cognitive benefits (Studies 2 and 3). More specifically, toddlers treated novel cues as if they were easy to process, informative, and accurate, even when provided with repeated evidence to the contrary. These results indicate that, from toddlerhood onward, expectations of cognitive utility shape the processing of novel communicative cues. These data also reveal that toddlers, who are in the process of learning the language and communicative conventions of people around them, exert a pressure favoring cognitive efficiency in communicative systems. (shrink)

This paper attempts to be a contribution to the epistemological project of explaining complex conceptual structures departing from more basic ones. The central thesis of the paper is that there are what I call “functionally structured concepts”, these are non-harmonic concepts in Dummett’s sense that might be legitimized if there is a function that justifies the tie between the inferential connection the concept allows us to trace. Proving this requires enhancing the russellian existential analysis of definite descriptions to apply (...) to functions and using this in proving the legitimacy of such concepts. The utility of the proposal is shown for the case of thick ethical terms and an attempt is made to use it in explaining the development of natural numbers. This last move could allow us to go one step lower in explaining the genesis of natural numbers while maintaining the notion of abstract numbers as higher order entities. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis (...) and other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

The complexity of cognitive emulation of human diagnostic reasoning is the major challenge in the implementation of computer-based programs for diagnostic advice in medicine. We here present an epistemological model of diagnosis with the ultimate goal of defining a high-level language for cognitive and computational primitives. The diagnostic task proceeds through three different phases: hypotheses generation, hypotheses testing and hypotheses closure. Hypotheses generation has the inferential form of abduction (from findings to hypotheses) constrained under the criterion of plausibility. Hypotheses (...) testing is achieved by a deductive inference (from generated hypotheses to expected findings), followed by an eliminative induction, constrained under the criterion of covering, which matches expected findings against patient''s findings to select the best explanation. Hypotheses closure is a deductive-inductive type of inference very similar to the inferences operating in hypotheses testing. In this case induction matches the consequences of the generated hypotheses against the patient''s characteristics or preferences under the criterion of utility. By using the language exploited in this epistemological model, it is possible to describe the cognitive tasks underlying the most influential knowledge-based diagnostic systems. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a (...) software implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a (...) software implementation. Having a clear list of the desired inferences right from the beginning makes it possible to refine the properties of the system step by step until its completion. I distinguish and detail seven advantages of the usage of TDD for the conception of a logical theory. Most importantly, this methodology increases the predictability of the inferential power of the theory. A second important benefit is that the time required for the conception of the logic goes down dramatically. This methodology will change both ideas and practices. Logic is no longer considered to be a formal science, but rather to be an empirical one. Research in the field is geared toward specific and concrete goals. Programs are considered tools used to verify the conformity of formal theories. To sum up, I defend the view that, in some situations, this way of designing a formal system brings significant benefits, and that the construction of new logics can be conducted similarly to the development of open source software. (shrink)

This paper presents, explains, and addresses the pedagogical utility of the “Wachter crystal,” a three-dimensional representation of basic principles of logic designed and created by Thomas Wachter in 1992. The author first discusses a way of understanding relations of logical inference which groups propositions possessing identical truth tables into the same class (that is, a way of conceptualizing rules for replacement). Next, the author presents and explains a 16 x 16 matrix, the most basic figure for representing the (...) class='Hi'>inferential relations between the classes of propositional logic. Such a matrix easily maps reflexivity, asymmetry, and transitivity in relations of implication. Moreover, since the relations and properties it illustrates can also be illustrated by a lattice, one can construct a three-dimensional model to represent them. The Wachter crystal, which resembles chemists’ models of molecules, illustrates the same principles as the matrix while foregrounding the commonly-neglected difference between Philonian conditionals (which belong to the object language of propositional logic) and implication (which belong to the metalanguage). In addition to being a perspicuous and aesthetically engaging way to represent basic principles of propositional logic, the Wachter crystal is a bridge to more advanced logical concepts such as modal logic, sentence connectives, and predicates of sentences. (shrink)

My dissertation is concerned with natural kind terms; its most basic goal is to provide a semantic account of the role these play in scientific discourse. Since my broad semantic approach follows Sellars and Brandom in looking to the pragmatically articulated inferential role of sentences rather than their relation to the world, I manage to set aside metaphysical questions regarding the nature of kinds. I begin with an account of the central role played by natural kind terms in theoretical (...) explanation. I show how natural kind terms are essential to the explanatory function of scientific laws as inference licenses of a certain sort. I turn then to the curious fact that natural kind terms occur in multiple grammatical positions: as parts of attributive predicates and as apparently singular referents . This latter role is at times one that seems to involve a quantificational attribution to all members of the kind, but at other times is more robust . My account demonstrates the utility of just such ambiguity to the role played by kind terms in explanation. I go on to account for a number of other puzzling features of natural kind term usage and to explain the distinction between natural kind terms and other sortals on grounds of their distinctive pragmatic significances. I conclude by laying out how my view can be extended to give a semantics for other sorts of kind terms . This allows us to draw a substantial distinction between gerrymandered kind terms and those that our theories should genuinely commit us to, while acknowledging that the entire natural/social divide among the kind terms stands or falls with our ability to show that there is an important fundamental distinction between different sorts of theories. (shrink)

Phenomenal conservatism (PC) is the internalist view that non-inferential justification rests on appearances. PC’s advocates have recently argued that seemings are also required to explain inferential justification. The most general and developed view to this effect is Huemer (2016)’s theory of inferential seemings (ToIS). Moretti (2018) has shown that PC is affected by the problem of reflective awareness, which makes PC open to sceptical challenges. In this paper I argue that ToIS is afflicted by a version of (...) the same problem and it is thus hostage to inferential scepticism. I also suggest a possible response on behalf of ToIS’s advocates. (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)

Many of our beliefs are the product of inference and depend on chains of reasoning from other beliefs we hold. Inferential internalism is the view that an inference can only provide justification if one is aware of the support relation that holds between the premises and conclusion. This inferential internalist requirement is controversial even among epistemologists who accept internalist conditions on justification more generally. In this paper, we argue that the intuition underlying a central motivation for internalism more (...) generally is the same intuition that motivates inferential internalism. As such, internalists who reject the more demanding requirements of inferential internalism are prima facie involved in a problematic inconsistency. We finish the paper by considering a dilemma for inferential internalism and presenting two strategies for responding. (shrink)

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

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)

Jerry Fodor and Ernie LePore argue against inferential role semantics on the grounds that either it relies on an analytic/synthetic distinction vulnerable to Quinean objections, or else it leads to a variety of meaning holism frought with absurd consequences. However, the slide from semantic atomism to meaning holism might be prevented by distinctions not affected by Quine's arguments against analyticity; and the absurd consequences Fodor and LePore attribute to meaning holism obtain only on an implausible construal of inferential (...) roles. (shrink)

This paper defends an inferential conception of scientific representation. It approaches the notion of representation in a deflationary spirit, and minimally characterizes the concept as it appears in science by means of two necessary conditions: its essential directionality and its capacity to allow surrogate reasoning and inference. The conception is defended by showing that it successfully meets the objections that make its competitors, such as isomorphism and similarity, untenable. In addition the inferential conception captures the objectivity of the (...) cognitive representations used by science, it sheds light on their truth and completeness, and it explains the source of the analogy between scientific and artistic modes of representation. (shrink)

This paper is about time preferences, the phenomenon that the very same things are usually considered the less valuable the farther in the future they are obtained. The utilities of those things are discounted at a certain rate. The paper presents a novel normative argument for exponential discount rates, whatever their empirical adequacy. It proposes to take indexical utility seriously, i.e. utilities referring to indexical propositions (that speak of ‘I’, ‘now’, etc.) as opposed to non-indexical propositions. Economic focus is (...) only on the latter, while the former are neglected. The potential ignorance of when is now generates a difference between indexical and non-indexical utility that can be exploited for a novel argument in favour of exponential discount rates. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Most of our memories are inferential, so says Sven Bernecker in Memory: A Philosophical Study. I show that his account of inferentially remembering that p is too strong. A revision of the account that avoids the difficulty is proposed. Since inferential memory that p is memory that q (a proposition distinct from p) with an admixture of inference from one’s memory that q and a true thought one has that r, its analysis presupposes an adequate account of the (...) (presumably non-inferential) memory that q. Bernecker’s account of non-inferentially remembering that is shown to be inadequate. A remedy lies in strengthening the account by requiring the rememberer to have had prima facie justification to believe that q, any defeaters of which were misleading. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is (...) whether, given classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

There is a felt difference between following an argument to its conclusion and keeping up with an argument in your judgments while failing to see how its conclusion follows from its premises. In the first case there’s what I’m calling an inferential seeming, in the second case there isn’t. Inferential seemings exhibit a cluster of functional and normative characteristics whose integration in one mental state is puzzling. Several recent accounts of inferring suggest inferential seemings play a significant (...) role in the process, but none provides a fully satisfactory understanding of inferential seemings themselves. In this paper I critically examine theoretical options on offer in the existing literature, then develop an alternative view. I discuss implications for recent debates about general principles governing inference, such as Fumerton’s Principle of Inferential Justification and Boghossian’s Taking Condition. (shrink)

Classical utilitarianism is very demanding and entails some counter-intuitive implications in moral dilemmas such as the trolley problem in deontological ethics and the repugnant conclusion in population ethics. This article presents how one specific modification of utilitarianism can avoid these counter-intuitive implications. In this modified utilitarian theory, called ‘discounted’ or ‘mild’ utilitarianism, people have a right to discount the utilities of others, under the condition that people whose utility is discounted cannot validly complain against such discounting. A complaint made (...) by a utility discounted person is not valid if either the existence of the discounting people in that option is in a specific sense necessary or the existence of the discounted person is in a sense not necessary. According to mild utilitarianism, we should choose the option that maximizes the total validly discounted or complaint-free discounted utility, i e. the sum of everyone’s utility minus the complaint-free discounts. As there are two conditions that make a complaint invalid, this right to discount can be translated into two versions: the right to bodily autonomy and the right to procreation autonomy. The former right relates to the mere means principle in deontological ethics, the latter right is useful in avoiding the repugnant conclusion problem in population ethics. The possibility of democratically imposing an upper bound on the permissible amount of discounting is discussed. (shrink)

Many conditionals seem to convey the existence of a link between their antecedent and consequent. We draw on a recently proposed typology of conditionals to argue for an old philosophical idea according to which the link is inferential in nature. We show that the proposal has explanatory force by presenting empirical results on the evidential meaning of certain English and Dutch modal expressions.

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)

How should rational believers pursue the aim of truth? Epistemic utility theorists have argued that by combining the tools of decision theory with an epistemic form of value—gradational accuracy, proximity to the truth—we can justify various epistemological norms. I argue that deriving these results requires using decision rules that are different in important respects from those used in standard (practical) decision theory. If we use the more familiar decision rules, we can’t justify the epistemic coherence norms that epistemic (...) class='Hi'>utility theory had hoped to justify. In short, those of us who are attracted to the project of epistemic utility theory face a dilemma. If we choose “consequentialist” rules, then we can vindicate the idea that rational belief has the aim of accuracy—but at the cost of giving up attractive epistemic norms. (shrink)

Bergmann argues that we should accept epistemically circular reasoning since, he claims, it is a consequence of the plausible assumption that some justification is noninferential (Bergmann, M. "Epistemic Circularity, Malignant and Benign", Philosophy and Phenomenological Research forthcoming). I show that epistemically circular reasoning does not follow merely from the assumption that some justification is noninferential, but only from that view combined with the assumption of basic justification or knowledge. Thus, we have reason to endorse epistemically circular reasoning only to the (...) extent that basic knowledge or justification can be defended. (shrink)

This paper critically examines currently influential transparency accounts of our knowledge of our own beliefs that say that self-ascriptions of belief typically are arrived at by “looking outward” onto the world. For example, one version of the transparency account says that one self-ascribes beliefs via an inference from a premise to the conclusion that one believes that premise. This rule of inference reliably yields accurate self-ascriptions because you cannot infer a conclusion from a premise without believing the premise, and so (...) you cannot infer from a premise that you believe the premise unless you do believe it. I argue that this procedure cannot be a source of justification, however, because one can be justified in inferring from p that q only if p amounts to strong evidence that q is true. This is incompatible with the transparency account because p often is not very strong evidence that you believe that p. For example, unless you are a weather expert, the fact that it will rain is not very strong evidence that you believe it will rain. After showing how this intuitive problem can be made precise, I conclude with a broader lesson about the nature of inferential justification: that beliefs, when justified, must be underwritten by beliefs, when justified, must be underwritten by evidential relationships between the facts or propositions which those beliefs represent. (shrink)

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; (...) a formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely monotonic singleconclusion consequence relation is characterized by a class of B-matrices with respect to q-entailment as well as with respect to p-entailment, it is observed that, as a result, every such consequence relation has an inferentially four-valued characterization. Next, the canonical form of B-entailment, a two-dimensional multiple-conclusion notion of entailment based (...) on B-matrices, is introduced, providing a uniform framework for studying several different notions of entailment based on designation, antidesignation, and their complements. Moreover, the two-dimensional concept of a B-consequence relation is defined, and an abstract characterization of such relations by classes of B-matrices is obtained. Finally, a contribution to the study of inferential many-valuedness is made by generalizing Suszko’s Thesis and the corresponding reduction to show that any B-consequence relation is, in general, inferentially four-valued. (shrink)

It is commonly thought that the requirements of inferential justification are such that necessarily the process of inferentially justifying a belief will come to an end. But, If this is so, We should be able to pick out those requirements of justification which necessitate an end to the justification process. Unfortunately, Although there is nearly unanimous agreement as to the need for such an end, It is by no means clear which particular requirements of justification impose this need. I (...) examine and criticize several seemingly plausible ways of showing that regresses of inferential justification are impossible and then propose two requirements of inferential justification which, I argue, Are sufficient to show the impossibility. (shrink)

Reliability theories of epistemic justification face three main objections: the generality problem, the demon-world (or brain-in-a-vat) counterexample, and the clairvoyant-powers counterexample. In Perception and Basic Beliefs(Oxford 2009), Jack Lyons defends reliabilism at length against the clairvoyant powers case. He argues that the problem arises due to a laxity about the category of basic beliefs, and the difference between inferential and non-inferential justification. Lyons argues reliabilists must pay more attention to architecture. I argue this isn’t necessarily so. What really (...) matters for understanding and solving the case involves paying closer attention to the origins of our belief forming capacities, both inferential and non-inferential. Reliabilists should make origins matter more. (shrink)