Abstract Charles Darwin, in his discussions with Asa Gray and in his published works, doubted whether God could so arrange it that exactly the desired contingent events would occur to cause particular outcomes by natural selection. In this paper, I argue that even a limited or neo-Leibnizian deity could have chosen a world that satisfied some arbitrary set of goals or functions in its outcomes and thus answer Darwin's conundrum. In more general terms, this supports the consistency of natural selection (...) with providentialism, and makes “theistic evolutionism” a coherent position to hold. (shrink)

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? In this chapter we apply this argument to beliefs in three different domains: morality, religion, and science. We identify replies to evolutionary scepticism that work in some domains but not in others. The simplest reply to evolutionary scepticism is that the truth of beliefs (...) in a certain domain is, in fact, connected to evolutionary success, so that evolution can be expected to design systems that produce true beliefs in that domain. We call a connection between truth and evolutionary success a ‘Milvian bridge’, after the tradition which ascribes the triumph of Christianity at the battle of the Milvian bridge to the truth of Christianity. We argue that a Milvian bridge can be constructed for commonsense beliefs, and extended to scientific beliefs, but not to moral and religious beliefs. An alternative reply to evolutionary scepticism, which has been used defend moral beliefs, is to argue that their truth does not depend on their tracking some external state of affairs. We ask if this reply could be used to defend religious beliefs. (shrink)

John Wilkins and Malte Ebach respond to the dismissal of classification as something we need not concern ourselves with because it is, as Ernest Rutherford suggested, mere ‘‘stamp collecting.’’ They contend that classification is neither derivative of explanation or of hypothesis-making but is necessarily prior and prerequisite to it. Classification comes first and causal explanations are dependent upon it. As such it is an important (but neglected) area of philosophical study. Wilkins and Ebach reject Norwood Russell Hanson’s (...) thesis that classification relies on observation that is theory-laden and deny the need for aetiological assumptions and historical reconstruction to justify its arrangement. What they offer instead is a significant (albeit controversial) contribution to the philosophical literature on classification, a pre-theoretic natural classification based on the observation of patterns in data of ready-made phenomena. Their notion of ready-made phenomena rests on a conception of tacit knowledge or know-how. This is evident in their distinction between strong Theory-dependence and na ̈ıve theory-dependence. Their small t-theory-dependence permits patterns of observation that facilitate know-how but does not rely on a domain-specific explanatory theory of their aetiology. Wilkins and Ebach suggest classification differs from theory building in that it is passive (whereas theory building is active). Classification is possible just because it does not require the sieve of theory to capture classes that are ‘‘handed to you by your cognitive dispositions and the data that you observe’’ (p. 18). Finding regularities sans-theory is just something we do and can do without any prior theory about the underlying causes or origins of the resultant regularities. Luke Howard’s classification of clouds serves as an exemplar of a passive, theory-free classification system and the periodic table and the DSM help to illustrate this type of non-aetiological patterning. A recurrent theme is the nature of naturalness. For Wilkins and Ebach, the conception of naturalness is not one that is based on the generation or discovery of natural kind categories popular in both the traditional metaphysics of Mill and Wittgenstein as well as updated notions within philosophy of biology such as Boyd’s Homeostatic Property Cluster kinds. Instead, Wilkins and Ebach define the naturalness of classification as the falling into hierarchical patterns, aligning the search for natural arrangement with the aim of systematics, and as something that is grounded in a cognitive task or activity. However, they leave the question of realism v. antirealism open. ‘‘In natural classification...we must have real relations no matter how we might interpret ‘real’’’ (p. 70). There is tension with regard to their ontological commitments as they vacillate between constructive, operationalist, and realist approaches. Wilkins and Ebach initially define real as that which is causal and important (pp. 70–71), and later as that which ‘‘depends in no way upon a mind or observer’’ (p. 122). This makes their claim that there was ‘‘no real theory involved [in the pre-Darwinian classifications of Jussieu and Adanson]’’ (p. 64) difficult to interpret. Cont’d……. (shrink)

