This book contains a selection of papers from the workshop *Women in the History of Analytic Philosophy* held in October 2019 in Tilburg, the Netherlands. It is the first volume devoted to the role of women in early analytic philosophy. It discusses the ideas of ten female philosophers and covers a period of over a hundred years, beginning with the contribution to the Significs Movement by Victoria, Lady Welby in the second half of the nineteenth century, and ending with (...) class='Hi'>Ruth Barcan Marcus’s celebrated version of quantified modal logic after the Second World War. The book makes clear that women contributed substantially to the development of analytic philosophy in all areas of philosophy, from logic, epistemology, and philosophy of science, to ethics, metaphysics, and philosophy of language. It illustrates that although women's voices were no different from men's as regards their scope and versatility, they had a much harder time being heard. The book is aimed at historians of philosophy and scholars in gender studies. (shrink)

Feminist bioethicists of a variety of persuasions discuss the 2013 case of Marlise Munoz, a pregnant woman whose medical care was in dispute after she became brain dead.

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

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

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)

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)

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)

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)

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

This Element offers the first detailed study of Catharine Trotter Cockburn's philosophy and covers her contributions to philosophical debates in epistemology, metaphysics, moral philosophy, and philosophy of religion. It examines not only Cockburn's view that sensation and reflection are the sources of knowledge, but also how she draws attention to the limitations of human understanding and how she approaches metaphysical debates through this lens. In the area of moral philosophy, this Element argues that it is helpful to take seriously Cockburn's (...) distinction between questions concerning the metaphysical foundation of morality and questions concerning the practice of morality. Moreover, this Element examines Cockburn's religious views and considers her understanding of the relation between morality and religion and her religious views concerning the resurrection and the afterlife. (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)

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)

New biotechnologies have the potential to both dramatically improve human well-being and dramatically widen inequalities in well-being. This paper addresses a question that lies squarely on the fault line of these two claims: When as a matter of justice are societies obligated to include a new biotechnology in a national healthcare system? This question is approached from the standpoint of a twin aim theory of justice, in which social structures, including nation-states, have double-barreled theoretical objectives with regard to human well-being. (...) The first aim is to achieve a sufficient level of well-being in each of six core dimensions. In the special case of healthcare systems, this aim is focally but not exclusively attentive to achieving health sufficiency as one of the core dimensions. The second aim is to combat the emergence and persistence of densely woven patterns of systematic disadvantage that tend to undermine the achievement of a sufficient level of health and the other core elements of well-being of some persons and groups. Judgments about entitlements to health related resources, including new biotechnologies, are made in light of a threshold notion of health sufficiency. What is enough or sufficient health? The answer that is defended here is that sufficient health is enough health for a decent human life, understood as enough health to live a full life course without preventable, significant functional disability or decrement in health, or treatable pain or suffering. When a state must include a new biotechnology in its national healthcare system is also influenced by ancillary concerns about the connection between health and other core dimensions of well-being. What counts as a significant functional impairment or health decrement is thus explicated, in part, in relation to the theory’s sufficiency aim for the other essential dimensions of well-being, and thus for a decent life, overall. Those elements of health that play a critical role in the experience of sufficient reasoning, affiliation, security, respect and self determination are especially important; any loss of health function or capacity that threatens the individual’s prospects for sufficiency in these other dimensions, including the relational egalitiarian concerns they entail, constitutes a significant functional impairment. Within national borders, individuals are thus entitled to those health-related goods and services that are essential for a sufficiency of each of the dimensions of well-being; with regard to self determination and respect, what is sufficient by way of guaranteed access to specific goods and services is going to depend on the implications of such access for where an individual stands in relation to her co-nationals. The content of any entitlement to health-related goods and services is also necessarily dynamic. What can be done for health and the other core dimensions of well-being as a function of technological innovation and diffusion is in constant flux. The paper concludes by considering the implications of this analysis for the conditions under which states are obligated to include access in their healthcare systems to one biotechnology, deep brain stimulation. (shrink)

