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)

The paper discusses the active part in the process of perceiving, usually expressed by the Greek word krinein. It is argued that krinein in one of its uses means "to judge" in the sense of judging a case, i. e. deciding it. It is not used for making statements. A second meaning of the Greek word is that of discerning or discriminating, and it is this meaning that plays a central part in Aristotle's theory of perception.

This is a big-picture discussion of an important implication of Darwinism for ethics. I argue that there is a misfit between our scientific view of the natural world and the view, still dominant in academic philosophy and wider society alike, that there is a discrete hierarchy of moral status among conscious beings. I will suggest that the clear line of traditional morality – between human beings and other animals – is a remnant of an obsolete moral outlook, not least because (...) it has no counterpart in empirical reality, and I will invite the reader to think, with me, about tenable alternatives. (shrink)

I contend that “philosophos” is meant to carry the connotation of a Pythagorean: Euenus is a native from Paros which had a strong Pythagorean community down to the end of the fifth century. Moreover, “philosophos” was used to refer to the Pythagoreans, as can be seen from the story related by Cicero from Heraclides Ponticus (Tusc. Disp. V, iii, 7-8; cp. DL, 1.12; 8.8). I argue (against Burkert) that even if this story is part of the lore surrounding Pythagoras and, (...) hence, without historical value as for Pythagoras, it may still be used as evidence for the use of “philosophos” among latter-day Pythagoreans. (shrink)

This paper is a discussion of Gabriel, Hülser and Schlotter’s 2009 article on a possible causal relation between Stoic logic and Frege. The paper provides detailed argument for why Rudolf Hirzel should not be taken as the qualified middleman in philosophical discussion with whom Frege learned what he ‘borrowed’ without acknowledgement from Stoic logic. Additionally, this paper offers some modest findings about some aspects of Frege's and Hirzel's lives and work habits, which may help us understand a little better Frege's (...) connection to Hirzel and to Stoic logic as well as Frege’s failure to acknowledge the Stoics. This paper is a purely historical offshoot of my essay ‘Frege plagiarized the Stoics’. Zero direct insights into either Frege’s or Stoic philosophy are offered. OPEN ACCESS. Choose 'without proxy' below. (shrink)

Daniel Bell and Wang Pei’s recent monograph, Just Hierarchy, seeks to defend hierarchical relationships against more egalitarian alternatives. This paper addresses their argument, offered in one chapter of the book, in favour of a hierarchical relationship between human and nonhuman animals. This relationship, Bell and Pei argue, should conform to what they call “subordination without cruelty:” it is permissible to subordinate and exploit animals for human ends, provided that we do not treat them cruelly. We focus on three aspects of (...) their view: their argument for a hierarchical view; their understanding of cruelty; and their account of the heightened duties they claim we owe to nonhuman animals who are intelligent, domesticated, and/or “cute.” We argue that the reasons that Bell and Pei offer fail to support their conclusions, and that, even if one accepts a hierarchical view, the conclusions that Bell and Pei draw about the permissibility of practices such as killing animals for food do not follow. We conclude by emphasizing philosophers’ responsibility to thoroughly test their arguments and to engage with existing debates, especially when the practices they seek to justify involve harms of great magnitude. (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)

In this article, I propose a formal criterion that distinguishes between deductively valid arguments that do and do not beg the question. I define the concept of a Never-failing Minimally Competent Knower (NMCK) and suggest that an argument begs the question just in case it cannot possibly assist an NMCK in extending his or her knowledge.

The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...) other three first figure syllogisms. I argue that, taking into account the role of the being-contained-as-in-a-whole formulation, transitivity can be seen to be present in all four first figure syllogisms. Using this wording will put the negation sign with the predicate, similar to the notation in modern predicate calculus. (shrink)

Kant’s Categorical Imperative (CI) is to be taken as a necessary and sufficient condition for any action that is permissible, i. e. not prohibited. The class of permissible actions contains actions which are allowed as well as those which are morally required. If to perform an action and to abstain from this action can be taken to be ‘practical opposites’, then an action that is morally required for, a duty, is an action whose practical opposite is prohibited, and vice versa. (...) The class of actions which are merely allowed (neither prohibited nor morally required for) contains all and only those actions who together with their practical opposites belong to the class of permissible (not prohibited) actions. The paper then adduces passages from Kant’s ethical writings on the CI supporting these distinctions. (shrink)

This paper (1) criticizes Patzig's explanation of Aristotle's reason for calling his first figure syllogisms perfect syllogisms, i.e. the transitivity relation: it can only be used for Barbara, not for the other three moods. The paper offers (2) an alternative interpretation: It is only in the case of the (perfect) first figure moods that we can move from the subject term of the minor premiss, taken to be a predicate of an individual, to the predicate term of the major premiss. (...) This contention is supported (i) by Aristotle's wording of the dictum de omni et nullo and (ii) by Aristotle's use of a formula which puts the minor term in the first position when he first states Barbara and Celarent. (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).

