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)

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)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...) of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in (...) 2015. Some 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: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 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 in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, 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. (shrink)

Suppose we are about to enter an era of increasing technological unemployment. What implications does this have for society? Two distinct ethical/social issues would seem to arise. The first is one of distributive justice: how will the efficiency gains from automated labour be distributed through society? The second is one of personal fulfillment and meaning: if people no longer have to work, what will they do with their lives? In this article, I set aside the first issue and focus on (...) the second. In doing so, I make three arguments. First, I argue that there are good reasons to embrace non-work and that these reasons become more compelling in an era of technological unemployment. Second, I argue that the technological advances that make widespread technological unemployment possible could still threaten or undermine human flourishing and meaning, especially if they do not remain confined to the economic sphere. And third, I argue that this threat could be contained if we adopt an integrative approach to our relationship with technology. In advancing these arguments, I draw on three distinct literatures: the literature on technological unemployment and workplace automation; the antiwork critique—which I argue gives reasons to embrace technological unemployment; and the philosophical debate about the conditions for meaning in life—which I argue gives reasons for concern. (shrink)

From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. My (...) evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

Perceptual Confidence is the view that perceptual experiences assign degrees of confidence. After introducing, clarifying, and motivating Perceptual Confidence, I catalogue some of its more interesting consequences, such as the way it blurs the distinction between veridical and illusory experiences, a distinction that is sometimes said to carry a lot of metaphysical weight. I also explain how Perceptual Confidence fills a hole in our best scientific theories of perception and why it implies that experiences don't have objective accuracy conditions.

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in JTB, though it takes some work to appreciate just what it is. The nature of the flaw helps us better (...) understand the nature of knowledge and epistemic justification. I propose a crucial improvement to the traditional view, relying on an intuitive and independently plausible metaphysical distinction pertaining to the manifestation of intellectual powers, which supplements the traditional components of justification, truth and belief. (shrink)

Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it's true? Or should you make an assertion only if you're certain it's true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant behavioral consequences. The results support the view that assertability is more closely linked to knowledge than to (...) certainty. In multiple scenarios, people were much more willing to allow assertability and certainty to come apart than to allow assertability and knowledge to come apart. (shrink)

In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (shrink)

