In May 2010, philosophers, family and friends gathered at the University of Notre Dame to celebrate the career and retirement of Alvin Plantinga, widely recognized as one of the world's leading figures in metaphysics, epistemology, and the philosophy of religion. Plantinga has earned particular respect within the community of Christian philosophers for the pivotal role that he played in the recent renewal and development of philosophy of religion and philosophical theology. Each of the essays in this volume engages with some (...) particular aspect of Plantinga's views on metaphysics, epistemology, or philosophy of religion. Contributors include Michael Bergman, Ernest Sosa, Trenton Merricks, Richard Otte, Peter VanInwagen, Thomas P. Flint, Eleonore Stump, Dean Zimmerman and Nicholas Wolterstorff. The volume also includes responses to each essay by Bas van Fraassen, Stephen Wykstra, David VanderLaan, Robin Collins, Raymond VanArragon, E. J. Coffman, Thomas Crisp, and Donald Smith. (shrink)

We offer a model of moral reform and regeneration that involves a wrong-doer making two movements: on the one hand, he identifies with himself as the one who did the act, while he also intentionally moves away from that self (or set of desires and intentions) and moves toward a transformed identity. We see this model at work in the formal practice of contrition and reform in Christian and Buddhist rites. This paper is part of a broader project we are (...) undertaking on the philosophy of forgiveness. (shrink)

When scientists seek further confirmation of their results, they often attempt to duplicate the results using diverse means. To the extent that they are successful in doing so, their results are said to be robust. This paper investigates the logic of such "robustness analysis" [RA]. The most important and challenging question an account of RA can answer is what sense of evidential diversity is involved in RAs. I argue that prevailing formal explications of such diversity are unsatisfactory. I propose a (...) unified, explanatory account of diversity in RAs. The resulting account is, I argue, truer to actual cases of RA in science; moreover, this account affords us a helpful, new foothold on the logic undergirding RAs. (shrink)

Central to many discussions of motivated reasoning is the idea that it runs afoul of epistemic normativity. Reasoning differently about information supporting our prior beliefs versus information contradicting those beliefs, is frequently equated with motivated irrationality. By analyzing the normative status of belief polarization, selective scrutiny, biased assimilation and the myside bias, I show this inference is often not adequately supported. Contrary to what’s often assumed, these phenomena need not indicate motivated irrationality, even though they are instances of (...) belief-consistent information processing. Second, I engage with arguments purporting to show that belief-consistent information processing does not indicate motivated irrationality because of its mere differential treatment of confirming and non-confirming evidence, but rather because it reveals the undermining presence of an irrelevant influence, such as a desire or partisan identity-driven cognition. While linking belief-consistent reasoning to a deeper source of directional motivation to make good on the claim that it indicates motivated irrationality is indeed what’s needed, two prominent such arguments fail. The non-normativity of many reasoning processes often taken to indicate motivated irrationality is not in fact well established. (shrink)

The analytical notion of ‘scientific style of reasoning’, introduced by Ian Hacking in the middle of the 1980s, has become widespread in the literature of the history and philosophy of science. However, scholars have rarely made explicit the philosophical assumptions and the research objectives underlying the notion of style: what are its philosophical roots? How does the notion of style fit into the area of research of historical epistemology? What does a comparison between Hacking’s project on styles of thinking (...) and other similar projects suggest? My aim in this paper is to answer these questions. Hacking has denied that his project of styles of thinking falls into the field of historical epistemology. I shall challenge his remark by tracing out the connections of the notion of style with historical epistemology and, more in general, with a tradition of thought born in France in the beginning of twentieth-century. (shrink)

In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...) articulate this thesis with reference to the history of antipsychotic drugs and the evolution of the dopamine hypothesis of schizophrenia in the second half of the twentieth century. I argue that interventions with psychiatric patients through the medium of antipsychotic drugs provide researchers with information and evidence about the neurobiological causes of schizophrenia. This analysis highlights the importance of pharmacological drugs as research tools in the generation of psychiatric knowledge and the dynamic relationship between practical and theoretical contexts in psychiatry. (shrink)

