Characteristic of neo-pragmatism is a commitment to deflationism about semantic properties, and inferentialism about conceptual content. It is usually thought that deflationism undermines the distinction between realistic discourses and others, and that the neo-pragmatists, unlike the classical pragmatists, cannot recognize that truth is a norm of belief and inquiry. I argue, however, that the distinction between realistic discourses and others can be maintained even in the face of a commitment to deflationism, and that deflationists can recognize that truth is a (...) norm of belief and inquiry. If deflationism is true, realistic discourses, it turns out, are those that are inferentially integrated with a large body of other commitments, whereas those that call for an anti-realist treatment are inferentially isolated. Now, Grimm has persuasively argued that inquiry aims at achieving understanding, and that to understand something is, roughly, to grasp a large body of inferential connections in which it features. So, if he is right, realistic discourses are those in which the aim of inquiry can be achieved. This fact, together with an inferential theory of conceptual content, will, I argue, allow neo-pragmatists to recognize truth as a norm of belief and inquiry, despite their commitment to deflationism. (shrink)

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

Motor representations live a kind of double life. Although paradigmatically involved in performing actions, they also occur when merely observing others act and sometimes influence thoughts about the goals of observed actions. Further, these influences are content-respecting: what you think about an action sometimes depends in part on how that action is represented motorically in you. The existence of such content-respecting influences is puzzling. After all, motor representations do not feature alongside beliefs or intentions in reasoning about action; indeed, thoughts (...) are inferentially isolated from motor representations. So how could motor representations have content-respecting influences on thoughts? Our aim is to solve this puzzle. In so doing, we shall provide the basis for an account of how experience links the motoric with thought. Such an account matters for understanding how humans think about action: in some cases, we have reasons for thoughts about actions that we would not have if we were unable to represent those actions motorically. (shrink)

In this paper, we present a number of problems for intellectualism about knowledge-how, and in particular for the version of the view developed by Stanley & Williamson 2001. Their argument draws on the alleged uniformity of 'know how'-and 'know wh'-ascriptions. We offer a series of considerations to the effect that this assimilation is problematic. Firstly, in contrast to 'know wh'-ascriptions, 'know how'-ascriptions with known negative answers are false. Secondly, knowledge-how obeys closure principles whose counterparts fail for knowledge-wh and knowledge-that. Thirdly, (...) as opposed to knowledge-wh and knowledge-that, knowledge-how is inferentially isolated from further knowledge-that. We close by providing some evidence against the further reduction of knowledge-wh to knowledge-that, which is presupposed by the intellectualist theory under discussion. (shrink)

According to a posteriori physicalism, phenomenal properties are physical properties, despite the unbridgeable cognitive gap that holds between phenomenal concepts and physical concepts. Current debates about a posteriori physicalism turn on what I call “the perspicuity principle”: it is impossible for a suitably astute cognizer to possess concepts of a certain sort—viz., narrow concepts—without being able to tell whether the referents of those concepts are the same or different. The perspicuity principle tends to strike a posteriori physicalists as implausibly rationalistic; (...) further, a posteriori physicalists maintain that even if the principle is applicable to many narrow concepts, phenomenal concepts have unique features that render them inferentially isolated from other narrow concepts ). I argue, on the contrary, that the case for the perspicuity principle is quite strong. Moreover, not only have versions of the PCS repeatedly failed, likely, all versions will, given the strange combination of lucidity and opacity that the PCS has to juggle. I conclude that a posteriori physicalists currently lack a principled objection to classic anti-physicalist arguments. (shrink)

There are a number of competing psychological accounts of the placebo effect, and much of the recent debate centers on the relative importance of classical conditioning and conscious beliefs. In this paper, I discuss apparent problems with these accounts and with?disjunctive? accounts that deny that placebo effects can be given a unified psychological explanation. The fact that some placebo effects seem to be mediated by cognitive states with content that is consciously inaccessible and inferentially isolated from a subject's beliefs motivates (...) an account of the placebo effect in terms of subdoxastic cognitive states. I propose that aliefs, subdoxastic cognitive states that are associative, automatic, and arational, can provide a unified psychological account of the placebo effect. This account also has the potential to illuminate interesting connections to other psychological phenomena. (shrink)

