It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Nearly all current attempts at environmental impact analysis and technology assessment fall victim to an ethical and methodological assumption that Keniston termed “the fallacy of unfinished business.” Related to one version of the naturalistic fallacy, this assumption is that technological and environmental problems have only technical, but not social, ethical, or political solutions. After using several impact analyses to illustrate the policy consequences of the fallacy of unfinished business, I suggest how it might be overcome. Next (...) I present three standard arguments, repeatedly used in technology and environmental impact assessments, by those who subscribe to this “fallacy.” I briefty examine the logical, consequentialist, and historical reasons for rejecting all three arguments in favor of this assumption. If my suggestions are correct, then environmental impact analysis is not only a matter of discovering how to finish our technological business, but also a question of learning how to recognize the ethical and epistemological dimensions of our assessment tasks. (shrink)

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite induction, (...) the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process. (shrink)

George Boole published the pamphlet The Mathematical Analysis of Logic in 1847. He believed that logic should belong to a universal mathematics that would cover both quantitative and nonquantitative research. With his pamphlet, Boole signalled an important change in symbolic logic: in contrast with his predecessors, his thinking was exclusively extensional. Notwithstanding the innovations introduced he accepted all traditional Aristotelean syllogisms. Nevertheless, some criticisms have been raised concerning Boole’s view of Aristotelean logic as the solution of algebraic equations. In order (...) to circumvent such criticisms, we show here how Boole’s conclusions may be deduced from the axioms and inference rules proposed in his pamphlet, from which Aristotle’s deductions in Prior Analytics (including those that are completed through an impossibility) can be stated as theorems. We clarify his method for dealing with both universal and particular premises by means of his symbol v and demystify some criticisms concerning the way he expressed particular premises. Boole’s conclusions for some of those premises for which according to Aristotle there is no deduction are also discussed. The deductive system presented here has the potential to provide a new perspective on Boole’s approach to logic in The Mathematical Analysis of Logic. (shrink)

Extends the theory of conditional elements in three ways. The critical way, primarily due to the senior author, is the solution to the fallacy of the strengthened antecedent within classical logic.

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...) system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (shrink)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic (...) and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his (...) extended treatment of the relation between formal logic and the theory of probabilities. 1952 ed. (shrink)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic (...) and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

Introduction -- Fallacy # 1, you can never be sure -- Fallacy # 2, "there is no truth" -- Fallacy # 3, there are no absolutes -- Fallacy # 4, there is only physical-experiential reality -- Fallacy # 5, philosophy is boring : I should know, I tried it once -- Fallacy # 6, God does not exist -- Fallacy # 7, isn't it a contradiction to say "God is good" when we see (...) so much evil in the world, I mean with so many wars, famines, plagues, and whale hunting and everything? -- Fallacy # 8, if God knows all things, even the future, then we are not free -- Fallacy # 9, if God is all-powerful can He make a "PB&J" so big he couldn't eat it in one bite? -- Fallacy # 10, man has no human nature -- Fallacy # 11, my body belongs to me! -- Fallacy # 12, the human person is a spiritual person and since spirits are neither female and male, our sexual distinctions are merely social constructs -- Fallacy # 13, I'm free to do whatever I want -- Fallacy # 14, don't force your ethics down my throat! -- Fallacy # 15, you just admitted that there is a lot of divergence of opinon as to how we should act : therefore, there can be no universally binding law to govern us -- Fallacy # 16, I know he shouldn't do that, but he's a good guy -- Fallacy # 17, if it feels good, do it -- Fallacy # 18, ...yeah, but it's my right! -- Fallacy # 19, I vas just followink orders -- Fallacy # 20, ethics are a personal matter, so what I do is my own business! -- Fallacy # 21, it doesn't matter if two consenting adults are married or not, what counts is their sincerity -- Fallacy # 22, the traditional family structure is arbitrary : actually there are many other valid expressions of this same reality -- Fallacy # 23, I learned at my university that monogamy is an out-dated social structure imposed on us by a Judeo-Christian culture! -- Fallacy # 24, no one's going to tell me how many children I going to have! -- Fallacy # 25, I can do whatever makes me happy! (shrink)

