Tyler Burge first introduced his distinction between epistemic entitlement and epistemic justification in ‘Content Preservation’ in 1993. He has since deployed the distinction in over twenty papers, changing his formulation around 2009. His distinction and its basis, however, is not well understood in the literature. This chapter distinguishes two uses of ‘entitlement’ in Burge, and then focuses on his distinction between justification and entitlement, two forms of warrant, where warrants consists in the exercise of a reliable belief-forming (...) competence. Since he draws the distinction in terms of reasons, this chapter brings his account of reasons altogether in one place. The chapter introduces a decision-procedure for classifying warrants as justifications or entitlements. The distinction between justification and entitlement is not the same as the inferential vs. non-inferential distinction. The chapter distinguishes inference from processing, thinking, reasoning, and critically reasoning. Burge’s new formulation of the distinction was driven by the recognition of non-accessible modular reasons. Three kinds of access are distinguished. (shrink)

Following David Hitchcock and Stephen Toulmin, this paper takes warrants to be material inference rules. It offers an account of the form such rules should take that is designed (a) to implement the idea that an argument/inference is valid only if it is entitlement preserving and (b) to support a qualitative version of evidence proportionalism. It attempts to capture what gives warrants their normative force by elaborating a concept of reliability tailored to its account of the (...) form such rules should take. (shrink)

Arguments for and against the existence of demonstrative concepts of shades and shapes turn on the assumption that demonstrative concepts must be recognitional capacities. The standard argument for this assumption is based on the widely held view that concepts are those constituents of propositional attitudes that account for an attitude's inferential potential. Only if demonstrative concepts of shades are recognitional capacities, the standard argument goes, can they account for the inferential potential of demonstrative judgements about shades. Shades are conceived as (...) colour universals. Shade a is different from shade b iff it is possible to distinguish a from b visually. In this paper I will argue that the standard argument is based on a mistaken view of inference. We can correctly draw inferences from a demonstrative judgement about something x , even if we are not able to recognise or re-identify the previously demonstrated x during our reasoning. We are prima facie entitled to rely on our preservative memory as retaining our initial demonstrative apprehension of x . The fact that preservative memory entitles us to assume sameness of referent over time is linguistically manifest in the use of anaphoric pronouns: if we can no longer recognise and demonstrate our original demonstratum, we can use anaphoric expressions to pick it up, thereby ensuring sameness of reference. ('That is a nice bird. Now it has vanished. So there is a nice bird that has just vanished.') Since preservation of the initial episode of apprehending x grounds our reasoning from demonstrative judgements, there is no longer a reason to require demonstrative concepts to be recognitional capacities. The standard argument does not get off the ground. 1. (shrink)

Wilfrid Sellars’s suggestion that there are valid material inferences entails that validity is not limited to formal inferences. Because material inferences are expressed in ordinary language and deal with both conceptual and empirical matters, an interesting prospect unfolds: valid reasoning is irreducibly plural. However, it is not clear what the validity of inferences composed of non-logical and descriptive vocabulary means. I argue that it is better to speak of the legitimacy rather than the validity of material inferences. A material (...) class='Hi'>inference can be understood as legitimate when one has a pragmatic propriety to infer from an assertion A to an assertion B. Pragmatic propriety designates the social-normative entitlement of inferencing. Because pragmatic proprieties are discipline-specific and local, legitimate reasoning is plural. Nevertheless, the shared general feature of reasoning practices is to preserve and improve the coherence of one’s system of belief. (shrink)

This brief editorial considers a special issue of Argumentation edited by Jens Kjeldsen on visual, multimodal argumentation. It provides a commentary on important advances on interpretative problems such as the propositionality of argument, the reducibility of images to words, whether argument products are primarily cognitive artifacts, and the nature of a modality of argument. Concerning the project of argument appraisal, it considers whether visual arguments call for a revision of our normative, evaluative apparatus.

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions (...) and disjunctions. We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

