Although artificial intelligence has been given an unprecedented amount of attention in both the public and academic domains in the last few years, its convergence with other transformative technologies like cloud computing, robotics, and augmented/virtual reality is predicted to exacerbate its impacts on society. The adoption and integration of these technologies within industry and manufacturing spaces is a fundamental part of what is called Industry 4.0, or the Fourth Industrial Revolution. The impacts of this paradigm shift on the human operators (...) who continue to work alongside and symbiotically with these technologies in the industry bring with it novel ethical issues. Therefore, how to design these technologies for human values becomes the critical area of intervention. This paper takes up the case study of robotic AI-based assistance systems to explore the potential value implications that emerge due to current design practices and use. The design methodology known as Value Sensitive Design (VSD) is proposed as a sufficient starting point for designing these technologies for human values to address these issues. (shrink)

The Metaphysics of Free Will provides a through statement of the major grounds for skepticism about the reality of free will and moral responsibility. The author identifies and explains the sort of control that is associated with personhood and accountability, and shows how it is consistent with causal determinism. In so doing, out view of ourselves as morally responsible agents is protected against the disturbing changes posed by science and religion.

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

This paper explores the prospects of employing a functional approach in order to improve our concept of actual causation. Claims of actual causation play an important role for a variety of purposes. In particular, they are relevant for identifying suitable targets for intervention, and they are relevant for our practices of ascribing responsibility. I argue that this gives rise to the challenge of purpose. The challenge of purpose arises when different goals demand adjustments of the concept that pull in opposing (...) directions. More specifically, I argue that a common distinction between certain kinds of preempted and preempting factors is difficult to motivate from an interventionist viewpoint. This indicates that an appropriately revised concept of actual causation would not distinguish between these two kinds of factors. From the viewpoint of retributivist responsibility, however, the distinction between preempted and preempting factors sometimes is important, which indicates that the distinction should be retained. (shrink)

Recently, there has been an increased interest in employing model-based definitions of actual causation in legal inquiry. The formal precision of such approaches promises to be an improvement over more traditional approaches. Yet model-based approaches are viable only if suitable models of legal cases can be provided, and providing such models is sometimes difficult. I argue that causal-model-based definitions benefit legal inquiry in an indirect way. They make explicit the causal assumptions that need to be made plausible to defend a (...) particular claim of actual causation. My argument concerns the analysis of legal cases involving a combination of double prevention and causal redundancy. I show that discussions among legal theorists about such cases sometimes suffer from ambiguous assumptions about the causal structure. My account illustrates that causal models can act as a heuristic tool for clarifying such assumptions, and that causal models provide a framework for more accurate analyses of legal cases involving complex causal structure. (shrink)

In this paper, I propose a solution to a challenge formulated by Judith Jarvis Thomson: We have to explain why the moral asymmetry between doing and allowing harm is a deep feature of our moral thinking. In a nutshell, my solution is this: It could not be otherwise. Accepting the asymmetry is indispensable for the construction and maintenance of stable moral communities. -/- My argument centrally involves mental resource management. Moral communities depend on their members’ commitment to moral norms. And, (...) I argue, community members can only be committed to these norms in the required ways without overextending their mental resources if morality contains the doing/allowing asymmetry. -/- This has two noteworthy implications. Firstly, we can and should stop discussing the asymmetry in normative ethics and, instead, regard it as “moral axiom” we cannot but accept. Secondly, even consequentialists have to accept the asymmetry but, by doing so, their view loses part of its intuitive appeal. Lastly, I turn to an objection. One might think that my indispensability argument confuses issues in moral psychology with issues in normative ethics. I reject the objection on broadly pragmatist grounds. (shrink)

This article presents a new argument for incorporating a distinction between default and deviant values into the formalism of causal models. The argument is based on considerations about how causal reasoners should represent disagreement over causes, and it is defended against an objection that has been raised against earlier arguments for defaults.

Many philosophical thought experiments and arguments involve unusual cases. We present empirical reasons to doubt the reliability of intuitive judgments and conclusions about such cases. Inferences and intuitions prompted by verbal case descriptions are influenced by routine comprehension processes which invoke stereotypes. We build on psycholinguistic findings to determine conditions under which the stereotype associated with the most salient sense of a word predictably supports inappropriate inferences from descriptions of unusual (stereotype-divergent) cases. We conduct an experiment that combines plausibility ratings (...) with pupillometry to document this “salience bias.” We find that under certain conditions, competent speakers automatically make stereotypical inferences they know to be inappropriate. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

