Consider two deeply appealing thoughts: first, that we experience external particulars, and second, that what it’s like to have an experience – the phenomenal character of an experience – is somehow independent of external particulars. The first thought is readily captured by phenomenal particularism, the view that external particulars are sometimes part of the phenomenal character of experience. The second thought is readily captured by phenomenal generalism, the view that external particulars are never part of phenomenal character. -/- Here I (...) show that a novel version of phenomenal generalism can capture both thoughts in a satisfying fashion. Along the way, I reveal severe problems facing phenomenal particularism and also shed light on the mental kinds under which experiences fall. (shrink)

Here I advance a unified account of the structure of the epistemic normativity of assertion, action, and belief. According to my Teleological Account, all of these are epistemically successful just in case they fulfill the primary aim of knowledgeability, an aim which in turn generates a host of secondary epistemic norms. The central features of the Teleological Account are these: it is compact in its reliance on a single central explanatory posit, knowledge-centered in its insistence that knowledge sets the fundamental (...) epistemic norm, and yet fiercely pluralistic in its acknowledgment of the legitimacy and value of a rich range of epistemic norms distinct from knowledge. Largely in virtue of this pluralist character, I argue, the Teleological Account is far superior to extant knowledge-centered accounts. (shrink)

It can seem incoherent to fully characterize fundamentality in terms of grounding, given that the fundamental is precisely that which cannot be fully characterized independently. I argue that there is no such incoherence.

I assume that there exists a general phenomenon, the phenomenon of the explanatory gap, surrounding consciousness, normativity, intentionality, and more. Explanatory gaps are often thought to foreclose reductive possibilities wherever they appear. In response, reductivists who grant the existence of these gaps have offered countless local solutions. But typically such reductivist responses have had a serious shortcoming: because they appeal to essentially domain-specific features, they cannot be fully generalized, and in this sense these responses have been not just local but (...) parochial. Here I do better. Taking for granted that the explanatory gap is a genuine phenomenon, I offer a fully general diagnosis that unifies these previously fragmented reductivist responses. (shrink)

This guide focuses on the content and form of excellent philosophical writing, with further comments on reading, thinking, writing processes, publication strategies, and self-cultivation.

A review of Michael Madary's book Visual Phenomenology.

Heidegger’s ontological views, his observations about liberalism and fascism, and his evaluative commitments are three premises of an argument for fascism. The ontological premise is that integrated wholes and objects of a creator or user’s will are ontologically superior, as Being and Time suggests in discussing Being-a-whole, creating art, and using equipment. The social premise is that fascist societies are wholes integrated by dictatorial will, while liberal societies are looser aggregates of free individuals, as Heidegger describes in his 1930s seminars. (...) The evaluative premise, shared with the medieval tradition and expressed in his notebook remarks about war, is that ontological superiority makes things better. The conclusion that fascism is better than liberalism should be rejected along with the evaluative premise. (shrink)

The following is a transcript of the interview I (Yasuko Kitano) conducted with Neil Levy (The Centre for Applied Philosophy and Public Ethics, CAPPE) on the 23rd in July 2009, while he was in Tokyo to give a series of lectures on neuroethics at The University of Tokyo Center for Philosophy. I edited his words for publication with his approval.

Recent work in neuroimaging suggests that some patients diagnosed as being in the persistent vegetative state are actually conscious. In this paper, we critically examine this new evidence. We argue that though it remains open to alternative interpretations, it strongly suggests the presence of consciousness in some patients. However, we argue that its ethical significance is less than many people seem to think. There are several different kinds of consciousness, and though all kinds of consciousness have some ethical significance, different (...) kinds underwrite different kinds of moral value. Demonstrating that patients have phenomenal consciousness — conscious states with some kind of qualitative feel to them — shows that they are moral patients, whose welfare must be taken into consideration. But only if they are subjects of a sophisticated kind of access consciousness — where access consciousness entails global availability of information to cognitive systems — are they persons, in the technical sense of the word employed by philosophers. In this sense, being a person is having the full moral status of ordinary human beings. We call for further research which might settle whether patients who manifest signs of consciousness possess the sophisticated kind of access consciousness required for personhood. (shrink)

