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)

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)

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)

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)

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)

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)

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)

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)

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

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

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)

Descartes has been accused of reasoning in a circle since the publication of the Meditations. The Circle is easy to point out: it seems that Descartes employs clear and distinct perceptions to demonstrate God’s existence and benevolence, and the latter, in turn, validates the use of clear and distinct perceptions. But is Descartes really guilty of fallacious argument, or can we break the arc somehow?

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)

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)

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

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)

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

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

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)

What is wrong with ad hoc hypotheses? Ever since Popper’s falsificationist account of adhocness, there has been a lively philosophical discussion about what constitutes adhocness in scientific explanation, and what, if anything, distinguishes legitimate auxiliary hypotheses from illicit ad hoc ones. This paper draws upon distinct examples from pseudoscience to provide us with a clearer view as to what is troubling about ad hoc hypotheses. In contrast with other philosophical proposals, our approach retains the colloquial, derogative meaning of adhocness, and (...) calls attention to the way in which the context of a theoretical move bears on the charge of adhocness. We also discuss the role of motivations implicit in the concept of adhocness, and the way ad hoc moves draw on theory-internal rationalizations. (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)

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)

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)

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

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)

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)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological (...) concept of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

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

Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.

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)

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)

In this article I examine the consequences of the dominance of intuitive thinking in moral judging and deciding for the role of moral reasoning in moral education. I argue that evidence for the reliability of moral intuitions is lacking. We cannot determine when we can trust our intuitive moral judgements. Deliberate and critical reasoning is needed, but it cannot replace intuitive thinking. Following Robin Hogarth, I argue that intuitive judgements can be improved. The expertise model for moral development, (...) proposed by Hubert and Stuart Dreyfus, not only teaches us how we acquire intuitive moral judgements, it also shows the interconnectedness of intuitive thinking and deliberate reasoning. Analysing the expertise model in more detail, I show that it cannot do justice to the importance of reasoning skills. Reasoning skills are needed because we expect people to be able to argue for their standpoints. I conclude that moral education should not only aim at improving intuitive moral judgements, but also at acquiring reasoning skills. (shrink)

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

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (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)

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)

Xuanzang (602–664) is famous for his legendary life, his important translation works, and also his Discourse on the Realisation of Consciousness-Only (Vijñapti-mātratā-siddhi, 成唯識論). This text, which is considered as a synthesis of Yogācāra thought, has been diversely interpreted by modern scholars and is still discussed, in particular about the status of external things. Nevertheless, this issue seems to be of little interest for Yogācāra thinkers compared to other topics such as the Noble Path, or else the three types of wisdom (...) (trividhā prajñā, 三慧): learning (śruta, 聞), reasoning (cintā, 思), and cultivating (bhāvanā, 修). As emphasized in recent research, this topic represents a major issue for Buddhist practitioners. In an attempt to analyse it in Xuanzang’s Discourse, and more generally in Yogācāra thought, this paper will first discuss Asaṅga’s and Vasubandhu’s thought on the three types of wisdom. Secondly, since it is important to replace the three types of wisdom in the general argumentation of Xuanzang’s Discourse, we will present the structure of his text which is modelled on a “path” leading progressively to Supreme Awakening. Then, we will present the main elements of the Noble Path and situate the three types of wisdom into it. Finally, we will explain that Xuanzang follows Asaṅga’s and Vasubandhu’s conceptions and eventually confirm the importance of the three types of wisdom in Yogācāra thought. (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)

We are neither scientists nor moralists. Our mental capacities (such as attributing intentionality) are neither akin to the scientist's exact reasoning, nor are they (Knobe's target article, sect. 2.2, last para.). They are more similar to all those simple capacities that humans and animals are equally capable of, but with enhanced sensitivity to counterfactual situations: of what could have been.