This paper evaluates Nancy Cartwright’s critique of economic models. Cartwright argues that economics fails to build relevant “nomological machines” able to isolate capacities. In this paper, I contend that many economic models are not used as nomological machines. I give some evidence for this claim and build on an inferential and pragmatic approach to economic modeling. Modeling in economics responds to peculiar inferential norms where a “good” model is essentially a model that enhances our knowledge about possible worlds. (...) As a consequence, models and experiments are very different knowledge-producing devices, at least in economics. (shrink)

This thesis is about experiential content: what it is; what kind of account can be given of it. I am concerned with identifying and attacking one main view - I call it the inferentialist proposal. This account is central to the philosophy of mind, epistemology and philosophy of science and perception. I claim, however, that it needs to be recast into something far more subtle and enriched, and I attempt to provide a better alternative in these pages. The inferentialist proposal (...) holds that experiential content is necessarily under¬pinned by sophisticated cognitive influences. My alternative, the continuum theory, holds that these influences are relevant to experience only at certain levels of organisation and that at other levels there are contents which such features do not capture at all. Central to my account is that there are degrees to which cognitive influences affect experiential content; indeed, for the most part, experience is an amalgam of both inferential and non-inferential features. I claim that the inferentialist proposal is fundamentally flawed and deserves replacement, and I argue that my alternative fills the hollow that remains. The thesis is divided into four sections. In Part I, Chapter 1, I introduce two traditionally rival views of experiential content. In Chapter 2, I develop my continuum alternative. Chapter 3 assesses the relationship between experience and language, while Chapter 4 explores the relationship between beliefs and experience. The overall argument is that it has been a mistake to understand experience simply in inferential or non-inferential terms. In Part II, I examine the structure of mental content. Chapter 5 is concerned with the kinds of experiences which escape the inferentialist analysis. Chapter 6 considers Kant’s metaphysic of experience counterpointed to Lorenz’s reading of his work in the light of evolutionary biology. Chapter 7 treats animal experience in relation to the continuum view I am developing, while Chapter 8 reviews Fodor’s contribution to perceptual psychology. It is argued that the view of experiential content being developed is both consistent with empirical data on informationally local perceptual sub-systems, but also accords well with evolutionary theory and a naturalist interpretation of Kant’s taxonomy. Part III deals with inferentialism in the philosophy of science. In Chapter 9, I assess the theory dependence of observation thesis as it is advanced by Paul Feyerabend. I bring out of his account a subtle confusion concerning the importance of inference in the context of scientific inquiry. Part IV deals with the issue of experience in the philosophy of mind. In Chapter 10, I look at Wilfred Sellars’s attack on sense data theories. Chapter 11 confronts Paul Churchland’s treatment of ‘folk psychology’ while Chapter 12 isolates the issue of experiential qualia and the position of property dualism. I offer a critical review of Thomas Nagel’s work in this chapter and claim that his position can be read in a way which is consistent with the continuum account I am developing. I conclude the thesis in the usual fashion with a summary of the central claims. (shrink)

The interpretation of metaphorical utterances often results in the attribution of emergent properties, which are neither standardly associated with the individual constituents in isolation nor derivable by standard rules of semantic composition. An adequate pragmatic account of metaphor interpretation must explain how these properties are derived. Using the framework of relevance theory, we propose a wholly inferential account, and argue that the derivation of emergent properties involves no special interpretive mechanisms not required for the interpretation of ordinary, literal (...) utterances. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to (...) consensus-formation, such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

It is common to base an inferential semantics on a social, normative pragmatics, thus conceiving meaning as consisting in certain normative relations (Wittgenstein, Sellars, Brandom). This position faces a trilemma, which is of wider application, concerning all normative statements: (1) Normative statements are true or false. Regarding a certain normative statement as true does not imply that it is true, not even if a whole community takes the statement in question to be true (cognitivism). (2) There are no normative (...) entities in the world that make normative statements true (naturalism). (3) It is not possible to deduce normative statements from descriptive statements (naturalistic fallacy). Each of these principles is well grounded considered in isolation, but their conjunction is inconsistent. We have to give up one of these principles. I shall argue in favour of abandoning (3) and outline a naturalistic account of the normative relations that constitute meaning in an inferentialist perspective, while preserving the objectivity of meaning. (shrink)