This is an examination of Aristotle's notion of an "accidental being" -- something intermediate between a substance and a property. An accidental being (sometimes called "accidental compound" or "kooky object") is an ephemeral object, typically the compound of a substance and a property, that exists for only as long as its components are united. I set out the role that accidental beings play in Aristotle's solutions to several philosophical problems. I also investigate the similarity between these beings and the (...) individual non-substances of Aristotle's Categories. Finally, I propose that accidental beings can be assimilated into a more contemporary conceptual scheme as events -- the states or conditions that substances are in or undergo. (shrink)

Il est une actualité de la syllogistique aristotélicienne qui impose encore aujourd'hui les règles de l'argumentation logique dans la production du savoir scientifique. Le moyen terme y régule la structure et la forme du raisonnement — cet ensemble de jugements — élaboré de telle sorte que la conclusion découle nécessairement des prémisses. Chez Aristote, le jugement requiert ainsi une multitude de procédures d'application à la réalité. Or, Boole trouve en cela un problème méthodologique largement négligé par les logiciens et certains (...) historiens des sciences modernes : le problème d'Aristote sur le moyen terme, le moyen terme étant à la fois cause, matière et forme du syllogisme catégorique. Les deux penseurs visent pourtant l'infaillibilité du raisonnement par l'élimination du moyen terme dans les procédures de la recherche de la vérité. Ce qui les divise est à la fois d'ordre méthodologique et de degré. Car, Aristote élimine le moyen terme de la conclusion et selon les lois ultimes de l'objet. Boole, en revanche, élimine le moyen terme du raisonnement symbolique sur la base des lois ultimes de la pensée pure en lui reniant le statut que lui conférait Aristote. Cet article vise à montrer, à la lumière de cette éclipse du moyen terme pour Aristote que, pour Boole, la solution nécessaire au problème d'Aristote est la « théorie générale des signes » qui, elle, consacre l'élimination du moyen terme du raisonnement symbolique. C'est une exigence de la pensée connaissante en ce qu'elle constitue son caractère méta-méthodologique. La théorie générale des signes rendrait ainsi l'actualité de l'aristotélisme plus persistante si tant est qu'il est admis que Boole ne s'en est lui-même pas encore démarqué. (shrink)

Il est une actualité de la syllogistique aristotélicienne qui impose encore aujourd'hui les règles de l'argumentation logique dans la production du savoir scientifique. Le moyen terme y régule la structure et la forme du raisonnement — cet ensemble de jugements — élaboré de telle sorte que la conclusion découle nécessairement des prémisses. Chez Aristote, le jugement requiert ainsi une multitude de procédures d'application à la réalité. Or, Boole trouve en cela un problème méthodologique largement négligé par les logiciens et certains (...) historiens des sciences modernes : le problème d'Aristote sur le moyen terme, le moyen terme étant à la fois cause, matière et forme du syllogisme catégorique. Les deux penseurs visent pourtant l'infaillibilité du raisonnement par l'élimination du moyen terme dans les procédures de la recherche de la vérité. Ce qui les divise est à la fois d'ordre méthodologique et de degré. Car, Aristote élimine le moyen terme de la conclusion et selon les lois ultimes de l'objet. Boole, en revanche, élimine le moyen terme du raisonnement symbolique sur la base des lois ultimes de la pensée pure en lui reniant le statut que lui conférait Aristote. Cet article vise à montrer, à la lumière de cette éclipse du moyen terme pour Aristote que, pour Boole, la solution nécessaire au problème d'Aristote est la « théorie générale des signes » qui, elle, consacre l'élimination du moyen terme du raisonnement symbolique. C'est une exigence de la pensée connaissante en ce qu'elle constitue son caractère méta-méthodologique. La théorie générale des signes rendrait ainsi l'actualité de l'aristotélisme plus persistante si tant est qu'il est admis que Boole ne s'en est lui-même pas encore démarqué. (shrink)

In the eighth chapter of De Sophisticis Elenchis, Aristotle introduces a mode of sophistical refutation that constitutes an addition to the taxonomy of the earlier chapters of the treatise. The new mode is pseudo-scientific refutation, or “the [syllogism or refutation] which though real, [merely] appears appropriate to the subject matter”. Against the grain of its most commonly accepted reading, I argue that Aristotle is not concerned in SE 8 to establish that both the apparent refutations of SE 4–7 and pseudo-scientific (...) refutations issue in false conclusions. His concern rather is to provide a causal analysis of both classes of apparent refutation alike which will explain why both kinds of apparent refutation are sophistical – and whose solutions are therefore the task of no special science but of a dialectical σλλογιστιϰή τέχνη. I conclude my analysis with the observation that Aristotle exploits the results of SE 8 to fend off inSE 9, 10, and 11 respectively a triad of threats to the very existence of a τέχνη of the resolution of sophistical refutation. The three threats are: the impossibility of omniscience; the relativity of semantic beliefs; and the incapacity of a questioner ignorant of a science to expose the ignorance of a pretender to scientific expertise. (shrink)

