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)

Ranking theory is a formal epistemology that has been developed in over 600 pages in Spohn's recent book The Laws of Belief, which aims to provide a normative account of the dynamics of beliefs that presents an alternative to current probabilistic approaches. It has long been received in the AI community, but it has not yet found application in experimental psychology. The purpose of this paper is to derive clear, quantitative predictions by exploiting a parallel between ranking theory and a (...) statistical model called logistic regression. This approach is illustrated by the development of a model for the conditional inference task using Spohn's ranking theoretic approach to conditionals. (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)

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)

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)

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)

The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain conditional probabilities; otherwise, all possible degrees of belief in the conclusion are left open given the premises. Such constraints cannot in general be empirically justified, on pain of infinite regress. Nor does subjective Bayesianism offer a way out for the empiricist. Despite often-cited convergence theorems, (...) subjective Bayesians cannot hold that any empirical hypothesis is ever objectively justified in the relevant sense. Rationalism is thus the only alternative to an implausible skepticism. (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 work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (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)

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)

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)

n this paper, we identify and explain three kinds of bedrock in moral thought. The term "bedrock," as introduced by Wittgenstein in §217 of the Philosophical Investigations, stands for the end of a chain of reasoning. We affirm that some chains of moral reasoning do indeed end with certainty. However, different kinds of certainties in morality work in different ways. In the course of systematizing the different types of certainties, we argue that present accounts of certainties in morality (...) do not reflect their diversity. Our analysis yields three types of moral certainty: QUASI-UNDOUBTABLE CERTAIN PROPOSITIONS, CERTAIN PROPOSITIONS, and TRANSCENDENTAL CERTAINTIES. We show that the first two types can, at least to some extent, be intelligibly doubted. Therefore, they do not possess the characteristics that would classify them as bedrock in the strictest sense. TRANSCENDENTAL CERTAINTIES cannot likewise be doubted because they are rules that enable moral thinking. Thus, deviating from them is unintelligible. We shall argue that all three types reflect ways in which moral language games come to an end, while only one, TRANSCENDENTAL CERTAINTIES, displays the characteristic of being solid bedrock. (shrink)

Call the ethos understanding rightness in terms of spiritual purity and piety, and wrongness in terms of corruption and sacrilege, the “fetish ethic.” Jonathan Haidt and his colleagues suggest that this ethos is particularly salient to political conservatives and non-liberal cultures around the globe. In this essay, I point to numerous examples of moral fetishism in mainstream academic ethics. Once we see how deeply “infected” our ethical reasoning is by fetishistic intuitions, we can respond by 1) repudiating the fetishistic (...) impulse, by 2) “sublimating” our fetishism into liberal rationales, or by 3) accepting the fetishism on its own terms. Of these options, I argue that sublimating our fetishism is not advisable, and that embracing our ethical fetishism isn’t as obviously misguided as some suggest. (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)

Less discussed than Hume’s skepticism about what grounds there could be for projecting empirical hypotheses is his concern with a skeptical regress that he thought threatened to extinguish any belief when we reflect that our reasoning is not perfect. The root of the problem is the fact that a reflection about our reasoning is itself a piece of reasoning. If each reflection is negative and undermining, does that not give us a diminution of our original belief to (...) nothing? It requires much attention to detail, we argue, to determine whether or not there is a skeptical problem in this neighborhood. Consider that if we subsequently doubt a doubt we had about our reasoning, that would suggest a restoration of some of the force of our original belief. We would then have instead of runaway skepticism an alternating sequence of pieces of skeptical reasoning that cancel each others’ effects on our justification in the original proposition, at least to some degree. We will argue that the outcome of the sequence of reflections Hume is imagining depends on information about a given case that is not known a priori. We conclude this from the fact that under three precise, explanatory, and viable contemporary reconstructions of what this kind of reasoning about reasoning could be like and how it has the potential to affect our original beliefs, a belief-extinguishing regress is not automatic or necessary. (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)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and (...) additionally two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

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)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on (...) us by the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (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)

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)

In this chapter I shall address the question as to whether there exists a universal and atemporal justification for the claims made by a community that adopts a particular style of reasoning. I shall present a case study in which a claim made in the laboratory style of reasoning has no universal and atemporal justification. As I shall explain, Hacking justifies his belief that unobservable entities exist on the ground that they can be regularly manipulated by experimenters in (...) order to find out and produce various phenomena (experimental realism); he also maintains that no belief that our theories are true is required in order to be realist about unobservable entities. I shall argue that his justification is relative to the laboratory style of reasoning. Ultimately, from this case study I shall draw the important conclusion that the styles of reasoning project implies epistemic relativism. In the first part of this chapter, I shall analyse Hacking’s experimental realism in the light of the styles of reasoning project. I shall start by making these points: Hacking’s theory anti-realism denies the possibility of ranking styles of reasoning in terms of their capacity to explain phenomena; furthermore, Hacking is not successful in showing that his entity realism is justified for a community that does not adopt the laboratory style of reasoning. It will follow that the styles of reasoning project is in conflict with the claim that we know about unobservable entities. (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 aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Advocates of radical realist theories of legitimacy propose that political legitimation narratives are often void where they show signs of motivated reasoning. In a recent critique of the method, example cases have been put forward in which an analysis and critique of flawed justification narratives seems urgently called for, and yet motivated reasoning is absent. This, critics suggest, should deflate the prominence of motivated reasoning within the radical realism. I argue here that those cases are misconstrued. Motivated (...) reasoning can either be easily identified therein, or the cases are irrelevant to begin with. The issue with realism’s motivated reasoning connection is another: the explanatory direction of fit between epistemic circularity and motivated reasoning. The former explains the normative salience of the latter. Hence, I hope this intervention clarifies a misunderstood and underexplored aspect of contemporary radical realist theory and adds to the contextualisation of the psychology of motivated reasoning within normative social theory more broadly. (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)

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 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)

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

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)

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)

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.

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)

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.

