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)

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

Sentences containing predicates of personal taste (for example, ‘tasty’, ‘funny’) and aesthetic predicates (for example, ‘beautiful’) give rise to an acquaintance inference: They convey the information that speakers have first-hand experience with the object of predication and they can only be uttered appropriately if that is the case. This is surprisingly hard to explain. I will concentrate on aesthetic predicates, and firstly criticize previous attempts to explain the acquaintance phenomena. Second, I will suggest an explanation that rests on a speech (...) act theoretical version of hybrid expressivism, according to which, in uttering ‘X is beautiful’ speakers perform two illocutionary acts simultaneously: an expressive and an assertive one. I will spell out this suggestion in detail and defend it against objections. Considering puzzles related to the acquaintance inference will lead to a new argument for a promising version of hybrid expressivism in meta-aesthetics. (shrink)

Some believe that all arguments make an implicit “inference claim” that the conclusion is inferable from the premises (e.g., Bermejo-Luque, Grennan, the Groarkes, Hitchcock, Scriven). I try to show that this is confused. An act of arguing arises because an inference can be attributed to us, not a meta-level “inference claim” that would make the argument self-referential and regressive. I develop six (other) possible explanations of the popularity of the doctrine that similarly identify confusions.

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of (...) emotions must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is (...) no clear philosophical significance of meta-inferences above the first level. (shrink)