An important question about moral progress is what causes it. One of the most popular proposed mechanisms is moral reasoning: moral progress often happens because lots of people reason their way to improved moral beliefs. Authors who defend moral reasoning as a cause of moral progress have relied on two broad lines of argument: the general and the specific line. The general line presents evidence that moral reasoning is in general a powerful mechanism of moral belief change, (...) while the specific line tries to establish that moral reasoning can explain specific historical examples of moral progress. In this paper, we examine these lines in detail, using Kumar and Campbell’s (2022, A Better Ape: The Evolution of the Moral Mind and How It Made Us Human. Oxford University Press) model of rational moral progress to sharpen our focus. For each line, we explain the empirical assumptions it makes; we then argue that the available evidence supports none of these assumptions. We conclude that at this point, we have no idea if moral reasoning causes moral progress. (shrink)

When are you in a position to rely on p in practical reasoning? Existing accounts say that you must know that p, or be in a position to know that p, or be justified in believing that p, or be in a position to justifiably believe it, and so on. This paper argues that all of these proposals face important problems, which I call the Problems of Negative Bootstrapping and of Level Confusions. I offer a diagnosis of these problems, (...) and I argue that an adequate epistemic norm must be transparent in the following sense: According to the correct epistemic norm, a consideration counts in favor of (or against) relying on p in practical reasoning iff, and to the extent that, this consideration also counts in favor of (or against) p being true. I introduce a candidate epistemic norm that satisfies this condition. According to this norm, one should rely on p in practical reasoning only if it must be that p. If we adopt a non-factualist account of “must”, this amounts to a novel and attractive proposal, a proposal that satisfies the transparency condition. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

John Broome has developed an account of rationality and reasoning which gives philosophical foundations for choice theory and the psychology of rational agents. We formalize his account into a model that differs from ordinary choice-theoretic models through focusing on psychology and the reasoning process. Within that model, we ask Broome’s central question of whether reasoning can make us more rational: whether it allows us to acquire transitive preferences, consistent beliefs, non-akratic intentions, and so on. We identify three (...) structural types of rationality requirements: consistency requirements, completeness requirements, and closedness requirements. Many standard rationality requirements fall under this typology. Based on three theorems, we argue that reasoning is successful in achieving closedness requirements, but not in achieving consistency or completeness requirements. We assess how far our negative results reveal gaps in Broome's theory, or deficiencies in choice theory and behavioral economics. (shrink)

There is widespread recognition at universities that a proper understanding of science is needed for all undergraduates. Good jobs are increasingly found in fields related to Science, Technology, Engineering, and Medicine, and science now enters almost all aspects of our daily lives. For these reasons, scientific literacy and an understanding of scientific methodology are a foundational part of any undergraduate education. Recipes for Science provides an accessible introduction to the main concepts and methods of scientific reasoning. With the help (...) of an array of contemporary and historical examples, definitions, visual aids, and exercises for active learning, the textbook helps to increase students’ scientific literacy. The first part of the book covers the definitive features of science: naturalism, experimentation, modeling, and the merits and shortcomings of both activities. The second part covers the main forms of inference in science: deductive, inductive, abductive, probabilistic, statistical, and causal. The book concludes with a discussion of explanation, theorizing and theory-change, and the relationship between science and society. The textbook is designed to be adaptable to a wide variety of different kinds of courses. In any of these different uses, the book helps students better navigate our scientific, 21st-century world, and it lays the foundation for more advanced undergraduate coursework in a wide variety of liberal arts and science courses. Selling Points Helps students develop scientific literacy—an essential aspect of _any_ undergraduate education in the 21 st century, including a broad understanding of scientific reasoning, methods, and concepts Written for all beginning college students: preparing science majors for more focused work in particular science; introducing the humanities’ investigations of science; and helping non-science majors become more sophisticated consumers of scientific information Provides an abundance of both contemporary and historical examples Covers reasoning strategies and norms applicable in all fields of physical, life, and social sciences, _as well as_ strategies and norms distinctive of specific sciences Includes visual aids to clarify and illustrate ideas Provides text boxes with related topics and helpful definitions of key terms, and includes a final Glossary with all key terms Includes Exercises for Active Learning at the end of each chapter, which will ensure full student engagement and mastery of the information include earlier in the chapter Provides annotated ‘For Further Reading’ sections at the end of each chapter, guiding students to the best primary and secondary sources available Offers a Companion Website, with: For Students: direct links to many of the primary sources discussed in the text, student self-check assessments, a bank of exam questions, and ideas for extended out-of-class projects For Instructors: a password-protected Teacher’s Manual, which provides student exam questions with answers, extensive lecture notes, classroom-ready Power Point presentations, and sample syllabi Extensive Curricular Development materials, helping any instructor who needs to create a Scientific Reasoning Course, ex nihilo. (shrink)