Different inferences in probabilistic logics of conditionals 'preserve' the probabilities of their premisses to different degrees. Some preserve certainty, some high probability, some positive probability, and some minimum probability. In the first case conclusions must have probability I when premisses have probability 1, though they might have probability 0 when their premisses have any lower probability. In the second case, roughly speaking, if premisses are highly probable though not certain then conclusions must also be highly probable. In the third case (...) conclusions must have positive probability when premisses do, and in the last case conclusions must be at least as probable as their least probable premisses. Precise definitions and well known examples are given for each of these properties, characteristic principles are shown to be valid and complete for deriving conclusions of each of these kinds, and simple trivalent truthtable 'tests' are described for determining which properties are possessed by any given inference. Brief comments are made on the application of these results to certain modal inferences such as "Jones may own a car, and if he does he will have a driver's license. Therefore, he may have a driver's license.". (shrink)

The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which (...) describe all tabular logics preserving admissibility: a tabular logic λ preserves all admissible rules for H iff 7λ has width not more than 2 and is not included in each λ. MSC: 03B55, 03B20. (shrink)

In some previous work, I tried to give a concept-based account of the nature of our entitlement to certain very basic inferences (see the papers in Part III of Boghossian 2008b). In this previous work, I took it for granted, along with many other philosophers, that we understood well enough what it is for a person to infer. In this paper, I turn to thinking about the nature of inference itself. This topic is of great interest in its (...) own right and surprisingly understudied by philosophers. A correct understanding of inference promises to shed light on a number of important topics. In particular, it threatens to undermine the sort of concept-based story about entitlement to which I had previously been attracted. (shrink)

The essay addresses the well‐known idea that there has to be a place for intuition, thought of as a kind of non‐inferential rational insight, in the epistemology of basic logic if our knowledge of its principles is non‐empirical and is to allow of any finite, non‐circular reconstruction. It is argued that the error in this idea consists in its overlooking the possibility that there is, properly speaking, no knowledge of the validity of principles of basic logic. When certain important distinctions (...) are observed, for instance that between recognising that Modus Ponenes is sound and recognising that it is proof against the competent discovery of basic counterexamples, the case for thinking that there is indeed no space for genuine recognition of the validity of Modus Ponens becomes increasingly impressive. It is argued however that, the impossibility of knowledge notwithstanding, we are, in an important sense, entitled to take it that Modus Ponens is sound and that this notion of entitlement can help break the trichotomy ‐ intuition, inference, experience ‐ which imprisons our ordinary thinking about logical knowledge. (shrink)

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and (...) hence of ‘validity’: the orthodox definition given in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...) supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist account of meaning (...) gives centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

The problem of inferring probability comparisons between events from an initial set of comparisons arises in several contexts, ranging from decision theory to artificial intelligence to formal semantics. In this paper, we treat the problem as follows: beginning with a binary relation ≥ on events that does not preclude a probabilistic interpretation, in the sense that ≥ has extensions that are probabilistically representable, we characterize the extension ≥+ of ≥ that is exactly the intersection of all probabilistically representable extensions of (...) ≥. This extension ≥+ gives us all the additional comparisons that we are entitled to infer from ≥, based on the assumption that there is some probability measure of which ≥ gives us partial qualitative information. We pay special attention to the problem of extending an order on states to an order on events. In addition to the probabilistic interpretation, this problem has a more general interpretation involving measurement of any additive quantity: e.g., given comparisons between the weights of individual objects, what comparisons between the weights of groups of objects can we infer? (shrink)

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with (...) consequence and logical consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009). (shrink)

In reply to Geach's objection against expressivism, some have claimed that there is a plurality of truth predicates. I raise a difficulty for this claim: valid inferences can involve sentences assessable by any truth predicate, corresponding to 'lightweight' truth as well as to 'heavyweight' truth. To account for this, some unique truth predicate must apply to all sentences that can appear in inferences. Mixed inferences remind us of a central platitude about truth: truth is what is preserved in valid inferences. (...) The question is why we should postulate truth predicates that do not satisfy this platitude. (shrink)