As it has been shaped by improvements in its tools and methods, and by its discourse with critics, I describe how the astrological research program has advanced through three stages of modelling and design limitations. Single-factor tests (for example, the many Sun-sign–only experiments that have been published) are typically underdeterministic. Multi-factor tests, unless they are very well designed, can easily become overdeterministic. Chart-matching tests have been vulnerable to confirmation bias errors until the development of a machine-based, whole-chart matching protocol that (...) has objectively produced evidence of high effect-sizes. A meta-analysis of recent results shows the rapid advancement and how to further improve the results. The value of the program is not only to corroborate the taxonomic counterfactuals of astrological “cookbooks,” but to extend their explanatory reach by the comparison of astrological postulates and inferences with philosophies in other disciplines in terms of quantifiable processes and emergent effects. (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I (...) extend the system so that it can capture invalidities. (shrink)

The paper presents teleo-inferentialism, which is a novel meta-semantic theory that combines advantages of teleosemantics and normative inferentialism. Like normative inferentialism, teleo-inferentialism holds that contents are individuated by the norms that govern inferences in which they occur. This allows teleo-inferentialism to account for sophisticated concepts. Like teleosemantics, teleo-inferentialism explains conceptual norms in a naturalistically acceptable way by appeal to the broadly biological well-functioning of our innate capacities. As a test-case for teleo-inferentialism, I discuss how the view handles Kripkenstein-style (...) meaning skepticism. (shrink)

The meta-problem of consciousness aims to explain the particularity of our intuitions about consciousness and how they trigger conceptual issues such as the hard problem of consciousness. I propose in this article that these stem from a basic function of the brain : self-evidencing explanation. To make sense of its sensory inputs, the brain is believed to build and test models of the state of the world based on sensory information (Hohwy, 2016). This self-evidencing process has been proposed to (...) describe the type of inference performed by consciousness (Friston, 2018). I will show how this situation is viciously circular and prevents from proving the existence of conscious experience or explaining it without presupposing its existence. I will show how it accounts for the particularity of our intutions about consciousness and thus propose an solution to the meta-problem of consciousness using a formally defined process at the core of conscious inference. (shrink)

A mixed methods study, this doctoral research explores the relationship between the classroom language assessment literacy (CLAL) and assessment practices of English teachers. It is based on the premise that if English teachers are properly oriented in assessment of language ability in classroom, the quality of classroom assessments will improve and in turn, teachers will be in a position to carry out “assessment for learning” effectively. The study is designed considering the assessment policies and practices in India as a whole. (...) The intervention takes place in three schools— a CBSE, a State-Board and an ICSE school— and six secondary school English teachers— two each from the above-mentioned schools— in Andhra Pradesh constituted the main participants. This research is significant in the sense that though the new assessment policy in schools demands that teachers carry out classroom assessments, and attaches a lot of importance to those, very little has been done to equip teachers with adequate skills and knowledge to enable them to meet the challenges of classroom assessment. This study tries to draw attention towards this problem and suggests a possible solution. For its theoretical framework, the study draws on classroom assessment, assessment literacy, second language teacher education, teacher development, teacher beliefs and teacher knowledge. The framework is built after studying and tracing the existing gaps in the research literature in areas relevant to the study. The study is conducted in three major phases: pre-intervention, intervention and postintervention. In the first phase, the researcher collects information about the CLAL of secondary school English teachers practicing in CBSE, state-board and ICSE schools through a state-wise survey. Then two teachers each from a CBSE, a state-board and an ICSE school are selected and information about their CLAL, beliefs about assessment and assessment practices is obtained. A teacher development (TD) programme based on the above-mentioned information is designed with a view to developing teachers’ CLAL. In the second phase, the programme is imparted separately to the three pairs of teachers for 18 hours. Records of teachers’ experience and the researcher’s observations are maintained during the intervention. In the last phase, once again, information is collected about the CLAL and assessment practices of the teachers in a similar manner as done in the first stage. Data are analysed both qualitatively and quantitatively, triangulated and meta-inferences are made after a few cross-case analyses. Finally, an effort is made to generalize and discuss the findings, state the implications of the study for policy makers, teacher education, curriculum designers, experts in language assessment and teacher educators, point out the limitations of the project and suggest directions for further research in the area of the study. The findings of the study suggest that there is a relationship between CLAL and assessment practices of teachers. But a lot of factors like the assessment policy at curricular level, institutional policy about assessment, motivation of teachers to utilize assessment for pedagogic purposes and their English language ability are found to have impact on teachers’ assessment practices. It is also found that a need-based TD programme can, to a great extent, generate the desired impact on teachers’ assessment practices. (shrink)

On standard readings of Grice, Gricean communication requires (a) possession of a concept of belief, (b) the ability to make complex inferences about others’ goal-directed behaviour, and (c) the ability to entertain fourth order meta-representations. To the extent that these abilities are pre-requisites of Gricean communication they are inconsistent with the view that Gricean communication could play a role in their development. In this paper, I argue that a class of ‘minimally Gricean acts’ satisfy the intentional structure described (...) by Grice, but require none of abilities (a)-(c). As a result, Gricean communicative abilities may indeed contribute to the development of (a)-(c) – in particular, by enabling language development. This conclusion has important implications for our theorising about cognitive development. (shrink)

The central question in meta-ethics, and arguably all of ethics, is the question of what moral statements refer to. Several candidates have been proposed, including Platonic objects, natural objects, commands, and personal preferences. The answer, I suggest, is that it is none of these. Rather, morality is a framework. We see this by looking at common moral terms: ‘right’ and ‘wrong’, ‘justice’, ‘guilt’, ‘responsibility’, ‘blame’, and ‘rights’. These terms all have something in common: they are legal terms. Since morality (...) dates to prehistoric times, it’s easy to see where this could have come from: prehistoric societies observed nature acting in a ‘court-like’ way – for example punishing them for overhunting – and inferred that this was a larger version of their own tribunal processes. Thus, we can define morality as an anthropomorphic framework based on the analogy of a human court, applied to human behaviour and its relation to nature. The framework persisted through human religious history, with various gods being the lawmaker and judge. This presents a problem: human society has worked hard to eliminate non-natural objects from our model of the world, replacing them with natural descriptions. Assuming we don’t really believe nature is a giant court, the question is how we replace morality with a natural description. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through (...) a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

In the current chapter, I examined the relationship between the cerebellum, emotion, and morality with evidence from large-scale neuroimaging data analysis. Although the aforementioned relationship has not been well studied in neuroscience, recent studies have shown that the cerebellum is closely associated with emotional and social processes at the neural level. Also, debates in the field of moral philosophy, psychology, and neuroscience have supported the importance of emotion in moral functioning. Thus, I explored the potentially important but less-studies topic with (...) NeuroSynth, a tool for large-scale brain image analysis, while addressing issues associated with reverse inference. The result from analysis demonstrated that brain regions in the cerebellum, the right Crus I and Crus II in particular, were specifically associated with morality in general. I discussed the potential implications of the finding based on clinical and functional neuroimaging studies of the cerebellum, emotional functioning, and neural networks for diverse psychological processes. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this (...) form of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (...) (in a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

Hume is widely regarded as the grandfather of emotivism and indeed of non-cognitivism in general. For the chief argument for emotivism - the Argument from Motivation - is derived from him. In my opinion Hume was not an emotivist or proto-emotivist but a moral realist in the modern ‘response-dependent’ style. But my interest in this paper is not the historical Hume but the Hume of legend since the legendary Hume is one of the most influential philosophers of the present age. (...) According to Michael Smith ‘the Moral Problem’ – the central issue in meta-ethics - is that the premises of Hume’s argument appear to be true though the non-cognitivist conclusion appears to be false. Since the argument seems to be valid, something has got to give. Smith struggles to solve the problem by holding on to something like the premises of the argument whilst trying to fend off the conclusion. In my view this is a wasted effort. Hume was not arguing for non-cognitivsm in the first place, and the arguments for non-cognitivism that can be extracted from his writings are no good. Either the premises are false or the inferences are invalid. And this is despite the fact that Hume was substantially right about reason and the passions. Thus ‘the Moral Problem’ is not a problem, and the legendary Hume does not deserve his influence. -/- An important theme in this paper is the concept of a DTAD or a dispositions to acquire desires. These play an important role in motivation but unlike desires (with which they are sometimes confused ) they are NOT propositional attitudes. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as (...) Cognitive Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

I offer a meta-level analysis of realist arguments for the reliability of ampliative reasoning about the unobservable. We can distinguish form-driven and content-driven arguments for realism: form-driven arguments appeal to the form of inductive inferences, whilst content-driven arguments appeal to their specific content. After regimenting the realism debate in these terms, I will argue that the content-driven arguments are preferable. Along the way I will discuss how my analysis relates to John Norton’s recent, more general thesis that the (...) grounds for licit induction are always material. (shrink)

A sound historiographical account of the role of logic in the development of medieval philosophical and theological reflection requires a thorough examination of its historical roots and its theoretical implications. An apparent historiographical bias, due to the idea that only the development of contemporary formal logic enables a proper reconstruction of the whole history of logic, can be exposed by taking into account the case of the medieval discussions on the topics, starting from their late-antiquity legacy. An attentive inspection of (...) the successive stages of the gradual formalisation process of medieval topical logic brings to the fore significant theoretical aspects in the philosophy of logic, all too often left aside in common contemporary discussions. In particular, the distinction between topical maxims and topical differences, or principles according to and principles from which an inference is drawn, highlights the specific nature of a major part of medieval logic, that deals with meta-logical issues by means of higher-order logical resources. It is precisely this special character of medieval logic that proves to be of the highest significance in the discussion of the most subtle theological—and just as well philosophical—questions that engaged medieval authors, thus testifying to the essential role of logic in the overall development of medieval thought. (shrink)

Scientific realism driven by inference to the best explanation (IBE) takes empirically confirmed objects to exist, independent, pace empiricism, of whether those objects are observable or not. This kind of realism, it has been claimed, does not need probabilistic reasoning to justify the claim that these objects exist. But I show that there are scientific contexts in which a non-probabilistic IBE-driven realism leads to a puzzle. Since IBE can be applied in scientific contexts in which empirical confirmation has not yet (...) been reached, realists will in these contexts be committed to the existence of empirically unconfirmed objects. As a consequence of such commitments, because they lack probabilistic features, the possible empirical confirmation of those objects is epistemically redundant with respect to realism. (shrink)

Drawing from narratology and design studies, this article makes use of the notions of the ‘implied designer’ and ‘ludic unreliability’ to understand deceptive game design as a specific sub-set of transgressive game design. More specifically, in this text we present deceptive game design as the deliberate attempt to misguide players’ inferences about the designers’ intentions. Furthermore, we argue that deceptive design should not merely be taken as a set of design choices aimed at misleading players in their efforts to (...) understand the game, but also as decisions devised to give rise to experiential and emotional effects that are in the interest of players. Finally, we propose to introduce a distinction between two varieties of deceptive design approaches based on whether they operate in an overt or a covert fashion in relation to player experience. Our analysis casts light on expressive possibilities that are not customarily part of the dominant paradigm of user-centered design, and can inform game designers in their pursuit of wider and more nuanced creative aspirations. (shrink)

Analogical reasoning is often employed in problem-solving and metaphor interpretation. This paper submits that, as a default, analogical reasoning addressing these different tasks employs different mapping strategies: In problem-solving, it employs analogy-maximising strategies (like structure mapping, Gentner & Markman 1997); in metaphor interpretation, analogy-minimising strategies (like ATT-Meta, Barnden 2015). The two strategies interact in analogical reasoning with conceptual metaphors. This interaction leads to predictable fallacies. The paper supports these hypotheses through case-studies on ‘mind’-metaphors from ordinary discourse, and abstract problem-solving (...) in the philosophy of mind, respectively: It shows that (1) default metaphorical interpretations for vision- and space-cognition metaphors can be derived with a variant of the analogy-minimising ATT-Meta approach, (2) philosophically influential introspective conceptions of the mind can be derived with conceptual metaphors only through an analogy-maximising strategy, and (3) the interaction of these strategies leads to hitherto unrecognised fallacies in analogical reasoning with metaphors. This yields a debunking explanation of introspective conceptions. (shrink)

How is human social intelligence engaged in the course of ordinary conversation? Standard models of conversation hold that language production and comprehension are guided by constant, rapid inferences about what other agents have in mind. However, the idea that mindreading is a pervasive feature of conversation is challenged by a large body of evidence suggesting that mental state attribution is slow and taxing, at least when it deals with propositional attitudes such as beliefs. Belief attributions involve contents that are (...) decoupled from our own primary representation of reality; handling these contents has come to be seen as the signature of full-blown human mindreading. However, mindreading in cooperative communication does not necessarily demand decoupling. We argue for a theoretical and empirical turn towards “factive” forms of mentalizing here. In factive mentalizing, we monitor what others do or do not know, without generating decoupled representations. We propose a model of the representational, cognitive, and interactive components of factive mentalizing, a model that aims to explain efficient real-time monitoring of epistemic states in conversation. After laying out this account, we articulate a more limited set of conversational functions for nonfactive forms of mentalizing, including contexts of meta-linguistic repair, deception, and argumentation. We conclude with suggestions for further research into the roles played by factive versus nonfactive forms of mentalizing in conversation. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a (...) logic is paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

When speakers utter conflicting moral sentences, it seems clear that they disagree. It has often been suggested that the fact that the speakers disagree gives us evidence for a claim about the semantics of the sentences they are uttering. Specifically, it has been suggested that the existence of the disagreement gives us reason to infer that there must be an incompatibility between the contents of these sentences. This inference then plays a key role in a now-standard argument against certain theories (...) in moral semantics. In this paper, we introduce new evidence that bears on this debate. We show that there are moral conflict cases in which people are inclined to say both that the two speakers disagree and that it is not the case at least one of them must be saying something incorrect. We then explore how we might understand such disagreements. As a proof of concept, we sketch an account of the concept of disagreement and an independently motivated theory of moral semantics which, together, explain the possibility of such cases. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

It is often said that normative properties are “just too different” to reduce to other kinds of properties. This suggests that many philosophers find it difficult to believe reductive theses in ethics. I argue that the distinctiveness of the normative concepts we use in thinking about reductive theses offers a more promising explanation of this psychological phenomenon than the falsity of Reductive Realism. To identify the distinctiveness of normative concepts, I use resources from familiar Hybrid views of normative language and (...) thought to develop a Hybrid view of normative concepts. In addition to using this new Hybrid view to explain why reductive theses are difficult to believe, I show how to preserve several patterns of inference involving normative concepts that, intuitively, it is possible to make, and hence answer an important recent challenge to Hybrid views from Mark Schroeder. (shrink)

Claims about what justice “requires” and the “requirements” of justice are pervasive in political philosophy. However, there is a highly significant ambiguity in such claims that appears to have gone unnoticed. Such claims may pick out either one of two categorically distinct and noncoextensive kinds of requirement that we call 1) requirements-as-necessary-conditions for justice and 2) requirements-as-demands of justice. This is an especially compelling instance of an ambiguity that John Broome has famously observed in the context of claims about other (...) requirements (notably the requirements of rationality and morality). But it appears to have been overlooked by political philosophers in the case of claims about the requirements of justice. The ambiguity is highly significant inasmuch as failing to notice it is liable to distort our normative thinking about politics and make us vulnerable to certain kinds of normatively consequential errors: both mistakenly drawing inferences about what justice demands of us from claims that certain states or societies are not just; and mistakenly drawing inferences about what states or societies are or would be just from claims that justice does not demand of states or societies that they do certain things. Paying greater attention to the distinction between these two different kinds of requirements and the ways in which they come apart is helpful, not merely in avoiding these distortions and errors, but also in resolving, or at least clarifying, a number of other notoriously murky meta-normative debates, especially various important debates about realism and idealism in political philosophy. (shrink)

