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

Erratum to: Synthese DOI 10.1007/s11229-015-0705-5In line 3 of footnote 8 on page 4, ‘allow’ should be ‘disallow’.In line 8 of page 5, \ should be \ and \ should be \. Similarly for lines 1, 2, 3, 7, 8, 13 and 14 of page 6.The entry in row 20 column 6 of the table on page 5 should be 1 rather than 0.The entry \ in row 30 column 5 of the table on page 5 should be \.In line 27 (...) of page 13, ‘it’ should be ‘them’.Four lines from the end of section 12.3 on page 20, ‘premisses’ should be ‘premiss sets’, and .. (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)

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)

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

ABSTRACT: I argue that Sellars’s metaconceptual theory of the categories exemplifies and extends a long line of nominalistic thinking about the nature of the categories from Ockham and Kant to the Tractatus and Carnap, and that this theory is far more central than has generally been realized to each of Sellars’s most famous and enduring philosophical conceptions: the myth of the given, the logical space of reasons, and resolving the ostensible clash between the manifest and scientific images of the human (...) being in the world. Sellars’s distinctive contribution to this longstanding (if currently on the defensive) metaconceptual approach to the nature of ontological categories was to interpret and reconstruct it in terms of his own ‘meaning as use’ or norm-governed inferential role semantics. With these resources Sellars sought to preserve the genuine insights in the ‘realist’ or broadly platonic traditions while simultaneously defending the idea that in the end, as he puts it, “a naturalistic ontology must be a nominalistic ontology” (1980a NAO IV §129). (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)

Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential (...) class='Hi'>role. This distinction is closely tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally. (shrink)

This is a critical discussion of Jerry Fodor and Ernie Lepore's "Holism". The paper questions the existence of a slippery slope from some inferential liaisons are constitutive of meaning' to all inferential liaisons are constitutive of meaning'. "Interalia", it defends the existence of an analytic/synthetic distinction.

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)

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

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

While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.

According to inferential role semantics, for any given expression to possess a particular meaning one must be disposed to make or, alternatively, acknowledge as correct certain inferential transitions involving it. As Williamson points out, pejoratives such as ‘Boche’ seem to provide a counter-example to IRS. Many speakers are neither disposed to use such expressions nor consider it proper to do so. But it does not follow, as IRS appears to entail, that such speakers do not understand pejoratives (...) or that they lack meaning. In this paper, I examine recent responses to this problem by Boghossian and Brandom and argue that their proposed construal of the kind of inferential rules governing a pejorative such as ‘Boche’ is to be ruled out on the grounds that it is non-conservative. I defend the appeal to conservatism in this instance against criticism and, in doing so, propose an alternative approach to pejoratives on behalf of IRS that resolves the problem Williamson poses. (shrink)

I propose a version of inferential role theory which says that having a concept is having the disposition to draw most of the inferences based on the stereotypical features associated with this concept. I defend this view against Fodor and Lepore.

Derogatory terms (racist, sexist, ethnic, and homophobic epithets) are bully words with ontological force: they serve to establish and maintain a corrupt social system fuelled by distinctions designed to justify relations of dominance and subordination. No wonder they have occasioned public outcry and legal response. The inferential role analysis developed here helps move us away from thinking of the harms as being located in connotation (representing mere speaker bias) or denotation (holding that the terms fail to refer due (...) to inaccurate descriptive content). The issue is not bad attitudes or referential misfires. An inferential role semantic analysis of derogatory terms shows exactly what is at stake between those who argue that the terms should be eliminated (Absolutists) and those who claim they can be successfully rehabilitated (Reclaimers). The Reclaimer maintains, and the Absolutist denies, that certain contexts can detach the derogatory force from deeply derogatory terms. The article looks at these claims with respect to ‘nigger’ and ‘dyke,’ setting out the inferential role of each term and examining detachability potential. Explaining detachability in terms of linguistic commitments, this article also addresses the issue of whether such terms count as political discourse, and examines the implications of that issue. (shrink)

Inferential Role Semantics is often criticized for being incompatible with the platitude that words of different speakers can mean the same thing. While many assume that this platitude can be accommodated by understanding sameness of meaning in terms of similarity of meaning, no worked out proposal has ever been produced for Inferential Role Semantics. I rectify this important omission by giving a detailed structural account of meaning similarity in terms of graph theory. I go on to (...) argue that this account has a number of attractive features, prominent among them that it makes sameness of meaning probabilistically determine co-reference. (shrink)

ABSTRACT My aim in this paper is to present a pluralist thesis about the inferential role of logical constants, which embraces classical, relevant, linear and ordered logic. That is, I defend that a logical constant c has more than one correct inferential role. The thesis depends on a particular interpretation of substructural logics' vocabulary, according to which classical logic captures the literal meaning of logical constants and substructural logics encode a pragmatically enriched sense of those connectives. (...) The paper is divided into four parts: first, I introduce the motivation for the pluralist thesis of the paper; second I introduce the calculus for the different logics endorsed in the pluralist thesis; third, I motivate how the different behaviors of the logical vocabulary of these logics can be pragmatically interpreted, and fourth, I motivate how the different inferential roles that each substructural logic attribute to logical constants can coexist, and how we should reason with a logical constant c given this plurality. (shrink)