This chapter distinguishes between two mindsets about science—the deductivist mindset and inductivist mindset—and explores the cognitive styles relating to authority and tradition in both science and pseudoscience. The deductivist tends to see problems as questions to be resolved by deduction from known theory or principle. The inductivist sees problems as questions to be resolved by discovery. Those leaning towards a deductivist mindset may find results that conflict with prior theoretical commitments unacceptable. The deductivist tends to be a cognitive conservative, and (...) the inductivist a cognitive progressive. The conservative mindset more often leads to resentment about modernism and hence about certain scientific results. (shrink)

Essentialism in philosophy is the position that things, especially kinds of things, have essences, or sets of properties, that all members of the kind must have, and the combination of which only members of the kind do, in fact, have. It is usually thought to derive from classical Greek philosophy and in particular from Aristotle’s notion of “what it is to be” something. In biology, it has been claimed that pre-evolutionary views of living kinds, or as they are sometimes called, (...) “natu-ral kinds”, are essentialist. This static view of living things presumes that no tran-sition is possible in time or form between kinds, and that variation is regarded as accidental or inessential noise rather than important information about taxa. In contrast it is held that Darwinian, and post-Darwinian, biology relies upon varia-tion as important and inevitable properties of taxa, and that taxa are not, therefore, kinds but historical individuals. Recent attempts have been made to undercut this account, and to reinstitute essentialism in biological kind terms. Others argue that essentialism has not ever been a historical reality in biology and its predecessors. In this chapter, I shall outline the many meanings of the notion of essentialism in psychology and social science as well as science, and discuss pro- and anti-essentialist views, and some recent historical revisionism. It turns out that nobody was essentialist to speak of in the sense that is antievolutionary in biology, and that much confusion rests on treating the one word, “essence” as meaning a single notion when in fact there are many. I shall also discuss the philosophical implica-tions of essentialism, and what that means one way or the other for evolutionary biology. Teaching about evolution relies upon narratives of change in the ways the living world is conceived by biologists. This is a core narrative issue. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? We consider this problem for beliefs in three different domains: religion, morality, and commonsense and scientific claims about matters of empirical fact. We identify replies to evolutionary scepticism that work in some domains but not in others. One reply is that evolution can be (...) expected to design systems that produce true beliefs in some domain. This reply works for commonsense beliefs and can be extended to scientific beliefs. But it does not work for moral or religious beliefs. An alternative reply which has been used defend moral beliefs is that their truth does not consist in their tracking some external state of affairs. Whether or not it is successful in the case of moral beliefs, this reply is less plausible for religious beliefs. So religious beliefs emerge as particularly vulnerable to evolutionary debunking. (shrink)

Genes are thought to have evolved from long-lived and multiply-interactive molecules in the early stages of the origins of life. However, at that stage there were no replicators, and the distinction between interactors and replicators did not yet apply. Nevertheless, the process of evolution that proceeded from initial autocatalytic hypercycles to full organisms was a Darwinian process of selection of favourable variants. We distinguish therefore between Neo-Darwinian evolution and the related Weismannian and Central Dogma divisions, on the one hand, and (...) the more generic category of Darwinian evolution on the other. We argue that Hull’s and Dawkins’ replicator/interactor distinction of entities is a sufficient, but not necessary, condition for Darwinian evolution to take place. We conceive the origin of genes as a separation between different types of molecules in a thermodynamic state space, and employ a notion of reproducers. (shrink)

We argue that the logical outcome of the cladistics revolution in biological systematics, and the move towards rankless phylogenetic classification of nested monophyletic groups as formalized in the PhyloCode, is to eliminate the species rank along with all the others and simply name clades. We propose that the lowest level of formally named clade be the SNaRC, the Smallest Named and Registered Clade. The SNaRC is an epistemic level in the classification, not an ontic one. Naming stops at that level (...) because there is no currently acceptable evidence for clades within it, not because no smaller clades exist. Later, included clades may be named. They would then become the SNaRCs, while the original SNaRC would keep its original name. We argue that all theoretical tasks of biology, in evolution and ecology, as well as practical tasks such as conservation assessment, are better approached using this rankless phylogenetic approach. (shrink)