In the human sciences, experimental research is used to establish causal relationships. However, the extrapolation of these results to the target population can be problematic. To facilitate extrapolation, we propose to use the statistical technique Latent Class Regression Analysis in combination with the analogical reasoning theory for extrapolation. This statistical technique can identify latent classes that differ in the effect of X on Y. In order to extrapolate by means of analogical reasoning, one can characterize the latent classes (...) by a combination of features, and then compare these features to features of the target. (shrink)

Philosophers of science have insisted that evidence of underlying mechanisms is required to support claims about the effects of medical interventions. Yet evidence about mechanisms does not feature on dominant evidence-based medicine “hierarchies.” After arguing that only inferences from mechanisms (“mechanistic reasoning”)—not mechanisms themselves—count as evidence, I argue for a middle ground. Mechanistic reasoning is not required to establish causation when we have high-quality controlled studies; moreover, mechanistic reasoning is more problematic than has been assumed. Yet where (...) the problems can be overcome, mechanistic reasoning can and should be used as evidence. (shrink)

Sometimes we make a decision about an action we will undertake later and form an intention, but our judgment of what it is best to do undergoes a temporary shift when the time for action comes round. What makes it rational not to give in to temptation? Many contemporary solutions privilege diachronic rationality; in some “rational non-reconsideration” (RNR) accounts once the agent forms an intention, it is rational not to reconsider. This leads to other puzzles: how can someone be motivated (...) to follow a plan that is contrary to their current judgment? How can it be rational to form a plan to resist if we can predict that our judgment will shift? I show how these puzzles can be solved in a framework where there are multiple units of agency, distinguishing between the judgments of the timeslice and those of the person over time, and allowing that the timeslice can “self identify”, taking the person over time as the relevant unit of agency and doing intrapersonal team reasoning (with a different causal role for intentions than RNR accounts). On my account, resisting temptation is compatible with synchronic rationality, so synchronic and diachronic rationality are aligned. However, either resisting or succumbing to temptation can be instrumentally rational, depending on the unit of agency that is identified with. In order to show why we ought to resist temptation, we need to draw on a non-instrumental rationale. I sketch possible routes for doing this. (shrink)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve (...) the application of second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

This article examines the evolution of the concept of existence in modern visual representation and reasoning, highlighting important milestones. In the late eighteenth century, during the so-called golden age of visual reasoning, nominalism reigned supreme and there was limited scope for existential import or individuals in logic diagrams. By the late nineteenth century, a form of realism had taken hold, whose existential commitments continue to dominate many areas in logic and visual reasoning to this day. Physical, metaphysical, (...) epistemological, and linguistic positions underlie both nominalist and realist views. Since the paradigmatic works on visual reasoning in the 1990s, formal diagram systems have been developed that revive either the nominalist or realist perspectives. Unlike in the nineteenth century, these are not motivated by philosophical views. Nevertheless, they may still have an impact on many areas of philosophy and science outside logic. (shrink)

Doing Practical Ethics supports the deliberate practice of philosophical skills relevant to understanding, evaluating, and developing arguments in forms commonly used in the field of practical ethics. Each chapter includes an explanation of a specific moral reasoning skill, demonstration exercises with sample solutions that offer students immediate feedback on their initial practice attempts, and extensive sets of practice exercises. It is suitable for any ethics course that centrally features argument from principle, argument from analogy, or inference to the best (...) explanation. It may be used as a standalone text in a debate-focused course. Paired with an anthology in a readings-focused course, it will help students develop the skills they need to understand and evaluate the arguments in the assigned readings. (shrink)