According to illusionism, phenomenal consciousness is an introspective illusion. The illusion problem is to explain the cause of the illusion, or why we are powerfully disposed to judge—erroneously—that we are phenomenally conscious. I propose a theory to solve the illusion problem. I argue that on the basis of three hypotheses about the mind—which I call introspective opacity, the infallibility intuition, and the justification constraint—we can explain our disposition, on introspection, to draw erroneous unconscious inferences about our sensory states. Being (...) subject to the illusion of phenomenal consciousness consists in having this disposition. I explain our ‘problem intuitions’ about consciousness —that our sensory states bear phenomenal properties that are qualitatively like something with which we are directly acquainted that is ineffable, atomic, intrinsic, private, and non-physical. I also address the illusion meta-problem, which is to explain why illusionism seems especially counterintuitive. (shrink)

Perceptual experience is often said to be transparent; that is, when we have a perceptual experience we seem to be aware of properties of the objects around us, and never seem to be aware of properties of the experience itself. This is a introspective fact. It is also often said that we can infer a metaphysical fact from this introspective fact, e.g. a fact about the nature of perceptual experience. A transparency theory fills in the details for these two facts, (...) and bridges the gap between them. We have three aims: to scrutinize Michael Tye’s transparency theory :137–151, 2002; Consciousness revisited: materialism without phenomenal concepts, MIT Press, Cambridge, 2009; Philos Stud 170:39–57, 2014a), introduce a new transparency theory, and advance a meta-theoretical hypothesis about the interest, and import, of transparency theories. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, which are essential (...) to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