Coherentists attempt to solve the problem of infinite regress by rejecting what they sometimes call “the linear conception of knowledge.” Coherentists adopt, instead, a holistic conception of justification. This chapter examines BonJour's efforts to develop a coherentist account of empirical knowledge. BonJour faces two tasks: the first is to specify the conditions for a system of beliefs to be coherent, the second is to provide an argument showing that a system possessing these features provides justification for the beliefs it contains. (...) To be coherent, according to BonJour, a system must be both logically and probabilistically consistent, be rich in inferential connections, not be divided into isolated subsystems, and be free of anomalies. Finally, to be justified in believing something, a person must be able recognize that his belief has this status in his system of beliefs. This position is criticized on a number of grounds. It seems to have the consequence that no human being has ever been justified in any of his empirical beliefs. Nothing seems to rule out the multiple‐choice problem of there being two equally coherent but incompatible systems of belief. (shrink)

The interplay of content and context is observable in a moment to moment manner as propositional content unfolds. The current contribution illustrates this through data from real-time language comprehension indicating that propositional content is not computed in isolation but relies in important ways on context during every step of the computation of meaning. The relevant notion of context that we have to adopt includes all aspects of possible worlds and draws on a variety of knowledge representations, which in a (...) first processing phase serve to generate expectations for upcoming words. In a second phase, the discourse representation is assessed and if necessary updated by means of inferential reasoning and enrichment to reflect the speaker’s intended meaning. (shrink)

The Modularity of Mind proposes an alternative to the or view of cognitive architecture that has dominated several decades of cognitive science. Whereas interactionism stresses the continuity of perceptual and cognitive processes, modularity theory argues for their distinctness. It is argued, in particular, that the apparent plausibility of New Look theorizing derives from the failure to distinguish between the (correct) claim that perceptual processes are inferential and the (dubious) claim that they are unencapsidated, that is, that they are arbitrarily (...) sensitive to the organism's beliefs and desires. In fact, according to modularity theory, perceptual processes are computationally isolated from much of the background knowledge to which cognitive processes have access. The postulation of autonomous, domain-specific psychological mechanisms underlying perceptual integration connects modularity theory with the tradition of faculty psychology, in particular, with the work of Franz Joseph Call. Some of these historical affinities, and some of the relations between faculty psychology and Cartesianism, are discussed in the book. (shrink)

Neuroimaging technology is the most widely used tool to study human cognition. While originally a promising tool for mapping the content of cognitive theories onto the structures of the brain, recently developed tools for the analysis, handling and sharing of data have changed the theoretical landscape of cognitive neuroscience. Even with these advancements philosophical analyses of evidence in neuroimaging remain skeptical of the promise of neuroimaging technology. These views often treat the analysis techniques used to make sense of data produced (...) in a neuroimaging experiment as one, attributing the inferential limitations of analysis pipelines to the technology as a whole. Situated against the neuroscientists own critical assessment of their methods and the limitations of those methods, this skepticism appears based on a misunderstanding of the role data analysis techniques play in neuroimaging research. My project picks up here, examining how data analysis techniques, such as pattern classification analysis, are used to assess the evidential value of neuroimaging data. The project takes the form of three papers. In the first I identify the use of multiple data analysis techniques as an important aspect of the data interpretation process that is overlooked by critics. In the second I develop an account of inferences in neuroimaging research that is sensitive to this use of data analysis techniques, arguing that interpreting neuroimaging data is a process of isolating and explaining a variety of data patterns. In the third I argue that the development and uptake of new techniques for analyzing data must be accompanied by changes in research practices and standards of evidence if they are to promote knowledge generation. My approach to this work is both traditionally philosophical, insofar as it involves reading and analyzing the work of philosophers and neuroscientists, and embedded insofar as most of the research was conducted while engaged in attending lab meetings and participating in the work of those scientists whose work is the object of my research. (shrink)

We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this (...) article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant. (shrink)

I argue that, on Husserl's account, affectivity, along with the closely related phenomenon of association, follows a form of sui generis lawfulness belonging to the domain of what Husserl calls motivation, which must be distinguished both (1) from the causal structures through which we understand the body third-personally, as a material thing; and also (2) from the rational or inferential structures at the level of deliberative judgment traditionally understood to be the domain of epistemic import. In effect, in addition (...) to recognizing a “space of causes” and a “space of reasons,” Husserl’s account of affectivity and the epistemology of passive synthesis in which it is situated suggest that we should recognize a separate “space of motivations.” Within this space, on Husserl’s phenomenological picture, we can isolate two different sorts of epistemic import, one belonging directly to the passive-synthetic content of experience, as explained in Husserl’s account of association and his closely aligned notion of nonlinguistic sense, and a second—my primary focus—affectivity, which is still relevant for that content, albeit indirectly, and holds epistemic import in its determination not of what that content is but of how it comes to matter for us. (shrink)