Recently a number of variously motivated epistemologists have argued that knowledge is closely tied to practical matters. On the one hand, radical pragmatic encroachment is the view that facts about whether an agent has knowledge depend on practical factors and this is coupled to the view that there is an important connection between knowledge and action. On the other hand, one can argue for the less radical thesis only that there is an important connection between knowledge and practical reasoning. (...) So, defenders of both of these views endorse the view that knowledge is the norm of practical reasoning. This thesis has recently come under heavy fire and a number of weaker proposals have been defended. In this paper counter-examples to the knowledge norm of reasoning will be presented and it will be argued that this viewand a number of related but weaker viewscannot be sustained in the face of these counter-examples. The paper concludes with a novel proposal concerning the norm of practical reasoning that is immune to the counter-examples introduced here. (shrink)

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both logically (...) and probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)

The term “dictator” may have a strong impression on many of us because it is usually associated with destructive consequences, like the Holocaust directed by Adolf Hitler and the Great Purge ordered by Joseph Stalin. Yet, little is known about how a dictator-to-be can harness the power and rise into power. This chapter proposes a psycho-political mechanism that enables a dictator-to-be to harness the power generated from disinformation-induced hysteria. The conceptual framework is constructed using the mindsponge-based analytical framework and the (...) SM3D theory (Serendipity-Mindsponge-3D). The framework can help examine cases of dictatorship and prospect potential dictators, which gives our societies insights and preparations to reduce the possible rise of dictatorship in the future. This chapter is placed at the end of the book to wrap up the process of describing and discussing the mindsponge thinking approach in the book from simplicity to complexity. (shrink)

This paper aims to accessibly present, and then critique, Hugo Mercier and Dan Sperber's recent proposals for the evolutionary function of human reasoning. I take a critical look at the main source of experimental evidence that they claim as support for their view, namely the confirmation or “myside” bias in reasoning. I object that Mercier and Sperber did not adequately argue for a claim that their case rests on, namely that it is evolutionarily advantageous for you to get (...) other people to believe whatever you antecedently believe. And I give my own argument that this claim is false. I also critically look at their suggestion that reasoning has a justificatory function, functioning as a kind of reputation management tool. I argue this suggestion does not amount to a plausible evolutionary function. (shrink)

Some religious communities argue that public policy is best decided by their own members, on the grounds that collaborating with those reasoning from secular or “worldly” perspectives will only foment error about how society should be run. But I argue that epistemology instead recommends fostering disagreement among a plurality of religious and secular worldviews. Inter-worldview disagreement over public policy can challenge our unquestioned assumptions, deliver evidence we would likely have missed, and expose us to new epistemic alternatives; when done (...) respectfully, it can also combat epistemically problematic biases and groupthink. I address two objections that members of a politically active religious community might raise: one that inter-worldview disagreement about public policy is not needed because one’s own beliefs are already true, and another that it is not needed because one’s own beliefforming processes are divinely guided. (shrink)

My analysis here is an attempt to bring out the main through-line in the development of Bulgarian philosophy of law today. A proper account of Bulgarian philosophy of law in the 20th century requires an attempt to find, on the one hand, a solution to epistemological and methodological problems in law and, on the other, a clear-cut influence of the Kantian critical tradition. Bulgarian philosophy of law follows a complicated path, ranging from acceptance and revision of Kantian philosophy to the (...) development of interesting theories on the logic of legal reasoning. (shrink)

This paper is a review and critical discussion of John Broome’s Rationality Through Reasoning. In particular, it engages critically with Broome’s view on the independence of normative reasons and rationality, his construal of the capacity, property, and requirement senses of “rationality”, and his account of reasoning as a conscious, rule-following operation on mental contents.

Causal understanding is a defining characteristic of human cognition. Like many animals, human children learn to control their bodily movements and act effectively in the environment. Like a smaller subset of animals, children intervene: they learn to change the environment in targeted ways. Unlike other animals, children grow into adults with the causal reasoning skills to develop abstract theories, invent sophisticated technologies and imagine alternate pasts, distant futures and fictional worlds. In this Review, we explore the development of human-unique (...) causal learning and reasoning from evolutionary and ontogenetic perspectives. We frame our discussion using an ‘interventionist’ approach. First, we situate causal understanding in relation to cognitive abilities shared with non-human animals. We argue that human causal understanding is distinguished by its depersonalized (objective) and decontextualized (general) representations. Using this framework, we next review empirical findings on early human causal learning and reasoning and consider the naturalistic contexts that support its development. Then we explore connections to related abilities. We conclude with suggestions for ongoing collaboration between developmental, cross-cultural, computational, neural and evolutionary approaches to causal understanding. (shrink)