This is a commentary on Adrian Heathcote’s interesting paper ‘Hume’s Master Argument’. Heathcote contends that No-Ought-From-Is is primarily a logical thesis, a ban on Is/Ought inferences which Hume derives from the logic of Ockham. NOFI is thus a variation on what Heathcote calls ‘Hume’s Master Argument’, which he also deploys to prove that conclusions about the future (and therefore a-temporal generalizations) cannot be derived by reason from premises about the past, and that conclusions about external objects or other minds (...) cannot be derived by reason from premises about impressions. Heathcote raises an important question. Having (apparently) argued that our inductive inferences are not justified by reason, Hume puts them down to Custom, and seems to suggest that we OUGHT to indulge this propensity but NOt the superstitious propensities that lead to religious belief. (Query: Why is it right to indulge one non-rational propensity but not the others?) Finally Heathcote argues that just as there are valid, but not formally valid, arguments taking us from claims about inferential relations to claims about what we ought to believe, so there may be valid, but not formally valid, arguments taking us from factual claims about some situation to claims about what we ought to do. -/- I reply that Hume does indeed have a Master Argument and that it does rely on logical principles but not on the logic of Ockham which had been largely forgotten by Hume’s day. Instead Hume relies on the idea widely believed in the 18th Century and taught to Hume at Edinburgh by his logic Professor Colin Drummond, that in a logically valid argument the conclusion is contained in the premises. I reconstruct Hume’s Master Argument using this principle. I draw a careful distinction between two theses: 1) that we cannot get from non-moral premises to moral conclusions with the aid of logic alone and 2) that we cannot get from non-moral premises to moral conclusions with aid of analytic bridge principles. Hume believed the first but not the second. What then is the role of NOFI in the larger argument of the Treatise? To show that the truths of ethics cannot be derived via logic from self-evident truths of some other kind and thus that they are not demonstrable. How can we make sense of Hume’s apparent belief that it is sometimes right to transcend reason and sometimes not? In the case of Custom, we live in a world governed by causal regularities, and, in such a world, induction is in fact a fairly reliable belief-forming mechanism. Thus a suitably qualified spectator (one aware of the kind of world we live in) would tend to approve of indulging it, even if it cannot be justified by reason. However, our superstitious propensities are (and can be known to be) unreliable, since they produce different and inconsistent results in different people. Thus it is it is wrong (something a suitably qualified spectator would disapprove of) to indulge the faculty of Superstition. I also take issue with Heathcote’s penchant for valid, but not formally valid, inferences. I supply the missing premises for Heathcote’s Is/Ought inferences and argue that they are either not true or not necessary. (shrink)

