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)

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)

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)

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)

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)

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)

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)

Inferential communities are communities using specific substantial argumentative schemes. The religious or scientific communities are examples. I discuss the status of the mathematical community as it appears through the position held by the French mathematician Henri Poincaré during his famous ar-guments with Russell, Hilbert, Peano and Cantor. The paper focuses on the status of complete induction and how logic and psychology shape the community of mathematicians and the teaching of mathematics.

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to (...) calculizing IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

In this paper I will discuss Michael Williamss inferential contextualism – a position that must be carefully distinguished from the currently more fashionable attributer contextualism. I will argue that Williamss contextualism is not stable, though it avoids some of the shortcomings of simple inferential contextualism. In particular, his criticism of epistemological realism cannot be supported on the basis of his own account. I will also argue that we need not give up epistemological realism in order to provide a (...) successful diagnosis of scepticism. (shrink)

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)

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)

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)

We seek a better understanding of why an inferential semantics devised by Tor Sandqvist yields full classical logic, by providing and analysing a direct proof via a suitable maximality construction.

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)

A warranted belief may derive inferential warrant from warranted beliefs which support it. It may possess what I call coherential warrant in virtue of beingconsistent with, or lacking improbability relative to, a large system of warranted beliefs. Finally, it may have foundational warrant, which does not derive from other beliefs at all. I define and distinguish these sources of warrant and explain why all three must be included in the true and complete account of the structure of knowledge, and (...) why the first two sources are significant at all levels of knowledge. Only foundherentism and a weak version of foundationalism can satisfy this criterion. My analysis has significant, and happy, consequences for the epistemological tradition. The project of describing the structure of knowledge is nearly complete. Those who have pronounced the death of epistemology are partially correct, not because epistemology has failed, but because it has been so successful. (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)

Peregrin and Svoboda propose an inferential and holistic approach to formalization, and a similar approach (to correctness) is considered by Brun. However, while the inferential criteria of adequacy explicitly endorsed by these authors may be holistic "in spirit," they are formulated for single formulas. More importantly, they allow the trivialization of equivalence and face problems when materially correct arguments come into play. Against this background, this paper tries to motivate holistic inferential criteria that compel us to distinguish (...) carefully between non-trivially equivalent formalizations as well as between materially and logically correct arguments on an inferential basis. (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)

Michael Dummett has proposed an influential analysis of the meaning of ethnic and racial slurs based on inferential rules. Timothy Williamson, however, finds the analysis problematic. It does not seem to explain how slurs are actually used. Williamson’s challenge for the inferentialist account of slurs has not gone unnoticed. In this article, I first discuss the debate between the inferentialists and Williamson. I argue that the inferentialist responses concentrate on the wrong issue and the real issue in Williamson’s challenge (...) is left untouched. I go on to specify his challenge and offer a solution to the challenge. The solution rests on the idea that the inferential rules for slurs involve a generic component. (shrink)

The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little literature on the criteria of good formalisation, and even less on the question of what it is for (...) a formalisation to mirror the inferential network of a natural language or some fragment of it. This paper takes some exploratory steps towards a quantitative account of the main ingredient in the goodness of a formalisation. We introduce and critically examine a mathematical model of how well a formalisation mirrors natural-language inferential relations. (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)

We outline a pragmatic-normative understanding of logic as a discipline that is completely anchored in the sphere of action, rules, means and ends: We characterize inferring as a speech act which is in need of regulation and we connect inferential rules with consequence relations. Furthermore, we present a scenario which illustrates how one actually assesses or can in principle assess the quality of logical rules with respect to justificatory questions. Finally, we speculate on the origin of logical rules as (...) a means of supporting our practice of inferring. (shrink)

The standard semantics for modality, together with the influential restrictor analysis of conditionals (Kratzer, 1986, 2012) renders conditional ought claims like “If John’s stealing, he ought to be stealing” trivially true. While this might seem like a problem specifically for the restrictor analysis, the issue is far more general. Any account must predict that modals in the consequent of a conditional sometimes receive obligatorily unrestricted interpretation, as in the example above, but sometimes appear restricted, as in, e.g., “If John’s speeding, (...) he ought to pay the fine.” And the problem runs deeper, for there are non-conditional variants of the data. Thus, the solution cannot lie in adopting a particular analysis of conditionals, nor a specific account of the interaction between conditionals and modals. Indeed, with minimal assumptions, the standard account of modality will render a myriad of claims about what one ought to, must, or may, do trivially true. Worse, the problem extends to a wide range of non-deontic modalities, including metaphysical modality. But the disaster has a remedy. I argue that the source of the problem for the standard account lies in its failure to capture an inferential evidence constraint encoded in the meaning of a wide range of modal constructions. I offer an account that captures this constraint, and show it provides a general and independently motivated solution to the problem. (shrink)