Scientific literacy is built on critical thinking. The postbaccalaureate workforce enhances our economies and societies by contributing a wealth of knowledge and skill sets to local communities, respective industries, and beyond as our world becomes increasingly interconnected. Education in scientific literacy should teach students how to learn about science and how to cultivate and communicate a positive attitude about science. Learners in a 200-level nonmajors biotechnology course engaged with a series of ethical dilemmas after mastering the basic elements of argument (...) structure and advanced tools in argument evaluation. To introduce collaboration as a constructive process in undergraduate education, student interactions with peers require guidance, flexibility, and compassion to learn from each other. Students gain critical thinking mastery from two modules addressing how we argue and evaluate claims. Students apply these critical thinking skills to various ethical arguments involving responsible conduct of research training. Using our structured and interdisciplinary approach, new scholars learn through practice how to read, analyze, and evaluate research scenarios and respond to potential ethical situations. This strategy allows students to develop important scholarly skills, including a systematic approach to evaluating credibility and applying generosity to theirs and others' understanding of their circumstances. (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)

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)

Utilitarian (U.) theories must be capable of being applied in practical reasoning, or they would have no value as a guide to rational conduct. However, I show that epistemic extensions to U. theories produce logical confusion. Basic questions about what one needs to know in order to apply a U. analysis embroil one in an infinite regress. And attempts to incrementally apply U. either are no help at all (leaving one entirely 'in the dark'), or in general constitute arbitrary (...) gambles which no practical reasoner could defend taking. These problems are serious enough to completely discredit U. theories as having any relevance to practical reasoning. (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)

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)

Bayesianism is the position that scientific reasoning is probabilistic and that probabilities are adequately interpreted as an agent's actual subjective degrees of belief, measured by her betting behaviour. Confirmation is one important aspect of scientific reasoning. The thesis of this paper is the following: if scientific reasoning is at all probabilistic, the subjective interpretation has to be given up in order to get right confirmation—and thus scientific reasoning in general. The Bayesian approach to scientific reasoning (...) Bayesian confirmation theory The example The less reliable the source of information, the higher the degree of Bayesian confirmation Measure sensitivity A more general version of the problem of old evidence Conditioning on the entailment relation The counterfactual strategy Generalizing the counterfactual strategy The desired result, and a necessary and sufficient condition for it Actual degrees of belief The common knock-down feature, or ‘anything goes’ The problem of prior probabilities. (shrink)

The author discusses natural law reasoning, from the 1960s in the context of Pope Paul VI’s Humanae vitae, to recent cultural and intellectual currents and their influence on the tradition. The challenges that have skewed acceptance of a common human nature and the existence of natural law are addressed. The author shows how the debate on contraception initiated this challenge against natural law reasoning and led to a more evolutive concept of human nature. Attention is drawn to a (...) need for natural law theorists trained in both modern science and Thomistic philosophy to engage the different scientific fields to clarify, adapt, rethink, and even modify the natural law language in accord with the latest discoveries compatitible with evolutionary findings. (shrink)

Whereas decades of research have cataloged striking errors in physical reasoning, a resurgence of interest in intuitive physics has revealed humans’ remarkable ability to successfully predict the unfolding of physical scenes. A leading interpretation intended to resolve these opposing results is that physical reasoning recruits a general-purpose mechanism that reliably models physical scenarios (explaining recent successes), but overly contrived tasks or impoverished and ecologically invalid stimuli can produce poor performance (accounting for earlier failures). But might there be tasks (...) that persistently strain physical understanding, even in naturalistic contexts? Here, we explore this question by introducing a new intuitive physics task: evaluating the strength of knots and tangles. Knots are ubiquitous across cultures and time-periods, and evaluating them correctly often spells the difference between safety and peril. Despite this, 5 experiments show that observers fail to discern even very large differences in strength between knots. In a series of two-alternative forced-choice tasks, observers viewed a variety of simple “bends” (knots joining two pieces of thread) and decided which would require more force to undo. Though the strength of these knots is well-documented, observers’ judgments completely failed to reflect these distinctions, across naturalistic photographs (E1), idealized renderings (E2), dynamic videos (E3), and even when accompanied by schematic diagrams of the knots’ structures (E4). Moreover, these failures persisted despite accurate identification of the topological differences between the knots (E5); in other words, even when observers correctly perceived the underlying structure of the knot, they failed to correctly judge its strength. These results expose a blindspot in physical reasoning, placing new constraints on general-purpose theories of scene understanding. (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, (...) along with its current and projected pedagogical applications. (shrink)