I aim to develop an alternative theoretical model for the direct cognition of the elementary states of others called the theory of interaction (henceforth TI), also known as the “second person” approach. The model I propose emerges from a critical reformulation of the displaced perception model proposed by FRED DRETSKE (1995) for the introspective knowledge of our own mental states. Moreover, against Dretske, I argue that no meta-representation (second-order representation of a first-order representation as a representation) is involved in (...) the process, but only concepts, rudimentary enough, of others’ emotions: contentment and discontentment. Strictly speaking, all the empirical data and findings in developmental psychology only support the hypothesis that children in the pre-linguistic phase understand perceptual facial expressions of contentment and discontentment. My proposal consists of the following thesis: The direct perception of others' elementary mental states is not a perception in the usual sense of the word according to which we just perceive things, but rather a “perception of facts.” But how to understand that? It is nothing more than an epistemological process that is automatic and reliable at the same time. It is reliable in the epistemological-externalist sense of not involving any inference, reflection, theorizing or epistemic justification: a baby’s perception of her mom’s facial expression of discontentment (in the usual sense of “per- ception”) does not constitute a reason supporting the belief that mommy is discontent. The very word “belief” should not be understood in the usual sense but rather in the sense of a natural inclination for truth. But at the same time, it is automatic because the belief is a result or output of a process entirely subliminal and computational in nature. Thus, for instance, a child perceives that her mom is discontent (fact-awareness) by perceiving consciously (“perception” in the usual sense) a facial expression of discontentment (sensorial input) but recognizes that her mother is discontent as a result (output) of an entirely subliminal process. (shrink)