: Evidence claims depend on fallible assumptions. This paper discusses inferential robustness as a strategy for justifying evidence claims in spite of this fallibility. I argue that robustness can be understood as a means of establishing the partial security of evidence claims. An evidence claim is secure relative to an epistemic situation if it remains true in all scenarios that are epistemically possible relative to that epistemic situation.

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)

According to Hume’s Law, we cannot infer moral conclusions from wholly non-moral premises; or, more concisely, we cannot infer an ‘ought’ from an ‘is’. While Hume’s Law (at least in qualified form) has enjoyed widespread acceptance, recent years have seen an upsurge of interest in anti-Humean accounts of moral knowledge. According to these accounts, we can come to know moral conclusions via inferences from wholly non-moral premises. The main aim of this paper is to defend Hume’s Law against these recent (...) threats and to argue, more generally, that there are good reasons to remain pessimistic about anti-Humean accounts of moral knowledge. In particular, the paper (1) raises doubts about the leading accounts of inferential moral knowledge currently found in the literature, (2) proposes a new account of inferential moral knowledge that promises to avoid the shortcomings of its predecessors, but (3) argues that the new account too is ultimately unsuccessful. (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)

We argue that a framework for comprehending the basic differences between the mental structures of humans and machines (as they currently exist) is established by Transcendental Analytics' argument in the _Critique of Pure Reason_. It will be demonstrated that Kant's theory of the synthetic unity of apperception, as established by Transcendental Analytics' argument in the _Critique of Pure Reason_, along with Dummett's theory of meaning for meaning-theoretical predictions of inferential connections, can assist in establishing this framework. When combined, these (...) form a framework for organizing a coherent differentiation between what we refer to as the conscious grasp of the unity that is present during judgment and the machine-performed manipulation of signs. In the end, we will present an appendix on the underdevelopment of the Kantian framework for distinguishing artificial intelligence from human intelligence. (shrink)

In this paper we develop an inferential account on the meaning and reference of theoretical concepts in physics, mainly based on the pragmatic notion of ‘inferential validity’. Firstly, we distinguish between empirical meaningfulness and theoretical significance as two different modes of meaning, wherein the former depends on consistently encoding experimental values, as proposed by Chang, and the latter on being semantically coherent with other concepts. Secondly, we argue that each of these contributions to the validity of inferences imports (...) a causal and representational mechanism of reference-fixing, respectively. Finally, we will rely on entropy concepts as our case study. (shrink)

This paper investigates the emotive meaning of words commonly referred to as “loaded” or “emotive,” which include slurs, derogative or pejorative words, and ethical terms. We claim that emotive meaning can be analyzed from a argumentative perspective at distinct levels, which can forexplain some essential aspects of ethical terms, including the possibility of modifying and cancelling their “expressive force.” Emotive meaning is explained as a defeasible and automatic or automatized evaluative and intended inference commonly associated with the use of specific (...) terms, which can be represented and assessed considering its logical structure and its defeasibility conditions. This automatic inference is conceived as part of the connotation of an ethical term, and is not necessarily stable. By means of quasi-definitions, it is possible to modify the emotive meaning while maintaining the descriptive one, automaticizing the inferences drawn from an ethical word. Through examples drawn from the recent US presidential campaign, we show how re-contextualization and emotive contexts can affect emotive meaning. (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)

The aim of the paper is to explore the interrelation between persuasion tactics and properties of speech acts. We investigate two types of arguments ad: ad hominem and ad baculum. We show that with both of these tactics, the structures that play a key role are not inferential, but rather ethotic, i.e., related to the speaker’s character and trust. We use the concepts of illocutionary force and constitutive conditions related to the character or status of the speaker in order (...) to explain the dynamics of these two techniques. In keeping with the research focus of the Polish School of Argumentation, we examine how the pragmatic and rhetorical aspects of the force of ad hominem and ad baculum arguments exploit trust in the speaker’s status to influence the audience’s cognition. (shrink)

The inferential role of I is irreducibly deictic. The inferential roles of singular terms are distinguished by appeal to the different mechanisms required to guarantee co-reference in a knowledge-advancing way. Co-typicality is insufficient for variant terms. Anaphoric structures are insufficient for I and other terms used deictically; they depend on identity-judgements and keeping track. The inferential role of I and other deictic terms is irreducibly deictic: it is by singling out individuals made salient in the extra-sentential environment (...) that their uses contribute systematically to what entails what. (shrink)

I propose and defend the conjecture that what explains why Gettiered subjects fail to know is the fact that their justified true belief depends essentially on unknown propositions. The conjecture follows from the plausible principle about inference in general according to which one knows the conclusion of one’s inference only if one knows all the premises it involves essentially.