In this essay we advance the view that analytical epistemology and artificial intelligence are complementary disciplines. Both fields study epistemic relations, but whereas artificial intelligence approaches this subject from the perspective of understanding formal and computational properties of frameworks purporting to model some epistemic relation or other, traditional epistemology approaches the subject from the perspective of understanding the properties of epistemic relations in terms of their conceptual properties. We argue that these two practices should not be conducted in isolation. (...) We illustrate this point by discussing how to represent a class of inference forms found in standard inferential statistics. This class of inference forms is interesting because its members share two properties that are common to epistemic relations, namely defeasibility and paraconsistency. Our modeling of standard inferential statistical arguments exploits results from both logical artificial intelligence and analytical epistemology. We remark how our approach to this modeling problem may be generalized to an interdisciplinary approach to the study of epistemic relation. (shrink)

The interpretation of metaphorical utterances often results in the attribution of emergent properties; these are properties which are neither standardly associated with the individual constituents of the utterance in isolation nor derivable by standard rules of semantic composition. For example, an utterance of ‘Robert is a bulldozer’ may be understood as attributing to Robert such properties as single-mindedness, insistence on having things done in his way, and insensitivity to the opinions/feelings of others, although none of these is included in (...) the encyclopaedic information associated with bulldozers . An adequate pragmatic account of metaphor interpretation must provide an explanation of the processes through which emergent properties are derived. In this paper, we attempt to develop an explicit account of the derivation process couched within the framework of relevance theory. The key features of our account are: metaphorical language use is taken to lie on a continuum with other cases of loose use, including hyperbole; metaphor interpretation is a wholly inferential process, which does not require associative mappings from one domain to another ; the derivation of emergent properties involves no special interpretive mechanisms not required for the interpretation of ordinary, literal utterances. (shrink)

In this paper we compare grammatical inference in the context of simple and of mixed Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for a family of multiplicative connectives /, *, \, together with a package of structural postulates characterizing the resource management properties of the * connective. Different choices for Associativity and Commutativity yield the familiar logics NL, L, NLP, LP. Semantically, a simple Lambek system is a unimodal logic: the connectives get a Kripke (...) style interpretation in terms of a single ternary accessibility relation modeling the notion of linguistic composition for each individual system.The simple systems each have their virtues in linguistic analysis. But none of them in isolation provides a basis for a full theory of grammar. In the second part of the paper, we consider two types of mixed Lambek systems.The first type is obtained by combining a number of unimodal systems into one multimodal logic. The combined multimodal logic is set up in such a way that the individual resource management properties of the constituting logics are preserved. But the inferential capacity of the mixed logic is greater than the sum of its component parts through the addition of interaction postulates, together with the corresponding interpretive constraints on frames, regulating the communication between the component logics.The second type of mixed system is obtained by generalizing the residuation scheme for binary connectives to families of n-ary connectives, and by putting together families, of different arities in one logic. We focus on residuation for unary connectives, hence on mixed frames, as these already represent the complexities in full. We prove a number of elementary logical results for unary families of residuated connectives and their combination with binary families. The existing proposals for unary ‘structural modalities’ are situated within this general framework, and a number of new linguistic applications is given. (shrink)

Speakers of jokes are aware of the human cognitively rooted relevance-seeking inferential procedure and predict the interlocutor’s steps leading to a valid interpretation of the utterance in the joke. Specifically, speakers can predict the accessibility to certain information which builds up a proper scenario for understanding the joke, the inferential steps taken to turn the words uttered into contextualized meaningful propositions, and the awareness of cultural stereotypes regarding professions, nationalities, connoted places, sex roles, etc.. This inferred information is (...) exploited to generate humorous effects. In previous research, the Intersecting Circles Model was proposed. It comprises seven types of jokes depending on whether the joke only relies on one of or on combinations of them, which entails analyzing the extent to which play or do not play a role in the generation of humorous effects. In this paper, 1000 jokes are analyzed and fitted into a type or combinations of. Several interesting humor-generating patterns are also isolated inside the seven preliminary joke types covered by the Model. (shrink)

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is not (...) the case that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow. (shrink)