ABSTRACT: In this paper I show that, contrary to the prevalent view, in his De Interpretatione chapter 8, Aristotle is concerned with a kind of ambiguity, i.e. with homonymy; more precisely, with homonymy of linguistic expressions as it may occur in dialectical argument. The paper has two parts. In the first part, I argue that in the Sophistici Elenchi 175b39-176a5 Aristotle indubitably deals with homonymy in dialectical argument; that De Interpretatione 8 is a parallel to Sophistici Elenchi 175b39-176a5; that De (...) Interpretatione 8 is concerned with dialectical argument; that, hence, De Interpretatione 8, too, deals with homonymy in dialectical argument. In the second part I discuss objections that have been put forward against the view that De Interpretatione 8 is about homonymy and demonstrate that they do not succeed. (shrink)

The aim of this paper is to show that Shaftesbury’s thinking about liberty is best understood in terms of self-mastery. To examine his understanding of liberty, I turn to a painting that he commissioned on the ancient theme of the choice of Hercules and the notes that he prepared for the artist. Questions of human choice are also present in the so-called story of an amour, which addresses the difficulties of controlling human passions. Jaffro distinguishes three notions of self-control that (...) are present in the story of an amour. Although I agree with many aspects of Jaffro’s interpretation, I question his conclusion that self- control in the Stoic sense is best reserved for ‘moral heroes.’ I propose an alternative developmental interpretation, according to which all human beings are on an intellectual journey aimed at personal and moral improvement. My interpretation takes seriously that for Shaftesbury philosophy is meant to be practical and help improve our lives. I end by arguing that rather than trying to situate Shaftesbury’s concept of liberty within debates among compatibilists and incompatibilists it is more promising to understand it in terms of self- mastery and thus regard it as a version of positive liberty. (shrink)

ABSTRACT: Stewart Shapiro recently argued that there is no higher-order vagueness. More specifically, his thesis is: (ST) ‘So-called second-order vagueness in ‘F’ is nothing but first-order vagueness in the phrase ‘competent speaker of English’ or ‘competent user of “F”’. Shapiro bases (ST) on a description of the phenomenon of higher-order vagueness and two accounts of ‘borderline case’ and provides several arguments in its support. We present the phenomenon (as Shapiro describes it) and the accounts; then discuss Shapiro’s arguments, arguing that (...) none is compelling. Lastly, we introduce the account of vagueness Shapiro would have obtained had he retained compositionality and show that it entails true higher-order vagueness. (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: Summary presentation of the surviving logic theories of Philo the Dialectician (aka Philo of Megara) and Diodorus Cronus, including some general remarks on propositional logical elements in their logic, a presentation of their theories of the conditional and a presentation of their modal theories, including a brief suggestion for a solution of the Master Argument.

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)

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)

In this article, I identify and critically examine 3 dogmas of normativity that support a commonly accepted ‘Passivist View' of rational agency. I raise some questions about these dogmas, suggest what we should believe in their place, and moot an alternative ‘Activist View' of what it is to be a rational agent that grows out of rejection of the 3 dogmas. Underwriting the dogmas and the Passivist View, I suggest, is a deeply held but mistaken assumption that the normative domain (...) is fundamentally akin to the nonnormative domain. Once we allow that the normative may be fundamentally unlike the nonnormative in certain key ways, a shift in our thinking about what it is to be rational becomes possible. I end by considering some implications of this paradigm shift in rationality from the passive to the active for various applied matters. (shrink)

‘Normative powers’ are capacities to create normative reasons by our willing or say-so. They are significant, because if we have them and exercise them, then sometimes the reasons we have are ‘up to us’. But such powers seem mysterious. How can we, by willing, create reasons? In this paper, I examine whether normative powers can be adequately explained normatively, by appeal to norms of a practice, normative principles, human interests, or values. Can normative explanations of normative powers explain how an (...) exercise of the will can afford us special freedom in determining our reasons? I argue that normative approaches to answering this question prove to be inadequate. To vindicate the thought that normative powers can make our reasons ‘up to us’, we need an altogether different approach to understanding them, one that is located not in the normative but in the metaphysical. I end the paper by sketching a metaphysical explanation of normative powers. This metaphysical defence of normative powers provides a window into a different, more agent-centered way of thinking about rational agency. (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)