Speakers of a natural language regularly form justified beliefs about what others are saying when they utter sentences of the language. What accounts for these justified beliefs? At one level, we already have a plausible answer: there is a perfectly good ordinary sense in which users of a language know what its sentences mean, and it is very plausible that the hearer’s knowledge of the meaning of S helps explain her justification for her belief about what is said by an (...) utterance of S. But what exactly does our knowledge of sentence meanings consist in? In this essay I advance and defend the view that we know the meanings of sentences in virtue of having a certain distinctive kind of know-how that I call inferential practical knowledge. I argue that this view provides the best explanation for the justification of our beliefs about what is said. In particular, it provides a better explanation than the more conventional and widely accepted view that we know the meaning of S in virtue of possessing the theoretical knowledge that S has such-and-such meaning. (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.

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)

This dissertation is concerned with normativity both as an explanatory device in the philosophy of language, logic and epistemology and as a philosophical issue in its own right. Following later Wittgenstein and Sellars, it is argued that language is normative, in the first instance because of the fact that speech acts take place within a structure of social norms and institutions. This fact is then utilized to show that important features of semantic content can be explained in terms of such (...) norms. ;This Sellarsian conception of linguistic usage as the performance of acts within a linguistic game of giving and asking for reasons, leads us to focus on inferential proprieties as central to semantic content. It is, then, natural to look at logical vocabulary, paradigmatically 'entails', as expressing the very normative relations definitive of this content. An idea of Brandom's is developed in providing a formal theory of the inferential content of logical vocabulary. Such normative-inferentialist semantic analyses are developed for a wide range of logical systems. ;A certain conception of justification also falls naturally out of this general theory of language. If asserting is an act performed within a linguistic game, then justification can be thought of as a matter of winning such a game, a successfully defending one's assertion in the face of licensed challenges to it. This account is developed, drawing consequences for the theory of rationality and knowledge. ;The second major issue of the dissertation is the theory of the normative itself and much of the constructive work in the philosophy of language, philosophy of logic and epistemology forms a case study for a particular theory of the normative. On the basis of Wittgensteinian considerations, it is argued that normativity must be understood as resting ultimately on social practice. ;We solve problems of earlier accounts of norms by introducing a novel normative relation between assertions of normative propriety and social practices. Normative assertions do not describe existing social standards, but do nonetheless derive their semantic content from those standards. This argument carried through in detail for cases of logical and epistemic vocabulary in the dissertation. (shrink)

Among philosophers of science, there is now a widespread agreement that the DN model of explanation is poorly equipped to account for explanations in biology. Rather than identifying laws, so the consensus goes, researchers explain biological capacities by constructing a model of the underlying mechanism.We think that the dichotomy between DN explanations and mechanistic explanations is misleading. In this article, we argue that there are cases in which biological capacities are explained without constructing a model of the underlying mechanism. Although (...) these explanations do not conform to Hempel’s DN model, they do invoke more or less stable generalisations. Because they invoke generalisations and have the form of an argument, we call them inferential explanations. We support this claim by considering two examples of explanations of biological capacities: pigeon navigation and photoperiodism. Next, we will argue that these non-mechanistic explanations are crucial to biology in three ways: sometimes, they are the only thing we have, they are heuristically useful, and they provide genuine understanding and so are interesting in their own right.In the last sections we discuss the relation between types of explanations and types of experiments and situate our views within some relevant debates on explanatory power and explanatory virtues. (shrink)

By and large, Inferential Erotetic Logic (IEL, for short) is an approach to the logic of questions which puts in the centre of attention inferential aspects of questioning. IEL is not an enterprise of the last few years only. The idea originates from the late 1980s. It evolved through time. Initially, the stress was put on the phenomenon of question raising. This changed gradually, as some forms of reasoning that involve questions have appeared to be analyzable by means (...) of the conceptual apparatus developed. In this essay I present the basics of IEL and comment on them. Most, though not all, of the ideas discussed here have been scattered across my earlier publications. The invitation from the organizers of the Asking and Answering workshop (Greifswald, September 2020) resulted in an attempt of presenting the themes of IEL in a concise but, as I hope, also comprehensible way. (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)

Many philosophers have challenged the ideal of value-free science on the grounds that social or moral values are relevant to inferential thresholds. But given this view, how precisely and to what extent should scientists adjust their inferential thresholds in light of nonepistemic values? We suggest that signal detection theory provides a useful framework for addressing this question. Moreover, this approach opens up further avenues for philosophical inquiry and has important implications for philosophical debates concerning inductive risk. For example, (...) the signal detection theory framework entails that considerations of inductive risk and inferential-threshold placement cannot be conducted in isolation from base-rate information. (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)