This paper outlines a new metasemantic theory of moral reason statements, focused on explaining how the reasons thus stated can be inescapable. The motivation for the theory is in part that it can explain this and other phenomena concerning moral reasons. The account also suggests a general recipe for explanations of conceptual features of moral reason statements. (Published with Open Access.).

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

Actions performed in a state of automatism are not subject to moral evaluation, while automatic actions often are. Is the asymmetry between automatistic and automatic agency justified? In order to answer this question we need a model or moral accountability that does justice to our intuitions about a range of modes of agency, both pathological and non-pathological. Our aim in this paper is to lay the foundations for such an account.

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

Causal exclusion arguments are taken to threaten the autonomy of the special sciences, and the causal efficacy of mental properties. A recent line of response to these arguments has appealed to “independently plausible” and “well grounded” theories of causation to rebut key premises. In this paper I consider two papers which proceed in this vein and show that they share a common feature: they both require causes to be proportional to their effects. I argue that this feature is a bug, (...) and one that generalises: any attempt to rescue the autonomy of the special sciences, or the efficacy of the mental, from exclusion worries had better not look to proportionality for help. (shrink)

What is the connection between reasons and motives? According to Reasons Internalism there is a non-trivial conceptual connection between normative reasons and the possibility of rationally accessing relevant motivation. Reasons Internalism is attractive insofar as it captures the thought that reasons are for reasoning with and repulsive insofar as it fails to generate sufficient critical distance between reasons and motives. Rather than directly adjudicate this dispute, I extract from it two generally accepted desiderata on theories of normative reasons and argue (...) that a new theory can satisfy both. The new theory locates part of the meaning of normative reason statements in their role in normative discussion. It generates a view of the connection between reasons and motives that is distinct from Reasons Internalism, yet distinctively in its spirit. (shrink)

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

This paper argues that qualia share their physical correlates' locations. The first premise comes from the theory of relativity: If something shares a time with a physical event in all reference frames, it shares that physical event’s location. The second premise is that qualia share times with their correlates in all reference frames. Having qualia and correlates share locations makes relations between them easier to explain, improving both physicalist and dualist theories.

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral effects (...) of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)

In December 2019 an infectious coronavirus disease, commonly known as COVID-19, was identified in Wuhan, China. The disease spread rapidly and became a global pandemic. New Zealand’s first COVID-19 case was confirmed on 28 February 2020, after which the number of cases began to rise significantly, prompting the New Zealand Government to introduce a nationwide lockdown on 25 March 2020. This factsheet reports early findings from a quantitative study with adult New Zealanders. It explores how prevalent the experiences of unwanted (...) digital communication were in the last 12 months, before, during, and just after the nationwide COVID 19 lockdown. This study found a higher prevalence of unwanted digital communications around the time of the nationwide COVID-19 lockdown. This study’s findings suggest that unexpected health and social events, such as the COVID-19 pandemic and compulsory lockdown, are factors that can trigger changes in people’s experiences of online risk from unwanted digital communications. (shrink)

What is posthumanism and why does it matter? This book offers an introduction to the ways in which humanism's belief in the natural supremacy of the Family of Man has been called into question at different moments and from different theoretical positions. What is the relationship between posthumanism and technology? Can posthumanism have a politics—postcolonial or feminist? Are postmodernism and poststructuralism posthumanist? What happens when critical theory meets Hollywood cinema? What links posthumanism to science fiction. Posthumanism addresses these and other (...) questions in an attempt to come to terms with one of the most pressing issues facing contemporary society. (shrink)

Ethical reductionism is the best version of naturalistic moral realism. Reductionists regard moral properties as identical to properties appearing in successful scientific theories. Nonreductionists, including many of the Cornell Realists, argue that moral properties instead supervene on scientific properties without identity. I respond to two arguments for nonreductionism. First, nonreductionists argue that the multiple realizability of moral properties defeats reductionism. Multiple realizability can be addressed in ethics by identifying moral properties uniquely or disjunctively with properties of the special sciences. Second, (...) nonreductionists argue that irreducible moral properties explain empirical phenomena, just as irreducible special-science properties do. But since irreducible moral properties don't successfully explain additional regularities, they run the risk of being pseudoscientific properties. Reductionism has all the benefits of nonreductionism, while also being more secure against anti-realist objections because of its ontological simplicity. (shrink)

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