Few problems in the philosophy of evolutionary biology are more widely disseminated and discussed than the charge of Darwinian evolution being a tautology. The history is long and complex, and the issues are many, and despite the problem routinely being dismissed as an introductory-level issue, based on misunderstandings of evolution, it seems that few agree on what exactly these misunderstandings consist of. In this paper, I will try to comprehensively review the history and the issues. Then, I will try to (...) present the following “solution”, or, one might say, “dissolution”, of the problem, and consider the wider implications of formal, or schematic, explanations in science: yes, the principle of natural selection is a tautology, and so what? It is a promissory note for actual, physical, explanations in particular cases, and is none the worse for that. This is not a new argument, of course, but it does point up the importance of formal schematic models in science. (shrink)

To naturalize religion, we must identify what religion is, and what aspects of it we are trying to explain. In this paper, religious social institutional behavior is the explanatory target, and an explanatory hypothesis based on shared primate social dominance psychology is given. The argument is that various religious features, including the high status afforded the religious, and the high status afforded to deities, are an expression of this social dominance psychology in a context for which it did not evolve: (...) high-density populations made possible by agriculture. (shrink)

Scientists and philosophers routinely talk about phenomena, and the ways in which they relate to explanation, theory and practice in science. However, there are very few definitions of the term, which is often used synonymously with "data'', "model'' and in older literature, "hypothesis''. In this paper I will attempt to clarify how phenomena are recognized, categorized and the role they play in scientific epistemology. I conclude that phenomena are not necessarily theory-based commitments, but that they are what explanations are called (...) to account for, which are not presently explained. (shrink)

Some scholars suggest that John Locke’s revisions to the chapter “Of Power” for the 1694 second edition of his Essay concerning Human Understanding may be indebted to the Cambridge Platonist, Ralph Cudworth. Their claims rest on evidence that Locke may have had access to Cudworth’s unpublished manuscript treatises on free will. In this paper, I examine an alternative suggestion – the claim that Cudworth’s daughter, Damaris Cudworth Masham, and not Cudworth himself, may have exerted an influence on Locke’s revisions. (...) I discuss the plausibility of this claim in light of the relevant historical and textual evidence. (shrink)

John Clarke of Hull, one of the eighteenth century's staunchest proponents of psychological egoism, defended that theory in his Foundation of Morality in Theory and Practice. He did so mainly by opposing the objections to egoism in the first two editions of Francis Hutcheson's Inquiry into Virtue. But Clarke also produced a challenging, direct argument for egoism which, regrettably, has received virtually no scholarly attention. In this paper I give it some of the attention it merits. In addition to (...) reconstructing it and addressing interpretive issues about it, I show that it withstands a tempting objection. I also show that although Clarke's argument ultimately fails, to study it is instructive. It illuminates, for example, Hutcheson's likely intentions in a passage relevant to egoism. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them (...) with other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

A 2012 review article for Metascience which explains Mach's realistic brand of empiricism, contrasting it with the common phenomenalist reading of Mach by John Blackmore in two recent books.

Centuries ago, Descartes and Locke initiated a foundational debate in epistemology over the relationship between knowledge, on the one hand, and practical factors, on the other. Descartes claimed that knowledge and practice are fundamentally separate. Locke claimed that knowledge and practice are fundamentally united. After a period of dormancy, their disagreement has reignited on the contemporary scene. Latter-day Lockeans claim that knowledge itself is essentially connected to, and perhaps even constituted by, practical factors such as how much is at stake, (...) how important the situation is, or how one should act. Latter-day Cartesians claim, by contrast, that knowledge is entirely constituted by truth-related factors such as truth, belief, and evidence. Each side has supported its case with claims about patterns in ordinary behavior and knowledge judgments. Lockeans argue that these patterns are best explained by positing a fundamental and direct link between knowledge and practical factors. Cartesians argue that the patterns can be equally well explained by positing an indirect link, entirely mediated by the traditional factors of truth, belief, and evidence, thereby rendering the Lockean hypothesis unnecessary. We argue that Cartesians are right about some practical factors, in particular stakes and how important a situation is, which have, at best, a modest indirect relationship to knowledge. However, Lockeans are right about actionability: whether a person should pursue a course of action is unquestionably very powerfully and directly connected to knowledge. (shrink)

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)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Akin to the mathematical recreations, John Wilkins' Mathematicall Magick (1648) elaborates the pleasant, useful and wondrous part of practical mathematics, dealing in particular with its material culture of machines and instruments. We contextualize the Mathematicall Magick by studying its institutional setting and its place within changing conceptions of art, nature, religion and mathematics. We devote special attention to the way Wilkins inscribes mechanical innovations within a discourse of wonder. Instead of treating ‘wonder’ as a monolithic category, we (...) present a typology, showing that wonders were not only recreative, but were meant to inspire Wilkins' readers to new mathematical inventions. (shrink)