Compatibilism is the view that determinism is compatible with acting freely and being morally responsible. Incompatibilism is the opposite view. It is often claimed that compatibilism or incompatibilism is a natural part of ordinary social cognition. That is, it is often claimed that patterns in our everyday social judgments reveal an implicit commitment to either compatibilism or incompatibilism. This paper reports five experiments designed to identify such patterns. The results support a nuanced hybrid account: The central tendencies in ordinary social (...) cognition are compatibilism about moral responsibility, compatibilism about positive moral accountability, neither compatibilism nor incompatibilism about negative moral accountability, compatibilism about choice for actions with positive outcomes, and incompatibilism about choice for actions with negative or neutral outcomes. (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

One widely used method for allocating health care resources involves the use of cost-effectiveness analysis (CEA) to rank treatments in terms of quality-adjusted life-years (QALYs) gained. CEA has been criticized for discriminating against people with disabilities by valuing their lives less than those of non-disabled people. Avoiding discrimination seems to lead to the ’QALY trap’: we cannot value saving lives equally and still value raising quality of life. This paper reviews existing responses to the QALY trap and argues that all (...) are problematic. Instead, we argue that adopting a moderate form of prioritarianism avoids the QALY trap and disability discrimination. (shrink)

According to the Self-Location Thesis, one’s own location can be among the things that visual experience represents, even when one’s body is entirely out of view. By contrast, the Minimal View denies this, and says that visual experience represents things only as "to the right", etc., and never as "to the right of me". But the Minimal View is phenomenologically inadequate: it cannot explain the difference between a visual experience of self-motion and one of an oppositely moving world. To show (...) this, I argue (i) that these experiences are different in an important respect, (ii) that this difference is genuinely experiential, (iii) that it is visual, (iv) that it is not purely phenomenal, and (v) that it cannot be identified with anything other than the apparent motion of the self. So the Self-Location Thesis is upheld: reports of one’s own motion can correspond to aspects of visual experiences every bit as basic to their contents as the apparent motion or rest of the things one has in view. (shrink)

Consequentialism is thought to be in significant conflict with animal rights theory because it does not regard activities such as confinement, killing, and exploitation as in principle morally wrong. Proponents of the “Logic of the Larder” argue that consequentialism results in an implausibly pro-exploitation stance, permitting us to eat farmed animals with positive well- being to ensure future such animals exist. Proponents of the “Logic of the Logger” argue that consequentialism results in an implausibly anti-conservationist stance, permitting us to exterminate (...) wild animals with negative well-being to ensure future such animals do not exist. We argue that this conflict is overstated. Once we have properly accounted for indirect effects, such as the role that our policies play in shaping moral attitudes and behavior and the importance of accepting policies that are robust against deviation, we can see that consequentialism may converge with animal rights theory significantly, even if not entirely. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

In the exploratory study reported here, we tested the efficacy of an intervention designed to train teenagers with Möbius syndrome (MS) to increase the use of alternative communication strategies (e.g., gestures) to compensate for their lack of facial expressivity. Specifically, we expected the intervention to increase the level of rapport experienced in social interactions by our participants. In addition, we aimed to identify the mechanisms responsible for any such increase in rapport. In the study, five teenagers with MS interacted with (...) three naïve participants without MS before the intervention, and with three different naïve participants without MS after the intervention. Rapport was assessed by self-report and by behavioral coders who rated videos of the interactions. Individual non-verbal behavior was assessed via behavioral coders, whereas verbal behavior was automatically extracted from the sound files. Alignment was assessed using cross recurrence quantification analysis and mixed-effects models. The results showed that observer-coded rapport was greater after the intervention, whereas self-reported rapport did not change significantly. Observer-coded gesture and expressivity increased in participants with and without MS, whereas overall linguistic alignment decreased. Fidgeting and repetitiveness of verbal behavior also decreased in both groups. In sum, the intervention may impact non-verbal and verbal behavior in participants with and without MS, increasing rapport as well as overall gesturing, while decreasing alignment. (shrink)

Two options are incommensurate in value if neither is better than the other, and if a small improvement or worsening of one does not necessarily make it determinately better or worse than the other. If a person faces a sequence of choices between incommensurate options, she may end up with a worse options than she could have had, even though none of her choices are irrational. Yet it seems that rationality should save her from this bad outcome. This is the (...) practical problem posed by incommensurability of values, and it may be solved by a new account of practical reasoning. (shrink)

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

Two fundamentally different perspectives on knowledge diffusion dominate debates about academic disciplines. On the one hand, critics of disciplinary research and education have argued that disciplines are isolated silos, within which specialists pursue inward-looking and increasingly narrow research agendas. On the other hand, critics of the silo argument have demonstrated that researchers constantly import and export ideas across disciplinary boundaries. These perspectives have different implications for how knowledge diffuses, how intellectuals gain and lose status within their disciplines, and how intellectual (...) reputations evolve within and across disciplines. We argue that highly general claims about the nature of disciplinary boundaries are counterproductive, and that research on the nature of specific disciplinary boundaries is more useful. To that end, this paper uses a novel publication and citation network dataset and statistical models of citation networks to test hypotheses about the boundaries between philosophy of science and 11 disciplinary clusters. Specifically, we test hypotheses about whether engaging with and being cited by scientific communities outside philosophy of science has an impact on one’s position within philosophy of science. Our results suggest that philosophers of science produce interdisciplinary scholarship, but they tend not to cite work by other philosophers when it is published in journals outside of their discipline. Furthermore, net of other factors, receiving citations from other disciplines has no meaningful impact—positive or negative—on citations within philosophy of science. We conclude by considering this evidence for simultaneous interdisciplinarity and insularity in terms of scientific trading theory and other work on disciplinary boundaries and communication. (shrink)

This paper examines some recent arguments for internalism that (i) appeal to an analogy between practical and theoretical reasons, (ii) look toward our practices of reasoning with others, or (iii) tie reasons to good deliberation. The conclusion of this paper is a skeptical one: none of these new arguments gives us sufficient reason to think that internalism is true.

Many philosophers conceive of freedom as non-interference. Such conceptions unify two core commitments. First, they associate freedom with non-constraint. And second, they take seriously a distinction between the interpersonal and the non-personal. As a result, they focus our attention exclusively on constraints attributable to other people’s choices – that is, on interference. I argue that these commitments manifest two distinct concerns: first, for a wide range of options; and second, for other people’s respect. However, construing freedom as non-interference unifies these (...) concerns in a way that does justice to neither. In particular, it focuses our attention on phenomena that are at best tangential, and at worst hostile, to our interest in respect. If we wish to preserve the distinctive significance of the interpersonal, we would be better served by a conception of freedom that focuses immediately on what I call "the social conditions of respect.". (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

Rape and sexual assault are major problems. In the majority of sexual assault cases consent is the central issue. Consent is, to borrow a phrase, the ‘moral magic’ that converts an impermissible act into a permissible one. In recent years, a handful of companies have tried to launch consent apps which aim to educate young people about the nature of sexual consent and allow them to record signals of consent for future verification. Although ostensibly aimed at addressing the problems of (...) rape and sexual assault on university campuses, these apps have attracted a number of critics. In this paper, I subject the phenomenon of consent apps to philosophical scrutiny. I argue that the consent apps that have been launched to date are unhelpful because they fail to address the landscape of ethical and epistemic problems that arise in the typical rape or sexual assault case: they produce distorted and decontextualised records of consent which may in turn exacerbate the other problems associated with rape and sexual assault. Furthermore, because of the tradeoffs involved, it is unlikely that app-based technologies could ever be created that would significantly address the problems of rape and sexual assault. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 55-81 [Access article in PDF] Self-Knowledge in Descartes and Malebranche Lawrence Nolan John Whipple 1. Introduction Descartes's notorious claim that mind is better known than body has been the target of repeated criticisms, but none appears more challenging than that of his intellectual heir Nicolas Malebranche.1 Whereas other critics—especially twentieth-century philosophers eager to use Descartes as their whipping boy—have often (...) been uncharitable, Malebranche accepts many of the fundamental Cartesian doctrines, including mind-body dualism. But he argues that Descartes's position on knowledge of the mind is internally inconsistent. Malebranche agrees with Descartes that the existence of the mind is better known than that of body, but he vehemently denies that the nature of the mind is better known. This denial is based on his view that we lack a clear idea of the mind.2 [End Page 55]Malebranche's polemic has attracted much attention in recent scholarship.3 The growing consensus among commentators is that Malebranche develops a devastating internal critique of Descartes's theory of the mind. For example, Nicholas Jolley writes: "In his case for his negative thesis [concerning knowledge of the mind] Malebranche mounted a powerful, even annihilating, critique of Descartes. This critique embodies the remarkable insight that there is a serious muddle at the heart of Descartes's whole theory of knowledge."4 In a book-length defense of Malebranche's critique, Tad Schmaltz also emphasizes its internal character: "the interpretation here of Malebranche's theory presents it as fundamentally Cartesian, and thereby serves to reinforce his own view that he has provided an authoritative interpretation of the account of mind in the writings of Descartes and other Cartesians."5 Schmaltz also asserts: "Malebranche took his negative thesis concerning our knowledge of the soul to involve not so much a rejection of Cartesianism as an internal correction of it."6We think such remarks misstate the case. Indeed, we argue in this paper that Malebranche's polemic fails as an internal critique of Descartes's theory of the mind. Although we do not here aspire to defend Descartes's strong thesis—that mind is better known than body—we do think he can consistently maintain that we have a clear and distinct idea of the mind, and thus that our knowledge of the mind's nature is at least on a par with our knowledge of corporeal nature.7 While Malebranche's rhetoric would encourage us to think that the debate between him and his predecessor is being fought on common or neutral ground, the fact is that Malebranche often appeals to assumptions and aspects of his own theory of "Vision in God" that Descartes would reject. Once more, he interprets Descartes's theory of knowledge in ways that are misguided and sometimes even uncharitable. If Malebranche's critique succeeds at all, it succeeds only against a straw man—Malebranche's Descartes and not the historical figure.Ours is not the first effort to defend Descartes against this particular attack. When Malebranche first published his critique in Book Three of his first great work, The Search After Truth (1674),8 Descartes had been dead for over two decades, [End Page 56] but he was ably defended by the famous Cartesian Antoine Arnauld in On True and False Ideas (1683). In the ensuing debate Arnauld was clearly the superior dialectician, but while winning several tactical points, he appears not to fully appreciate the crux of Malebranche's argument, or at least that is the view of Jolley and Schmaltz.9 We have a somewhat higher opinion of Arnauld's side of the debate. Granted, some of his defenses are facile and can be easily dismissed; others however are quite compelling when properly developed. In at least one instance, we attempt to provide that development. At the same time we think it is a mistake to treat Arnauld as Descartes's surrogate or as if he had issued the final salvo from the camp of the orthodox Cartesians. Arnauld was a... (shrink)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

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)

I am going to argue that it is a cost of libertarianism that it holds our status as agents hostage to theoretical physics, but that claim has met with disagreement. Some libertarians regard it as the cost of doing business, not a philosophical liability. By contrast, Peter van Inwagen has addressed the worry head on. He says that if he were to become convinced that causal determinism were true, he would not change his view that humans are free and morally (...) responsible. Rather, he would give up at least one of the formerly-thought-to-be a priori truths that are elements in his argument for the incompatibility of causal determinism and the relevant sort of freedom. Thus, according to van Inwagen, our status as free and morally responsible agents would not be held hostage to the physicists or hang on a thread I think that van Inwagen’s strategy for securing our freedom and responsibility is unattractive. Somewhat tendentiously, I have called the rejection of an a priori ingredient in the incompatibilist’s argument, contingent upon learning that causal determinism is true, ‘metaphysical fip-flopping.’ -/- And it does seem that van Inwagen’s approach is implausible insofar as he is open to such metaphysical fip-fopping. That he is open to it—that he would fip-fop if he became convinced of the truth of causal determinism—is a problem for his actual philosophical position. Or so I will argue. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

Theories of social norms frequently define social norms in terms of individuals’ beliefs and preferences, and so afford individual beliefs and preferences conceptual priority over social norms. I argue that this treatment of social norms is unsustainable. Taking Bicchieri’s theory as an exemplar of this approach, I argue, first, that Bicchieri’s framework bears important structural similarities with the command theory of law; and second, that Hart’s arguments against the command theory of law, suitably recast, reveal the fundamental problems with Bicchieri’s (...) framework. I then draw on Hart’s critique to develop and defend an alternative approach, arguing that we should conceive of social norms as the norms internal to a “socially sanctioned representational practice.” This approach makes social norms conceptually independent of individuals’ beliefs and preferences by locating them within social practices that transcend their individual participants, structuring the social landscape even before individuals form their own beliefs and preferences. (shrink)

This article considers two related and fundamental issues about morality in a virtual world. The first is whether the anonymity that is a feature of virtual worlds can shed light upon whether people are moral when they can act with impunity. The second issue is whether there are any moral obligations in a virtual world and if so what they might be. -/- Our reasons for being good are fundamental to understanding what it is that makes us moral or indeed (...) whether any of us truly are moral. Plato grapples with this problem in book two of The Republic where Socrates is challenged by his brothers Adeimantus and Glaucon. They argue that people are moral only because of the costs to them of being immoral; the external constraints of morality. -/- Glaucon asks us to imagine a magical ring that enables its wearers to become invisible and capable of acting anonymously. The ring is in some respects analogous to the possibilities created by online virtual worlds such as Second Life, so the dialogue is our entry point into considering morality within these worlds. These worlds are three dimensional user created environments where people control avatars and live virtual lives. As well as being an important social phenomenon, virtual worlds and what people chose to do in them can shed light on what people will do when they can act without fear of normal sanction. -/- This paper begins by explaining the traditional challenge to morality posed by Plato, relating this to conduct in virtual worlds. Then the paper will consider the following skeptical objection. A precondition of all moral requirements is the ability to act. There are no moral requirements in virtual worlds because they are virtual and it is impossible to act in a virtual world. Because avatars do not have real bodies and the persons controlling avatars are not truly embodied, it is impossible for people to truly act in a virtual world. We will show that it is possible to perform some actions and suggest a number of moral requirements that might plausibly be thought to result. Because avatars cannot feel physical pain or pleasure these moral requirements are interestingly different from those of real life. Hume’s arguments for why we should be moral apply to virtual worlds and we conclude by considering how this explains why morality exists in these environments. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

In this paper Lucas suggests that many of his critics have not read carefully neither his exposition nor Penrose’s one, so they seek to refute arguments they never proposed. Therefore he offers a brief history of the Gödelian argument put forward by Gödel, Penrose and Lucas itself: Gödel argued indeed that either mathematics is incompletable – that is axioms can never be comprised in a finite rule and so human mind surpasses the power of any finite machine – or there (...) exist absolutely unsolvable diophantine problems, and he suggest that the second disjunct is untenable; on the other side, Penrose proposed an argument similar to Lucas’ one but making use of Turing’s theorem. Finally Lucas exposes again his argument and considers some of the most important objections to it. (shrink)

In this paper we look at the manual analysis of arguments and how this compares to the current state of automatic argument analysis. These considerations are used to develop a new approach combining a machine learning algorithm to extract propositions from text, with a topic model to determine argument structure. The results of this method are compared to a manual analysis.

In the Summa Theologiae, Thomas Aquinas states that the “aspect of pastness” involved in memory is a certain kind of cognitive object — i.e., an intention — apprehended by the “estimative power.” All told, however, Aquinas mentions this idea precisely once. In this article, I construct an account of the idea that pastness is an estimative intention by drawing upon texts in which I argue that Aquinas develops this idea, albeit without invoking the terminology of the estimative intention. I conclude (...) that, by identifying the aspect of pastness as an estimative intention, Aquinas neatly synthesizes the Aristotelian and Arabic traditions on memory. (shrink)

This paper explores the question of whether the United Nations should engage in preventive military actions. Correlatively, it asks whether UN preventive military actions could satisfy just war principles. Rather than from the standpoint of the individual nation state, the ethics of preventive war is discussed from the standpoint of the UN. For the sake of brevity, only the legitimate authority, just cause, last resort, and proportionality principles are considered. Since there has been disagreement about the specific content of these (...) principles, a third question also is explored: How should they be formulated? Moreover, these questions are addressed in the context of a particular issue: the goals of the non-proliferation and the abolition of weapons of mass destruction. (shrink)

According to the Aristotelian Thesis, the conclusion of practical reasoning is an action. Critics argue against it by pointing to cases in which some interference or inability prevents the production of action, yet in which that interference or inability doesn’t impugn the success of an agent’s reasoning. Some of those critics suggest instead that practical reasoning concludes in an intention, while others suggest it concludes in a belief with normative content, such as a belief about what one has conclusive, or (...) sufficient, reason to do. In this paper, I argue that we should allow that practical reasoning could conclude in either an intention or a belief with normative content. I begin by developing an objection to the Aristotelian Thesis, showing how the objection will not also undermine the possibility of practical reasoning concluding in an intention or a belief. I then respond to an argument from Joseph Raz designed to exclude the possibility of intentions as conclusions of practical reasoning. Lastly, I show how the worry that belief isn’t sufficiently “practical” to qualify as a conclusion of practical reasoning is misplaced. (shrink)