Previous research showed that people can make trait inferences from single behaviors described in sentences, without either intentions to do so or awareness of having done so. This suggested that these inferences might be automatic. By definition, “automatic” cognitive processes occur without intentions or awareness, without effort, and without using capacity-limited cognitive processing resources. Winter, Uleman, and Cunniff attempted to manipulate available cognitive capacity by varying the difficulty of the concurrent cognitive task. This did not affect (...) unintended trait inferences, suggesting that these are automatic by this criterion. But they had no direct measure of available cognitive capacity. In the present study, we added a probe reaction time measure of capacity to their procedure and extended the range of task difficulties. Earlier findings of trait inferences without intentions or awareness were replicated, but there was also evidence that the concurrent task interfered with the trait inference process. Hence, although trait inferences can be “spontaneous” , subjectively effortless, and difficult to disrupt with a concurrent task, they are not entirely automatic because they do use capacity-limited resources. These results also confirm that the cued-recall evidence for spontaneous trait inferences reflects important encoding and not merely retrieval phenomena. (shrink)

Stereotypes shape inferences in philosophical thought, political discourse, and everyday life. These inferences are routinely made when thinkers engage in language comprehension or production: We make them whenever we hear, read, or formulate stories, reports, philosophical case-descriptions, or premises of arguments – on virtually any topic. These inferences are largely automatic: largely unconscious, non-intentional, and effortless. Accordingly, they shape our thought in ways we can properly understand only by complementing traditional forms of philosophical analysis with experimental (...) methods from psycholinguistics. This paper seeks, first, to bring out the wider philosophical relevance of stereotypical inference, well beyond familiar topics like gender and race. Second, we wish to provide philosophers with a toolkit to experimentally study these ubiquitous inferences and what intuitions they may generate. This paper explains what stereotypes are, and why they matter to current and traditional concerns in philosophy – experimental, analytic, and applied. It then assembles a psycholinguistic toolkit and demonstrates through two studies how potentially questionnaire-based measures can be combined with process measures to garner evidence for specific stereotypical inferences and study when they ‘go through’ and influence our thinking. (shrink)

We argue that stereotypes associated with concepts like he-said–she-said, conspiracy theory, sexual harassment, and those expressed by paradigmatic slurs provide “normative inference tickets”: conceptual permissions to automatic, largely unreflective normative conclusions. These “mental shortcuts” are underwritten by associated stereotypes. Because stereotypes admit of exceptions, normative inference tickets are highly flexible and productive, but also liable to create serious epistemic and moral harms. Epistemically, many are unreliable, yielding false beliefs which resist counterexample; morally, many perpetuate bigotry and oppression. Still, some (...) normative inference tickets, like some activated by sexual harassment, constitute genuine moral and hermeneutical advances. For example, our framework helps explain Miranda Fricker’s notion of “hermeneutical lacunae”: what early victims of “sexual harassment” — as well as their harassers — lacked before the term was coined was a communal normative inference ticket — one that could take us, collectively, from “this is happening” to “this is wrong.”. (shrink)

Some maladaptive thought processes are characterized by reflexive and habitual patterns of cognitive and emotional reactivity. We review theoretical and empirical work suggesting that mindfulness—a state of nonjudgmental awareness of the present moment—can facilitate the discontinuation of such automatic mental operations. We propose a framework that suggests a series of more specific mechanisms supporting the de-automatizing function of mindfulness. Four related but distinct elements of mindfulness (awareness, attention, focus on the present, and acceptance) can each contribute to de-automatization through (...) subsequent processes, including discontinuing automatic inference, enhancing cognitive control capacity, facilitating metacognitive insight, and preventing suppression or thought distortion. De-automatizing can, in turn, allow enhancement of adaptive self-control ability and increased well-being. (shrink)

Contrary to the target article's claims, social cognition research shows considerable learning (about other people) that is relatively automatic. Some of this learning is propositional (spontaneous trait inferences) and some is associative (spontaneous trait transference). Other dichotomies are also important. However conceived, human conditioning is not synonymous with human learning.

An audiovisual correspondence (AVC) refers to an observer’s seemingly arbitrary yet consistent matching of sensory features across the two modalities; for example, between an auditory pitch and visual size. Research on AVCs has frequently used a speeded classification procedure in which participants are asked to rapidly classify an image when it is either accompanied by a congruent or an incongruent sound (or vice versa). When, as is typically the case, classification is faster in the presence of a congruent stimulus, researchers (...) have inferred that the AVC is automatic and bottom-up. Such an inference is incomplete because the procedure does not show that the AVC is not subject to top-down influences. To remedy this problem, we devised a procedure that allows us to assess the degree of “bottom-up-ness” and “top-down-ness” in the processing of an AVC. We did this in studies of AVCs between pitch and five visual features: size, height, spatial frequency, brightness, and angularity. We find that all the AVCs we studied involve both bottom-up and top-down processing, thus undermining the prevalent generalization that AVCs are automatic. (shrink)