This paper investigates the responses of GPT-4, a state-of-the-art AI language model, to ten prominent philosophical paradoxes, and evaluates its capacity to reason and make decisions in complex and uncertain situations. In addition to analyzing GPT-4's solutions to the paradoxes, this paper assesses the model's Theory of Mind (ToM) capabilities by testing its understanding of mental states, intentions, and beliefs in scenarios ranging from classic ToM tests to complex, real-world simulations. Through these tests, we gain insight into AI's potential for (...) social reasoning and its capacity for more sophisticated forms of human-AI interaction. The paper also explores the limitations and biases of AI-generated reasoning and its implications for our comprehension of complex philosophical problems. (shrink)

In this chapter, I shall consider a number of connections between various ideas of the theory of styles of reasoning and the issue of the contingency and inevitability of science. By ‘contingency issue’ it is meant the question as to whether the history of a particular branch of our science could have taken a different route and provided results incompatible with those of our actual science. Apart from Hacking’s recent comments, the discussions on the contingency issue have not involved (...) the notion of style of reasoning. I will fill this gap in the literature by drawing some important implications for the issue of contingency from the theory of styles of reasoning that I have developed so far. I shall address four fundamental questions. First of all, in the next section I shall discuss to which extent the emergence of styles of reasoning at a certain point of history is a contingent circumstance. In the following section I shall ask whether the endurance of styles of reasoning was inevitable by tackling the connected question as to why the styles are long lasting. Afterwards, I shall focus on the growth of knowledge by dealing with questions such as: if a certain style of reasoning continues to be employed and if Q is a ‘live question’, is science bound to converge on a single answer to Q? Finally, on the basis of my previous reflections I shall look into the question of the convergence of science in the long run. The answers to these questions will rely on some basic assumptions of the theory of style of reasoning and imply a picture of the evolution of sciences in which both contingency and inevitability play a key role. (shrink)

Humans have distinctive powers of reflection: no other animal seems to have anything like our capacity for self-examination. Many philosophers hold that this capacity has a uniquely important guiding role in our cognition; others, notably Hilary Kornblith, draw attention to its weaknesses. Kornblith chiefly aims to dispel the sense that there is anything ‘magical’ about second-order mental states, situating them in the same causal net as ordinary first-order mental states. But elsewhere he goes further, suggesting that there is something deeply (...) misleading about reflection’s first-person view of cognition. This chapter takes a closer look at the conditions under which reflection is misleading. Even if humans are the only reflective animals, we are no longer the only creatures that can be questioned about their claims. Chatbots can also be asked to explain themselves, and by studying the conditions under which they produce clarification as opposed to confabulation, we can develop a non-skeptical account of the epistemic value of reflection. I argue that this capacity naturally supports the distribution of complex problem solving among multiple agents. (shrink)

There are emotively powerful words that can modify our judgment, arouse our emotions and influence our decisions. This paper shows how the use of emotive meaning in argumentation can be explained by showing how their logical dimension, which can be analysed using argumentation schemes, combines with heuristic processes triggered by emotions. Arguing with emotive words is shown to use value-based practical reasoning grounded on hierarchies of values and maxims of experience for evaluative classification.

The paper investigates measures of explanatory power and how to define the inference schema “Inference to the Best Explanation”. It argues that these measures can also be used to quantify the systematic power of a hypothesis and the inference schema “Inference to the Best Systematization” is defined. It demonstrates that systematic power is a fruitful criterion for theory choice and IBS is truth-conducive. It also shows that even radical Bayesians must admit that systemic power is an integral component of Bayesian (...) reasoning. Finally, the paper puts the achieved results in perspective with van Fraassen’s famous criticism of IBE. (shrink)