ABSTRACT: This is a short companion piece to my ‘Found in Translation – Aristotle’s Nicomachean Ethics III.5 1113b7-8 and its Reception’ in which I examine in close textual analysis the philosophical question whether these two lines from the Nicomachean Ethics provide any evidence that Aristotle discussed free choice – as is not infrequently assumed. The result is that they do not, and that the claim that they do tends to be based on a mistranslation of the Greek. (There is some (...) inevitable overlap with Part 1 of the 'Found in Translation' paper.). (shrink)

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (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)

Psycholinguistic methods hold great promise for experimental philosophy. Many philosophical thought experiments and arguments proceed from verbal descriptions of possible cases. Many relevant intuitions and conclusions are driven by spontaneous inferences about what else must also be true in the cases described. Such inferences are continually made in language comprehension and production. This chapter explains how methods from psycholinguistics can be employed to study such routine automatic inferences, with a view to assessing intuitions and reconstructing arguments. We demonstrate how plausibility (...) ratings, pupillometry, and reading time measurements can be used to examine hypotheses about automatic inferences in speech and text comprehension. Two experiments on inferences from polysemous (perception-)verbs provide evidence of a potentially consequential ‘salience bias’. Findings help assess intuitions about unusual cases and analyse a philosophical paradox (‘argument from hallucination’). The paper thus illustrates how we can adapt psycholinguistic methods for philosophical purposes and demonstrates the methods’ philosophical usefulness. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...) establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)

In this paper, I will argue that we need to consider the ‘change- makers’ if we want to provide a comprehensive theory of persistence. The classical theories of persistence, endurantism and perdurantism in all their flavours, are content with avoiding the looming contradiction in the context of Leibniz’s Law. They do not account for how change is brought about. I argue that this is not sufficient to constitute a theory of persistence and I will introduce produrantism as a new access (...) towards a comprehensive approach. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...) logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

Agnieszka Jaworska and Julie Tannenbaum recently developed the ingenious and novel person‐rearing account of moral status, which preserves the commonsense judgment that humans have a higher moral status than nonhuman animals. It aims to vindicate speciesist judgments while avoiding the problems typically associated with speciesist views. We argue, however, that there is good reason to reject person‐rearing views. Person‐rearing views have to be coupled with an account of flourishing, which will (according to Jaworska and Tannenbaum) be either a species norm (...) or an intrinsic potential account of flourishing. As we show, however, person‐rearing accounts generate extremely implausible consequences when combined with the accounts of flourishing Jaworska and Tannenbaum need for the purposes of their view. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

ABSTRACT: I argue that there is no evidence that Epicurus dealt with the kind of free-will problem he is traditionally associated with; i.e. that he discussed free choice or moral responsibility grounded on free choice, or that the "swerve" was involved in decision processes. Rather, for Epicurus, actions are fully determined by the agent's mental disposition at the outset of the action. Moral responsibility presupposes not free choice but that the person is unforced and causally responsible for the action. This (...) requires the agent's ability to influence causally, on the basis of their beliefs, the development of their behavioral dispositions. The "swerve" was intended to explain the non-necessity of agency without undermining Epicurus' atomistic explanation of the order in the universe, viz. by making the mental dispositions of adults non-necessary. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

ABSTRACT: This paper is distinctly odd. It demonstrates what happens when an analytical philosopher and historian of philosophy tries their hand at the topic of reception. For a novice to this genre, it seemed advisable to start small. Rather than researching the reception of an author, book, chapter, section or paragraph, the focus of the paper is on one sentence: Aristotle’s Nicomachean Ethics 3.5, 1113b7-8. This sentence has markedly shaped scholarly and general opinion alike with regard to Aristotle’s theory of (...) free will. In addition, it has taken on a curious life of its own. Part one of the paper examines the text itself. Part two explores its reception from antiquity to the present day, including present-day popular culture, later ancient, Byzantine, Arabic, Latin Medieval, Renaissance, Victorian and contemporary scholarship. There are some surprises on the way. (The paper also serves as an introduction to the reception of the Nicomachean Ethics from its beginnings to the present.). (shrink)

ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).