A popular and plausible response against Laudan's “pessimistic induction” has been what I call “preservative realism,” which argues that there have actually been enough elements of scientific knowledge preserved through major theory‐change processes, and that those elements can be accepted realistically. This paper argues against preservative realism, in particular through a critical review of Psillos's argument concerning the case of the caloric theory of heat. Contrary to his argument, the historical record of the caloric theory reveals that beliefs about the (...) properties of material caloric, rejected by subsequent theories, were indeed central to the successes of the caloric theory. Therefore caloric remains a favorable case for Laudan. Further, I argue that even confirmed cases of preservation do not warrant an inference to truth. (shrink)

If Amelia utters ‘Brad ate a salad in 2005’ assertorically, and she is speaking literally and sincerely, then I can infer that Amelia believes that Brad ate a salad in 2005. This paper discusses what makes this kind of inference truth-preserving. According to the baseline picture, my inference is truth-preserving because, if Amelia is a competent speaker, she believes that the sentence she uttered means that Brad ate a salad in 2005; thus, if Amelia believes that (...) that sentence is true, then she must believe that Brad ate a salad in 2005. I argue that this view is not correct; on pain of irrationality, normal speakers can’t have specific beliefs about the meaning of the sentences they utter. I propose a new account, relying on the view that epistemically responsible speakers utter sentences assertorically only if they believe all the propositions which they think those sentences might mean. (shrink)

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple (...) cases, one based on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

In this essay Gillman Payette and Peter Schotch present an account of the key notions of level and forcing in much greater generality than has been managed in any of the early publications. In terms of this level of generality the hoary notion that correct inference is truth-preserving is carefully examined and found wanting. The authors suggest that consistency preservation is a far more natural approach, and one that can, furthermore, characterize an inference relation. But an examination (...) of the usual account of consistency reveals problems that, in general, can be corrected by means of an auxiliary notion of inference (forcing) which relies upon a kind of generalization of consistency, called level. Preservation of the latter is shown to be another of the properties which characterize a logic and forcing is shown to preserve it. The essay ends with a sketch of a result which locates forcing among all possible level-preserving inference relations. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a (...) naturalistic rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

