We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most promising (...) approach is to appeal to features like usefulness or indispensability to important or required cognitive projects. On the resulting view, whether an inferential step counts as large or small depends on the importance of the relevant rule of inference in our thought. (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)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each (...) one, we go through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

This paper advances an approach to relevance grounded on patterns of material inference called argumentation schemes, which can account for the reconstruction and the evaluation of relevance relations. In order to account for relevance in different types of dialogical contexts, pursuing also non-cognitive goals, and measuring the scalar strength of relevance, communicative acts are conceived as dialogue moves, whose coherence with the previous ones or the context is represented as the conclusion of steps of material inferences. Such inferences are (...) described using argumentation schemes and are evaluated by considering 1) their defeasibility, and 2) the acceptability of the implicit premises on which they are based. The assessment of both the relevance of an utterance and the strength thereof depends on the evaluation of three interrelated factors: 1) number of inferential steps required; 2) the types of argumentation schemes involved; and 3) the implicit premises required. (shrink)

Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this (...) article, I address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms (...) of argumentation schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. (...) Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (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)

Groups can be epistemically vicious just like individuals. And just like individuals, groups sometimes want to do something about their vices. They want to change. However, intentionally combating one’s own vices seems impossible without detecting those vices first. Self-knowledge seems to provide a first step towards changing one’s own epistemic vices. I argue that groups can acquire self-knowledge about their epistemic vices and I propose an account of such collective self-knowledge. I suggest that collective self-knowledge of vices is partially based (...) on evidence that a group can generate by performing internal promptings. Whereas these promptings are done mentally in individual self-knowledge, these promptings are done by interactions of group members in the collective case. The group can then acquire inferential self-knowledge of their vices based on the evidence generated by the interactions within the group. Groups thereby bring themselves into a position from which they can combat and change those vices intentionally. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the (...) form “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (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)

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)

Chapter 3 surveys objectivity in the natural sciences. Thomas Kuhn problematized the logicist understanding of the objectivity or rationality of scientific change, providing a very different picture than that of the cumulative or step-wise progress of theoretical science. Theories often compete, and when consensus builds around one competitor it may be for a variety of reasons other than just the direct logical implications of experimental successes and failures. Kuhn pitted the study of the actual history of science against what Hans (...) Reichenbach referred to as the “logical substitutes” logicists used to reconstruct the rationality of theory change. Such substitutes were promoted to show that theory confirmation is a purely epistemic affair, where purely epistemic implies purely inferential. But where the positivists saw logical compulsion as the reason for theory change, Kuhn saw psychology in values as relevant to how theories are actually confirmed or accepted by the scientific community. (shrink)

Medical diagnosis has been traditionally recognized as a privileged field of application for so called probabilistic induction. Consequently, the Bayesian theorem, which mathematically formalizes this form of inference, has been seen as the most adequate tool for quantifying the uncertainty surrounding the diagnosis by providing probabilities of different diagnostic hypotheses, given symptomatic or laboratory data. On the other side, it has also been remarked that differential diagnosis rather works by exclusion, e.g. by modus tollens, i.e. deductively. By drawing on a (...) case history, this paper aims at clarifying some points on the issue. Namely: 1) Medical diagnosis does not represent, strictly speaking, a form of induction, but a type, of what in Peircean terms should be called ‘abduction’ (identifying a case as the token of a specific type); 2) in performing the single diagnostic steps, however, different inferential methods are used for both inductive and deductive nature: modus tollens, hypothetical-deductive method, abduction; 3) Bayes’ theorem is a probabilized form of abduction which uses mathematics in order to justify the degree of confidence which can be entertained on a hypothesis given the available evidence; 4) although theoretically irreconcilable, in practice, both the hypothetical- deductive method and the Bayesian one, are used in the same diagnosis with no serious compromise for its correctness; 5) Medical diagnosis, especially differential diagnosis, also uses a kind of “probabilistic modus tollens”, in that, signs (symptoms or laboratory data) are taken as strong evidence for a given hypothesis not to be true: the focus is not on hypothesis confirmation, but instead on its refutation [Pr (¬ H/E1, E2, …, En)]. Especially at the beginning of a complicated case, odds are between the hypothesis that is potentially being excluded and a vague “other”. This procedure has the advantage of providing a clue of what evidence to look for and to eventually reduce the set of candidate hypotheses if conclusive negative evidence is found. 6) Bayes’ theorem in the hypothesis-confirmation form can more faithfully, although idealistically, represent the medical diagnosis when the diagnostic itinerary has come to a reduced set of plausible hypotheses after a process of progressive elimination of candidate hypotheses; 7) Bayes’ theorem is however indispensable in the case of litigation in order to assess doctor’s responsibility for medical error by taking into account the weight of the evidence at his disposal. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem (...) using an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative (...) approach would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

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

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)

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)

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)

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)

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)

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)

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)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (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)

This paper argues for the view that metaphors are assertions by locating metaphor within our social discursive practices of asserting and inferring. The literal and the metaphorical differ not in the stating of facts nor in the representation of states of affairs but in the kind of inferential involvements they have and the normative score-keeping practices within which the inferential connections are articulated. This inferentialist based account of metaphor is supplemented by insights from accommodation theory. The account is (...) significant for our understanding of both metaphor‟s figurativeness and cognitive content. (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)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