Supervenience is mostly conceived of as a purely philosophical concept. Nevertheless, I will argue, it played an important and very fruitful inferential role in classical genetics. Gregor Mendel assumed that phenotypic traits supervene on underlying factors, and this assumption allowed him to successfully predict and explain the phenotypical regularities he had experimentally discovered. Therefore it is interesting to explicate how we reason about supervenience relations. I will tackle the following two questions. Firstly, can a reliable method (a logic) (...) be found for infenfog supervenience claims from data? Secondly, can a reliable method (a logic) be found to empirically test supervenience claims? I will answer these questions within the framework of the adaptive logics programme. (shrink)

Proof-theoretic semantics provides meanings to the connectives of intuitionistic logic without the need for a semantics in the standard sense of an attribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evidence and the Logic of Evidence and Truth. The rules of BLE (...) have been conceived to preserve a notion weaker than truth, namely, evidence, understood as reasons for believing in or accepting a given proposition. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}, on the other hand, is a logic of formal inconsistency and undeterminedness that extends \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$BLE$$\end{document} by adding resources to recover classical logic for formulas taken as true, or false. We extend the idea of proof-theoretic semantics to these logics and argue that the meanings of the connectives in BLE are given by the fact that its rules are concerned with preservation of the availability of evidence. An analogous idea also applies to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}. (shrink)

We present a way of classifying the logically possible ways out of Gärdenfors' inconsistency or triviality result on belief revision with conditionals. For one of these ways—conditionals which are not descriptive but which only have an inferential role as being given by the Ramsey test—we determine which of the assumptions in three different versions of Gärdenfors' theorem turn out to be false. This is done by constructing ranked models in which such Ramsey-test conditionals are evaluated and which are (...) subject to natural postulates on belief revision and acceptability sets for conditionals. Along the way we show that in contrast with what Gärdenfors himself proposed, there is no dichotomy of the form: either the Ramsey test has to be given up or the Preservation condition. Instead, both of them follow from our postulates. (shrink)

I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics capture and formalize normative and legitimate senses of logical consequence: classical logic encodes “follows from” as truth preservation and captures the truth conditions of the logical constants, while relevant logic encodes a notion of “follows from” which, apart from preserving truth, (...) avoids the violation of certain Gricean maxims and captures a different inferential role for the same logical constants, enriching their meaning pragmatically. (shrink)

It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of the (...) logical operators of classical logic is determined not by their connections to truth, but by their inferential roles. It is claimed in conclusion that there is no genuine issue over which logic, classical or intuitionistic, is the correct logic, for they are both conservative in the relevant sense. (shrink)

It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of the (...) logical operators of classical logic is determined not by their connections to truth, but by their inferential roles. It is claimed in conclusion that there is no genuine issue over which logic, classical or intuitionistic, is the correct logic, for they are both conservative in the relevant sense. (shrink)

Environmental groups have worked tirelessly to save several species of endangered fish along the Colorado River, including the humpback chub (Gila cypha). The humpback chub does not seem to have any significant instrumental goods, but these environmentalists have championed its cause nonetheless. If the humpback chub has no instrumental goods, then appealing to another kind of goods is needed to show that it should be preserved. Some environmental ethicists have suggested appealing to the intrinsic goods of a species (or, alternatively, (...) its intrinsic value or inherent value). Drawing on and going beyond John O’Neill’s work, it can be argued that all currently existing (biological) species have their own goods, or intrinsic goods. In terms of the notion of flourishing, the intrinsic goods of a species consist in its abilities to flourish. These goods can be used to construct a defense of the view that a species, even a species such as the humpback chub, ought to be preserved. One way to construct this defense is to appeal to virtue ethics, specifically the virtue of humility. Exercising the virtue of humility in our relations with species that we human beings have endangered involves preserving them along with preserving their intrinsic goods. (shrink)

The aim of this paper is to challenge the claim that the neural activity commonly referred to as 'readiness potential' constitutes evidence for the unconscious initiation of action. Although I accept that such neural activity seriously challenges the commonly held view that one's sense of volition is causally efficacious, I nevertheless contend that much of our everyday engagement with the world is consciously initiated. Thus, a distinction is made between awareness and what the awareness is of: the latter constituting the (...) conscious decision to act in accordance with one's goal, or what I have termed intentional project. Initiation of an action in accordance with one's intentional project grounds the action in meaning, something that would be lacking in an exclusively unconscious decision to act. (shrink)