Can quite different values be rationally weighed against one another? Can the value of one thing always be ranked as greater than, equal to, or less than the value of something else? If the answer to these questions is no, then in what areas do we find commensurability and comparability unavailable? And what are the implications for moral and legal decision making? This book struggles with these questions, and arrives at distinctly different answers.".

This paper takes a new look at Francis Hutcheson's moral sense theory and examines it in light of the views of his rationalist critics and opponents who claim that there has to be an antecedent moral standard prior to any sense or affections. I examine how Gilbert Burnet, Samuel Clarke, and Catharine Trotter Cockburn each argue for the priority of reason over a moral sense and how Hutcheson responds or could respond to their views. Furthermore, I consider the proposal that (...) rather than regarding Hutcheson's moral sense theory as fundamentally opposed to moral rationalism, Hutcheson and Clarke endorse a shared moral metaphysics, as argued by Patricia Sheridan. Although I consider this proposal as too broad and believe it overlooks relevant metaphysical differences between Clarke and Hutcheson, I argue that the dispute between Hutcheson and his critics and opponents will not be settled without taking their underlying moral metaphysics into consideration. (shrink)

ABSTRACT: Discussion (in German) of Robert Muller's "Les Megariques, Fragments et temoignages". Traduit et commentes. Paris, Vrin 1985, with focus on his commentary on ancient paradoxes.

SYMMETRY IN PHYSICS: FROM PROPORTION AND HARMONY TO THE TERM OF METALENGUAJE -/- Ruth Castillo Universidad Central de Venezuela -/- The revolutionary changes in physics require a careful exploration of the way in which concepts depend on the theoretical structure in which they are immerse. A historical reconstruction allows us to show how the notion of symmetry evolves from the definition as proportion and harmony to its consideration within the language of contemporary physics, as a linguistic meta-theoretical requirement in (...) physical theories. In contemporary terms, symmetry is a fundamental category of research to which the usual categories of the natural sciences can be reduce in: space, time, causality, interaction, matter, strength, etc ... Thus, symmetry is a concept with different meanings: heuristically symmetric models inspire scientists in the search for solutions to different problems. Methodologically, symmetric structures are use to make theories, laws with invariant properties. A description of nature in terms of symmetric structures and symmetry ruptures seems to be the proper way to describe the complexity of reality. (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.

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 essay examines Locke’s chapter “Of Identity and Diversity” (Essay 2.27) in the context of the series of chapters on ideas of relations (Essay 2.25–28) that precede and follow it. I begin by introducing Locke’s account of how we acquire ideas of relations. Next, I consider Locke’s general approach to individuation and identity over time before I show how he applies his general account of identity over time to persons and personal identity. I draw attention to Locke’s claim that “person” (...) is a forensic term and analyse his arguments for why the sameness of a human being and the sameness of a substance or soul are neither necessary nor sufficient for personal identity. Instead, Locke argues that personal identity consists in sameness of consciousness. Locke regards persons as moral agents who are accountable for their actions. If a person now is held accountable for a past action it is important that the person now is the same person as the person who did the action. This means that moral accountability presupposes personal identity. Additionally, it will be important to consider whether the person deserves reward or punishment for the action. Locke’s account of moral relations, which he develops in Essay 2.28, addresses this issue and I show how it supplements his account of persons and personal identity. (shrink)

In virtue of what is something a reason for action? That is, what makes a consideration a reason to act? This is a metaphysical or meta-normative question about the grounding of reasons for action. The answer to the grounding question has been traditionally given in ‘pure’, univocal terms. This paper argues that there is good reason to understand the ground of practical normativity as a hybrid of traditional ‘pure’ views. The paper 1) surveys the three leading ‘pure’ answers to the (...) question of a normative ground, 2) examines one or two of the most difficult problems for each, proposing along the way a new objection to one, and 3) argues that a particular hybrid view about normative grounds –‘hybrid voluntarism’ – avoids each of the main problems faced by the three leading ‘pure’ views. (shrink)

