The main object of this paper is to provide the logical machinery needed for a viable basis for talking of the ‘consequences’, the ‘content’, or of ‘equivalences’ between inconsistent sets of premisses.With reference to its maximal consistent subsets (m.c.s.), two kinds of ‘consequences’ of a propositional set S are defined. A proposition P is a weak consequence (W-consequence) of S if it is a logical consequence of at least one m.c.s. of S, and P is an inevitable consequence (I-consequence) of (...) S if it is a logical consequence of all the m.c.s. of S. The set of W-consequences of a set S it determines (up to logical equivalence) its m.c.s. (This enables us to define a normal form for every set such that any two sets having the same W-consequences have the same normal form.) The W-consequences and I-consequences will not do to define the ‘content’ of a set S. The first is too broad, may include propositions mutually inconsistent, the second is too narrow. A via media between these concepts is accordingly defined: P is a P-consequence of S, where P is some preference criterion yielding some of the m.c.s. of S as preferred to others, and P is a consequence of all of the P-preferred m.c.s. of S. The bulk of the paper is devoted to discussion of various preference criteria, and also surveys the application of this machinery in diverse contexts - for example, in connection with the processing of mutually inconsistent reports. (shrink)

There are inferences from a sentence or a set of sentences to a question. The relation between the premises and conclusions of such inferences is sometimes called arising.

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

The paper provides a presentation and motivation of the concept of non-empirical theory confirmation. Non-empirical theory confirmation is argued to play an important role in the scientific process that has not been adequately acknowledged so far. Its formalization within a Bayesian framework demonstrates that non-empirical confirmation does have the essential structural characteristics of theory confirmation.

Subjective predicates have two interpretive and distributional characteristics that have resisted a comprehensive analysis. First, the use of a subjective predicate to describe an object is in general felicitous only when the speaker has a particular kind of familiarity with relevant features of the object; characterizing an object as _tasty,_ for example, implies that the speaker has experience of its taste. Second, subjective predicates differ from objective predicates in their distribution under certain types of propositional attitude verbs. The goal of (...) this paper is to argue that these features can be explained in a uniform way and within a broadly truth-conditional approach to semantic content, given a view of subjective language as an essentially pragmatic, context-sensitive phenomenon. Specifically, we propose that what renders an issue subjective in discourse is speakers’ awareness of _counterstance contingency_: contingency relative to information states that represent alternative pragmatic stances. (shrink)

Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children recognizing relevant associations among events, and responding based on those associations. To examine this claim, in Experiments 1 and 2, children were introduced to a “blicket detector”, a machine that lit up and played music when certain objects were placed upon it. Children observed patterns of contingency between objects and the machine’s activation that (...) required them to use indirect evidence to make causal inferences. Critically, associative models either made no predictions, or made incorrect predictions about these inferences. In general, children were able to make these inferences, but some developmental differences between 3- and 4- year-olds were found. We suggest that children’s causal inferences are not based on recognizing associations, but rather that children develop a mechanism for Bayesian structure learning. Experiment 3 explicitly tests a prediction of this account. Children were asked to make an inference about ambiguous data based on the base-rate of certain events occurring. Fouryear-olds, but not 3-year-olds were able to make this inference. (shrink)

Building on early work by Girard ( 1987 ) and using closely related techniques from the proof theory of many-valued logics, we propose a sequent calculus capturing a hierarchy of notions of satisfaction based on the Strong Kleene matrices introduced by Barrio et al. (Journal of Philosophical Logic 49:93–120, 2020 ) and others. The calculus allows one to establish and generalize in a very natural manner several recent results, such as the coincidence of some of these notions with their classical (...) counterparts, and the possibility of expressing some notions of satisfaction for higher-level inferences using notions of satisfaction for inferences of lower level. We also show that at each level all notions of satisfaction considered are pairwise distinct and we address some remarks on the possible significance of this (huge) number of notions of consequence. (shrink)

People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played (...) a game then she didn't play soccer. Two experiments corroborated this prediction for three sorts of ‘paradox’, including a disjunctive paradox. (shrink)