In this paper I distinguish between two kinds of meta-hypotheses, or hypotheses about science, at issue in the scientific realism debate. The first are descriptive empirical hypotheses regarding the nature of scientific inquiry. The second are epistemological theories about what individuals should / can justifiably believe about scientific theories. Favoring the realist Type-D meta-hypotheses, I argue that a particular set of realist and non-realist efforts in the debate over Type-E’s have been valuable in the quest to describe and (...) understand the nature of scientific inquiry. For the realism debate itself has inadvertently and indirectly laid the foundations for an important kind of Type-D meta-hypothesis, one regarding creativity in the history of science—which, in turn, is relevant to refining our descriptions of inference. After illustrating this result with regard to the historical argument against realism, I suggest that these empirically attained meta-hypotheses pertaining to scientific creativity can, in turn, be made methodologically prescriptive. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to (...) provide the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

In THE GENEALOGY OF MORALITY Nietzsche assess the value of the value judgments of morality from the perspective of human flourishing. His positive descriptions of the “higher men” he hopes for and the negative descriptions of the decadent humans he thinks morality unfortunately supports both point to a particular substantive conception of what such flourishing comes to. The Genealogy, however, presents us with a puzzle: why does Nietzsche’s own evaluative standard not receive a genealogical critique? The answer to this puzzle, (...) I argue, lies in recognizing the centrality of the notion of “life”, and its connection to power, in Nietzsche’s overall account. Leiter has argued that his “Millian Model” provides the most charitable reconstruction of appeals to a privileged evaluative standard of power; this model ascribes an inference from a strong doctrine of the will to power according to which only power can be desired. I propose a “Benthamite Model” that ascribes an inference from the inescapability of a tendency towards power, a tendency that is essential to life. I argue that this model avoids the objections Leiter directs at the Millian Model. (shrink)