This chapter develops a perceptual solution to the epistemological problem of other minds, relying on central ideas from Maurice Merleau-Ponty's phenomenology. The Merleau-Pontian account is contrasted with another attempted perceptual solution to the other minds problem, and it is argued that only the former meets the phenomenologists' desideratum of providing an alternative to inferential solutions. The chapter also provides responses to various objections to the perceptual solution, including a pair of objections recently put forward by Alec Hyslop.

Interpretation of Hetvābhāsasāmānyanirukti of Gaṅgeśa, 13th cent., treatise on Nyaya philosophy; based on other classical commentaries.

In Chapter 1 I discuss the basic problem which made me undertake the issue of human death. That problem was the dualism in the depiction of human nature which has not been fully overcome yet, the dualism which leads to the emergence of new difficulties in contemporary attempts at adequately solving the problem of human death. They include the separation of soul from the body in the moment of death, and the borderline between the moment of death and the moment (...) of resurrection. Chapter 2 is devoted to the presentation of a new anthropological perspective, of an anthropology build “from the bottom up”, that is “from foundations”, and taking into account man’s rooting in the biological environment, and thus also in the genetic heritage taken over from our pre-human ancestors. That anthropology brings new aspects into traditional anthropology by extending it to include new ways of explaining the genesis of the human body and spirit, and new depictions of man’s death. In Chapter 2 I will also present the concept of evolution proposed by P.T. de Chardin, which I appreciate for its comprehensive evolutionary perception of the world. This concept has provoked various responses, but it certainly provides a creative inspiration for further attempts at applying the idea of evolution to various issues. The general framework of the evolutionary model proposed by the French researcher turns out to be useful also when applied to the evolutionary understanding of human death. Chapter 3 contains a discussion of the principal premises of the evolutionary concept of human death taken from analyses carried out by T. Wojciechowski concerning the issue of time, space, and the structure of variable material beings. A being is variable because it has a temporal structure, and the changes that occur are the derivatives of that structure. The temporal structure may be seen as endless, in which a being, even though its existence had a beginning, will exist for ever. Material substance should not be seen statically, but in dynamic and evolutionary terms. In evolution, time becomes a driver of development, an element shaping and directing the evolution of the entire cosmos. Man’s substance has been made capable of two levels of being and acting: the spatial and temporal level, and the endless and immanent level. Together, they form the one essence of man. Thus, the human person is partially immersed in the material cosmos, and partially elevated above it. Chapter 4 presents the evolutionary approach to the moment of man’s death. The views of T. Wojciechowski will be presented in which the moment of death is seen as a moment of transformation and perfection of the structure of the essence of human existence. Furthermore, the issue of the relationship existing, according to T. Wojciechowski, between man’s death and resurrection will be discussed. Understood in evolutionary terms, the moment of death is the time when the structure of human existence is transformed. Death transfers man fully into eternity and enables his life on a higher level of existential being. The element of flesh is retained, but changes its nature. Such view of death allows it to be understood as the moment of resurrection and the culmination of the evolutionary process of life. Death is therefore an “invention” of the evolution and should be seen as a natural and positive phenomenon. At this point, I also propose a solution to the question about reconciliation between temporal and endless existence. In Chapter 5 I take up the issue of consequences flowing from the postulated understanding of human death. They have been pointed to by T. Wojciechowski, but need to be further developed and clarified. He believed two lines in man’s development need to be recognized: that of natural and that of supernatural evolution. Both have the same direction, while occurring on different planes. In each of these lines, death is a natural element of life, pre-planned and, so to say, “encoded” in the cosmic matter. Therefore, the treatment of biological death as the consequence of sin is not only contrary to the evolutionary understanding of life, but in addition artificially combines that which is natural with that which is supernatural. Man’s authentic experience of his own present is a condition of his achieving full existential perfection in the moment of this death. Full engagement in the present is, in a way, a harbinger of the future; thus, the life “here” and “there” may not be inherently inconsistent. In the light of the evolutionary concept, death is not a punishment, but the most positive experience of man’s life in that it enables him to achieve full existential perfection. Chapter 6 is devoted to a substantiation of the possibility of evolutionary transformation of the structure of human existence in the moment of death. An adequate cause needs to be identified which could substantiate that transformation and achievement of perfection. I believe an appropriate substantiation can be found in God’s creative act, interpreted in evolutionary terms. The process of evolution, with its subsequent stages, is only a necessary condition for that “transformation” and “elevation”. The sufficient condition is fulfilled by the continuous creative intervention of God. The concept of God’s creative activity in the moment of man’s death finds its continuation in Chapter 7, where I present a detailed analysis of God’s activity at the time of man’s death. The concept of God’s creative activity extended over the entire process of evolution makes it possible to consider the moment of death as the moment of man’s resurrection. The moment of death is thus a moment of creation in evolutionary terms. Thus, as long as man is related to temporal and spatial elements, his development, or creation, continues. Death is only the completion of the final stage of creation, which may be painful and evoke fear, but in fact should give hope, for it involves resurrection. I also propose that the creative act in the moment of man’s death-resurrection be considered a basic action of God, which explains the manner in which God’s activity is contained within the framework of the creative act, encompassing also the moment of death-resurrection. The final Chapter 8 describes a didactic model illustrating the concept proposed here. I use the analogy of white light dispersion effect in the prism, and compare the incident ray to the creative act, and the dispersed rays going through the prism to the line of man’s natural and supernatural evolution. This model also shows the difference in the perspectives from which the phenomenon of death is seen by God and by man. (shrink)