This invited article is a response to the paper “Quantum Misuse in Psychic Literature,” by Jack A. Mroczkowski and Alexis P. Malozemoff, published in this issue of the Journal of Near-Death Studies. Whereas I sympathize with Mroczkowski’s and Malozemoff’s cause and goals, and I recognize the problem they attempted to tackle, I argue that their criticisms often overshot the mark and end up adding to the confusion. I address nine specific technical points that Mroczkowski and Malozemoff accused popular writers in (...) the fields of health care and parapsychology of misunderstanding and misrepresenting. I argue that, by and large—and contrary to Mroczkowski’s and Malozemoff’s claims—the statements made by these writers are often reasonable and generally consistent with the current state of play in foundations of quantum mechanics. (shrink)

Byrne has demonstrated that although subjects can make deductively valid inferences of the modus ponens and modus tollens forms, these valid inferences can be suppressed by presenting an appropriate additional premise “If R then Q” with the original conditional “If P then Q”. This suppression effect challenges the assumption of all syntactic theories of conditional reasoning that formal rules of inference such as modus ponens is part of mental logic. This paper argues that both the syntactic and the (...) mental model accounts of the suppression effect are inadequate because they fail to give a principled account of the critical interpretive component involved in reasoning. In contrast, the relative salience model proposed in this study emphasized the centrality of the interpretative processes with the critical component being the relative salience of premises as judged by subjects on the basis of their prior knowledge activated in particular problem situations. Using 120 undergraduates and 120 policemen as subjects, predictions from the model were tested and confirmed in a suppression paradigm and evidence of convergent validity for the construct of salience were obtained. The results cannot be reconciled with either the syntactic view or the mental model view that have dominated theories of conditional reasoning. (shrink)

In certain contexts reasoners reject instances of the valid Modus Ponens and Modus Tollens inference form in conditional arguments. Byrne (1989) observed this suppression effect when a conditional premise is accompanied by a conditional containing an additional requirement. In an earlier study, Rumain, Connell, and Braine (1983) observed suppression of the invalid inferences "the denial of the antecedent" and "the affirmation of the consequent" when a conditional premise is accompanied by a conditional containing an alternative requirement. Here we present (...) three experiments showing that the results of Byrne (1989) and Rumain et al. (1983) are influenced by the answer procedure. When reasoners have to evaluate answer alternatives that only deal with the inferences that can be made with respect to the first conditional, then suppression is observed (Experiment 1). However, when reasoners are also given answer alternatives about the second conditional (Experiment 2) no suppression is observed. Moreover, contrary to the hypothesis of Byrne (1989), at least some of the reasoners do not combine the information of the two conditionals and do not give a conclusion based on the combined premise. Instead, we hypothesise that some of the reasoners have reasoned in two stages. In the first stage, they form a putative conclusion on the basis of the first conditional and the categorical premise, and in the second stage, they amend the putative conclusion in the light of the information in the second premise. This hypothesis was confirmed in Experiment 3. Finally, the results are discussed with respect to the mental model theory and reasoning research in general. (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)

The book is an epistemological monograph written from a multidisciplinary perspective. It provides a complex and realistic picture of cognition and rationality, as endowments aimed at making sense and reacting smartly to one's environment, be it epistemic, social or simply ecological. The first part of the book analyzes scientific modeling as products of the biological necessity to cope with the environment and be able to draw as many inferences as possible about it. Moreover, it develops an epistemological framework which (...) will be exploited in both the second part of the book, focusing on social cognition and cognitive niche construction, and the third part, dealing with the apparent irrationality of magical and religious belief. The book also discusses how both social networking and online religion influence cognition, rationality and irrational belief. (shrink)