ABSTRACT: This paper serves two purposes: (i) it can be used by students as an introduction to chapters 1-5 of book iii of the NE; (ii) it suggests an answer to the unresolved question what overall objective this section of the NE has. The paper focuses primarily on Aristotle’s theory of what makes us responsible for our actions and character. After some preliminary observations about praise, blame and responsibility (Section 2), it sets out in detail how all the key notions (...) of NE iii 1-5 are interrelated (Sections 3-9). The setting-out of these interconnections makes it then possible to provide a comprehensive interpretation of the purpose of the passage. Its primary purpose is to explain how agents are responsible for their actions not just insofar as they are actions of this kind or that, but also insofar as they are noble or base: agents are responsible for their actions qua noble or base, because, typically via choice, their character dispositions are a causal factor of those actions (Section 10). The paper illustrates the different ways in which agents can be causes of their actions by means of Aristotle’s four basic types of agents (Section 11). A secondary purpose of NE iii 1-5 is to explain how agents can be held responsible for consequences of their actions (Section 12), in particular for their character dispositions insofar as these are noble or base, i.e. virtues or vices (Section 13). These two goals are not the only ones Aristotle pursues in the passage. But they are the ones Aristotle himself indicates in its first sentence and summarizes in its last paragraph; and the ones that give the passage a systematic unity. The paper also briefly consider the issues of freedom-to-do-otherwise, free choice and free-will in the contexts in which they occur (i.e. in the final paragraphs of Sections 6, 7, 12, 13). (shrink)

This paper summarizes (in German) recent tendencies in the philosophy of the life sciences.

Bobzien’s reply to a defamatory blogpost on her essay ‘Frege plagiarized the Stoics’ in which she is accused among other things of plagiarism (!), and deliberate deception, and which contains a large number of falsehoods. (This reply is a minor contribution to the discussion of 'Frege plagiarized the Stoics', simply setting the record straight. It contains no important philosophical content whatsoever.).

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

ABSTRACT: One-page entry on freedom in the philosophical (as opposed to political) sense in antiquity, noting (among other things) that a notion of freedom of choice that requires that the person not be causally predetermined in his/her actions is developed only in the 1st-3rd cents. CE in Alexander of Aphrodisias, building on elements of Aristotelian ethics and logic, Stoic psychology and perhaps Christian and Middle Platonic influences. Both German version (1998) and English translation (2011).

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

ABSTRACT: This paper offers a generic revenge-proof solution to the Sorites paradox that is compatible with several philosophical approaches to vagueness, including epistemicism, supervaluationism, psychological contextualism and intuitionism. The solution is traditional in that it rejects the Sorites conditional and proposes a modally expressed weakened conditional instead. The modalities are defined by the first-order logic QS4M+FIN. (This logic is a modal companion to the intermediate logic QH+KF, which places the solution between intuitionistic and classical logic.) Borderlineness is introduced modally as (...) usual. The solution is innovative in that its modal system brings out the semi-determinability of vagueness. Whether something is borderline and whether a predicate is vague or precise is only semi-determinable: higher-order vagueness is columnar. Finally, the solution is based entirely on two assumptions. (1) It rejects the Sorites conditional. (2) It maintains that if one specifies borderlineness in terms of the ‒suitably interpreted‒ modal logic QS4M+FIN, then one can explain why the Sorites appears paradoxical. From (1)+(2) it results that one can tell neither where exactly in a Sorites series the borderline zone starts and ends nor what its extension is. Accordingly, the solution is also called agnostic. (shrink)

ABSTRACT: A brief critique of Bruno Haas’ interpretation of Kant’s categories of practical reason and a reply to his criticism of my paper 'Die Kategorien der Freiheit bei Kant' ('Kant's Categories of Freedom').

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how he made allowances (...) for higher-order vagueness, but if he did, this was not grounded on an epistemicist position. (shrink)

ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...) instance, we find ‘If (it is) A, (it is) B; if (it is) B, (it is) C; therefore, if (it is) A, (it is) C’. The main contentious point about these arguments is what the ancients thought their logical form was. Are A, B, C schematic letters for terms or propositions? Is ‘is’, where it occurs, predicative, existential, or veridical? That is, should ‘A esti’ be translated as ‘it is an A’, ‘A exists’, ‘As exist’ or ‘It is true/the case that A’? If A, B, C are term letters, and ‘is’ is predicative, are the conditionals quantified propositions or do they contain designators? If one cannot answer these questions, one can hardly claim to know what sort of arguments the wholly hypothetical syllogisms were. In fact, all the above-mentioned possibilities have been taken to describe them correctly. In this paper I argue that it would be mistaken to assume that in antiquity there was one prevalent understanding of the logical form of these arguments - even if the ancients thought they were all talking about the same kind of argument. Rather, there was a complex development in their understanding, starting from a term-logical conception and leading to a propositional-logical one. I trace this development from Aristotle to Philoponus and set out the deductive system on which the logic of the wholly hypothetical syllogisms was grounded. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; 4. (...) Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell's explanation of definite descriptions is that in the Horn (...) Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in 'to have' and 'to lose' (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)