The heart of Aristotelian Logic is the square of opposition. This study engaged on further [re]investigation and meta-logical analysis of the validity of the square of opposition. Further, in this paper, it has been modestly established, with greater clarity, the exposition of the strengths, more than the presentation of the defects, loopholes and weaknesses, of the Aristotelian Logic in a descriptive and speculative manner. The unconcealment of the breakdown of the square of opposition marked a rupture and the opening (...) of avenues of alternative reasoning. The critical and analytical exposition of the loopholes of the square of opposition led to a realization that things around us could have been and still be different; and there could have been better alternative reasoning than what we have called, adopted, and worshipped [Greek] logic. Results show that the downfall of the oppositional relationships in the square of opposition provided a proof of the logical illusion of Aristotle or the loophole of Traditional Logic. The laws of opposition, that have been considered the measures of logically deductive inferences, are practically almost totally logical deceptions. By implication, if the laws of subcontrariety, contrariety, and subalternation [and may be contradiction] have collapsed, the square of opposition has also collapsed; hence, Aristotle‟s square of opposition is a fallacy. This means that the square of opposition has errors and in itself an error. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover (...) the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...) appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I (...) suggest a new reconstruction of Begriffsschrift's logic, which amounts to a completely novel reading of its formal system—one that contradicts the core of modern historical studies. In particular, I defend that this logic is not—as it has been repeatedly said—a second-order logic and provide the following reasons. (1) The language is not properly a formal language. (2) In Begriffsschrift there is only one sort of quantification: quantification over arguments. (3) Begriffsschrift's logic does not have a semantics in the modern sense. Second, I offer an explanation of the reasons that drive the evolution of Frege's logic. The transition from Begriffsschrift to Grundgesetze has been seldom addressed and never fully explained. According to my historical analysis, the switch from Frege's position concerning logic in Begriffsschrift to his later conception—finally established in Grundgesetze—can be articulated through the adoption of the distinction between concept and object as the basic element of the formal system. This leads to a formalisation of the notion of concept, which in the end drives to Grundgesetze's notion of function. Finally, I put forward a global analysis of Grundgesetze's logic. In this work, Frege develops a formal system that resembles in many relevant ways a second-order one. I suggest a reconstruction of this formal system that allows us to compare it with Begriffsschrift's. In particular, I formulate precisely every rule of inference proposed by Frege and especially focus on the rules of substitution. Moreover, I reflect on several meta-logical results that can be drawn from this reconstruction. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

This paper provides a thorough analysis of two often informally stated claims. First, successful argumentation in the sense of persuasive argumentation requires agreement between the interlocutors about the rationality of arguments. Second, a general agreement about rationality of arguments cannot itself be established via argumentation, since such an attempt leads to an infinite meta‐regress. Hence, agreement about the rationality of arguments is a precondition for successful argumentation. As the paper argues, these plausible claims hold under the assumption that interlocutors (...) are subjectively rational and follow their own standards of rationality when engaging in argumentation. (shrink)

Meta-induction, in its various forms, is an imitative prediction method, where the prediction methods and the predictions of other agents are imitated to the extent that those methods or agents have proven successful in the past. In past work, Schurz demonstrated the optimality of meta-induction as a method for predicting unknown events and quantities. However, much recent discussion, along with formal and empirical work, on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as (...) essential to maintenance of 'wise crowds'. This suggests that meta-inductive prediction methods could undermine the wisdom of the crowd inasmuch these methods recommend that agents imitate the predictions of other agents. In this article, we evaluate meta-inductive methods with a focus on the impact on a group's performance that may result from including meta-inductivists among its members. In addition to considering cases of global accessibility (i.e., cases where the judgments of all members of the group are available to all of the group's members), we consider cases where agents only have access to the judgments of other agents within their own local neighborhoods. (shrink)

What is involved in making an inference? This chapter argues against what Paul Boghossian calls the Taking Condition: "Inferring necessarily involves the thinker taking his premises to support his conclusion and drawing his conclusion because of that fact" (2014: 5). I won’t argue that the Taking Condition is incoherent: that nothing can coherently play the role that takings are supposed to play in inference. Instead, I’ll argue that it cannot plausibly explain all the inferential knowledge that we ordinarily take ourselves (...) to have. Moreover, I’ll argue that we don’t need it to understand the nature of inference. (shrink)

ABSTRACT Cognitive penetrability refers to the possibility that perceptual experiences are influenced by our beliefs, expectations, emotions, or other personal-level mental states. In this paper, I focus on the epistemological implication of cognitive penetration, and examine how, exactly, aetiologies matter to the justificatory power of perceptual experiences. I examine a prominent theory, according to which some cognitively penetrated perceptual experiences are like conclusions of bad inferences. Whereas one version of this theory is psychologically implausible, the other version has sceptical (...) consequences. In the second half of the paper, I suggest an alternative theory, drawing on recent empirical research on imagining-perception interaction and the epistemology of imagining. (shrink)

This chapter argues that the only tenable unconscious inferences theories of cognitive achievement are ones that employ a theory internal technical notion of representation, but that once we give cash-value definitions of the relevant notions of representation and inference, there is little left of the ordinary notion of representation. We suggest that the real value of talk of unconscious inferences lies in (a) their heuristic utility in helping us to make fruitful predictions, such as about illusions, and (b) (...) their providing a high-level description of the functional organization of subpersonal faculties that makes clear how they equip an agent to navigate its environment and pursue its goals. (shrink)