Why does Aristotle not use the copulative wording for categorical propositions, but instead the clumsier terminological formulations (e. g. the B belongs to every A) in his syllogistic? The proposed explanations by Alexander, Lukasiewicz and Patzig: Aristotle wants to make clear the difference between subject and predicate, seems to be insufficient. In quantified categorical propositions, this difference is always sufficiently clear by the use of the pronouns going with the subject expressions. Aristotle opts for the terminological wording because in premiss (...) pairs of figures two and three he can thus suppress the middle term in one of the premisses and connect the major and minor term, using connecting particles. This renders the syllogisms more transparent. Had he used the copulative wording instead, he would have run into difficulties, in particular with o-propositions among the premisses (i. e. in Baroco and Bocardo) because in these cases the pronoun expressing the quantification would have to go with the subject term, the negation with the predicate. (shrink)

In this paper I defend the existence of a Dialectical school proper against criticisms brought forward by Klaus Döring and by Jonathan Barnes. Whereas Döring claims that there was no Dialectical school separate from the Megarians, Barnes takes issue with my claim (argued for in “Dialektiker und frühe Stoiker bei Sextus Empiricus”) that most of the reports in Sextus on the dialecticians refer to members of the Dialectical school. Barnes contends that these dialecticians are in fact Stoic logicians. As against (...) Döring, I argue that the passage in Diogenes Laertius II 113 (first drawn attention to by David Sedley) which talks of a the Megarian Stilpo winning over disciples from the Dialecticians is not refuted by Döring’s arguments. It clearly shows that the Dialecticians and the Megarians at the time were taken to be different philosophical sects. As against Barnes I insist on the differences between the report in Ps.-Galen’s Historia 9 and the Sextan report on the theory of sign in AM VIII. These reports offer incompatible definitions of the indicative sign. Moreover, the classification of simple propositions reported by Sextus at AM VIII 96f. cannot be a truncated version of the (Stoic) list to be found in Diogenes Laertius VII 69f. since in Sextus’ report one of the three classes of simple propositions is labelled middle (meson). This is a certain sign that we are dealing with a triad, and hence that this list is meant to be complete. Therefore the classification found in Sextus and attributed to the dialecticians and the one in Diogenes Laertius reporting Stoic material do come from different sources. (shrink)

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

There are few moral convictions that enjoy the same intuitive plausibility and level of acceptance both within and across nations, cultures, and traditions as the conviction that, normally, it is morally wrong to kill people. Attempts to provide a philosophical explanation of why that is so broadly fall into three groups: Consequentialists argue that killing is morally wrong, when it is wrong, because of the harm it inflicts on society in general, or the victim in particular, whereas personhood and human (...) dignity accounts see the wrongness of killing people in its typically involving a failure to show due respect for the victim and his or her intrinsic moral worth. I argue that none of these attempts to explain the wrongness of killing is successful. Consequentialism generates too many moral reasons to kill, cannot account for deeply felt and widely shared intuitions about the comparative wrongness of killing, and gives the wrong kind of explanation of the wrongness of killing. Personhood and human dignity accounts each draw a line that is arbitrary and entirely unremarkable in terms of empirical reality, and hence ill-suited to carry the moral weight of the difference in moral status between the individuals below and above it. Paying close attention to the different ways in which existing accounts fail to convince, I identify a number of conditions that any plausible account of the wrongness of killing must meet. I then go on to propose an account that does. I suggest that the reason that typically makes killing normal human adults wrong equally applies to atypical human beings and a wide range of non-human animals, and hence challenge the idea that killing a non-human animal is normally easier to justify than killing a human being. This idea has persisted in Western philosophy from Aristotle to the present, and even progressive moral thinkers and animal advocates such as Peter Singer and Tom Regan are committed to it. I conclude by discussing some important practical implications of my account. (shrink)

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)

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)

The paper starts from a distinction between two terms in Aristotle: kategoroumenon and kategoria. It is argued that the job of the first is to pick out 'predicated predicates' (i.e. predicates attached to a specific subject), the job of the second is to designate 'predicable predicates' (terms which can be attached to specific subjects). It is then argued (1) that Aristotle's division of the (erroneously) so-called 'predicables' (i. e. genus, proprium, definiens, accident) is a classification of predicated predicates, (2) that (...) the list of the "genera of kategoriai" in Top. I 9 which starts with ti estin (essence) as its first member contains a classification of predicable predicates, and (3) that the list in Cat. 4 (starting with ousia, 'substance') is a classification not of kategoriai, but of things there are. (shrink)

The reason for Aristotle’s treatment of (traditional) fourth figure syllogisms as first figure syllogisms with inverted terms in the conclusion is the following: To disprove the conclusiveness of a premiss pair Aristotle formulates two triplets of true propositions such that two of them correspond to the premiss pair in question and that the third proposition corresponding to a conclusion is an a-proposition in the first case, an e-proposition in the other. Since the truth of an a-proposition grants the falsity of (...) the contrary e- and of the contradictory o-proposition, the first triplet offers two counter-instances for invalid syllogisms with true premisses and false conclusions. Similarly the true e-proposition grants the falsity of an a- and an i-conclusion. Since an a-proposition can be converted to an i-proposition and an e-proposition is equivalent to its converse, these first figure triplets also disprove any first figure syllogism with converted conclusions, with the exception of o-conclusions. The invalidity of the latter ones, however, can be shown by using premiss conversions of (invalid) second and third figure syllogisms. The proposed explanation also makes clear why there are no rejection proofs for invalid syllogisms of (traditional) fourth figure syllogisms in the Analytics. (shrink)