If one holds that an engagement with tragedy is to some extent pleasurable, then one ought to recognize two distinct problems of tragedy. First, given the grim subject matter, what is the source of the pleasure in engaging with works of this genre? Second, is there some sort of affective irrationality involved in the experience? In this paper I reconsider Schopenhauer's theory of tragedy and offer a fuller reconstruction of his complex solution to these problems than has hitherto been given (...) by commentators. Next, I draw out Schopenhauer's distinctive contribution to thinking about these problems, in contrast to contemporary, more univocal solutions. Finally, I argue that the strength of Schopenhauer's complex solution lies in its recognition that our serious engagement with tragedy is a cognitively rich oscillation between feelings of humility and pride. (shrink)

Patriarchal institutions govern all aspects of women's lives: their minds, their bodies, and their souls. Additionally, they govern the ways in which women are perceived by others and the ways in which women perceive themselves. (Re) Interpretations: The Shapes of Justice in Women's Experience, is a collection of essays on language, religion, war, sex trafficking, and medicine-the patriarchal structures that form the basis of western society and, thus, are in many ways inherently unjust. The essays illustrate the multitude of ways (...) that women have found to work within and without these structures to create justice. Traditional theories of justice cast it as a cardinal virtue, unbiased and impartial. The essays in this book, however, remove justice from the abstract and return it to the specific: most of the essays use personal narratives to highlight the connections all people share. The women discussed here are challenging the authority of existing patriarchal narratives by telling their versions, and, thus, calling attention to and challenging their own political and social realities. Reflecting a focus on global connectedness and interdisciplinarity, the writers of these essays aim not only to raise questions, but also to show ways in which women are creating new pathways for themselves. Only by exploring solutions will women reclaim justice. From L.A. to Zimbwabe, women have stories to tell about their experiences of justice in the inherently patriarchal institutions of Language, Religion, War, Sex Trafficking, and Medicine. This relevant and thought-provoking collection captures the trials that women across the world face and the hope they create through their courageous actions. Through both personal narrative and factual overview, these essays emphasize that as people committed to justice, women must not simply raise the questions, but they must also explore solutions in order to reclaim justice for themselves, their daughters, their sisters, and their mothers. Contributors: Yifat Bitton, Stephany Ryan Cate, Jo Scott-Coe, Susan Dewey, Carmela Epright, Carmen Faymonville, Adam Gaynor, Pauline Greenhill, Denise Handlarski, Alison Jobe, Marc J.W. de Jong, Jodie M. Lawston, Jody Lisberger, Kristy Maher, Susan Maloney, Mickias Musiyiwa, Ruben Murillo, Annemarie Profanter, Natalie Wilson, and J. Carter Wood. (shrink)

A concise, easy-to-read introduction to informal logic, "With Good Reason" offers both comprehensive coverage of informal fallacies and an abundance of engaging examples of both well-conceived and faulty arguments. A long-time favorite of both students and instructors, the text continues in its sixth edition to provide an abundance of exercises that help students identify, correct, and avoid common errors in argumentation.