We examine two competing effects of beliefs on conditional inferences. The suppression effect occurs for conditionals, for example, “if she watered the plants they bloomed,” when beliefs about additional background conditions, for example, “if the sun shone they bloomed” decrease the frequency of inferences such as modus tollens (from “the plants did not bloom” to “therefore she did not water them”). In contrast, the counterfactual elevation effect occurs for counterfactual conditionals, for example, “if she had watered the plants (...) they would have bloomed,” when beliefs about the known or presupposed facts, “she did not water the plants and they did not bloom” increase the frequency of inferences such as modus tollens. We report six experiments that show that beliefs about additional conditions take precedence over beliefs about presupposed facts for counterfactuals. The modus tollens inference is suppressed for counterfactuals that contain additional conditions (Experiments 1a and 1b). The denial of the antecedent inference (from “she did not water the plants” to “therefore they did not bloom”) is suppressed for counterfactuals that contain alternatives (Experiments 2a and 2b). We report a new “switched‐suppression” effect for conditionals with negated components, for example, “if she had not watered the plants they would not have bloomed”: modus tollens is suppressed by alternatives and denial of the antecedent by additional conditions, rather than vice versa (Experiments 3a and 3b). We discuss the implications of the results for alternative theories of conditional reasoning. (shrink)

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of theories; (...) the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

What should we make of systems that behave just like conscious creatures but operate via mechanisms that are profoundly different from our own? How should we even think about mechanistic similarity and difference in this context? To answer these questions, I take a closer look at the inferential machinery that allows us to justifiably draw conclusions about consciousness in others. I argue that inferences about consciousness in others are best viewed as involving analogical inferences grounded in explanatory considerations. (...) I conclude that profound mechanistic difference severs the evidential link between behavioural evidence and subjective experience. I then draw on recent developments within the mechanistic philosophy of science to motivate a conception of mechanistic similarity that is not wedded to similarity of physical substrate and outline a strategy for resolving disputes about whether it is cognitive similarity or neural similarity that matters for inferences about consciousness. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure of canonical (...) information theory to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

ABSTRACTOther people’s emotional reactions to a third person’s behaviour are potentially informative about what is appropriate within a given situation. We investigated whether and how observers’ inferences of such injunctive norms are shaped by expressions of anger and disgust. Building on the moral emotions literature, we hypothesised that angry and disgusted expressions produce relative differences in the strength of autonomy-based versus purity-based norm inferences. We report three studies using different types of stimuli to investigate how emotional reactions shape (...) norms about potential norm violations, and contexts. Consistent with our theoretical argument, the results indicate that observers use others’ emotional reactions not only to infer whether a particular behaviour is inappropriate, but also why it is inappropriate: because it primarily violates auto... (shrink)

This paper provides new tools for philosophical argument analysis and fresh empirical foundations for ‘critical’ ordinary language philosophy. Language comprehension routinely involves stereotypical inferences with contextual defeaters. J.L. Austin’s Sense and Sensibilia first mooted the idea that contextually inappropriate stereotypical inferences from verbal case-descriptions drive some philosophical paradoxes; these engender philosophical problems that can be resolved by exposing the underlying fallacies. We build on psycholinguistic research on salience effects to explain when and why even perfectly competent speakers cannot (...) help making stereotypical inferences which are contextually inappropriate. We analyse a classical paradox about perception, suggest it relies on contextually inappropriate stereotypical inferences from appearance-verbs, and show that the conditions we identified as leading to contextually inappropriate stereotypical inferences are met in formulations of the paradox. Three experiments use a forced-choice plausibility-ranking task to document the predicted inappropriate inferences, in English, German, and Japanese. The cross-linguistic study allows us to assess the wider relevance of the proposed analysis. Our findings open up new perspectives for ‘evidential’ experimental philosophy. (shrink)

The notion that emotional expressions regulate social life by providing information is gaining popularity. Prior research on the effects of emotional expressions on observers’ inferential processes has focused mostly on inferences regarding the personality traits of the expresser, such as dominance and affiliation. We extend this line of research by exploring the possibility that emotional expressions shape observers’ construal of social situations. Across three vignette studies, an interaction partner's expressions of anger, compared to expressions of happiness or disappointment, led (...) observers to construe hypothetical situations as less cooperative, both in dyads and groups. These effects occurred even when factual information regarding the cooperativeness or competitiveness of the situation was provided, attesting to the power of emotional expressions in shaping the construal of social situations. Results are discussed in relation to appraisal theory, reverse appraisals, emotions as social information theory, and the emergence of cooperation in groups and cultures. (shrink)