The purpose of this paper is to analyze the theoretical commitments of autopoietic enactivism in relation to Errol E Harris’s dialectical holism in the interest of establishing a common metaphysical ground. This will be undertaken in three stages. First, it is argued that Harris’s reasoning provides a means of developing enactivist ontology beyond discussions limited to cognitive science and into domains of metaphysics that have traditionally been avoided by phenomenologists. Here, I maintain enactivist commitments are consistent with Harris’s (...) class='Hi'>reasoning from certain synthetic a priori first principles, to his derivation of a teleological anthropic principle, which asserts the necessity of consciousness within the cosmos. Second, it is proposed that Steven Rosen’s long-standing proposal for a topology of phenomenology may provide a common logical foundation for both Harris and enactivists regarding anthropic reasoning. Third, it is argued that a pragmatic approach to process ontology is the most rigorous way of responding to the realism/anti-realism concerns that inevitably follow. If successful, this work will update Harris’s arguments with contemporary scientific and philosophical terminology and extend enactivism from philosophy of mind, into a general phenomenological ontology. (shrink)

In this work we present an explainable system for emotion attribution and recommendation (called DEGARI (Dynamic Emotion Generator And ReclassIfier) relying on a recently introduced probabilistic commonsense reasoning framework (i.e. the TCL logic, see Lieto & Pozzato 2020) which is based on a human-like procedure for the automatic generation of novel concepts in a Description Logics knowledge base (see also Lieto et al. 2019, Chiodino et al. 2020 for other applications). In particular, in order to model human-like forms of (...) concept combinations, the TCL logic combines a probabilistic description logics of typicality with the HEAD-MODIFIER heuristics coming from cognitive semantics. In the context of our application of such framework, our system exploits the logic TCL to automatically generate novel commonsense semantic representations of compound emotions (e.g. Love as derived from the combination of Joy and Trust according to Plutchik’s theory of emotions, see Plutchik 2001). The generated emotions corresponds to prototypes, i.e. commonsense representations of given concepts, and have been used to reclassify emotion-related contents in a variety of artistic domains. We have tested our system in the context of the H2020 EU project SPICE for providing artistic recommendations of museum items in the Galleria di Arte Moderna (GAM) of Turin. The obtained results (reported in Lieto et al, 2021 and Lieto at al., to appear) show promising results for what concerns both the acceptance of the provided affective recommendation and the explainability associated to each suggestion made by the users. Here we discuss, the open problems and the lessons learned. -/- . (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...) one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the (...) three categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

Quantum mechanics admits a “linguistic interpretation” if one equates preliminary any quantum state of some whether quantum entity or word, i.e. a wave function interpret-able as an element of the separable complex Hilbert space. All possible Feynman pathways can link to each other any two semantic units such as words or term in any theory. Then, the causal reasoning would correspond to the case of classical mechanics (a single trajectory, in which any next point is causally conditioned), and the (...) probabilistic reasoning, to the case of quantum mechanics (many Feynman trajectories). Frame semantics turns out to be the natural counterpart of that linguistic interpretation of quantum mechanics. (shrink)

This work describes an explainable system for emotion attribution and recommendation (called DEGARI (Dynamic Emotion Generator And ReclassIfier) relying on a recently introduced probabilistic commonsense reasoning framework.

This chapter examines issues surrounding inference to the best explanation, its justification, and its role in different arguments for scientific realism, as well as more general issues concerning explanations’ ontological commitments. Defending the reliability of inference to the best explanation has been a central plank in various realist arguments, and realists have drawn various ontological conclusions from the premise that a given scientific explanation best explains some phenomenon. This chapter stresses the importance of thinking carefully about the nature of explanation (...) in connection with evaluating realists’ appeals to explanatory reasoning and inference to the best explanation. (shrink)

We argue that legal argumentation, as the subject matter as well as a special subfield of Argumentation Studies (AS), has to be examined by making skilled use of the full panoply of tools such as argumentation and story schemes which are at the forefront of current work in AS. In reviewing the literature, we make explicit our own methodological choices (particularly regarding the place of normative deliberation in practical reasoning) and then illustrate the implications of such an approach through (...) the analysis of a case study in the English law of evidence. We argue that a clear distinction must be drawn between practical argumentation and stories. Because of the institutional separation between legal judgment and fact-finding in common-law jury trials, we argue for the combination of argument and story-based analysis. (shrink)

Chemical visualizations and models are special kinds of situated, inductive arguments. In this paper, I examine several historical case studies—an archive of images from museums, special collections, and popular magazines—as examples of emergent practices of physical modeling as theoretical play which became the basis for molecular biology and structural chemistry. Specifically, I trace a legacy of visualization tools that starts with Archibald Scott Cooper and Friedrich Kekulé in the late 1800s, crystallizes as material manipulatives in Kekulé’s student Jacobus Henricus Van’t (...) Hoff and his folded paper “toys,” is legitimized in the California lab of Linus Pauling, and is glorified in the popular imaginary with James Watson and Francis Crick’s model of DNA. My tracing then follows several threads into contemporary modeling practices. I ultimately argue that modeling play, originally outside of the boundary of deductive, positivist science, is now an accepted mode of inductive reasoning in these related chemical fields. (shrink)

The problem of establishing the best interpretation of a speech act is of fundamental importance in argumentation and communication in general. A party in a dialogue can interpret another’s or his own speech acts in the most convenient ways to achieve his dialogical goals. In defamation law this phenomenon becomes particularly important, as the dialogical effects of a communicative move may result in legal consequences. The purpose of this paper is to combine the instruments provided by argumentation theory with the (...) advances in pragmatics in order to propose an argumentative approach to meaning reconstruction. This theoretical proposal will be applied to and tested against defamation cases at common law. Interpretation is represented as based on a hierarchy of interpretative presumptions. On this view, the development of the logical form of an utterance is regarded as the result of an abductive pattern of reasoning in which various types of presumptions are confronted and the weakest ones are excluded. Conflicts of interpretations and equivocation become essentially interwoven with the dialectical problem of fulfilling the burden of defeating a presumption. The interpreter has a burden of explaining why a given presumption is subject to default, assuming that the speaker is reasonable and acting based on a set of shared expectations. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud (...) if possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history (...) of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Boghossian’s (2003) proposal to conditionalize concepts as a way to secure their legitimacy in disputable cases applies well, not just to pejoratives – on whose account Boghossian first proposed it – but also to thick ethical concepts. It actually has important advantages when dealing with some worries raised by the application of thick ethical terms, and the truth and facticity of corresponding statements. In this paper, I will try to show, however, that thick ethical concepts present a specific case, whose (...) analysis requires a somewhat different reconstruction from that which Boghossian offers. A proper account of thick ethical concepts should be able to explain how ‘evaluated’ and ‘evaluation’ are connected. (shrink)

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general (...) logical principles in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

While most of healthcare research and practice fully endorses evidence-based healthcare, a minority view borrows popular themes from philosophy of science like underdetermination and value-ladenness to question the legitimacy of the evidence-based movement’s philosophical underpinnings. While the feminist origins go unacknowledged, those critics adopt a feminist reading of the “gap argument” to challenge the perceived objectivism of evidence-based practice. From there, the critics seem to despair over the “subjective elements” that values introduce to clinical reasoning, demonstrating that they do (...) not subscribe to feminist science studies’ normative program——where contextual values can enable good science and justified decisions. In this paper, I investigate why it is that the critics of evidence-based medicine adopt feminist science’s characterization of the problem but resist the productive solutions offered by those same theorists. I suggest that the common feminist empiricist appeal to idealized epistemic communities is impractical for those working within the current biomedical context and instead offer an alternate stream of feminist research into the empirical content of values (found in the work of Elizabeth Anderson and Sharyn Clough) as a more helpful recourse for facilitating the important task of legitimate and justified clinical decision-making. I use a case study on clinical decision-making to illustrate the fruitfulness of the latter feminist empiricist framework. -/- See response by Sharyn Clough: http://wp.me/p1Bfg0-1aN See reply by Maya Goldenberg: http://wp.me/p1Bfg0-1oY. (shrink)

I examine Du Châtelet’s methodology for physics and metaphysics through the lens of her engagement with Newton’s Rules for Reasoning in Natural Philosophy. I first show that her early manuscript writings discuss and endorse these Rules. Then, I argue that her famous published account of hypotheses continues to invoke close analogues of Rules 3 and 4, despite various developments in her position. Once relevant experimental evidence and some basic constraints are met, it is legitimate to inductively generalize from observations; (...) general hypotheses can thereafter be assumed as true until contrary experiments show otherwise. I conclude by arguing that this account of induction plays an essential role in her metaphysics, both in an argument for simple substances—which has an inductive premise—and in her attempt to distinguish acceptable and unacceptable metaphysical commitments. (shrink)