Van Eemeren and Houtlosser view fallacies as “derailments of strategic maneuvering” that go against a norm for critical reasonableness. What is to happen if such a derailment is perceived to have taken place? Krabbe (2003) and Jacobs (2000) have discussed the possibilities for continuing the argumentative exchange in a constructive way. Starting from their proposals, van Eemeren and Houtlosser argue that the party who observes that something has gone wrong should maneuver in such a way that at the same time (...) the derailment is recognized and a “re-railment” takes place that brings the discussion back on track. This means that then a meta-dialogue or sub-discussion develops in which the alleged fallacy is responded to and readjusted appropriately. Although this solution has something in common with both Krabbe’s proposal and Jacobs’ proposal, it differs from Krabbe’s proposal because it does not result in just retracting or maintaining the alleged fallacy and it differs from Jacobs’ proposal because it does not allow for making a move that has the appearance of a counter-fallacy. (shrink)

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other (...) hand, is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

In this paper I will attempt a unified analysis of the various examples of the fallacy of accident given by Aristotle in the Sophistical Refutations. In many cases the examples underdetermine the fallacy and it is not trivial to identify the fallacy committed. To make this identification we have to find some error common to all the examples and to show that this error would still be committed even if those other fallacies that the examples exemplify were (...) not. Aristotle says that there is only one solution “against the argument” as opposed to “against the man”, and it is this solution the paper attempts to find. It is a characteristic mark of my analysis that some arguments that we might normally be inclined to say are fallacious turn out to be valid and that some arguments that we would normally be inclined to say are valid turn out to be fallacious. This is (in part) because what we call validity in modern logic is not the same as the apodicticity that Aristotelian syllogisms require in order to be used in science. The fallacies of accident, uniquely among the fallacies, are failures of apodicticity rather than failures of, in particular, semantic entailment. This makes sense in a tensed and token-based logic such as Aristotle’s. I conclude that the closest analogue to the fallacy of accident that we can point to is a fallacy in modal logic, viz., the fallacy of necessity. (shrink)

The essence of temporal universe creation is that any analytical solution has to comply with the boundary condition of our universe; dimensionality and causality constraints. The essence of this book is to show that everything has a price within our temporal (t > 0) universe; energy and time.

Most recent discussions of John Stuart Mill’s System of Logic (1843) neglect the fifth book concerned with logical fallacies. Mill not only follows the revival of interest in the traditional Aristotelian doctrine of fallacies in Richard Whately and Augustus De Morgan, but he also develops new categories and an original analysis which enhance the study of fallacies within the context of what he calls ‘the philosophy of error’. After an exploration of this approach, the essay relates the philosophy of error (...) to the discussion of truth and error in chapter two of On Liberty (1859) concerned with freedom of thought and discussion. Drawing on Socratic and Baconian perspectives, Mill defends both the traditional study of logic against Jevons, Boole, De Morgan, and others, as well as the study of fallacies as the key to maintaining truth and its dissemination in numerous fields, such as science, morality, politics, and religion. In Mill’s view the study of fallacies also liberates ordinary people to explore the truth and falsity of ideas and, as such, to participate in society and politics and develop themselves as progressive beings. (shrink)

The ‘causal-constitution’ fallacy, the ‘cognitive bloat’ worry, and the persisting theoretical confusion about the fundamental difference between the hypotheses of embedded (HEMC) and extended (HEC) cognition are three interrelated worries, whose common point—and the problem they accentuate—is the lack of a principled criterion of constitution. Attempting to address the ‘causal-constitution’ fallacy, mathematically oriented philosophers of mind have previously suggested that the presence of non-linear relations between the inner and the outer contributions is sufficient for cognitive extension. The abstract (...) idea of non-linearity, however, can be easily misunderstood and has, in the past, led to incorrect and counterintuitive conclusions about what may count as part of one’s overall cognitive system. In order to prevent any further mistakes I revisit dynamical systems theory to study the nature of the continuous mutual interactions that give rise to the aforementioned non-linear relations. Moreover, focusing on these interactions will allow us to provide two distinct arguments in support of the ontological postulation of extended cognitive systems, as well as an objective criterion of constitution. Accordingly, I put forward a version of HEC that treats continuous mutual interactions (and the resultant non-linear relations) not just as sufficient but also as necessary for cognitive extension. Such a qualified version of HEC may exclude certain alleged cases of cognitive extension where the agent does not mutually interact with his artifacts (e.g., shopping lists and directory services), but it is immune both to the ‘causal-constitution’ fallacy and the ‘cognitive bloat’ worry, and it can be sharply distinguished from HEMC. (shrink)