The paper discusses Saul Kripke's Normativity Argument against semantic dispositionalism: it criticizes the orthodox interpretation of the argument, defends an alternative reading and argues that, contrary to what Kripke himself seems to have been thinking, the real point of the Normativity Argument is not that meaning is normative. According to the orthodox interpretation, the argument can be summarized as follows: (1) it is constitutive of the concept of meaning that its instances imply an ought, but (2) it is not constitutive (...) of the concept of a disposition that dispositions imply an ought, hence (3) no dispositional analysis of meaning can work. According to my alternative reading, the point of the argument is another one, namely that while (1) dispositionalism is committed to the thesis that speakers have non-inferential knowledge of their unmanifested linguistic dispositions, (2) speakers, as a matter of fact, do not have such a knowledge. A point that is in principle independent from the issue of the normativity of meaning. (shrink)

The purpose of this paper is twofold: -/- 1) to highlight the widely ignored but fundamental problem of ‘superpopulations’ for the use of inferential statistics in development studies. We do not to dwell on this problem however as it has been sufficiently discussed in older papers by statisticians that social scientists have nevertheless long chosen to ignore; the interested reader can turn to those for greater detail. -/- 2) to show that descriptive statistics both avoid the problem of superpopulations (...) and can be a powerful tool when used correctly. A few examples are provided. -/- The paper ends with considerations of some reasons we think are behind the adherence to methods that are known to be inapplicable to many of the types of questions asked in development studies yet still widely practiced. (shrink)

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of (...) inferential roles. I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

We commonly say that some evidence supports a hypothesis or that some premise evidentially supports a conclusion. Both internalists and externalists attempt to analyze this notion of evidential support, and the primary purpose of this paper is to argue that reliabilist and proper functionalist accounts of this relation fail. Since evidential support is one component of inferential justification, the upshot of this failure is that their accounts of inferential justification also fail. In Sect. 2, I clarify the evidential (...) support relation. In Sects. 3–5, I subject reliabilist and proper functionalist accounts of evidential support to various counterexamples. In Sect. 6, I show that the most promising ways to address these counterexamples aren’t very promising. (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)

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)

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.

Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued logics. One may find in distinct authors many novel interpretations of many-valued systems. They are produced through a type of procedure which consists in altering the semantic structure of Tarskian many-valued logics in order to output a non-Tarskian interpretation of these logics. Through this type of transformation the paper explores a (...) uniform way of transforming finitely many-valued Tarskian logics into their non-Tarskian interpretations. Some general properties of carrying out this type of procedure are studied, namely the dualities between these logics and the conditions under which negation-explosive and negation-complete Tarskian logics become non-explosive. (shrink)

To justify inductive inference and vanquish classical skepticisms about human memory, external world realism, etc., Richard Fumerton proposes his “inferential internalism,” an epistemology whereby humans ‘see’ by Russellian acquaintance Keynesian probable relations (PRs) between propositions. PRs are a priori necessary relations of logical probability, akin to but not reducible to logical entailments, such that perceiving a PR between one’s evidence E and proposition P of unknown truth value justifies rational belief in P to an objective degree. A recent critic (...) of inferential internalism is Alan Rhoda, who questions its psychological plausibility. Rhoda argues that in order to see necessary relations between propositions E and P, one would need acquaintance with too many propositions at once, since our evidence E is often complex. In this paper, I criticize Rhoda’s implausibility objection as too quick. Referencing the causal status effect (CSE) from psychology, I argue that some of the complex features of evidence E contribute to our type-categorizing it as E-type, and thus we do not need to ‘see’ all of the complex features when we see the PR between E and P. My argument leaves unchanged Fumerton’s justificatory role for the PR, but enhances its psychological plausibility. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (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)

This article offers an overview of the main first-order ethical questions raised by robots and Artificial Intelligence (RAIs) under five broad rubrics: functionality, inherent significance, rights and responsibilities, side-effects, and threats. The first letter of each rubric taken together conveniently generates the acronym FIRST. Special attention is given to the rubrics of functionality and inherent significance given the centrality of the former and the tendency to neglect the latter in virtue of its somewhat nebulous and contested character. In addition to (...) exploring some illustrative issues arising under each rubric, the article also emphasizes a number of more general themes. These include: the multiplicity of interacting levels on which ethical questions about RAIs arise, the need to recognise that RAIs potentially implicate the full gamut of human values (rather than exclusively or primarily some readily identifiable sub-set of ethical or legal principles), and the need for practically salient ethical reflection on RAIs to be informed by a realistic appreciation of their existing and foreseeable capacities. -/- . (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)

My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical principles inasmuch as some attempts of solving it. This is important because if there are basic logical principles, it also seems necessary to exist some justification for them. By considering some observations from Ryle, Devitt and Kripke about the theme, we intend to briefly display their theories and their core critics among themselves and, mainly, the critics against adoption theory.

This paper investigates the emotive (or expressive) 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 reinterpreted from a pragmatic and argumentative perspective, which can account for distinct aspects of ethical terms, including the possibility of being modified and its cancellability. 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)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (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 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)