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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

Research using current literature on legal reasoning was conducted with the goals of (a) determining what skills are most important in good legal reasoning according to such literature, (b) determining the extent to which existing Law School Admission Test item types and subtypes are designed to assess those skills, and (c) suggesting test specifications or new or refined item types and formats that could be developed in the future to assess any important skills that appear [by (a) and (...) (b)] to be measured in a limited or minimal way by the current LSAT. So far as can be determined, such systematic research using legal reasoning literature has never been previously conducted. This report presents the findings of this research. (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)

According to dogmatism, one may know a proposition by inferring it from a set of evidence even if one has no independent grounds for rejecting a skeptical hypothesis compatible with one’s evidence but incompatible with one’s conclusion. Despite its intuitive attractions, many philosophers have argued that dogmatism goes wrong because they have thought that it licenses Moorean reasoning — i.e., reasoning in which one uses the conclusion of an inference as a premise in an argument against a skeptical (...) hypothesis that would undermine that very inference. In this paper I defend dogmatism against this line of thought. To begin with, I argue that the common assumption that uncontroversial Bayesian principles suffice to show that Moorean reasoning is not cogent is false: for all that Bayesianism says on the matter, Moorean reasoning might be perfectly fine. Nevertheless, Moorean reasoning does seem intuitively defective. As I argue, however, this does not provide grounds for an argument against dogmatism, because — contrary to what many philosophers have thought — dogmatism need not license Moorean reasoning. On the contrary, as I argue, dogmatism predicts that Moorean reasoning suffers from a clearly identifiable defect. (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)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models of (...) social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (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)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (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)

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.

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)

This dissertation examines the dynamical dark matter problem in twentieth century astrophysics from the point of view of History and Philosophy of Science. The dynamical dark matter problem describes the situation astronomers find themselves in with regard to the dynamics of large scale astrophysical systems such as galaxies and galaxy clusters: The observed motions are incompatible with the visible distribution matter given the accepted law of gravitation. This discrepancy has two classes of possible solutions: either there exists copious amounts of (...) some kind of matter that neither emits nor absorbs radiation , or the law of gravitation must be revised. ;Chapter 2 describes the physical and philosophical foundations of dynamical inferences---inferences from discrepancies between well-founded theoretical expectations and reliable observations to the characteristics of candidate solutions. Chapter 3 discusses the history of dark matter . Chapter 4 reviews the present evidence bearing on the dark matter problem. Chapter 5 evaluates the important candidate matter solutions in light of the available evidence. Chapter 6 evaluates two candidate gravitational solutions on evidential and methodological grounds, and addresses the problem of theory choice. I do not try to solve the dark matter problem, but to uncover and evaluate patterns of inference involved in evidential arguments for and against candidate solutions. ;I show that Newton's "Reasoning from Phenomena" is a good framework from which to understand what is going on in this field. I argue that "higher order" and especially non-dynamical evidence is the best hope for solving this problem in dynamics. This is so in part because of "the dark matter double bind": the very existence of the dark matter problem means that we cannot be sure of the overall matter distribution in astrophysical systems, and this in turn means that the observed motions by themselves cannot provide relative confirmation of any theory of gravitational interactions taking place at these scales. I use Newton's Rules of Reasoning to argue that we should retain General Relativity as our theory of gravity at galactic and greater scales, despite the lack of positive evidence to confirm it over its rivals at these scales. (shrink)

What reasons do we have to use certain concepts and conceptions rather than others? Approaching that question in a methodologically humanistic rather than Platonic spirit, one might seek “reasons for concept use” in how well concepts serve the contingent human concerns of those who live by them. But appealing to the instrumentality of concepts in meeting our concerns invites the worry that this yields the wrong kind of reasons, especially if the relevant concerns are nonmoral ones. Drawing on Susan Wolf’s (...) work on the moral/nonmoral distinction and the neglected role of reasons of love, I argue that this worry is misplaced, and in fact overlooks some of our most important reasons to prefer certain concepts over others. Yet a lingering worry remains, namely that the value of concepts does not just lie in what they are good for. Drawing on another strand in Wolf’s work, I explore the question whether concepts can be valuable good-for-nothings, and show how this ultimately also underscores the importance of reasons of love as reasons for concept use. (shrink)

In Islamic Arabic /Persian thought speculations about ethics may be divided into textual / scriptural; theological; religious; and philosophical too. The “philosophical ethics” has within itself Socratic, Platonic, Aristotelian and neo-Platonic trends and versions with such main thinkers such as Farabi; Avicenna; and Averroes. Here we will concentrate on Farabi and those aspects of his speculations that are Aristotelian and can be reordered and arranged around “practical reasoning”.

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)

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)

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)