This factsheet presents findings from a quantitative study looking at adults’ experiences of sending and sharing potentially harmful digital communications in New Zealand. Typically research into harmful digital communications focuses on the experiences of those on the receiving end – the victims. However, to better address the distress and harm caused, information is needed about the people sending and sharing potentially harmful messages and posts. In this study we asked adult New Zealanders whether they had sent potentially harmful digital communications (...) in the previous year and if so, how often they had done this, who they were sent to, the channel(s) they used, and the reason for doing this. (shrink)

Propositionalism is the view that the contents of intentional attitudes have a propositional structure. Objectualism opposes propositionalism in allowing the contents of these attitudes to be ordinary objects or properties. Philosophers including Talbot Brewer, Paul Thagard, Michelle Montague, and Alex Grzankowski attack propositionalism about such attitudes as desire, liking, and fearing. This article defends propositionalism, mainly on grounds that it better supports psychological explanations.

This paper presents the Universality Argument that pleasure is goodness. The first premise defines goodness as what should please all. The second premise reduces 'should' to perceptual accuracy. The third premise invokes a universal standard of accuracy: qualitative identity. Since the pleasure of all is accurate solely about pleasure, pleasure is goodness, or universal moral value. The argument proceeds from a moral sense theory that analyzes moral concepts as concerned with what all should hope for, feel guilty about, and admire. (...) This requires rejecting practical anti-empiricism, the view that moral judgment concerns empirically inaccessible norms governing action. (shrink)

Pietro Gori dedicates Nietzsche’s Pragmatism “To the wanderers and Good Europeans,” and Anglophone wanderers into Sarah de Sanctis’s translation will indeed find good European Nietzsche scholarship. The table of contents is a helpful map of the book, with five chapters consisting of twenty-eight sections on a sequence of philosophical and interpretive topics. Perspectival thought, addressed in the subtitle, is the explicit topic of the third chapter. Pragmatism, mentioned in the title, is the explicit topic of the fifth and final chapter. (...) While both topics also are discussed in many other places, the overall focus is on Nietzsche’s views of epistemology and truth.The first chapter discusses Nietzsche’s views of... (shrink)

In this chapter, we argue for three theses: (1) we lack the power to form beliefs at will (i.e., directly); at very least, we lack the power to form at will beliefs of the kind that proponents of doxastic voluntarism have in mind; but (2) we possess a propensity to form beliefs for non-epistemic reasons; and (3) these propensities—once we come to know we have them—entail that we have obligations similar to those we would have were doxastic voluntarism true. Specifically, (...) we will argue that we have obligations to avoid triggering these propensities to form beliefs that are unwarranted or even immoral. (shrink)

Philosophers from Hart to Lewis, Johnston and Bennett have expressed various degrees of reservation concerning the doctrine of double effect. A common concern is that, with regard to many activities that double effect is traditionally thought to prohibit, what might at first look to be a directly intended bad effect is really, on closer examination, a directly intended neutral effect that is closely connected to a foreseen bad effect. This essay examines the extent to which the commonsense concept of intention (...) supports a reasonably consistent and coherent application of double effect. Two important conclusions are these: (1) a number of traditionally proscribed activities involve a kind of “targeting” of innocents that can be taken to exhibit a direct intention to harm them; (2) a direct intention to harm need not involve a desire to harm in any ordinary sense of the latter expression. (shrink)

This essay presents an ideal for modern Western romantic love.The basic ideas are the following: people want to form a distinctive sort of plural subject with another, what Nozick has called a "We", they want to be loved for properties of certain kinds, and they want this love to establish and sustain a special sort of commitment to them over time.

Causal theories of action, perception and knowledge are each beset by problems of so-called ‘deviant’ causal chains. For each such theory, counterexamples are formed using odd or co-incidental causal chains to establish that the theory is committed to unpalatable claims about some intentional action, about a case of veridical perception or about the acquisition of genuine knowledge. In this paper I will argue that three well-known examples of a deviant causal chain have something in common: they each violate Yablos proportionality (...) constraint on causation. I will argue that this constraint provides the key to saving causal theories from deviant chains. (shrink)