It is sometimes asked whether virtue ethics can be assimilated by Kantianism or utilitarianism, or if it is a distinct position. A look atAristotle’s ethics shows that it certanly can be distinct. In particular, Aristotle presents us with an ethics of aesthetics in contrast to themore standard ethics of cognition: A virtuous agent identifies the right actions by their aesthetic qualities. Moreover, the agent’s concernwith her own aesthetic character gives us a key to the important role the emotions play for (...) Aristotle, which further distinguishes him from the other two theories we have mentioned. (shrink)

This chapter explores how our understanding of Molyneux’s question, and of the possibility of an experimental resolution to it, should be affected by recognizing the complexity that is involved in reidentifying shapes and other spatial properties across differing sensory manifestations of them. I will argue that while philosophers today usually treat the question as concerning ‘the relations between perceptions of shape in different sensory modalities’ (Campbell 1995, 301), in fact this is only part of the question’s real interest, and that (...) the answer to the question also turns on how shape is perceived within each of sight and touch individually. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic (...) article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

Some of the most forceful objections to William Wollaston's moral theory come from his early critics, namely, Thomas Bott (1688-1754), Francis Hutcheson (1694-1746), and John Clarke of Hull (1687-1734). These objections are little known, while the inferior objections of Hume, Bentham, and later prominent critics are familiar. This fact is regrettable. For instance, it impedes a robust understanding of eighteenth-century British ethics; also, it fosters a questionable view as to why Wollaston's theory, although at first well received, soon faded (...) in esteem among philosophers. This paper gives Wollaston's early critics some of the attention they deserve. It reconstructs some of their objections to Wollaston's philosophy, addresses replies to those objections, and shows that despite some minor flaws, the objections succeed. A fact that becomes clear is that Wollaston's philosophy had suffered devastating criticism years before Hume wrote anything against it. (shrink)

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

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)

One of John Paul II’s remarkable innovations was his embrace of the question of “the meaning of life.” The question of “the meaning of life” was never asked before the 19th century, and it was slow to be integrated into Catholic discourse. When the question of life’s meaning emerged, it effectively replaced a prior question, about the purpose or te-los of life, with a very different set of theoretical assumptions. From the traditional per-spective, the question of life’s meaning is (...) highly suspicious, and even Pope John Paul II’s unparalleled embrace of the question confirms that he framed his personalism in terms of the older question of life’s purpose or telos. (shrink)

A thorough examination of John Wesley’s writings will show that he was not a biblical literalist or infallibilist, despite his own occasional suggestions to the contrary. His most important principles for interpreting the Bible were: We should take its words literally only if doing so is not absurd, in which case we should “look for a looser meaning;” and “No Scripture can mean that God is not love, or that his mercy is not over all his works.” Eleven instances (...) of his not taking biblical texts literally are examined. His real view was something like this: Biblical language is infallibly and literally true if and only if it does not contradict more basic scriptures and is not absurd, that is, not construed literally when metaphorical, or not misleadingly metaphorical, or not oversimplified or exaggerated, or not culture bound, or not contrary to reason and experience, or not ethically unconscionable and unloving. (shrink)

Among the most animating debates in eighteenth-century British ethics was the debate over psychological egoism, the view that our most basic desires are self-interested. An important episode in that debate, less well known than it should be, was the exchange between Francis Hutcheson and John Clarke of Hull. In the early editions of his Inquiry into Virtue, Hutcheson argued ingeniously against psychological egoism; in his Foundation of Morality, Clarke argued ingeniously against Hutcheson’s arguments. Later, Hutcheson attempted new arguments against (...) psychological egoism, designed to overcome Clarke’s objections. This article examines the exchange between these philosophers. Its conclusion, influenced partly by Clarke, is that psychological egoism withstands Hutcheson’s arguments. This is not to belittle those arguments—indeed, they are among the most resourceful and plausible of their kind. The fact that egoism withstands them is thus not a mere negative result, but a stimulus to consider carefully the ways in which progress in this area may be possible. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