Mark Alfano claims that the heuristics and biases literature supports inferential cognitive situationism, i.e., the view that most of our inferential beliefs are arrived at and retained by means of unreliable heuristics rather than intellectual virtues. If true, this would present virtue reliabilists with an unpleasant choice: they can either accept inferential skepticism, or modify or abandon reliabilism. Alfano thinks that the latter course of action is most plausible, and several reliabilists seem to agree. I argue that (...) this is not the case. If situationism is true, then inferential non-skepticism is no more plausible than reliabilism. But inferential cognitive situationism is false. The heuristic-based inferences that facilitate successful perception and communication have proven remarkably accurate, and even the psychological research on inductive reasoning does not support Alfano’s situationism. More generally, negative assessments of human reasoning tend to ignore the fact that the research on cognitive biases focuses primarily on the performance of individuals in isolation. Several studies suggest that we reason much more effectively when in critical dialogue with others, which highlights the fact that our epistemic performance depends not only on the inner workings of our cognitive processes, but on the environments in which they operate. (shrink)

The computational approach to psychiatric disorders, including delusions, promises explanation and treatment. Here, we argue that an information processing approach might be misleading to understand psychopathology and requires further refinement. We explore the claim of computational psychiatry being a bridge between phenomenology and physiology while focussing on the ontological commitments and corresponding methodology computational psychiatry is based on. Interconnecting ontological claims and methodological practices, the paper illustrates the structure of theory-building and testing in computational psychiatry.First, we will explain the ontological (...) commitments computational psychiatry is grounded in, theBayesian Brain hypothesis(BBH) of unconscious inference, paired with normative deontic approaches applied to gauge psychopathology. We then turn to the steps taken in empirical paradigms, from definitions, which are used as starting points, to the operationalisation and isolation of cognitive processes and hypothesis testing based on algorithmic models, to consecutive interpretations regarding the aetiology of psychiatric disorders. We outline how experimental paradigms in computational psychiatry are specifically designed to confirm aberrations in assumed inferential processes, which are thought of as being the underlyingcore invariant features.We will illustrate a gap between the ontological commitments of computational psychiatry and the operationalisation and testing of the cognition assumed to be relevant for psychopathology. This conceptual gap is of utmost importance when designing computational paradigms and may impede a crisp understanding of the approach. Lastly, in evaluating the conceptual gap, it becomes apparent that the information processing formalism used in computational psychiatry is still grounded in rational cognitive psychology. (shrink)

I develop one account of propositions as pictures sharing logical form with what they depict. Two concepts of simplicity in the "tractatus" are then isolated. Since characterization of sachverhalten as configurations of referential simples does not entail their inferential simplicity, By rejecting the tractarian theory of inference, I retain the picture theory without commitment to atomistic ontology. Interpretation of inference as performance then gives rise to a second sense of picturing.

Victory is the ultimate aim in high performance sports; when it comes to team sports, the goal is the key that allows players to achieve that victory. This is the case with futsal which, due to its internal structure as well as the speed in the development of its game, makes the achievement of a goal not an isolated event, but rather more than one goal must be scored to achieve victory. The aim of the present study is to analyze (...) the construction of offensive sequences that have resulted in goal-scoring in the two main European futsal leagues, the Spanish and the Italian, as well as to identify the patterns relating to offensive actions that have ended with a goal being scored. Observational methodology was used to develop the research and an ad hoc observation instrument was developed for this purpose. The data was analyzed using inferential statistics as well as sequential analysis of delays in a diachronic analysis to identify the patterns of offensive actions. The results obtained enable recognition of a league’s idiosyncrasy patterns in goal-scoring in each of the leagues studied. The results obtained will allow experts to have a better understanding of how goals are scored and how to establish more specific training tasks, in both attack and defense. (shrink)

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

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

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)

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

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 inferential (...) role. We characterize formalisms, illustrate how they extend our mathematical resources, and highlight how distinct formalisms offer various inferential affordances. (shrink)