As a theory of skill acquisition, the instance theory of automatization posits that, after a period of training, algorithm‐based performance is replaced by retrieval‐based performance. This theory has been tested using alphabet‐arithmetic verification tasks (e.g., is A + 4 = E?), in which the equations are necessarily solved by counting at the beginning of practice but can be solved by memory retrieval after practice. A way to infer individuals’ strategies in this task was supposedly provided by the opportunistic‐stopping phenomenon, according (...) to which, if individuals use counting, they can take the opportunity to stop counting when a false equation associated with a letter preceding the true answer has to be verified (e.g., A + 4 = D). In this case, such within‐count equations would be rejected faster than false equations associated with letters following the true answers (e.g., A + 4 = F, i.e., outside‐of‐count equations). Conversely, the absence of opportunistic stopping would be the sign of retrieval. However, through a training experiment involving 19 adults, we show that opportunistic stopping is not a phenomenon that can be observed in the context of an alphabet‐arithmetic verification task. Moreover, we provide an explanation of how and why it was wrongly inferred in the past. These results and conclusions have important implications for learning theories because they demonstrate that a shift from counting to retrieval over training cannot be deduced from verification time differences between outside and within‐count equations in an alphabet‐arithmetic task. (shrink)

Watching another person take actions to complete a goal and making inferences about that person's knowledge is a relatively natural task for people. This ability can be especially important in educational settings, where the inferences can be used for assessment, diagnosing misconceptions, and providing informative feedback. In this paper, we develop a general framework for automatically making such inferences based on observed actions; this framework is particularly relevant for inferring student knowledge in educational games and other interactive (...) virtual environments. Our approach relies on modeling action planning: We formalize the problem as a Markov decision process in which one must choose what actions to take to complete a goal, where choices will be dependent on one's beliefs about how actions affect the environment. We use a variation of inverse reinforcement learning to infer these beliefs. Through two lab experiments, we show that this model can recover people's beliefs in a simple environment, with accuracy comparable to that of human observers. We then demonstrate that the model can be used to provide real-time feedback and to model data from an existing educational game. (shrink)

Spontaneous inferences are unconscious, automatic, and apparently ubiquitous. Research has documented their variety (particularly in the social domain) and impact on memory and judgment. They are good candidates for Mercier and Sperber's (M&S's) Forming spontaneous inferences is highly context sensitive, varying with the perceiver's conscious and unconscious goals, and implicit and explicit theories about the domain in question.

In the theory of programming languages, type inference is the process of inferring the type of an expression automatically, often making use of information from the context in which the expression appears. Such mechanisms turn out to be extremely useful in the practice of interactive theorem proving, whereby users interact with a computational proof assistant to constructformal axiomatic derivations of mathematical theorems. This article explains some of the mechanisms for type inference used by the "Mathematical Components" project, which is working (...) towards a verification of the Feit-Thompson theorem. (shrink)

In pragmatic theories, the notion of inference plays a central role, together with the communicative act in which it is activated. Although some scholars, such as Levinson, Sperber and Wilson, propose detailed and accurate analyses of this notion, we will maintain that these analyses can be better systematized if seen through Peirce’s notion of abduction. We will try to maintain that the variety of inferential processes in play in a linguistic act is mostly of an abductive nature. Moreover, we will (...) maintain that the typological tripartition of abductions discussed by Eco allows to account for a significant part of the mechanisms involved in the comprehension of an utterance, ranging from quasi-immediate and spontaneous levels of understanding to processes that draw on creative resources. In our proposal the vast majority of our linguistic activities implies the automatic retrieval of a habit of action. In the other cases we need more onerous processes. We might need to identify, among a range of possibilities, the appropriate rule to be applied to the contextual situation or, depending on the context and on our background knowledge, we might be forced to create ex novo a new linguistic routine. In our view, this typology of abductive inferences provides us with all the necessary tools to account for the different inferential demands entailed by different levels of the process of language comprehension. On the basis of this typology we can, develop a fine-grained model of linguistic inferences and, thus, simplify the terms of some problematic nodes debated within contextualist approaches.The benefits of this fine-grained model is that it provides a unitary framework in which all the levels of the process of language comprehension are shown to be inferential and have the same logic structure. At the same time, it is also able to account for all the different inferential efforts entailed by different linguistic processes. Thus, this model gives us both a unitary account of the structure of linguistic inferences and a fine-grained description of the differences existing between them. (shrink)