In recent essays John Bishop proposes a model of religious faith. This author notices that a so-called doxastic venture model of theistic faith is self-defeating for the following reason: a venture suggests a process with an outcome; by definition a venture into Christian faith denies itself an outcome in virtue of the transcendent character of its claims – for what is claimed cannot be settled. Taking instruction from logical positivism, I stress the nonsensical character of religious claims while attacking (...) Bishop's model. However, I wish to avail myself of this same model to describe a state of belief among certain parties which does not refer to transcendent matters, in order to show that a doxastic venture is indeed a valid description of a state of belief, and that pursuing this model shows in relief the transformative nature of belief, along with its essentially scientific status. It is my ambition to show, turning Bishop's model against itself, that a state of religious belief suffers from a precise logical equivalence to a condition of agnosticism. I ask whether we are justified in believing in belief. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

A philosopher once wrote the following words:If I examine the PTOLOMAIC and COPERNICAN systems, I endeavour only, by my enquiries, to know the real situation of the planets; that is, in other words, I endeavour to give them, in my conception, the same relations, that they bear towards each other in the heavens. To this operation of the mind, therefore, there seems to be always a real, though often an unknown standard, in the nature of things; nor is truth or (...) falsehood variable by the various apprehensions of mankind. Though all human race should for ever conclude, that the sun moves, and the earth remains at rest, the sun stirs not an inch from his place for all these reasonings; and such conclusions are eternally false and erroneous. (shrink)

A critical review of “Gettier” cases and theoretical attempts to solve “the” "Gettier" "problem".

This is a defense of John Stuart Mill’s proof of the principle of utility in the fourth chapter of his Utilitarianism. The proof is notorious as a fallacious attempt by a prominent philosopher, who ought not to have made the elementary mistakes he is supposed to have made. This book shows that he did not. The aim is not to glorify utilitarianism, in a full sweep, as the best normative ethical theory, or even to vindicate, on a more specific (...) level, Mill’s universalistic ethical hedonism as the best form of utilitarianism. The book is concerned only with Mill’s utilitarianism, and primarily with his proof of the principle of utility. The purpose is to show that Mill proceeds intelligibly and systematically in pursuing a well-defined project in the fourth chapter of Utilitarianism, and that he successfully defends what he sets out to establish in his proof of the principle of utility. (shrink)

John Perry has recently developed a form of Compatibilism that respects the Principle of Alternatives (PA), according to which free agency requires having the ability to do more than one thing. Eschewing so-called Frankfurt counterexamples to this intuitively plausible principle, long the bête noire of those who would like to believe in free agency and Determinism, Perry argues that there is an important sense in which we can act differently than we do. It signifies the “natural” property of having (...) a latent ability, a notion free of the mysteriousness surrounding accounts based on religious or even philosophical considerations, yet sufficient to ground our assignments of praise and blame. Perry goes on to advise abandoning such accounts in favor of his common sense approach. -/- I argue that Perry’s Compatibilism (PC) leads to the same objection as other Humean accounts and fails to account for certain intuitions regarding self-control and initiative. I conclude with an assessment of the prospects for his proposed revision. (shrink)

This article compares James M. Buchanan's and John Rawls's theories of democratic governance. In particular it compares their positions on the characteristics of a legitimate social contract. Where Buchanan argues that additional police force can be used to quell political demonstrations, Rawls argues for a social contract that meets the difference principle.

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..

In this article I address a puzzle about one of Francis Hutcheson’s objections to psychological egoism. The puzzle concerns his premise that God receives no benefit from rewarding the virtuous. Why, in the early editions of his Inquiry Concerning Virtue, does Hutcheson leave this premise undefended? And why, in the later editions, does he continue to do so, knowing that in 1726 John Clarke of Hull had subjected the premise to plausible criticism, geared to the very audience for whom (...) Hutcheson’s objection to egoism was written? This puzzle is not negligible. Some might claim that Hutcheson ruins his objection by ignoring Clarke’s criticism. To answer the puzzle we must consider not only Hutcheson’s philosophy but also some theological assumptions of Hutcheson’s time. (shrink)