O'Brien et al. reported that readers generated elaborative inferences only when a text contained characteristics that made it easy to predict the specific inference that a reader would draw, and virtually eliminated the possibility of the inference being discon-firmed. Garrod et al., however, offered two qualifications to these conclusions. First, the two text characteristics manipulated may have produced different types of elaborative inferencing: a biasing context results in a passive form of elaborative inferencing, involving setting up a context of (...) interpretation, whereas the presence of a demand sentence invites the reader to actively predict a subsequent expression. Secondly, clear evidence for either type of inference will be apparent only with truly anaphoric materials. This work describes how a passive form of elaborative inferencing, reported by Garrod et al, may be implemented in a connectionist manner. We take the connectionist model proposed by Shastri and Ajjanagadde in order to represent a text in the form of a network. Next we analyze and discuss how an attentional focus could operate with the proposed reasoner system in order to deal with inference control and anaphora resolution, during text understanding. Our own suggestion is that the system proposed by Shastri and Ajjanagadde could be extended by incorporating focus in order to apply it to some open problems related to text processing. However, this extension presents implementational problems due to its local character. Distributed models seem to be in a better position to deal with the shift of the attentional states, given that these systems can learn. Particularly, the model proposed by Sun is close to our aims, and so we will discuss its implications in order to design a cognitive architecture for text comprehension. (shrink)

This paper presents preliminary findings of the project [name omitted for anonymity]. This interdisciplinary project builds on Argumentation theory and developmental sociocultural psychology for the study of children’s argumentation. We reconstruct children’s inferences in adult-child and child-child dialogical interaction in conversation in different settings. We focus in particular on implicit premises using the Argumentum Model of Topics for the reconstruction of the inferential configuration of arguments. Our findings reveal that sources of misunderstandings are more often than not due to (...) misalignments of implicit premises between adults and children; these misalignments concern material premises rather than the inferential-procedural level. (shrink)

This paper develops a novel approach to the question of the normativity of logic, which we reinterpret as a clash between two intuitions: the direct normativity intuition and the unfeasibility intuition. The standard response has been to dismiss the direct normativity intuition, bridging logic and reasoning via principles that relativize the normative import of logic to pragmatic and feasibility considerations. We argue that the standard response is misguided. Building upon theories of bounded rationality, our approach conceptualizes reasoning as constrained by (...) multiple, independent normative factors, logical and non-logical ones. These different factors can conflict with one another, to the effect that logically sound inferences might not coincide with what is feasible for an agent to infer. From this perspective, we will argue that logic gives us only prima facie, i.e. contributive and defeasible, obligations on what to believe, but that such obligations do not always coincide with what an agent ought to believe all things considered. These distinctions will dissolve the alleged clash between the direct normativity and the unfeasibility intuition. (shrink)

Upon hearing a scalar adjective in a definite referring expression such as “the big…,” listeners typically make anticipatory eye movements to an item in a contrast set, such as a big glass in the context of a smaller glass. Recent studies have suggested that this rapid, contrastive interpretation of scalar adjectives is malleable and calibrated to the speaker's pragmatic competence. In a series of eye‐tracking experiments, we explore the nature of the evidence necessary for the modulation of pragmatic inferences (...) in language comprehension, focusing on the complementary roles of top–down information ‐ (knowledge about the particular speaker's pragmatic competence) and bottom‐up cues (distributional information about the use of scalar adjectives in the environment). We find that bottom‐up evidence alone (e.g., the speaker says “the big dog” in a context with one dog), in large quantities, can be sufficient to trigger modulation of the listener's contrastive inferences, with or without top‐down cues to support this adaptation. Further, these findings suggest that listeners track and flexibly combine multiple sources of information in service of efficient pragmatic communication. (shrink)