We address the issue of whether, why and under what conditions, quarantine and isolation are morally justified, with a particular focus on measures implemented in the developing world. We argue that the benefits of quarantine and isolation justify some level of coercion or compulsion by the state, but that the state should be able to provide the strongest justification possible for implementing such measures. While a constrained form of consequentialism might provide a justification for such public health interventions, (...) we argue that a stronger justification is provided by a principle of State Enforced Easy Rescue: a state may permissibly compel individuals to engage in activities that entail a small cost to them but a large benefit to others, because individuals have a moral duty of easy rescue to engage in those activities. The principle of State Enforced Easy Rescue gives rise to an Obligation Enforcement Requirement: the state should create the conditions such that submitting to coercive or compulsive measures becomes a fundamental moral duty of individuals, i.e. a duty of easy rescue. When the state can create such conditions, it has the strongest justification possible for implementing coercive or compulsive measures, because individuals have a moral duty to temporarily relinquish the rights that such measures would infringe. Our argument has significant implications for how public health emergencies in the developing world should be tackled. Where isolation and quarantine measures are necessary, states or the international community have a moral obligation to provide certain benefits to those quarantined or isolated. (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)

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

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

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)

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

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

Debates about the theological implications of recent research in the cognitive and evolutionary study of religion have tended to focus on the question of theism. The question of whether there is any disagreement about the conceptualization of the individual human being has been largely overlooked. In this article, I argue that evolutionary and cognitive accounts of religion typically depend upon a view of cognition that conceptually isolates the mind from its particular social and physical environmental contexts. By embracing this view (...) of the mind, these accounts also unwittingly embrace an abstract individualist view of individual personhood that Christian theologians have explicitly battled against. Taken as a whole, the field leaves sufficient room for supplementary theories that are compatible with theological accounts of the relational individual, but in practice, no effort has been made to engage, or even to accommodate, any other view of individual personhood. (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)

In his long and illuminating paper [1] Joe Barback defined and showed to be non-vacuous a class of infinite regressive isols he has termed “complete y torre” isols. These particular isols a enjoy a property that Barback has since labelled combinatoriality. In [2], he provides a list of properties characterizing the combinatoria isols. In Section 2 of our paper, we extend this list of characterizations to include the fact that an infinite regressive isol X is combinatorial if and only if (...) its associated Dekker semiring D satisfies all those Π2 sentences of the anguage LN for isol theory that are true in the set ω of natural numbers. of the various function and relation symbols of LN via the “lifting ” to D of their Σ1 definitions in ω coincide with their interpretations via isolic extension.) We also note in Section 2 that Π2-correctness, for semirings D, cannot be improved to Π 3-correctness, no matter how many additional properties we succeed in attaching to a combinatoria isol; there is a fixed equation image sentence that blocks such extension. In Section 3, we provide a proof of the existence of combinatorial isols that does not involve verification of the extremely strong properties that characterize Barback's CT isols. (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)

We show the existence of a high d. c. e. degree d and a low2 c.e. degree a such that d is isolated by a.

Social isolation has serious repercussions for people and communities across the globe, yet knowledge about this phenomenon has remained rather limited – until now. The first multidisciplinary study to explore this issue, Social Isolation in Modern Society integrates relevant research traditions in the social sciences and brings together sociological theories of social networks and psychological theories of feelings of loneliness. Both traditions are embedded in research, with the results of a large-scale international study being used to describe the (...) extent, nature and divergent manifestations of social isolation. With a new approach to social inequality, this empirically based study includes concrete policy recommendations, and presents a clear insight into personal, social and socio-economic causes and the consequences of social isolation. (shrink)

If realism about possible worlds is to succeed in eliminating primitive modality, it must provide an 'analysis' of possible world: nonmodal criteria for demarcating one world from another. This David Lewis has done. Lewis holds, roughly, that worlds are maximal unified regions of logical space. So far, so good. But what Lewis means by 'unification' is too narrow, I think, in two different ways. First, for Lewis, all worlds are (almost) 'globally' unified: at any world, (almost) every part is directly (...) linked to (almost) every other part. I hold instead that some worlds are 'locally' unified: at some worlds, parts are directly linked only to "neighboring" parts. Second, for Lewis, each world is (analogically) 'spatio-temporally' unified; every world is 'spatio-temporally' isolated from every other. I hold instead: a world may be unified by nonspatio-temporal relations; every world is 'absolutely' isolated from every other. If I am right, Lewis's conception of logical space is impoverished: perfectly respectable worlds are missing. (shrink)