Abstract This paper examines the kind of epistemic circularity which, according to Ernest Sosa, is unavoidably entailed whenever one has what he calls ?reflective? knowledge (that is, knowledge that p such that the knower reflectively endorses the reliability of the epistemic sources by which she came to her belief that p). I begin by describing the relevant kind of circularity and its role in Sosa's epistemology, en route presenting and resisting Sosa's arguments that this kind of circularity is not vicious. (...) Then I consider the somewhat complex relationship between Sosa's views on epistemic circularity and his response to the Problem of Easy Knowledge, arguing that (on one interpretation of Sosa, at least) a complete solution to that problem cannot be extracted from Sosa's work unless the aforementioned epistemic circularity can be proved non-vicious. (shrink)

Democracies find it difficult, and sometimes impossible to get through projects desired by a large share of the population because these are strongly opposed by local residents (NIMBY: Not In My BackYard). As a solution for these conflicts, economists proposed offering (monetary) compensation to the citizens of the host community. Experiences with many different projects and countries reveal, however, that monetary payments are incapable of solving the NIMBY-problem. A monetary offer to accept an otherwise undesired project undermines civic virtue. This (...) crowding-out effect is empirically demonstrated using the search for a nuclear repository in Switzerland. A satisfactory strategy to overcome the NIMBY-problem takes into account the procedure, the time sequence, as well as the type of compensation offered. (shrink)

Moore's paradox pits our intuitions about semantic oddnessagainst the concept of truth-functional consistency. Most solutions tothe problem proceed by explaining away our intuitions. But``consistency'' is a theory-laden concept, having different contours indifferent semantic theories. Truth-functional consistency is appropriateonly if the semantic theory we are using identifies meaning withtruth-conditions. I argue that such a framework is not appropriate whenit comes to analzying epistemic modality. I show that a theory whichaccounts for a wide variety of semantic data about epistemic modals(Update Semantics) (...) buys us a solution to Moore's paradox as a corollary.It turns out that Moorean propositions, when looked at through the lenseof an appropriate semantic theory, are inconsistent after all. (shrink)

“Evidence based medicine” is often seen as a scientific tool for quality improvement, even though its application requires the combination of scientific facts with value judgments and the costing of different treatments. How this is done depends on whether we approach the problem from the perspective of individual patients, doctors, or public health administrators. Evidence based medicine exerts a fundamental influence on certain key aspects of medical professionalism. Since, when clinical practice guidelines are created, costs affect the content of EBM, (...) EBM inevitably becomes a form of rationing and adopts a public health point of view. This challenges traditional professionalism in much the same way as managed care has done in the US. Here we chart some of these major philosophical issues and show why simple solutions cannot be found. The profession needs to pay more attention to different uses of EBM in order to preserve the good aspects of professionalism. (shrink)

In this article we provide an in-depth description of a new model of informed consent called ‘meta consent’ and consider its practical implementation. We explore justifications for preferring meta consent over alternative models of consent as a solution to the problem of secondary use of health data for research. We finally argue that meta consent strikes an appropriate balance between enabling valuable research and protecting the individual.

This text presents a clear, subtle, and important contribution to the literature on skepticism by carefully articulating an account of its characteristics and its relation to common sense belief. The text also compares Hume’s thought with that of many twentieth century figures including Wittgenstein, Strawson, Mates, Unger, Fogelin, and Quine. Bohlin wishes both to defend and to attribute to Hume what he calls a “moderate skepticism.” In advancing his claims, Bohlin distinguishes between a number of skepticism’s modalities and implications.

Supplementing the best-selling textbook, Analyzing Ethics Questions from Behavior Analysts, this book analyzes over 50 original and up-to-date ethics cases recently faced by behavior analysts. The workbook provides "solutions" to each question written by the most expert professionals in the field using the Behavior Analyst Certification Board® Ethics Code. Covering all ten sections of the code and designed to allow the reader to see the original question, respond given their knowledge of the Code, and then compare their answers with (...) the authors' answers at the back of the book, Jon S. Bailey and Mary R. Burch provide the necessary guided practice for both students and clinicians to improve ethical competency in behavior analysis. (shrink)