In this dissertation I develop a pluralist theory of actual causation. I argue that we need to distinguish between total, path-changing, and contributing actual causation. The pluralist theory accounts for a set of example cases that have raised problems for extant unified theories and it is supported by considerations about the various functions of causal concepts. The dissertation also analyses the context-sensitivity of actual causation. I show that principled accounts of causal reasoning in legal inquiry face limitations and I argue (...) that the context-sensitivity of actual causation is best represented by a distinction between default and deviant states in causal models. (shrink)

ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used for (...) causes had the function of describing or explaining particular features of certain causes in particular philosophical contexts. I challenge the sometimes assumed close connection of Chrysippus’ notion of causation with explanation. I show that the standard view that the distinction between proximate and auxiliary causes and perfect and principal causes corresponds to the distinction between internal and external determining factors is not born out by the evidence, and argue that causes of the two types were not thought to co-operate, but rather conceived of as alternatives. (shrink)

The paper clarifies therapeutic ideas about philosophical method which Wittgenstein puts forward in his "Big Typescript". It does so by analysing how Wittgenstein treats the question 'What is meaning?', in that part of the same work from which the opening sections of his "Philosophical Investigations" derive. On this basis, the paper explains why Wittgenstein set himself a therapeutic goal, why this is reasonable, and how he sought to attain that goal without 'pronouncing new truths about the subject of the investigation', (...) viz. meaning. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...) that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from propositions in (...) that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

Since Mates’ seminal Stoic Logic there has been uncertainty and debate about how to treat the term anapodeiktos when used of Stoic syllogisms. This paper argues that the customary translation of anapodeiktos by ‘indemonstrable’ is accurate, and it explains why this is so. At the heart of the explanation is an argument that, contrary to what is commonly assumed, indemonstrability is rooted in the generic account of the Stoic epistemic notion of demonstration. Some minor insights into Stoic logic ensue.

ABSTRACT: 1. This paper argues that Epicurus had a notion of moral responsibility based on the agent’s causal responsibility, as opposed to the agent’s ability to act or choose otherwise; that Epicurus considered it a necessary condition for praising or blaming an agent for an action, that it was the agent and not something else that brought the action about. Thus, the central question of moral responsibility was whether the agent was the, or a, cause of the action, or whether (...) the agent was forced to act by something else. Actions could be attributed to agents because it is in their actions that the agents, qua moral beings, manifest themselves. 2. As a result, the question of moral development becomes all important. The paper collects and discusses the evidence for Epicurus views on moral development, i.e. (i) on how humans become moral beings and (ii) on how humans can become morally better. It becomes clear that Epicurus envisaged a complex web of hereditary and environmental factors to shape the moral aspect of a human being. 3. In line with Epicurus’ theory of moral responsibility and moral development, Epicurus ethics does not have the function of developing or justifying a moral system that allows for the effective allocation of praise and blame. Rather, for him the function of ethics – and in fact of the whole of philosophy – is to give everyone a chance to morally improve. (shrink)

We know that animals are harmed in plant production. Unfortunately, though, we know very little about the scale of the problem. This matters for two reasons. First, we can’t decide how many resources to devote to the problem without a better sense of its scope. Second, this information shortage throws a wrench in arguments for veganism, since it’s always possible that a diet that contains animal products is complicit in fewer deaths than a diet that avoids them. In this paper, (...) then, we have two aims: first, we want to collect and analyze all the available information about animal death associated with plant agriculture; second, we try to show just how difficult it’s to come up with a plausible estimate of how many animals are killed by plant agriculture, and not just because of a lack of empirical information. Additionally, we show that there are significant philosophical questions associated with interpreting the available data—questions such that different answers generate dramatically different estimates of the scope of the problem. Finally, we document current trends in plant agriculture that cause little or no collateral harm to animals, trends which suggest that field animal deaths are a historically contingent problem that in future may be reduced or eliminated altogether. (shrink)

ABSTRACT: In contemporary discussions of freedom in Stoic philosophy we often encounter the following assumptions: (i) the Stoics discussed the problem of free will and determinis; (ii) since in Stoic philosophy freedom of the will is in the end just an illusion, the Stoics took the freedom of the sage as a substitute for it and as the only true freedom; (iii) in the c. 500 years of live Stoic philosophical debate, the Stoics were largely concerned with the same philosophical (...) problems of freedom. In this paper I argue that (i) can be upheld only in a very restricted way; (ii) is altogether untenable; and regarding (iii), that, although there may have occurred little change in the Stoic philosophical position on freedom over the centuries, we can detect more than one transformation of the philosophical problems that were at the forefront of the discussion. Moreover, that all the conceptions and problems of freedom were linked to Stoic ethics, and that the differences between them become transparent when one considers their various roles in this context. (shrink)

ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can be found (...) in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)