Tmagists' hold that inferential thinking is built up from combinations of sensory and sensorimotor images in various patterns and modalities, and that the images are a more basic mental and neurophysiological operation than the logical thinking and conceptualization that are built up front them. 'Computationalists' hold just the opposite view — that images result from previous inferential processing which is more basic than the images. Suppose we define inference as the kind of thought process that we actually undergo (...) when we do logical thinking, and not in the trivial sense in which any natural phenomenon which receives an 'input' from another then 'responds' to this 'input'. And suppose we define an 'image ' as any instance of imagining what it would be like to entertain some conscious state which we are not undergoing at the time — as for example when we imagine what it would be like to see something, to ride a roller coaster or to have a headache. I. e., 'images ' can be kinaesthetic and proprioceptive s well as sensory. Then it can be shown that inferential thinking is built up from patterns of images, including importantly the imaging of rhythm patterns corresponding to logical syntax. Furthermore, the acquisition of these inference rules can also be traced to a process of trying to imagine scenarios which might serve as counterexamples to the rules, and this kind of 'imagining ' can also be explained in terms of both sensory and proprioceptive images. The reason for this is twofold: First, even the apparently 'imageless ' concepts used to imagine such scenarios consist in each case of a feeling of preparedness to entertain a pattern of images which would be appropriate to provide a directly or indirectly ostensive definition of the concept in question, and this feeling of preparedness can be sensed proprioceptively. Secondly, a concept, even if it is not experienced as involving imagery, may nonetheless occur as an element of a larger pattern whose rhythm can be imaged. This paper defends an expanded version of the imagist approach, suggesting an important pragmatic role for the proprioceptive sensing of rhythm patterns in the acquisition and use of inference skills. (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)

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)

The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. For a long time the widely accepted view was that while model theory captures directly what logical formalisms are about, proof theory is merely our technical means of getting some incomplete grip on this; but in recent decades the situation has altered. Not only did proof theory expand into new (...) realms, generalizing the concept of proof in various directions; many philosophers also realized that meaning may be seen as primarily consisting in certain rules rather than in language-world links. However, the possibility of construing meaning as an inferential role is often seen as essentially compromised by the limits of prooftheoretical means. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. (shrink)

Scientific models need to be investigated if they are to provide valuable information about the systems they represent. Surprisingly, the epistemological question of what enables this investigation has hardly been investigated. Even authors who consider the inferential role of models as central, like Hughes or Bueno and Colyvan, content themselves with claiming that models contain mathematical resources that provide inferential power. We claim that these notions require further analysis and argue that mathematical formalisms contribute to this (...) class='Hi'>inferential role. We characterize formalisms, illustrate how they extend our mathematical resources, and highlight how distinct formalisms offer various inferential affordances. (shrink)

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

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

It is sometimes suggested that there are two kinds of reasoning: inferential reasoning and non-inferential reasoning. However, it is not entirely clear what the difference between these two kinds of reasoning is. In this paper, I try to answer the question what this difference is. I first discuss three answers to this question that I argue are unsatisfactory. I then give a different answer to this question, and I argue that this answer is satisfactory. I end by showing (...) that this answer can help to resolve some disagreements in which the difference between inferential and noninferential reasoning plays a role. (shrink)

Communication is a multichannel, multiunit process that works on different levels. It is sequential with specific information carriers on a cognitive accessible level, and dynamic for the regulation of relationships at the same time. One function of communication is the broadcasting of internal states that can be assessed by inferential communication.

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

In previous published research (“Conditionals and Inferential Connections: A Hypothetical Inferential Theory,” Cognitive Psychology, 2018), we investigated experimentally what role the presence and strength of an inferential connection between a conditional’s antecedent and consequent plays in how people process that conditional. Our analysis showed the strength of that connection to be strongly predictive of whether participants evaluated the conditional as true, false, or neither true nor false. In this article, we re-analyse the data from our previous (...) research, now focussing on the semantics of conditionals rather than on how they are processed. Specifically, we use those data to compare the main extant semantics with each other and with inferentialism, a semantics according to which the truth of a conditional requires the presence of an inferential connection between the conditional’s component parts. (shrink)

As an instrument of preserving the cultural memory of a community, the literary canon is usually a highly stable structure in its core elements. However, with the advent of the Communist regime after the Second World War, the Romanian literary canon underwent a drastic process of reconstruction. As early as the 1940s, what was euphemistically dubbed “revisiting our cultural heritage” actually equated to a radical revision—a purge of the literary canon through the fi lter of Marxism-Leninism. Not only writers of (...) literature, but literary critics themselves were subjected to this process. In this paper, I aim to discuss the role played by literary critics active during Gheorghe Gheorghiu-Dej’s regime in rehabilitating their predecessors. My focus will be on the press debate surrounding Titu Maiorescu’s rehabilitation in 1963. (shrink)

This paper aims to propose an inferential and dynamic approach to understanding with models in biology. Understanding plays a central role in the practice of modeling. From its links with the other two central elements of scientific research, experimentation, and explanation, we show its epistemic relevance to the case of explanation in biology. Furthermore, by including the notion of understanding, we propose a non-referentialist perspective on scientific models, which is determined by their use.

This paper aims to propose an inferential and dynamic approach to understanding with models in biology. Understanding plays a central role in the practice of modeling. From its links with the other two central elements of scientific research, experimentation, and explanation, we show its epistemic relevance to the case of explanation in biology. Furthermore, by including the notion of understanding, we propose a non-referentialist perspective on scientific models, which is determined by their use.