This article investigates what constitutes good reason, in particular in scientific communication. I will start out with a general description of what scientists do and will identify the good argument as an integral part of all science. Employing some simple examples, I will then move on to derive some necessary conditions for the goodness of an argument. Along the way, I will introduce various basic concepts in logic and briefly talk about the nature of human knowledge. I will conclude by (...) relating my discussion of good reasoning in science to critical thinking in general and explain why I believe that critical thinking is at the heart of a well-functioning liberal democracy. (shrink)

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: 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)

I argue, firstly, that the accounts of 'accident' in Aristotle's Met. V 30 and in Top. I 5 cannot be used to elucidate each other: the Metaphysics passage tries to disentangle the uses of a Greek word, the Topics passage introduces technical terms for Aristotle's semantics. I then argue that the positive definition in Top. I 5 is to be understood in the following way: X is an accident of Y iff X belongs to Y and if there is a (...) Z such that X can belong to Z and also not belong to Z. Thus, being white is an accident of snow. I finally argue that certain shortcomings in the Topics account lead Aristotle to redefine accident in the Posterior Analytics. (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)

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)

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)

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)

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.).

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: 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)

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)

This paper discusses the reports in Diogenes Laertius and in Sextus Empiricus concerning the classification of propositions. It is argued that the material in Sextus uses a source going back to the Dialectical school whose most prominent members were Diodorus Cronus and Philo of Megara. The material preserved in Diogenes Laertius, on the other hand, goes back to Chrysippus.

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)

The paper discusses Habermas` contribution to a debate between him and Joseph Ratzinger, at the time the prefect of the Congregation for the Catholic faith. Habermas is criticized for his tendency to adopt openly anti-enlightenment positions.

This is a reply to Vincent Carraud/René Verdon « Remarques circonspectes sur la mort de Descartes » (published in Revue du dix-septième siècle, n° 265, 2014/4, pp. 719-726, online: http://www.cairn.info/revue-dix-septieme-siecle-2014-4-page-719.htm, containing a critique of my "L'énigme de la mort de Descartes" Paris, 2011). I discuss the fatal illness and the death of Descartes, arguing that Descartes was very probably the victim of arsenical poisoning. The suspected murderer is a French priest, François Viogué, living with Descartes in 1650 at the French (...) embassy in Stockholm who may have seen in Descartes an obstacle to the hoped for conversion of queen Christina of Sweden. As against Carraud/Verdon I stress the medical facts, in particular the fact that Descartes himself seems to have suspected poisoning, since he asked for an emetic shortly before his death. (shrink)

Among those who reject the Epicurean claim that death is not bad for the one who dies, it is popularly held that death is bad for the one who dies, when it is bad for the one who dies, because it deprives the one who dies of the good things that otherwise would have fallen into her life. This view is known as the deprivation account of the value of death, and Fred Feldman is one of its most prominent defenders. (...) In this paper, I explain why I believe that Feldman’s argument for the occasional badness of death fails. While staying within an Epicurean framework, I offer an alternative that adequately accounts for a significant range of widely held intuitions about prudential value. My account implies that death is almost always good for the one who dies, yet often less good than not dying. Finally, I discuss some puzzles that remain for my account and hint at possible ways to address them. (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)

This paper discusses the question why the first edition of Descartes' Meditations carries a title announcing a proof of the immortality of the soul, whereas Descartes himself (in the Synopsis as well as in his Replies) explicitly denies any intention to deliver such a proof. In the first part of the paper, I refute existing attempts to explain this inconsistency. In the second part, I argue that it was Descartes' intention to announce a proof for the immaterialitas, not for the (...) immortalitas of the soul, and that the first of these two words has been misread, probably by the Paris printer, and turned into immortalitas. I first adduce as evidence a remark by Baillet in his second (abbreviated) version of Descartes' biography, a remark that has hitherto gone unnoticed in the learned literature. (Baillet explicitly states, using French words indeed, that immortalitas/immortalité was put instead of immaterialitas/immaterialité.) I secondly point to three statements by Descartes concerning either the Meditations or the content of metaphysics generally; Descartes mentions the immateriality of the soul on all three occasions. -/- . (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)

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)

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)

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: 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)

This paper is a historical, legal and philosophical analysis of the concept of human dignity in German and Kenyan constitutional law. We base our analysis on decisions of the Federal Constitutional Court of Germany, in particular its take on life imprisonment and its 2006 decision concerning the shooting of hijacked airplanes, and on a close reading of the Constitution of Kenya. We also present a dialogue between us in which we offer some critical remarks on the concept of human dignity (...) in the two constitutions, each one of us from his own philosophical perspective. (shrink)

ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...) logic differed from Stoic logic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. OPEN ACCESS LINK. (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)