We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non (...) commutative groups) is not determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for ω n -automatic boolean algebras, n ≥ 2, (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a ${\mathrm{\Sigma }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ nor a ${\mathrm{\Pi }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ . We obtain that there exist infinitely many ω n -automatic, hence also ω-tree-automatic, atomless boolean algebras $\mathcal{B}_{n}$ , n ≥ 1, which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [14]. (shrink)

Much evidence has accumulated in favor of such a dual view of reasoning. There is however some vagueness in the way the two systems are characterized. Instead of a principled distinction, we are presented with a bundle of contrasting features - slow/fast, automatic/controlled, explicit/implicit, associationist/rule based, modular/central - that, depending on the specific dual process theory, are attributed more or less exclusively to one of the two systems. As Evans states in a recent review, “it would then be helpful (...) to have some clear basis for this distinction”; he also suggests that “we might be better off talking about type 1 and type 2 processes” rather than systems. We share the intuitions that drove the development of dual system theories. Our goal here is to propose in the same spirit a principled distinction between two types of inferences: ‘intuitive inference’ and ‘reflective inference’. We ground this distinction in a massively modular view of the human mind where metarepresentational modules play an important role in explaining the peculiarities of human psychological evolution. We defend the hypothesis that the main function of reflective inference is to produce and evaluate arguments occurring in interpersonal communication. This function, we claim, helps explain important aspects of reasoning. We review some of the existing evidence and argue that it gives support to this approach. (shrink)

We think less than we think. My thesis moves from this suspicion to show that standard accounts of intentional action can't explain the whole of agency. Causalist accounts such as Davidson's and Bratman's, according to which an action can be intentional only if it is caused by a particular mental state of the agent, don't work for every kind of action. So-called automatic actions, effortless performances over which the agent doesn't deliberate, and to which she doesn't need to pay (...) attention, constitute exceptions to the causalist framework, or so I argue in this thesis. Not all actions are the result of a mental struggle, painful hesitation, or the weighting of evidence. Through practice, many performances become second nature. Think of familiar cases such as one's morning routines and habits: turning on the radio, brushing your teeth. Think of the highly skilled performances involved in sport and music: Jarrett's improvised piano playing, the footballer's touch. Think of agents' spontaneous reactions to their environment: ducking a blow, smiling. Psychological research has long acknowledged the distinctiveness and importance of automatic actions, while philosophy has so far explained them together with the rest of agency. Intuition tells us that automatic actions are intentional actions of ours all the same (I have run a survey which shows that this intuition is widely shared): not only our own autonomous deeds for which we are held responsible, but also necessary components in the execution and satisfaction of our general plans and goals. But do standard causal accounts deliver on the intentionality of automatic actions? I think not. Because, in automatic cases, standard appeals to intentions, beliefs, desires, and psychological states in general ring hollow. We just act: we don't think, either consciously or unconsciously. On the reductive side, Davidson's view can't but appeal to, at best, unconscious psychological states, the presence and causal role of which is, I argue, inferred from the needs of a theory, rather than from evidence in the world. On the non-reductive side, Bratman agrees, with his refutation of the Simple View, that we can't just attach an intention to every action that we want to explain. But Bratman’s own Single Phenomenon View, appealing to the mysterious notion of 'motivational potential', merely acknowledges the need for refinement without actually providing one. So I propose my own account of intentional action, the 'guidance view', according to which automatic actions are intentional: differently from Davidson and Bratman, who only offer necessary conditions in order to avoid the problem of causal deviance, I offer a full-blown account: E's phi-ing is intentional if and only If phi-ing is under E's guidance. This account resembles one developed by Frankfurt, with the crucial difference that Frankfurt – taking 'acting with an intention' and 'acting intentionally' to be synonymous – thinks that guidance is sufficient only for some movement being an action, but not for some movement being an intentional action. I argue that, on the other hand, Frankfurt's concept of guidance can be developed so that it is sufficient for intentional action too. In Chapter One I present and defend my definition of ‘automatic action’. In Chapter Two I show that such understanding of automatic actions finds confirmation in empirical psychology. In Chapter Three I show that Davidson's reductive account of intentional action does not work for automatic actions. In Chapter Four I show that the two most influential non-reductive accounts of intentional action, the Simple View and Bratman's Single Phenomenon View, don't work either. And in Chapter Five I put forward and defend my positive thesis, the 'guidance view'. Also, in the Appendix I present the findings of my survey on the intentionality of automatic actions. (shrink)

Research has shown that observers automatically align their attention with another’s gaze direction. The present study investigates whether inferring another’s attended location affects the observer’s attention in the same way as observing their gaze direction. In two experiments, we used a laterally oriented virtual human head to prime one of two laterally presented targets. Experiment 1 showed that, in contrast to the agent with closed eyes, observing the agent with open eyes facilitated the observer’s alignment of attention with the primed (...) target location. Experiment 2, where either sunglasses or occluders concealed the agent’s eye direction, showed that only the agent with the sunglasses facilitated the observer’s alignment of attention with the target location. Taken together, the data demonstrate that head orientation alone is not sufficient to trigger a shift in the observer’s attention, that gaze direction is crucial to this process, and that inferring the region to which another person is attending does facilitate the alignment of attention. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:141 HUME AND CAUSAL INFERENCE Hume held that any time we reach by inference a belief about the existence or qualities of some object or event that we have not actually perceived, the inference is grounded in beliefs about causal relations holding between the object of belief and some other object or objects that have actually been experienced. I will examine here Hume's account of such causal inferences. (...) There are many places in the Treatise of Human Nature at which Hume seems to claim that causal inferences take place when and only when the percipient has had an extensive previous experience of objects of the respective types as regularly conjoined in relations of contiguity and temporal priority. It seems to me that reliance on these passages alone gives a distorted view of Hume's theory of causal inference. Contrary to appearances, Hume did not hold that extensive previous experiences of objects of the same types as properly conjoined is either necessary or sufficient for causal inference. Hume's view is more subtle and complicated, and there are important considerations of coherence and holism present in it. Getting Hume's view on this matter clear is important because it shows how he can escape some of the objections that have been laid against his theory, and it makes possible a reading of Hume as a causal realist. Hume's theory of inference provides the resources for drawing a distinction between accidental and genuine causal regularities and it is compatible with the view that causal relations (and not mere de facto regularities) hold among events in the world independently of their being perceived. The examination begins by looking at a different, but related, issue. Why does Hume think 142 that of the three types of association, only cause and effect association is capable of producing belief? Hume puts the question in the form of a possible objection to his account. For it may be said, that if all the parts of that hypothesis be true, viz. that these three species of relation are deriv'd from the same principles; that their effects in inforcing and inlivening our ideas are the same; and that belief is nothing but a more forcible and vivid conception of an idea; it shou'd follow, that that action of the mind may not only be deriv'd from the relation of cause and effect, but also from those of contiguity and resemblance. But as we find by experience, that belief arises only from causation, and that we can draw no inference from one object to another, except they be connected by this relation, we may conclude, that there is some error in that reasoning, which leads us into such difficulties. (T 107) It is important to note that Hume is talking here only about beliefs about the existence or situations of objects that have not been intuited or experienced. Beliefs about relations of ideas (e.g., that 2 + 2 = 4) are intuitions (or perhaps memories 2 of intuitions). Beliefs in the existence of things as experienced or in the previous existence of things as previously experienced automatically have the 3 vivacity of impressions or memory ideas. What Hume takes himself to need to explain is why cause and effect association allows for a transfer of this vivacity to an idea of an object or situation that has not itself been intuited or experienced and why 4 resemblance and contiguity association do not. If I see a green ball next to a red sweater, then I will normally subsequently believe that the green ball existed next to the red sweater at that time (at 143 least until my memories begin to lose vivacity). This is purely a matter of sense experience and memory. Now if I subsequently see a different red sweater (or the same sweater in a different location), I may be led to think of a green ball existing next to it purely through contiguity and resemblance association. But presumably I would not believe that a green ball existed next to the currently perceived red sweater unless I currently perceived a green ball or my belief was based on some 5 form of causal inference... (shrink)

ABSTRACTThe recognition of emotional facial expressions is often subject to contextual influence, particularly when the face and the context convey similar emotions. We investigated whether spontaneous, incidental affective theory of mind inferences made while reading vignettes describing social situations would produce context effects on the identification of same-valenced emotions as well as differently-valenced emotions conveyed by subsequently presented faces. Crucially, we found an effect of context on reaction times in both experiments while, in line with previous work, we found (...) evidence for a context effect on accuracy only in Experiment 1. This demonstrates that affective theory of mind inferences made at the pragmatic level of a text can automatically, contextually influence the perceptual processing of emotional facial expressions in a separate task even when those emotions are of a distinctive valence. Thus, our novel findings suggest that language acts as a contex... (shrink)

Epistemic closure refers to the assumption that humans are able to recognize what entails or contradicts what they believe and know, or more accurately, that humans’ epistemic states are closed under logical inferences. Epistemic closure is part of a larger theory of mind ability, which is arguably crucial for downstream NLU tasks, such as inference, QA and conversation. In this project, we introduce a new automatically constructed natural language inference dataset that tests inferences related to epistemic closure. We (...) test and further fine tune the model RoBERTa-large-mnli on the new dataset, with limited positive results. (shrink)

The ability to integrate information from diverse texts and to detect logical implications of the integrated information is fundamental to the understanding process. This paper shows that identifying and configuring relevant facts in order to support hypothesized inferences is extremely difficult unless the facts have been committed to memory. Simply reading relevant texts for familiarization and then referring to them as needed provides an inadequate basis for deductive logic. Further, apprehension of the logical configuration of fads underlying a particular (...) inference can be an essentially automatic process for the reasoner who has structured the facts appropriately in memory. A model of search and memory mechanisms is proposed. It accounts for accuracy and reaction time data, as well as individual differences in inference evaluation. The implications of the superiority of memorization over familiarization‐plus‐referencing as a basis for learning and reasoning are discussed. (shrink)

The ability to integrate information from diverse texts and to detect logical implications of the integrated information is fundamental to the understanding process. This paper shows that identifying and configuring relevant facts in order to support hypothesized inferences is extremely difficult unless the facts have been committed to memory. Simply reading relevant texts for familiarization and then referring to them as needed provides an inadequate basis for deductive logic. Further, apprehension of the logical configuration of fads underlying a particular (...) inference can be an essentially automatic process for the reasoner who has structured the facts appropriately in memory. A model of search and memory mechanisms is proposed. It accounts for accuracy and reaction time data, as well as individual differences in inference evaluation. The implications of the superiority of memorization over familiarization‐plus‐referencing as a basis for learning and reasoning are discussed. (shrink)

Psycholinguistic methods hold great promise for experimental philosophy. Many philosophical thought experiments and arguments proceed from verbal descriptions of possible cases. Many relevant intuitions and conclusions are driven by spontaneous inferences about what else must also be true in the cases described. Such inferences are continually made in language comprehension and production. This chapter explains how methods from psycholinguistics can be employed to study such routine automatic inferences, with a view to assessing intuitions and reconstructing arguments. (...) We demonstrate how plausibility ratings, pupillometry, and reading time measurements can be used to examine hypotheses about automatic inferences in speech and text comprehension. Two experiments on inferences from polysemous (perception-)verbs provide evidence of a potentially consequential ‘salience bias’. Findings help assess intuitions about unusual cases and analyse a philosophical paradox (‘argument from hallucination’). The paper thus illustrates how we can adapt psycholinguistic methods for philosophical purposes and demonstrates the methods’ philosophical usefulness. (shrink)

We explore the question of whether machines can infer information about our psychological traits or mental states by observing samples of our behaviour gathered from our online activities. Ongoing technical advances across a range of research communities indicate that machines are now able to access this information, but the extent to which this is possible and the consequent implications have not been well explored. We begin by highlighting the urgency of asking this question, and then explore its conceptual underpinnings, in (...) order to help emphasise the relevant issues. To answer the question, we review a large number of empirical studies, in which samples of behaviour are used to automatically infer a range of psychological constructs, including affect and emotions, aptitudes and skills, attitudes and orientations (e.g. values and sexual orientation), personality, and disorders and conditions (e.g. depression and addiction). We also present a general perspective that can bring these disparate studies together and allow us to think clearly about their philosophical and ethical implications, such as issues related to consent, privacy, and the use of persuasive technologies for controlling human behaviour. (shrink)

Thought-intrusions, automatic inferences, and other unintended thought are beginning to play an important role in the study of psychiatric disease as well as normal thought processes. We examine one method for study of task-unrelated imagery and thought . TUIT likelihood was shown to be reliably measured over a wide range of vigilance tasks, to have high short-term and long-term test-retest reliability, and to be sensitive to information processing demands. Likelihood of TUITs was shown to be different as a (...) function of aging, hyperactivity, time of day, and level of depression. Thus, we now can reliably measure the influence of endogenous and exogenous influences on TUITs. In addition, TUIT measurement was proposed as a minimally interfering and natural second task for determining resource utilization in a primary task. Finally, this method was offered as a reliable approach to quantification of such mental states as obsessions and drug craving and addiction. (shrink)

The problem I address is: how are cogent inferences possible? In § 1 I distinguish three senses in which we say that one is “compelled” by an inference: automatic, seductive-rhetorical and epistemic compulsion. Cogency is epistemic compulsion: a cogent inference compels us to accept its conclusion, if we accept its premises and we aim at truth. In §§ 2–3 I argue that cogency is intelligible if we consider an inference as a compound linguistic act in which several component (...) acts are related to one another by a commitment that the premises support the conclusion. Non-automatic inferences are primarily public acts in an intersubjective context. But cogency arises in special contexts described in § 4, epistemic contexts, where the participants care for truth, i.e. are intellectually virtuous. An inference is cogent in an epistemic context if it stands up to all the objections raised in the context. In § 5 I consider three different kinds of cogent inferences. In § 6 I argue that in all three cases cogency is fallible and propose a fallibilist variety of inferentialism. In § 7 I distinguish context of utterance and contexts of evaluation. Cogency is relative to epistemic contexts of evaluation. However, validity, i.e. stable cogency, is transcontextual. (shrink)

The paper builds on a methodological idea from experimental philosophy and on findings from psycholinguistics, to develop and defend ordinary language analysis (OLA) as practiced in J.L. Austin’s Sense and Sensibilia. That attack on sense-datum theories of perception focuses on the argument from illusion. Through a case-study on this paradoxical argument, the present paper argues for a form of OLA which is psychologically informed, seeks to expose epistemic, rather than semantic, defects in paradoxical arguments, and is immune to the main (...) objections to ordinary language philosophising, including those arising from the semantic/pragmatics distinction: A key project in current experimental philosophy is to develop psychological explanations of philosophically relevant intuitions that help us determine what warrant thinkers have for accepting them. Psycholinguistic work on the role of stereotypes in verb-comprehension has shown that intuitive judgments can be generated by automatic cognitive processes that duplicate both semantic and pragmatic inferences and are shaped by dominant uses of words. For systematic reasons, philosophers are prone to unwittingly deviate from such dominant uses. Where this happens, they are liable to automatically infer unwarranted conclusions that strike them as intuitively compelling. OLA helps us to determine those dominant uses, to identify unwitting deviations from them, and thus to expose unwarranted intuitions – e.g., in the premises of paradoxical arguments. Ordinary language does not determine the bounds of sense but shapes our leaps of thought. The paper shows how this enables its ‘Austinian’ analysis to contribute to a novel, epistemic, resolution of philosophical paradoxes and problems. (shrink)

This paper presents a neglected philosophical approach, redevelops it on fresh empirical foundations, and seeks to bring out that it is of not merely historical interest. Building on ideas Ludwig Wittgenstein mooted in the early 1930s, Friedrich Waismann developed a distinctive metaphilosophy: Through case studies on particular philosophical problems, he identified a characteristic structure and genesis displayed by several philosophical problems and presented a distinctive dialogical method for dissolving problems of this kind. This method turns on exposing the need to (...) endow philosophical questions or claims with more determinate meaning and meeting this need by proposing linguistic rules and explanations which the problems’ proponents are free to accept or reject. The approach is embedded in the view that unconscious thought decisively shapes the formulation of philosophical problems. This paper first presents the approach on the basis of Waismann’s texts and then redevelops it through a case study on the ‘problem of perception’ and within a post-Freudian conception of unconscious thought: We will draw on psycholinguistic findings about automatic inferences in language comprehension and production, to examine how unconscious cognition shapes the problem formulation. Findings provide fresh, empirical foundations for the approach which has advantages over more familiar critical projects in ordinary language philosophy, to which it is kindred in spirit. (shrink)

Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that will (...) support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS). Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/. Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications. (shrink)

This paper investigates the emotive (or expressive) meaning of words commonly referred to as “loaded” or “emotive,” which include slurs, derogative or pejorative words, and ethical terms. We claim that emotive meaning can be reinterpreted from a pragmatic and argumentative perspective, which can account for distinct aspects of ethical terms, including the possibility of being modified and its cancellability. Emotive meaning is explained as a defeasible and automatic or automatized evaluative and intended inference commonly associated with the use of (...) specific terms, which can be represented and assessed considering its logical structure and its defeasibility conditions. This automatic inference is conceived as part of the connotation of an ethical term, and is not necessarily stable. By means of quasi-definitions, it is possible to modify the emotive meaning while maintaining the descriptive one, automaticizing the inferences drawn from an ethical word. Through examples drawn from the recent US presidential campaign, we show how re-contextualization and emotive contexts can affect emotive meaning. (shrink)

The domain of “folk-economics” consists in explicit beliefs about the economy held by laypeople, untrained in economics, about such topics as, for example, the causes of the wealth of nations, the benefits or drawbacks of markets and international trade, the effects of regulation, the origins of inequality, the connection between work and wages, the economic consequences of immigration, or the possible causes of unemployment. These beliefs are crucial in forming people's political beliefs and in shaping their reception of different policies. (...) Yet, they often conflict with elementary principles of economic theory and are often described as the consequences of ignorance, irrationality, or specific biases. As we will argue, these past perspectives fail to predict the particular contents of popular folk-economic beliefs and, as a result, there is no systematic study of the cognitive factors involved in their emergence and cultural success. Here we propose that the cultural success of particular beliefs about the economy is predictable if we consider the influence of specialized, largely automatic inference systems that evolved as adaptations to ancestral human small-scale sociality. These systems, for which there is independent evidence, include free-rider detection, fairness-based partner choice, ownership intuitions, coalitional psychology, and more. Information about modern mass-market conditions activates these specific inference systems, resulting in particular intuitions, for example, that impersonal transactions are dangerous or that international trade is a zero-sum game. These intuitions in turn make specific policy proposals more likely than others to become intuitively compelling, and, as a consequence, exert a crucial influence on political choices. (shrink)

Interactionism holds that explanatory and interpretive projects are mutually enriching. If so, then the evolutionary and cognitive science of religions’ explanatory theories should aid interpretive projects concerning religious meaning. Although interpretive accounts typically focus on the local and the particular, interpreters over the past century have construed Freud and Marx as offering general interpretive theories. So, precedent for general interpretive theorizing exists. 4E cognitive science, which champions how cognition is embedded in natural and cultural settings, extended into external structures, enacted (...) via motor routines, and embodied via representations rooted in human bodily form, has encouraged interpretive researchers. Theories of embodied cognition especially have embraced a sweeping view of meaning that attends to the emotions’ role and to their evolutionary origins. That inspires a 6E cognitive science that attends to the emotional and evolved dimensions of cognition too and opens up the possibility of general interpretive theories of broadly Darwinian character. Evolved cognitive systems qualify as maturationally natural cognition, which exhibits a distinctive constellation of features. The by-product theory holds that religious representations’ engagement of maturationally natural cognition fosters religions’ success. Representations with some minimal violation of intuitive expectations concerning some ontological category grab attention, stick in memory, and preserve the many automatic inferences accompanying the category. The empirical evidence for this and other elaborations of the by-product view suggests that it discloses dynamics of evolved cognition and associated emotions that tend to guide the pursuit of religious meanings systematically toward well-worn grooves in the semantic landscape. (shrink)

The inversion of directions is an important operation with directions which plays an important role in qualitative spatial reasoning and spatial queries. In this work, we address on the inversion operation of the basic cardinal direction relations in the model of Goyal. The direction relation matrix model proposed by Goyal is a projection-based model for spatial direction relations between regions. This model is simple in calculation and easy to carry out formal reasoning, which is considered as currently one of the (...) most excellent models for representation and qualitative reasoning with cardinal direction relations in two-dimensional space. This work aims to realize the automatic inference and calculation of the inverse of the basic cardinal direction relations in the model of Goyal and further to improve the ability of spatial reasoning and spatial analysis of spatial database. In order to avoid the complicated manual reasoning, an algorithm for automatically performing the inverse operation on this model is devised by means of the operations of direction relation matrix. Theorems are provided to prove formally that our algorithm is correct and complete, which is also verified by comparing the result of our algorithm with that of manual reasoning for each basic cardinal direction relation. This study realized the automatic inference and calculation of the inverse of the basic cardinal direction relations in the model of Goyal and further improved the ability of spatial reasoning and spatial analysis of spatial database. (shrink)

Empirical insights into language processing have a philosophical relevance that extends well beyond philosophical questions about language. This chapter will discuss this wider relevance: We will consider how experimental philosophers can examine language processing in order to address questions in several different areas of philosophy. To do so, we will present the emerging research program of experimental argument analysis (EAA) that examines how automatic language processing shapes verbal reasoning – including philosophical arguments. The evidential strand of experimental philosophy uses (...) mainly questionnaire-based methods to assess the evidentiary value of intuitive judgments that are adduced as evidence for philosophical theories and as premises for philosophical arguments. Extending this prominent strand of experimental philosophy, EAA underpins such assessments, extends the scope of the assessments, and expands the range of the empirical methods employed: EAA examines how automatic inferences that are continually made in language comprehension and production shape verbal reasoning, and draws on findings about comprehension biases that affect the contextualisation of such default inferences, in order to explain and expose fallacies. It deploys findings to assess premises and inferences from premises to conclusions, in philosophical arguments. To do so, it adapts methods from psycholinguistics and recruits methods from computational linguistics. (shrink)

Applying machine learning algorithms to automatically infer relationships between concepts from large-scale collections of documents presents a unique opportunity to investigate at scale how human semantic knowledge is organized, how people use it to make fundamental judgments (“How similar are cats and bears?”), and how these judgments depend on the features that describe concepts (e.g., size, furriness). However, efforts to date have exhibited a substantial discrepancy between algorithm predictions and human empirical judgments. Here, we introduce a novel approach to generating (...) embeddings for this purpose motivated by the idea that semantic context plays a critical role in human judgment. We leverage this idea by constraining the topic or domain from which documents used for generating embeddings are drawn (e.g., referring to the natural world vs. transportation apparatus). Specifically, we trained state-of-the-art machine learning algorithms using contextually-constrained text corpora (domain-specific subsets of Wikipedia articles, 50+ million words each) and showed that this procedure greatly improved predictions of empirical similarity judgments and feature ratings of contextually relevant concepts. Furthermore, we describe a novel, computationally tractable method for improving predictions of contextually-unconstrained embedding models based on dimensionality reduction of their internal representation to a small number of contextually relevant semantic features. By improving the correspondence between predictions derived automatically by machine learning methods using vast amounts of data and more limited, but direct empirical measurements of human judgments, our approach may help leverage the availability of online corpora to better understand the structure of human semantic representations and how people make judgments based on those. (shrink)

Purpose This study aims to understand the relationship between politics and pandemics in shaping the characteristics and themes of people’s Tweets during the US 2020 presidential election. Additionally, the purpose is to detect misinformation and extremism, not only to help online social networks to target such content more rapidly but also to provide a close to real-time picture of trending topics, misinformation, and extremism flowing on OSN. This could help authorities to identify the intents behind them and find out how (...) and when they should address such content. Design/methodology/approach This study focuses on extracting and verifying knowledge from large-scale OSN data, at the intersection of the Coronavirus pandemic and the US 2020 presidential election. More specifically, this study makes manual, statistical and automatic inferences and extracts knowledge from over a million Tweets related to the two aforementioned major events. On the other hand, disinformation operations intensified in 2020 with the coincidence of the Coronavirus pandemic and presidential election. This study applies machine learning to detect misinformation and extreme opinions on OSN. Over one million Tweets have been collected by our server in real-time from the beginning of April 2020 to the end of January 2021, using six keywords, namely, Covid, Corona, Trump, Biden, Democrats and Republicans. These Tweets are inspected with regard to their topics, opinions, news, and political affiliation, along with misinformation and extremism. Findings Our analyses showed that the majority of these Tweets concern death tolls, testing, mask, drugs, vaccine, and travel bans. The second concern among these Tweets is reopening the economy and schools, unemployment, and stimulus bills. The third concern is related to the Coronavirus pandemic’s impacts on politics, voting, and misinformation. This highlights the topics that US voters on Twitter were most concerned about during this time period, among the multitude of other topics that politicians and news media were reporting or discussing. Automatic classification of these Tweets using a long short-term memory network revealed that Tweets containing misinformation formed between 0.5% and 1.1% of Coronavirus-related Tweets every month and Tweets containing extreme opinions formed between 0.5% and 3.1% of them every month, with its pick in October 2020, coinciding with the US presidential election month. Originality/value The originality of this study lies in establishing a framework to collect, process, and classify OSN data to detect misinformation and extremism and to provide a close to real-time picture of trending topics, misinformation, and extremism flowing on OSN. (shrink)

Conceptual metaphors facilitate both productive and pernicious analogical reasoning. This article addresses the question: When and why does the frequently helpful use of metaphor become pernicious? By applying the most influential theoretical framework from cognitive psychology in analysing the philosophically most prominent example of pernicious metaphorical reasoning, we identify a philosophically relevant but previously undescribed fallacy in analogical reasoning with metaphors. We then outline an explanation of why even competent thinkers commit this fallacy and obtain a psychologically informed ‘debunking’ explanation (...) of the kind experimental philosophy’s ‘sources project’ seeks. (shrink)

Cultural schemas are a central cognitive mechanism through which culture affects action. In this article, we develop a theoretical model of cultural schemas that is better able to support empirical work, including inferential, sensitizing, and operational uses. We propose a multilevel framework centered on a high-level definition of cultural schemas that is sufficiently broad to capture its major sociological applications but still sufficiently narrow to identify a set of cognitive phenomena with key functional properties in common: cultural schemas are socially (...) shared representations deployable in automatic cognition. We use this conception to elaborate the main theoretical properties of cultural schemas, and to provide clear criteria that distinguish them from other cultural or cognitive elements. We then propose a series of concrete tests empirical scholarship can use to determine if these properties apply. We also demonstrate how this approach can identify potentially faulty theoretical inferences present in existing work. Moving to a lower level of analysis, we elaborate how cultural schemas can be algorithmically conceptualized in terms of their building blocks. This leads us to recommend improvements to methods for measuring cultural schemas. We conclude by outlining questions for a broader research program. (shrink)

Many philosophical thought experiments and arguments involve unusual cases. We present empirical reasons to doubt the reliability of intuitive judgments and conclusions about such cases. Inferences and intuitions prompted by verbal case descriptions are influenced by routine comprehension processes which invoke stereotypes. We build on psycholinguistic findings to determine conditions under which the stereotype associated with the most salient sense of a word predictably supports inappropriate inferences from descriptions of unusual (stereotype-divergent) cases. We conduct an experiment that combines (...) plausibility ratings with pupillometry to document this “salience bias.” We find that under certain conditions, competent speakers automatically make stereotypical inferences they know to be inappropriate. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials (...) for each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

This paper pioneers the use of methods and findings from psycholinguistics in experimental philosophy’s ‘sources project’. On this basis, it clarifies the epistemological relevance of empirical findings about intuitions – a key methodological challenge to experimental philosophy. The sources project (aka ‘cognitive epistemology of intuitions’) seeks to develop psychological explanations of philosophically relevant intuitions, which help us assess their evidentiary value. One approach seeks explanations which trace relevant intuitions back to automatic cognitive processes that are generally reliable but predictably (...) generate cognitive illusions under specific vitiating circumstances. The paper develops and experimentally tests such an explanation for intuitions at the root of a historically influential paradox about perception (‘argument from illusion’). The explanation traces these intuitions to stereotype-driven amplification, an automatic process routinely involved in language comprehension (e.g., understanding philosophical case-descriptions). Distributional semantics analysis and a forced-choice plausibility ranking task are employed to establish the relevant verb-associated stereotypes. The paper argues that the inferences facilitated by these stereotypes are generally reliable, but shows that vitiating circumstances obtain in the formulation of the targeted paradox. On this basis, the paper explores two complementary strategies for assessing the evidentiary value of intuitive judgments. (shrink)

The automatic prediction of court case judgments using Deep Learning and Natural Language Processing is challenged by the variety of norms and regulations, the inherent complexity of the forensic language, and the length of legal judgments. Although state-of-the-art transformer-based architectures and Large Language Models (LLMs) are pre-trained on large-scale datasets, the underlying model reasoning is not transparent to the legal expert. This paper jointly addresses court judgment prediction and explanation by not only predicting the judgment but also providing legal (...) experts with sentence-based explanations. To boost the performance of both tasks we leverage a legal named entity recognition step, which automatically annotates documents with meaningful domain-specific entity tags and masks the corresponding fine-grained descriptions. In such a way, transformer-based architectures and Large Language Models can attend to in-domain entity-related information in the inference process while neglecting irrelevant details. Furthermore, the explainer can boost the relevance of entity-enriched sentences while limiting the diffusion of potentially sensitive information. We also explore the use of in-context learning and lightweight fine-tuning to tailor LLMs to the legal language style and the downstream prediction and explanation tasks. The results obtained on a benchmark dataset from the Indian judicial system show the superior performance of entity-aware approaches to both judgment prediction and explanation. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. (...) I argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

Unrestricted inferentialism holds both that any collection of inference rules can determine a meaning for an expression and meaning constituting rules are automatically valid. Prior's infamous tonk connective refuted unrestricted inferentialism, or so it is universally thought. This paper argues against this consensus. I start by formulating the metasemantic theses of inferentialism with more care than they have hitherto received; I then consider a tonk language — Tonklish — and argue that the unrestricted inferentialist's treatment of this language is only (...) problematic if it is mistakenly assumed that Tonklish can be homophonically translated into English. Next, I discuss the proper, non-homophonic, translation of Tonklish into English, rebut various objections, and consider several variants of Tonklish. The paper closes by highlighting the philosophical advantages that unrestricted inferentialism has over its competitors once the terrors of tonk have been tamed. (shrink)

I address the commentators' calls for clarification of theoretical terms, discussion of similarities to other proposals, and extension of the ideas. In doing so, I keep the focus on the purpose of memory: enabling the organism to make sense of its environment so that it can take action appropriate to constraints resulting from the physical, personal, social, and cultural situations.