In his seminal paper, Content Preservation, Tyler Burge defends an original account of testimonial knowledge. The originality of the account is due, in part, to the fact that it is cast within a novel epistemic framework. The central feature of that framework is the introduction of the concept of entitlement, which is alleged to be a distinctive type of positive epistemic support or warrant. Entitlement and justification, according to Burge, are sub-species of warrant. Justification is the internalist form (...) of warrant, but entitlement is epistemically externalist. My focus in this paper is Burge’s conception of entitlement, and there are three primary issues that I wish to address. What is the relationship between entitlement and the more traditional concept of justification? In what sense is entitlement epistemically externalist? Has Burge introduced a new epistemic concept or merely coined a new term for a familiar epistemic concept? (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and (...) we use the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

A conclusion follows from given premisses if and only if an acceptable counterfactual-supporting covering generalization of the argument rules out, either definitively or with some modal qualification, simultaneous acceptability of the premisses and non-accepta-bility of the conclusion, even though it does not rule out acceptability of the premisses and does not require acceptability of the conclusion independently of the premisses. Hence the reiterative associated conditional of an argument is true if and only it has such a covering generalization, and a (...) supposed unexpressed premiss supplied to make an argument formally valid should be a covering generalization. (shrink)

It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an (...) inference relation, calledyielding, is introduced which is intermediate between the coherence preservingforcing relation introduced elsewhere by the authors and the coherence destroying, inference relation of classical logic. (shrink)

The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.

Probabilistic inference forms lead from point probabilities of the premises to interval probabilities of the conclusion. The probabilistic version of Modus Ponens, for example, licenses the inference from \({P(A) = \alpha}\) and \({P(B|A) = \beta}\) to \({P(B)\in [\alpha\beta, \alpha\beta + 1 - \alpha]}\) . We study generalized inference forms with three or more premises. The generalized Modus Ponens, for example, leads from \({P(A_{1}) = \alpha_{1}, \ldots, P(A_{n})= \alpha_{n}}\) and \({P(B|A_{1} \wedge \cdots \wedge A_{n}) = \beta}\) to an (...) according interval for P(B). We present the probability intervals for the conclusions of the generalized versions of Cut, Cautious Monotonicity, Modus Tollens, Bayes’ Theorem, and some SYSTEM O rules. Recently, Gilio has shown that generalized inference forms “degrade”—more premises lead to less precise conclusions, i.e., to wider probability intervals of the conclusion. We also study Adam’s probability preservation properties in generalized inference forms. Special attention is devoted to zero probabilities of the conditioning events. These zero probabilities often lead to different intervals in the coherence and the Kolmogorov approach. (shrink)

L’atlas linguistique finnois de Lauri Kettunen (1940), accessible en ligne, a été initialement conçu par son auteur en fonction de variables de phonologie diachronique. Cependant, en raison de l’intrication de la phonologie dans la morphologie flexionnelle nominale et verbale du finnois, ces données se prêtent aisément à une lecture en termes de taxinomie morphologique. Le finnois apparaît alors comme bien moins « agglutinant » sur le plan typologique, et bien plus inférentiel, ou de type fusionnel. Nous appliquons le modèle PFM (...) (Paradigm Function Morphology) dans cette perspective, en proposant une modélisation diasystémique des classes flexionnelles du finnois. L’approche diachronique de Kettunen, fondée sur des étymons et des schèmes concaténatifs « agglutinants » invite par ailleurs à remonter plus haut dans l’histoire de la langue. On voit alors, comme d’un système somme toute simple de bipartition entre radicaux thématiques et athématiques, de disyllabes et d’imparisyllabiques, le diasystème finnois a évolué vers une complexification croissante, tout en préservant les structures fondamentales héritées. (shrink)

. This paper examines the underpinnings of the preservationist approach to characterizing inference relations. Starting with a critique of the ‘truth-preservation’ semantic paradigm, we discuss the merits of characterizing an inference relation in terms of preserving consistency. Finally we turn our attention to the generalization of consistency introduced in the early work of Jennings and Schotch, namely the concept of level.

Hintikka argues that abduction is ignorance-preserving in the sense that the hypothesis that abduction delivers and which attempts to explain a set of phenomena is not, epistemologically speaking, on a firmer ground than the phenomena it purports to explain; knowledge is not enhanced until the hypothesis undergoes a further inductive process that will test it against empirical evidence. Hintikka, therefore, introduces a wedge between the abductive process properly speaking and the inductive process of hypothesis testing. Similarly, Minnameier argues that (...) abduction differs from the inference to the best explanation since the former describes the process of generation of theories, while the latter describes the, inductive, process of their evaluation. As Hintikka so Minnameier traces this view back to Peirce’s work on abduction. Recent work on abduction goes as far as to draw a distinction between abducting an hypothesis that is considered worth conjecturing and the decision either to use further this hypothesis to do some inferential work in the given domain of enquiry, or to test it experimentally. The latter step, when it takes place, is an inductive mode of inference that should be distinguished from the abductive inference that led to the hypothesis. In this paper, I argue that in real scientific practise both the distinction between a properly speaking abductive phase and an inductive phase of hypothesis testing and evaluation, and the distinction between testing an hypothesis that has been discovered in a preceding abduction and releasing or activating the same hypothesis for further inferential work in the domain of enquiry in which the ignorance problem arose in the first place are blurred because all these processes form an inextricable whole of theory development and elaboration and this defies and any attempt to analyze this intricate process into discrete well defined steps. Thus, my arguments reinforce Magnani’s view on abduction and its function in scientific practise. (shrink)

Perspective taking has been proposed to be impaired in persons with autism spectrum disorder, especially when implicit processing is required. In narrative texts, language perception and interpretation is fundamentally guided by taking the perspective of a narrator. We studied perspective taking in the linguistic domain of so-called Free Indirect Discourse, during which certain text segments have to be interpreted as the thoughts or utterances of a protagonist without explicitly being marked as thought or speech representations of that protagonist. Crucially, the (...) correct interpretation of text segments as FID depends on the ability to detect which of the protagonists “stands out” against the others and is therefore identifiable as implicit thinker or speaker. This so-called “prominence” status of a protagonist is based on linguistic properties, in other words, the perspective is “hidden” and has to be inferred from the text material. In order to test whether this implicit perspective taking ability that is required for the interpretation of FID is preserved in persons with ASD, we presented short texts with three sentences to adults with and without ASD. In the last sentence, the perspective was switched either to the more or the less prominent of two protagonists. Participants were asked to rate the texts regarding their naturalness. Both diagnostic groups rated sentences with FID anchored to the less prominent protagonist as less natural than sentences with FID anchored to the more prominent protagonist. Our results that the high-level perspective taking ability in written language that is required for the interpretation of FID is well preserved in persons with ASD supports the conclusion that language skills are highly elaborated in ASD so that even the challenging attribution of utterances to protagonists is possible if they are only implicitly given. We discuss the implications in the context of claims of impaired perspective taking in ASD as well as with regard to the underlying processing of FID. (shrink)

For the moment, I assume that we have some rough idea of what “title” is supposed to mean: the large letters on the spine of a book, the words on the center of the first page of a musical score, or the little plate on the museum wall to the right of the painting . Thus examples of titles would be The Taming of the Shrew, “Mapleleaf Rag,” or The Birth of Venus, but that generates a rather complex set of (...) answers.Let us start with what is undoubtedly the simplest situation: where an inscription of the title is physically part of the work. The most familiar of the aquatints of Francisco Goya which collectively are called Los Caprichos—the forty-third—is titled The Sleep of Reason Produces Monsters, or, more precisely, the Spanish equivalent of those words, for the Spanish words appear as a large and significant element on the plate, indeed occupying more than 10 percent of its surface. In such cases titles are not given: they are elements of works, not by inference or subtle metaphor but in a most literal way. No other title fits in that way. That print could not be called Bats and Cats and Sleeping Man with the expectation that those words should serve as its title. Some works—most works—on the other hand, allow for a range of acceptable titles. Guernica could have been titled The Bombing of a Basque Village or Luftwaffe Hell. Neither of these would, I suspect, have been as good a title as Guernica, but they remain possibilities, even though the familiar title is not physically part of the work. Some works, incidentally, contain words, even sentences, and are not titled accordingly. Several familiar works of René Magritte include a most realistic representation of a tobacco pipe and the large words “Ceci n’est pas une pipe.” Examples of the titles given by Magritte to paintings in this series are L’Air et la chanson and Le Trahison des images. Obviously, not all works of visual art which contain linguistic inscriptions have titles which correspond to those inscriptions. The simplest situation is hardly much help. John Fisher is professor of philosophy at Temple University and editor of the Journal of Aesthetics and Art Criticism. He is also the editor of Perceiving Artworks and Essays on Aesthetics. (shrink)

Foundationalism in moral epistemology is a core tenet of ethical intuitionism. According to foundationalism, some moral beliefs can be known without inferential justification; instead, all that is required is a proper understanding of the beliefs in question. In an influential criticism against this view, Walter Sinnott-Armstrong has argued that certain psychological facts undermine the reliability of moral intuitions. He claims that foundationalists would have to show that non-inferentially justified beliefs are not subject to those defeaters, but this would already constitute (...) a form of inference and hence undermine the possibility of noninferential justification. The goal of my paper is to defend foundationalism against Sinnott-Armstrong’s criticism. After presenting his challenge, I first argue that the most promising objection to it fails. This objection makes the case that defeater-defeaters are not part of the justification, but merely preserve the justification which the original claim provides. I object to this argument by distinguishing between weak and robust defeaters; only weak defeaters, I argue, fall outside the scope of justification, and it is an open question whether Sinnott-Armstrong’s defeaters fall into that category. This leads the way to my own criticism of Sinnott-Armstrong’s challenge: foundationalists in moral epistemology are entitled to the use of defeater-defeaters as part of the justification for moral beliefs as long as those defeater-defeaters themselves do not entail moral claims. Therefore, Sinnott-Armstrong’s challenge does not undermine foundationalism. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Tyler Burge defends the idea that memory preserves beliefswith their justifications, so that memory's role in inferenceadds no new justificatory demands. Against Burge's view,Christensen and Kornblith argue that memory is reconstructiveand so introduces an element of a posteriori justificationinto every inference. I argue that Burge is right,memory does preserve content, but to defend this viewwe need to specify a preservative mechanism. Toward thatend, I develop the idea that there is something worthcalling anaphoric thinking, which preserves content inBurge's sense of (...) ``content preservation.'' I providea model on which anaphoric thought is a fundamentalfeature of cognitive architecture, consequentlyrejecting the idea that there are mental pronounsin a Language of Thought. Since preservativememory is a matter of anaphoric thinking, thereare limits on the analogy of memory and testimony. (shrink)

In this classic work of philosophy, Thilly provides a comprehensive overview of inductive reasoning and its role in scientific inquiry. With clear examples and lucid prose, Thilly's text remains an essential resource for anyone seeking to understand the nature of knowledge and the scientific method. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of (...) America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper advocates the reduction of the inference of common cause to that of common origins. It distinguishes and subjects to critical analysis thirteen interpretations of “the inference of common cause” whose conclusions do not follow from their assumptions. Instead, I introduce six types of inferences of common origins of information signals from their receivers to reduce, in the sense of supersede and replace, the thirteen inferences of common causes. I show how the paradigmatic examples of inferences of (...) common cause, as well as a broader scope of inferences in the historical sciences, are better explained by inferences of origins. Inferences of origins from information rich coherences between receivers of information signals both fit more closely and explain better the range of examples that have traditionally been associated with inferences of common causes, as well as a broader scope of examples from the historical sciences. Shannon’s concept of information as reduction in uncertainty, rather than physicalist concepts of information that relate it to entropy or waves, simplifies the inferences, preempts objections, and avoids the underdetermination of conclusions that challenge models of inferences of causes from information transmissions. In the second part of the paper I model inferences of information about common origins from information preserved in their receivers. I distinguish information poor inferences that there were some common origins of receivers from the information richer inferences of ranges of possible common origins and the information transmission channels by which they transmitted signals to receivers. Lastly and most information rich, I distinguish the inference of the defining properties of common origins. The information transmission model from origins to receivers allows the reconceptualization of the concepts of independence as absence of intersections between information channels and reliability as the preservation of information from origins in receivers. Finally, I show how inferences of origins form the epistemic basis of the historical sciences. (shrink)

As diachronic agents, we deliberate and decide in the present to perform future courses of action. Such future‐directed decisions normally enjoy a distinctive species of rational authority over subsequent thought and action. But what is the nature of this authority, and what underwrites its normative force? In this paper, I argue that our answer to this question must begin by situating future‐directed deciding within an intrapersonal model of cross‐temporal influence. The role of future‐directed deciding (and intending), then, is not to (...) generate a novel decision‐based reason for action, but instead to preserve a certain positive normative status over time. I develop an entitlement approach to decisional authority, according to which an agent who rationally decides to ϕ enjoys a practical entitlement, rather than a reason‐based practical justification, to ϕ at the appointed time. This entitlement is underwritten, I argue, by the warrant‐preserving nature of the sequence taking an agent from deliberation to subsequent action. (shrink)

In this paper Gillman Payette looks at various structural properties of the underlying logic X, and ascertains if these properties will hold of the forcing relation based on X. The structural properties are those that do not deal with particular connectives directly. These properties include the structural rules of inference, compactness, and compositionality among others. The presentation of the logic X is carried out in the style of algebraic logic; thus, a description of the resulting ‘forcing algebras’ is given. (...) The paper concludes with a discussion of first-order classical forcing as a particular instance of these properties. (shrink)

Ordinary language treats reports of perceptual episodes as canonical justifications of beliefs. The challenge for empirically oriented epistemologists is to explain one's right to give credence to one's perceptual judgments. Traditionally, many empiricists have assumed that an epistemic subject is entitled only to some primitive judgments, so that judgments about kinds, modal properties, and dispositions are parasitic upon and less certain than those about the particulars given in perception. This paper contributes to an understanding of C.S. Peirce's alternative perceptual epistemology. (...) According to Peirce's model, perceptual experience must be conceived as including previously encountered content and... (shrink)

Evolutionary psychology is a science in the making, working toward the goal of showing how psychological adaptation underlies much human behavior. The knee-jerk reaction that sociobiology is unscientific because it tells just-so stories has become a common charge against evolutionary psychology as well. My main positive thesis is that inference to the best explanation is a proper method for evolutionary analyses, and it supplies a new perspective on the issues raised in Schlinger's (1996) just-so story critique. My main negative (...) thesis is that, like many nonevolutionist critics, Schlinger's objections arise from misunderstandings of the evolutionary approach.Evolutionary psychology has progressed beyond telling just-so stories. It has found a host of ingenious special techniques to test hypotheses about the adaptive significance and proximate mechanisms of behavior. Naturalistic data using the comparative method combined with controlled tests using statistical analyses of data provide good evidence for a variety of hypotheses about behavioral control mechanisms — whether in nonhumans or in humans. For instance, the work of Gangestad and Thornhill on evolved mate preferences and fluctuating asymmetry of body type (FA) is a model of success. As the quantity and quality of evidence increase, we are entitled not just to regard such evolutionary hypotheses as preferable, but also as true. Such studies combine to show that the best explanation of the psychic unity of humankind — common patterns across societies, history, and cultures exposed by evolutionists — is the gendered, adapted, evolved species-typical design of the mind. (shrink)

What are the implications for agency – and in particular, the idea of acting for reasons – if we are to take seriously the notion of collective responsibility? My thesis is that some cases of individuals subject to a collective form of responsibility and blame will force us to make sense of how it is that an individual can be entitled to collective reasons for action, i.e. entitled to a reason had in the first place by a plurality of individuals (...) together rather than any one of them alone. This entitlement makes it possible for the collective reason to be a reason for which one acts, even if one’s contribution on its own makes little or no difference in the collective effort. Although a full defense of this entitlement cannot be undertaken here, I will gesture at how this might work by suggesting that intentions function to preserve reasons for action. . (shrink)

Life is preserved and enhanced by coordinated selectivity in local neural circuits. Narrow receptive-field selectivity is necessary to avoid the curse-of-dimensionality, but local activities can be made coherent and relevant by guiding learning and processing using broad coordinating contextual gain-controlling interactions. Better understanding of the functions and mechanisms of those interactions is therefore crucial to the issues Clark examines.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The core of Christopher Hom and Robert May’s semantic innocence is the thesis that ethnic slurs have empty extensions. Thereby, a slurring term makes any non-negated slurring sentence false. At the same time, Hom and May emphasise that the most important task in the study of slurs is to explain non-xenophobic understanding of slurs. In this paper, I argue that there is a conflict between the two claims. I show this with Kaplanian inferences, which, in my view, are crucial for (...) the non-xenophobic understanding. After all, slurs offend us because we understand them. (shrink)

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During (...) the inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During (...) the inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

Russell's The Problems of Philosophy tries to establish a new theory of induction, at the same time that Hume is there accused of an irrational/ scepticism about induction". But a careful analysis of the theory of knowledge explicitly acknowledged by Hume reveals that, contrary to the standard interpretation in the XXth century, possibly influenced by Russell, Hume deals exclusively with causal inference (which he never classifies as "causal induction", although now we are entitled to do so), never with inductive (...) inference in general, mainly generalizations about sensible qualities of objects ( whether, e.g., "all crows are black" or not is not among Hume's concerns). Russell's theories are thus only false alternatives to Hume's, in (1912) or in his (1948). (shrink)