This paper explores connections between theories of morality and theories of properties. It argues that (1) moral realism is in tension with predicate, class and mereological nominalism; (2) moral non-naturalism is incompatible with standard versions of resemblance nominalism, immanent realism and trope theory; and (3) the standard semantic arguments for property realism do not support moral realism. I also raise doubts about trope-theoretic explanations of moral supervenience and argue against one version of the principle that we should accept theories that (...) maintain neutrality. (shrink)

In “The Evolutionary Debunking of Quasi-Realism,” Neil Sinclair and James Chamberlain present a novel answer that quasi-realists can pro-vide to a version of the reliability challenge in ethics—which asks for an explanation of why our moral beliefs are generally true—and in so doing, they examine whether evolutionary arguments can debunk quasi-realism. Although reliability challenges differ from EDAs in several respects, there may well be a connection between them. For the explanatory premise of an EDA may state that a particular (...) theory of beliefs of a certain kind does not, or cannot, provide a plausible account of why those beliefs might be generally true, and its epistemic premise may state that, if that is the case, then the beliefs in question have a negative epistemic status or the theory is false inasmuch as, if it were true, it would lead to those beliefs having such a negative epistemic status. The quasi-realist can answer the reli-ability challenge by claiming that, when we form our moral beliefs through a process of well-informed impartial reflection, we form them in response to the non-moral features of things on which depend the moral features they have. Hence, when we form beliefs by means of such a process, we are most likely forming true moral beliefs. (shrink)

Some philosophers (including Urmson, Humberstone, Shah, and Velleman) hold that believing that p distinctively involves applying a norm according to which the truth of p is a criterion for the success or correctness of the attitude. On this view, imagining and assuming differ from believing in that no such norm is applied. I argue against this view with counterexamples showing that applying the norm of truth is neither necessary nor sufficient for distinguishing believing from imagining and assuming. Then I argue (...) that the different functional properties of these mental states are enough to distinguish them, and that norm-application doesn't help us draw the functional distinctions. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

This paper applies the theory of teleosemantics to the issue of moral content. Two versions of teleosemantics are distinguished: input-based and output-based. It is argued that applying either to the case of moral judgements generates the conclusion that such judgements have both descriptive (belief-like) and directive (desire-like) content, intimately entwined. This conclusion directly validates neither descriptivism nor expressivism, but the application of teleosemantics to moral content does leave the descriptivist with explanatory challenges which the expressivist does not face. Since teleosemantics (...) ties content to function, the paper also offers an account of the evolutionary function of moral judgements. (shrink)

Many philosophers argue that the face-value of moral practice provides presumptive support to moral realism. This paper analyses such arguments into three steps. (1) Moral practice has a certain face-value, (2) only realism can vindicate this face value, and (3) the face-value needs vindicating. Two potential problems with such arguments are discussed. The first is taking the relevant face-value to involve explicitly realist commitments; the second is underestimating the power of non-realist strategies to vindicate that face-value. Case studies of each (...) of these errors are presented, drawn from the writings of Shafer-Landau, Brink and McNaughton, and from recent work in experimental metaethics. The paper then considers weak presumptive arguments, according to which both realist and non-realist vindications of moral practice are possible, but the realist vindications are more natural. It is argued that there is no sense of ‘natural’ available that can make these arguments work. The conclusion is that all extant presumptive arguments for moral realism fail. (shrink)

This chapter considers the nature of imagination and belief, exploring how deeply these two states of mind differ. It first addresses a range of cognitive and motivational differences between imagination and belief which suggest that they're fundamentally different states of mind. Then it addresses imaginative immersion, delusions, and the different norms we apply to the two mental states, which some theorists regard as providing support for a more unified picture of imagination and belief.

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

What is it for an event not to occur? This is an urgent, yet under explored, question for counterfactual analyses of causation quite generally. In this paper I take a lead from Lewis in identifying two different possible standards of non-occurrence that we might adopt and I argue that we need to apply them asymmetrically: one standard for the cause, another for the effect. This is a surprising result. I then offer a contextualist refinement of the Lewis approach in light (...) of initial problems, and discuss how the asymmetry remained hidden until now. I then relate the non-occurrence problem to issues of transitivity and proportionality in causation, before showing that a parallel problem exists for contrastivist and interventionist approaches to causation too. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims are (...) true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)