This chapter argues that there is a particular kind of ‘internal’ commitment typically made in the context of romantic love relationships that has striking meta-normative implications for how we understand the role of the will in practical normativity. Internal commitments cannot plausibly explain the reasons we have in committed relationships on the usual model—as triggering reasons that are already there, in the way that making a promise triggers a reason via a pre-existing norm of the form ‘If you make a (...) promise to x, then you have a reason to x’. Instead, internal commitments are that in virtue of which one has the special reasons of committed relationships; they are the grounds of such reasons. In this way, the will is a source of practical normativity. (shrink)

El exilio de académicos y científicos venezolanos, representa un desastre para una colectividad emergente y joven dentro del país. La desatención a la comunidad académica venezolana en el exilio, puede llevar a una desconexión, pérdida y aislamiento de la Ciencia venezolana ─formada antes y durante los primeros años del periodo totalitario─ dentro del contexto nacional e internacional. Actualmente los intentos por mantener la cohesión de la comunidad académica venezolana en el exilio están fragmentados y desvinculados entre sí, lo que se (...) traduce en desaprovechamiento de las distinta iniciativas y perjuicio a la población académica-científica. No existe una adecuada organización que permita cohesionar a los académicos y científicos venezolanos en riesgo. Esta desorganización conlleva la “no integración” del talento venezolano académico-científico en programas internacionales en países de acogida. Y digo “académica” y no “científica”, porque la mayoría de programas e iniciativas internacionales están dirigidas solo ciencias exactas dejando de lado las ciencias humanísticas. Sin embargo, son las investigaciones humanísticas las que muestran el devenir de científicos exiliados. En los países que han sufrido regímenes totalitarios, guerras y/o situaciones de conflicto, el desvanecimiento de la investigación y acción humanística representa uno de los primeros objetivos. Es por esto, que he querido usar el término “Academia” en lugar de “Ciencia” ya que la primera acepción tiene un mayor radio de inclusión, evitándose posibles disertaciones positivistas y neopositivistas —desde el ámbito filosófico—en torno a lo que entendemos o categorizamos por “Ciencia. (shrink)

This paper argues for the existence of a fourth positive generic value relation that can hold between two items beyond ‘better than’, ‘worse than’, and ‘equally good’: namely ‘on a par’.

What makes a choice hard? I discuss and criticize three common answers and then make a proposal of my own. Paradigmatic hard choices are not hard because of our ignorance, the incommensurability of values, or the incomparability of the alternatives. They are hard because the alternatives are on a par; they are comparable, but one is not better than the other, and yet nor are they equally good. So understood, hard choices open up a new way of thinking about what (...) it is to be a rational agent. (shrink)

This introductory article describes the phenomena of incommensurability and incomparability, how they are related, and why they are important. Since incomparability is the more significant phenomenon, the paper takes that as its focus. It gives a detailed account of what incomparability is, investigates the relation between the incomparability of values and the incomparability of alternatives for choice, distinguishes incomparability from the related phenomena of parity, indeterminacy, and noncomparability, and, finally, defends a view about practical justification that vindicates the importance of (...) incomparability — assuming it exists — for practical reason. (shrink)

This paper aims to reconstruct Francis Hutcheson's thinking about liberty. Since he does not offer a detailed treatment of philosophical questions concerning liberty in his mature philosophical writings I turn to a textbook on metaphysics. We can assume that he prepared the textbook during the 1720s in Dublin. This textbook deserves more attention. First, it sheds light on Hutcheson's role as a teacher in Ireland and Scotland. Second, Hutcheson's contributions to metaphysical disputes are more original than sometimes assumed. To appreciate (...) his independent thinking, I argue, it is helpful to take the intellectual debates in Ireland into consideration, including William King's defence of free will and discussions of Shaftesbury's views in Robert Molesworth's intellectual circle. Rather than taking a stance on the philosophical disputes about liberty, I argue that Hutcheson aims to shift the focus of the debates towards practical questions concerning control of desire, cultivation of habits, and character development. (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: 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 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: 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)

This paper is the introduction to the volume. It gives an argumentative view of the philosophical landscape concerning incommensurability and incomparability. It argues that incomparability, not incommensurability, is the important phenomenon on which philosophers should be focusing and that the arguments for the existence of incomparability are so far not compelling.

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